Jörg Kreiker

According to our database, Jörg Kreiker authored at least 21 papers between 2005 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Local Higher-Order Fixpoint Iteration.

Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer

Proceedings of the Proceedings 11th International Symposium on Games, 2020

2013

Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs.

Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav

Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

2012

Three Case Studies on Verification of Infinite-State Systems.

Javier Esparza, Jörg Kreiker

Proceedings of the Modern Applications of Automata Theory., 2012

2011

Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482).

Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, Reinhard Wilhelm

Dagstuhl Manifestos, 2011

From Explicit to Symbolic Types for Communication Protocols in CCS.

Hanne Riis Nielson, Flemming Nielson, Jörg Kreiker, Henrik Pilegaard

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010

Shape Analysis of Low-Level C with Overlapping Structures.

Jörg Kreiker, Helmut Seidl, Vesal Vojdani

Proceedings of the Verification, 2010

10051 Executive Summary - Quantitative and Qualitative Analysis of Network Protocols.

Bengt Jonsson, Jörg Kreiker, Marta Z. Kwiatkowska

Proceedings of the Quantitative and Qualitative Analysis of Network Protocols, 31.01., 2010

10051 Abstracts Collection - Quantitative and Qualitative Analysis of Network Protocols.

Bengt Jonsson, Jörg Kreiker, Marta Z. Kwiatkowska

Proceedings of the Quantitative and Qualitative Analysis of Network Protocols, 31.01., 2010

2009

Graph Abstraction for a Modal Logic.

Iovka Boneva, Jörg Kreiker, Marcos E. Kurbán, Arend Rensink

Bull. EATCS, 2009

2008

Relational Analysis of Correlation.

Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard

Proceedings of the Static Analysis, 15th International Symposium, 2008

A Modal-Logic Based Graph Abstraction.

Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink

Proceedings of the Graph Transformations, 4th International Conference, 2008

2007

Relational Analysis for Delivery of Services.

Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Static Analysis of Dynamic Communication Systems by Partner Abstraction.

Jörg Bauer, Reinhard Wilhelm

Proceedings of the Static Analysis, 14th International Symposium, 2007

Mind the Shapes: Abstraction Refinement Via Topology Invariants.

Jörg Bauer, Tobe Toben, Bernd Westphal

Proceedings of the Automated Technology for Verification and Analysis, 2007

Verification and Synthesis of OCL Constraints Via Topology Analysis.

Jörg Bauer, Werner Damm, Tobe Toben, Bernd Westphal

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

Analysis of communication topologies by partner abstraction.

Jörg Bauer

PhD thesis, 2006

Analysis of Dynamic Communicating Systems by Hierarchical Abstraction.

Jörg Bauer, Reinhard Wilhelm

Proceedings of the Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02., 2006

Abstract Interpretation of Graph Transformation.

Jörg Bauer, Reinhard Wilhelm

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

An Appreciation of the Work of Reinhard Wilhelm.

Thomas W. Reps, Mooly Sagiv, Jörg Bauer

Proceedings of the Program Analysis and Compilation, 2006

Specification and Verification of Dynamic Communication Systems.

Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

A semantics for procedure local heaps and its abstractions.

Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005