Cesar Sanchez

Citado por

	Total	Desde 2019
Citas	2358	1607
Índice h	22	19
Índice i10	40	25

360

180

270

2005200620072008200920102011201220132014201520162017201820192020202120222023202413 40 33 32 29 35 26 32 31 67 55 88 81 165 189 176 288 304 346 300

Acceso público

Ver todo

37 artículos

3 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityDirección de correo verificada de cispa.de
Martin LeuckerProfessor of Computer Science, University of LübeckDirección de correo verificada de isp.uni-luebeck.de
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderDirección de correo verificada de colorado.edu
Markus N RabeAugmentDirección de correo verificada de augmentcode.com
Chris GillProfessor of Computer Science and Engineering, Washington University in St. LouisDirección de correo verificada de cse.wustl.edu
David L. DillProfessor, Emeritus, of Computer Science, Stanford UniversityDirección de correo verificada de stanford.edu
Zhendong SuProfessor of Computer Science, ETH ZurichDirección de correo verificada de inf.ethz.ch
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchDirección de correo verificada de fahndrich.com
Mark MarronMicrosoft ResearchDirección de correo verificada de microsoft.com
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderDirección de correo verificada de cs.colorado.edu
Marina ZapaterAssociate Professor at HEIG-VD / HES-SODirección de correo verificada de heig-vd.ch
Jose M. MoyaAssociate Professor, Universidad Politecnica de MadridDirección de correo verificada de upm.es
José L. AyalaProfessor, Architecture and Technology of Computing Systems Group, Complutense UniversityDirección de correo verificada de fdi.ucm.es
Vishwanath RamanPrivacy Architect, Oasis LabsDirección de correo verificada de oasislabs.com
Krishnendu ChatterjeeProfessor, IST AustriaDirección de correo verificada de ist.ac.at
Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzDirección de correo verificada de alumni.stanford.edu

Seguir

Cesar Sanchez

Professor, IMDEA Software Institute

Dirección de correo verificada de imdea.org - Página principal

Formal Methods Logic Reactive Systems Computer Science


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Lola: Runtime monitoring of synchronous systems B d'Angelo, S Sankaranarayanan, C Sanchez, W Robinson, B Finkbeiner, ... Temporal Representation and Reasoning, 2005. TIME 2005. 12th International …, 2005	368	2005
Temporal logics for hyperproperties MR Clarkson, B Finkbeiner, M Koleini, KK Micinski, MN Rabe, C Sánchez Principles of Security and Trust: Third International Conference, POST 2014 …, 2014	354	2014
Algorithms for model checking HyperLTL and HyperCTL B Finkbeiner, MN Rabe, C Sánchez International Conference on Computer Aided Verification, 30-48, 2015	193	2015
A survey of challenges for runtime verification from advanced application domains (beyond software) C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ... Formal Methods in System Design 54, 279-335, 2019	115	2019
Runtime verification for decentralised and distributed systems A Francalanza, JA Pérez, C Sánchez Lectures on Runtime Verification: Introductory and Advanced Topics, 176-210, 2018	95	2018
Regular linear temporal logic M Leucker, C Sánchez Theoretical Aspects of Computing–ICTAC 2007, 291-305, 2007	83	2007
Verifying hyperliveness N Coenen, B Finkbeiner, C Sánchez, L Tentrup Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019	75	2019
Striver: Stream runtime verification for real-time event-streams F Gorostiaga, C Sánchez International Conference on Runtime Verification, 282-298, 2018	70	2018
TeSSLa: runtime verification of non-synchronized real-time streams M Leucker, C Sánchez, T Scheffel, M Schmitz, A Schramm Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1925-1933, 2018	68	2018
Monitoring hyperproperties by combining static analysis and runtime verification B Bonakdarpour, C Sánchez, G Schneider Leveraging Applications of Formal Methods, Verification and Validation …, 2018	54	2018
Bounded model checking for hyperproperties TH Hsu, C Sánchez, B Bonakdarpour International Conference on Tools and Algorithms for the Construction and …, 2021	46	2021
Event correlation: Language and semantics C Sánchez, S Sankaranarayanan, H Sipma, T Zhang, D Dill, Z Manna Third International Conference on Embedded Software, 323-339, 2003	46	2003
A temporal logic for asynchronous hyperproperties J Baumeister, N Coenen, B Bonakdarpour, B Finkbeiner, C Sánchez International Conference on Computer Aided Verification, 694-717, 2021	44	2021
Gray-box monitoring of hyperproperties S Stucki, C Sánchez, G Schneider, B Bonakdarpour International Symposium on Formal Methods, 406-424, 2019	41	2019
Online and offline stream runtime verification of synchronous systems C Sánchez International Conference on Runtime Verification, 138-163, 2018	41	2018
Abstracting runtime heaps for program understanding M Marron, C Sanchez, Z Su, M Fahndrich Software Engineering, IEEE Transactions on 39 (6), 774-786, 2013	39	2013
Regular linear temporal logic with past C Sánchez, M Leucker International Workshop on Verification, Model Checking, and Abstract …, 2010	32	2010
Asynchronous extensions of HyperLTL L Bozzelli, A Peron, C Sánchez 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021	31	2021
Runtime verification for timed event streams with partial information M Leucker, C Sánchez, T Scheffel, M Schmitz, D Thoma Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019	25	2019
Invariant Generation for Parametrized Systems Using Self-reflection: (Extended Version) A Sanchez, S Sankaranarayanan, C Sánchez, BYE Chang Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012	24	2012

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores