Johannes Faber

	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	Swen Jacobs	[3]
3	Roland Meyer	[1] [2] [4]
4	Andrey Rybalchenko	[1] [4]
5	Viorica Sofronie-Stokkermans (Viorica Sofronie)	[3]