Gerardo Schneider

Cited by

	All	Since 2018
Citations	2678	1210
h-index	31	18
i10-index	66	37

340

170

255

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202317 19 24 33 55 62 112 116 99 100 122 97 80 114 157 189 218 177 189 261 327 37

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
Eugene Asarinprofesseur d'informatique, IRIF, Université de ParisVerified email at irif.fr
John J. CamilleriDigital Grammars ABVerified email at digitalgrammars.com
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 UruguayVerified email at ort.edu.uy
Pablo Picazo-SanchezAssistant Professor, Halmstad UniversityVerified email at chalmers.se
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
Siraj Ahmed ShaikhSwansea UniversityVerified email at swansea.ac.uk
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
Juan TapiadorUniversidad Carlos III de MadridVerified email at inf.uc3m.es
Hamid EbadiChalmers University of Technology, Gothenburg, SwedenVerified email at chalmers.se

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	210	2009
A formal language for electronic contracts C Prisacariu, G Schneider FMOODS 7, 174-189, 2007	133	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	121	2009
Differential privacy: Now it's getting personal H Ebadi, D Sands, G Schneider Acm Sigplan Notices 50 (1), 69-81, 2015	118	2015
Automatic conflict detection on contracts S Fenech, GJ Pace, G Schneider Theoretical Aspects of Computing-ICTAC 2009: 6th International Colloquium …, 2009	73	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	69	2019
On the decidability of the reachability problem for planar differential inclusions E Asarin, G Schneider, S Yovine Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001	69	2001
Certified memory usage analysis D Cachera, T Jensen, D Pichardie, G Schneider FM 3582, 91-106, 2005	65	2005
A dynamic deontic logic for complex contracts C Prisacariu, G Schneider The Journal of Logic and Algebraic Programming 81 (4), 458-490, 2012	62	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	52	2007
Clan: A tool for contract analysis and conflict discovery S Fenech, GJ Pace, G Schneider Automated Technology for Verification and Analysis: 7th International …, 2009	49	2009
Widening the Boundary between Decidable and Undecidable Hybrid Systems^* E Asarin, G Schneider CONCUR 2002—Concurrency Theory: 13th International Conference Brno, Czech …, 2002	49	2002
Run-time monitoring of electronic contracts M Kyas, C Prisacariu, G Schneider Automated Technology for Verification and Analysis: 6th International …, 2008	48	2008
: An Action-Based Logic for Reasoning about Contracts C Prisacariu, G Schneider Logic, Language, Information and Computation: 16th International Workshop …, 2009	47	2009
A privacy-aware conceptual model for handling personal data T Antignac, R Scandariato, G Schneider Leveraging Applications of Formal Methods, Verification and Validation …, 2016	45	2016
Model Checking Contracts–a case study G Pace, C Prisacariu, G Schneider Automated Technology for Verification and Analysis, 82-97, 2007	42	2007
A formal privacy policy framework for social networks R Pardo, G Schneider Software Engineering and Formal Methods: 12th International Conference, SEFM …, 2014	41	2014
On the expressiveness of infinite behavior and name scoping in process calculi P Giambiagi, G Schneider, FD Valencia Foundations of Software Science and Computation Structures: 7th …, 2004	40	2004
StaRVOOrS : A Tool for Combined Static and Runtime Verification of Java JM Chimento, W Ahrendt, GJ Pace, G Schneider Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015	39	2015
Low dimensional hybrid systems–decidable, undecidable, donʼt know E Asarin, VP Mysore, A Pnueli, G Schneider Information and Computation 211, 138-159, 2012	39	2012

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