Jörg Kreiker

Jörg Bauer

Technical University of Munich

	2011
17		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: 74-89
16		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): 21-40 (2011)
	2010
15		Jörg Kreiker, Helmut Seidl, Vesal Vojdani: Shape Analysis of Low-Level C with Overlapping Structures. VMCAI 2010: 214-230
	2009
14		Iovka Boneva, Jörg Kreiker, Marcos E. Kurbán, Arend Rensink: Graph Abstraction for a Modal Logic. Bulletin of the EATCS 97: 106-116 (2009)
	2008
13		Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink: A Modal-Logic Based Graph Abstraction. ICGT 2008: 321-335
12		Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard: Relational Analysis of Correlation. SAS 2008: 32-46
	2007
11		Thomas W. Reps, Mooly Sagiv, Jörg Bauer: Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday Springer 2007
10		Jörg Bauer, Werner Damm, Tobe Toben, Bernd Westphal: Verification and Synthesis of OCL Constraints Via Topology Analysis. AGTIVE 2007: 361-376
9		Jörg Bauer, Tobe Toben, Bernd Westphal: Mind the Shapes: Abstraction Refinement Via Topology Invariants. ATVA 2007: 35-50
8		Jörg Bauer, Reinhard Wilhelm: Static Analysis of Dynamic Communication Systems by Partner Abstraction. SAS 2007: 249-264
7		Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard: Relational Analysis for Delivery of Services. TGC 2007: 73-89
6		Jörg Bauer: Analysis of communication topologies by partner abstraction. Saarland University 2007: 1-172
	2006
5		Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal: Specification and Verification of Dynamic Communication Systems. ACSD 2006: 189-200
4		Thomas W. Reps, Mooly Sagiv, Jörg Bauer: An Appreciation of the Work of Reinhard Wilhelm. Program Analysis and Compilation 2006: 1-11
3		Jörg Bauer, Reinhard Wilhelm: Abstract Interpretation of Graph Transformation. Simulation and Verification of Dynamic Systems 2006
2		Jörg Bauer, Reinhard Wilhelm: Analysis of Dynamic Communicating Systems by Hierarchical Abstraction. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006
	2005
1		Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: A semantics for procedure local heaps and its abstractions. POPL 2005: 296-309

Coauthor Index

1	Iovka Boneva	[13] [14]
2	Werner Damm	[10]
3	Marcos E. Kurbán	[13] [14]
4	Christoffer Rosenkilde Nielsen	[7]
5	Flemming Nielson	[7] [12] [17]
6	Hanne Riis Nielson	[7] [12] [17]
7	Henrik Pilegaard	[7] [12] [17]
8	Arend Rensink	[13] [14]
9	Thomas W. Reps	[1] [4] [11]
10	Noam Rinetzky	[1]
11	Shmuel Sagiv (Mooly Sagiv)	[1] [4] [11]
12	Ina Schaefer	[5]
13	Helmut Seidl	[15]
14	Andrzej Tarlecki	[16]
15	Tobe Toben	[5] [9] [10]
16	Moshe Y. Vardi	[16]
17	Vesal Vojdani	[15]
18	Bernd Westphal	[5] [9] [10]
19	Reinhard Wilhelm	[1] [2] [3] [8] [16]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page