Jörg Kreiker

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 2

Top Topics

Top Venues

Programming Logics

Publications

Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer
Local higher-order fixpoint iteration. Inf. Comput. 289 (Part) (2022)
Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer
Local Higher-Order Fixpoint Iteration. GandALF (2020)
Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav
Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. Programming Logics (2013)
Hanne Riis Nielson, Flemming Nielson, Jörg Kreiker, Henrik Pilegaard
From Explicit to Symbolic Types for Communication Protocols in CCS. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, Reinhard Wilhelm
Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482). Dagstuhl Manifestos 1 (1) (2011)
Jörg Kreiker, Helmut Seidl, Vesal Vojdani
Shape Analysis of Low-Level C with Overlapping Structures. VMCAI (2010)
Bengt Jonsson, Jörg Kreiker, Marta Z. Kwiatkowska
10051 Abstracts Collection - Quantitative and Qualitative Analysis of Network Protocols. Quantitative and Qualitative Analysis of Network Protocols (2010)
Bengt Jonsson, Jörg Kreiker, Marta Z. Kwiatkowska
10051 Executive Summary - Quantitative and Qualitative Analysis of Network Protocols. Quantitative and Qualitative Analysis of Network Protocols (2010)
Iovka Boneva, Jörg Kreiker, Marcos E. Kurbán, Arend Rensink
Graph Abstraction for a Modal Logic. Bull. EATCS 97 (2009)