Gerardo Schneider

Cited by

	All	Since 2017
Citations	2463	1201
h-index	29	19
i10-index	62	39

280

140

210

20022003200420052006200720082009201020112012201320142015201620172018201920202021202215 19 24 31 54 61 113 115 96 107 113 94 81 114 161 191 214 179 187 262 167

Public access

View all

42 articles

3 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
Eugene Asarinprofesseur d'informatique, IRIF, Université de ParisVerified email at irif.fr
John J. CamilleriDigital Grammars ABVerified email at digitalgrammars.com
Olaf OweProfessor, Department of Informatics, University of OsloVerified email at ifi.uio.no
Cesar SanchezAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Sergio YovineUniversidad ORT Uruguay & Universidad de Buenos AiresVerified email at ort.edu.uy
Markus RoggenbachProfessor of Computer Science, Swansea UniversityVerified email at swan.ac.uk
Siraj Ahmed ShaikhSwansea UniversityVerified email at swansea.ac.uk
Pablo Picazo-SanchezAssistant Professor, Halmstad UniversityVerified email at chalmers.se
David SandsProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
Christian JohansenProfessor of Theoretical Computer Science at NTNU - Norwegian University of Science and TechnologyVerified email at ntnu.no
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
Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)Verified email at tuhh.de
Juan TapiadorUniversidad Carlos III de MadridVerified email at inf.uc3m.es

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	200	2009
A formal language for electronic contracts C Prisacariu, G Schneider International Conference on Formal Methods for Open Object-Based Distributed …, 2007	126	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	119	2008
Differential privacy: Now it's getting personal H Ebadi, D Sands, G Schneider Acm Sigplan Notices 50 (1), 69-81, 2015	110	2015
Automatic conflict detection on contracts S Fenech, GJ Pace, G Schneider International Colloquium on Theoretical Aspects of Computing, 200-214, 2009	71	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	62	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
Algorithmic analysis of polygonal hybrid systems, part I: Reachability E Asarin, G Schneider, S Yovine Theoretical Computer Science 379 (1-2), 231-265, 2007	51	2007
Widening the Boundary between Decidable and Undecidable Hybrid Systems^* E Asarin, G Schneider International Conference on Concurrency Theory, 193-208, 2002	49	2002
Clan: A tool for contract analysis and conflict discovery S Fenech, GJ Pace, G Schneider International Symposium on Automated Technology for Verification and …, 2009	48	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 (3), 279-335, 2019	45	2019
Run-time monitoring of electronic contracts M Kyas, C Prisacariu, G Schneider International Symposium on Automated Technology for Verification and …, 2008	45	2008
: An Action-Based Logic for Reasoning about Contracts C Prisacariu, G Schneider International Workshop on Logic, Language, Information, and Computation, 335-349, 2009	44	2009
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
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
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	39	2016
Challenges in the specification of full contracts GJ Pace, G Schneider International Conference on Integrated Formal Methods, 292-306, 2009	39	2009
Model Checking Contracts–a case study G Pace, C Prisacariu, G Schneider Automated Technology for Verification and Analysis, 82-97, 2007	38	2007
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	37	2018

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