Gerardo Schneider

Cited by

	All	Since 2017
Citations	2596	1332
h-index	30	19
i10-index	64	41

300

150

225

20022003200420052006200720082009201020112012201320142015201620172018201920202021202215 19 24 31 54 61 112 115 97 107 114 94 81 114 162 191 214 179 189 257 299

Public access

View all

43 articles

2 articles

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
John J. CamilleriDigital Grammars ABVerified email at digitalgrammars.com
Eugene Asarinprofesseur d'informatique, IRIF, Université de ParisVerified email at irif.fr
Cesar SanchezAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Olaf OweProfessor, Department of Informatics, University of OsloVerified email at ifi.uio.no
Sergio YovineUniversidad ORT Uruguay & Universidad de Buenos AiresVerified email at ort.edu.uy
Pablo Picazo-SanchezAssistant Professor, Halmstad UniversityVerified email at chalmers.se
David SandsProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
Markus RoggenbachProfessor of Computer Science, Swansea UniversityVerified email at swan.ac.uk
Siraj Ahmed ShaikhSwansea UniversityVerified email at swansea.ac.uk
Christian JohansenProfessor of Theoretical Computer Science at NTNU - Norwegian University of Science and TechnologyVerified email at ntnu.no
Shaun AzzopardiUniversity of GothenburgVerified email at gu.se
Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)Verified email at tuhh.de
Gregorio Díaz-DescalzoAssociate Professor of Computer Science, Universidad de Castilla-La ManchaVerified email at uclm.es
Anders P. RavnAalborg UniversityVerified email at cs.aau.dk
Marcel KyasAssistant Professor, Reykjavik UniversityVerified email at ru.is
Martin SteffenUniversity of OsloVerified email at ifi.uio.no

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	205	2009
A formal language for electronic contracts C Prisacariu, G Schneider International Conference on Formal Methods for Open Object-Based Distributed …, 2007	131	2007
Dynamic event-based runtime monitoring of real-time and contextual properties C Colombo, GJ Pace, G Schneider International Workshop on Formal Methods for Industrial Critical Systems …, 2008	121	2008
Differential privacy: Now it's getting personal H Ebadi, D Sands, G Schneider Acm Sigplan Notices 50 (1), 69-81, 2015	114	2015
Automatic conflict detection on contracts S Fenech, GJ Pace, G Schneider International Colloquium on Theoretical Aspects of Computing, 200-214, 2009	72	2009
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	67	2001
Certified memory usage analysis D Cachera, T Jensen, D Pichardie, G Schneider International Symposium on Formal Methods, 91-106, 2005	63	2005
A dynamic deontic logic for complex contracts C Prisacariu, G Schneider The Journal of Logic and Algebraic Programming 81 (4), 458-490, 2012	61	2012
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 (3), 279-335, 2019	59	2019
Algorithmic analysis of polygonal hybrid systems, part I: Reachability E Asarin, G Schneider, S Yovine Theoretical Computer Science 379 (1-2), 231-265, 2007	52	2007
Clan: A tool for contract analysis and conflict discovery S Fenech, GJ Pace, G Schneider International Symposium on Automated Technology for Verification and …, 2009	49	2009
Widening the Boundary between Decidable and Undecidable Hybrid Systems^* E Asarin, G Schneider International Conference on Concurrency Theory, 193-208, 2002	49	2002
Run-time monitoring of electronic contracts M Kyas, C Prisacariu, G Schneider International Symposium on Automated Technology for Verification and …, 2008	46	2008
: An Action-Based Logic for Reasoning about Contracts C Prisacariu, G Schneider International Workshop on Logic, Language, Information, and Computation, 335-349, 2009	45	2009
A privacy-aware conceptual model for handling personal data T Antignac, R Scandariato, G Schneider International Symposium on Leveraging Applications of Formal Methods, 942-957, 2016	43	2016
Monitoring hyperproperties by combining static analysis and runtime verification B Bonakdarpour, C Sanchez, G Schneider International Symposium on Leveraging Applications of Formal Methods, 8-27, 2018	41	2018
A formal privacy policy framework for social networks R Pardo, G Schneider International Conference on Software Engineering and Formal Methods, 378-392, 2014	41	2014
Challenges in the specification of full contracts GJ Pace, G Schneider International Conference on Integrated Formal Methods, 292-306, 2009	41	2009
Model Checking Contracts–a case study G Pace, C Prisacariu, G Schneider Automated Technology for Verification and Analysis, 82-97, 2007	41	2007
On the expressiveness of infinite behavior and name scoping in process calculi P Giambiagi, G Schneider, FD Valencia International Conference on Foundations of Software Science and Computation …, 2004	40	2004

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