Johannes Faber

	2011
8		Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, Jan-David Quesel: Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data. Int. J. Software and Informatics 5(1-2): 117-137 (2011)
	2010
7		Johannes Faber: Verification Architectures: Compositional Reasoning for Real-Time Systems. IFM 2010: 136-151
6		Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans: Automatic Verification of Parametric Specifications with Complex Topologies. IFM 2010: 152-167
5		Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans: Automatic Verification of Parametric Specifications with Complex Topologies CoRR abs/1010.1602: (2010)
	2008
4		Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko: Model checking Duration Calculus: a practical approach. Formal Asp. Comput. 20(4-5): 481-505 (2008)
	2007
3		Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans: Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. IFM 2007: 233-252
	2006
2		Johannes Faber, Roland Meyer: Model Checking Data-Dependent Real-Time Properties of the European Train Control System. FMCAD 2006: 76-77
1		Roland Meyer, Johannes Faber, Andrey Rybalchenko: Model Checking Duration Calculus: A Practical Approach. ICTAC 2006: 332-346

Coauthor Index

1	Jochen Hoenicke	[4]
2	Carsten Ihlemann	[5] [6]
3	Swen Jacobs	[3] [5] [6]
4	Sven Linker	[8]
5	Roland Meyer	[1] [2] [4]
6	Ernst-Rüdiger Olderog	[8]
7	Jan-David Quesel	[8]
8	Andrey Rybalchenko	[1] [4]
9	Viorica Sofronie-Stokkermans (Viorica Sofronie)	[3] [5] [6]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page