Gerardo Schneider

Cited by

	All	Since 2019
Citations	3116	1432
h-index	32	20
i10-index	72	42

320

160

240

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202415 19 27 28 50 64 112 114 98 105 115 99 82 113 155 186 225 183 189 266 318 250 221

Public access

View all

49 articles

1 article

available

not available

Based on funding mandates

Co-authors

Gordon J. PaceDepartment of Computer Science, University of MaltaVerified email at um.edu.mt
Christian ColomboUniversity of MaltaVerified email at um.edu.mt
Wolfgang AhrendtProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
Raúl PardoIT University of CopenhagenVerified email at itu.dk
Cesar SanchezProfessor, IMDEA Software InstituteVerified email at imdea.org
John J. CamilleriDigital Grammars ABVerified email at digitalgrammars.com
Eugene Asarinprofesseur d'informatique, IRIF, Université de ParisVerified email at irif.fr
Olaf OweProfessor, Department of Informatics, University of OsloVerified email at ifi.uio.no
Pablo Picazo-SanchezAssistant Professor, Halmstad UniversityVerified email at chalmers.se
Sergio YovineUniversidad ORT UruguayVerified email at ort.edu.uy
Markus RoggenbachProfessor of Computer Science, Swansea UniversityVerified email at swan.ac.uk
David SandsProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
Shaun AzzopardiUniversity of GothenburgVerified email at gu.se
Christian JohansenProfessor at NTNU - Norwegian University of Science and TechnologyVerified email at ntnu.no
Siraj Ahmed ShaikhSwansea UniversityVerified email at swansea.ac.uk
Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)Verified email at tuhh.de
Gregorio Díaz-Descalzo (ORCID:0000...Associate Professor of Computer Science, Universidad de Castilla-La ManchaVerified email at uclm.es
Anders P. RavnAalborg UniversityVerified email at cs.aau.dk
Juan TapiadorUniversidad Carlos III de MadridVerified email at inf.uc3m.es
Marcel KyasAssistant Professor, Reykjavik UniversityVerified email at ru.is

Gerardo Schneider

Professor of Computer Science, University of Gothenburg

Verified email at cse.gu.se - Homepage

formal methods model checking runtime verification contract specification and analysis privacy


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
LARVA---safer monitoring of real-time java programs (Tool Paper) C Colombo, GJ Pace, G Schneider 2009 seventh ieee international conference on software engineering and …, 2009	235	2009
Differential privacy: Now it's getting personal H Ebadi, D Sands, G Schneider Acm Sigplan Notices 50 (1), 69-81, 2015	146	2015
A formal language for electronic contracts C Prisacariu, G Schneider International Conference on Formal Methods for Open Object-Based Distributed …, 2007	140	2007
Dynamic event-based runtime monitoring of real-time and contextual properties C Colombo, GJ Pace, G Schneider Formal Methods for Industrial Critical Systems: 13th International Workshop …, 2009	135	2009
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	117	2019
Automatic conflict detection on contracts S Fenech, GJ Pace, G Schneider International colloquium on theoretical aspects of computing, 200-214, 2009	77	2009
A dynamic deontic logic for complex contracts C Prisacariu, G Schneider The Journal of Logic and Algebraic Programming 81 (4), 458-490, 2012	72	2012
On the decidability of the reachability problem for planar differential inclusions E Asarin, G Schneider, S Yovine International Workshop on Hybrid Systems: Computation and Control, 89-104, 2001	66	2001
Certified memory usage analysis D Cachera, T Jensen, D Pichardie, G Schneider FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005	61	2005
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	53	2018
Clan: A tool for contract analysis and conflict discovery S Fenech, GJ Pace, G Schneider International Symposium on Automated Technology for Verification and …, 2009	52	2009
Algorithmic analysis of polygonal hybrid systems, part I: Reachability E Asarin, G Schneider, S Yovine Theoretical Computer Science 379 (1-2), 231-265, 2007	50	2007
Run-time monitoring of electronic contracts M Kyas, C Prisacariu, G Schneider International Symposium on Automated Technology for Verification and …, 2008	49	2008
Widening the Boundary between Decidable and Undecidable Hybrid Systems^* E Asarin, G Schneider International Conference on Concurrency Theory, 193-208, 2002	49	2002
A privacy-aware conceptual model for handling personal data T Antignac, R Scandariato, G Schneider Leveraging Applications of Formal Methods, Verification and Validation …, 2016	48	2016
Low dimensional hybrid systems–decidable, undecidable, donʼt know E Asarin, VP Mysore, A Pnueli, G Schneider Information and Computation 211, 138-159, 2012	47	2012
Verifying data-and control-oriented properties combining static and runtime verification: theory and tools W Ahrendt, JM Chimento, GJ Pace, G Schneider Formal Methods in System Design 51, 200-265, 2017	46	2017
: An Action-Based Logic for Reasoning about Contracts C Prisacariu, G Schneider International Workshop on Logic, Language, Information, and Computation, 335-349, 2009	46	2009
Model Checking Contracts–a case study G Pace, C Prisacariu, G Schneider Automated Technology for Verification and Analysis, 82-97, 2007	44	2007
Verification of smart contract business logic: exploiting a Java source code verifier W Ahrendt, R Bubel, J Ellul, GJ Pace, R Pardo, V Rebiscoul, G Schneider Fundamentals of Software Engineering: 8th International Conference, FSEN …, 2019	42	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors