Gerardo Schneider

Cited by

	All	Since 2018
Citations	2793	1338
h-index	31	18
i10-index	70	40

340

170

255

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202317 19 27 27 52 65 112 114 98 104 115 100 79 113 154 186 226 178 185 260 324 163

Public access

View all

44 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
Cesar SanchezAssociate Research Professor, 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
Sergio YovineUniversidad ORT UruguayVerified 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
Shaun AzzopardiUniversity of GothenburgVerified email at gu.se
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-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	219	2009
A formal language for electronic contracts C Prisacariu, G Schneider International Conference on Formal Methods for Open Object-Based Distributed …, 2007	133	2007
Differential privacy: Now it's getting personal H Ebadi, D Sands, G Schneider Acm Sigplan Notices 50 (1), 69-81, 2015	127	2015
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	126	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	86	2019
Automatic conflict detection on contracts S Fenech, GJ Pace, G Schneider International Colloquium on Theoretical Aspects of Computing, 200-214, 2009	73	2009
A dynamic deontic logic for complex contracts C Prisacariu, G Schneider The Journal of Logic and Algebraic Programming 81 (4), 458-490, 2012	67	2012
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	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	64	2005
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
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
Run-time monitoring of electronic contracts M Kyas, C Prisacariu, G Schneider International Symposium on Automated Technology for Verification and …, 2008	46	2008
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	45	2018
: 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 Leveraging Applications of Formal Methods, Verification and Validation …, 2016	44	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	43	2012
Model Checking Contracts–a case study G Pace, C Prisacariu, G Schneider Automated Technology for Verification and Analysis, 82-97, 2007	42	2007
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	41	2017
A formal privacy policy framework for social networks R Pardo, G Schneider Software Engineering and Formal Methods: 12th International Conference, SEFM …, 2014	41	2014

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