Jan Peleska

	2008
26		Stefan Bisanz, Ulrich Hannemann, Jan Peleska: Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework. COMPSAC 2008: 64-67
25		Jan Peleska: A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules. ICTAC 2008: 3-22
24		David Buchtela, Jan Peleska, Arnost Veselý, Jana Zvárová, Miroslav Zvolský: Formalization of Clinical Practice Guidelines. MIE 2008: 151-156
23		David Buchtela, Jan Peleska, Miroslav Zvolský, Jana Zvárová: Medical Knowledge Representation System. MIE 2008: 377-382
22		Helge Löding, Jan Peleska: Symbolic and Abstract Interpretation for C/C++ Programs. Electr. Notes Theor. Comput. Sci. 217: 113-131 (2008)
	2007
21		Anne Elisabeth Haxthausen, Jan Peleska: A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems. Formal Methods and Hybrid Real-Time Systems 2007: 320-348
20		Jan Peleska, Helge Löding, Tatiana Kotas: Test Automation Meets Static Analysis. GI Jahrestagung (2) 2007: 280-290
	2006
19		Bahareh Badban, Martin Fränzle, Jan Peleska, Tino Teige: Test automation for hybrid systems. SOQUA 2006: 14-21
18		Arnost Veselý, Jana Zvárová, Jan Peleska, David Buchtela, Zdenek Anger: Medical guidelines presentation and comparing with Electronic Health Record. I. J. Medical Informatics 75(3-4): 240-245 (2006)
17		Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska: The HybridUML profile for UML 2.0. STTT 8(2): 167-176 (2006)
	2004
16		Jan Peleska: Applied Formal Methods - From CSP to Executable Hybrid Specifications. 25 Years Communicating Sequential Processes 2004: 293-320
15		Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska: Executable HybridUML and Its Application to Train Control Systems. SoftSpez Final Report 2004: 145-173
	2002
14		Jan Peleska: Hardware/Software Integration Testing for the new Airbus Aircraft Families. TestCom 2002: 335-
	2000
13		Anne Elisabeth Haxthausen, Jan Peleska: Formal Development and Verification of a Distributed Railway Control System. IEEE Trans. Software Eng. 26(8): 687-701 (2000)
	1999
12		Jan Peleska, Bettina Buth: Formal Methods for the International Space Station ISS. Correct System Design 1999: 363-389
11		Hui Shi, Jan Peleska, Michel Kouvaras: Combining Methods for the Analysis of a Fault-Tolerant System. PRDC 1999: 135-142
10		Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer: The UniForM Workbench, a Universal Development Environment for Formal Methods. World Congress on Formal Methods 1999: 1186-1205
9		Anne Elisabeth Haxthausen, Jan Peleska: Formal Development and Verification of a Distributed Railway Control System. World Congress on Formal Methods 1999: 1546-1563
	1998
8		Bettina Buth, Jan Peleska, Hui Shi: Combining Methods for the Livelock Analysis of a Fault-Tolerant System. AMAST 1998: 124-139
7		Gerd Urban, Hans-Joachim Kolinowitz, Jan Peleska: A Survivable Avionics System for Space Applications. FTCS 1998: 372-381
	1997
6		Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi: Deadlock Analysis for a Fault-Tolerant System. AMAST 1997: 60-74
	1996
5		Jan Peleska: Test Automation for Safety-Critical Systems: Industrial Application and Future Developments. FME 1996: 39-59
4		Jan Peleska, Michael Siegel: From Testing Theory to Test Driver Implementation. FME 1996: 538-556
	1994
3		Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska: Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems. EDCC 1994: 59-76
	1993
2		Jan Peleska: Formale Spezifikation generischer ITSEC-Funktionalitätsklassen. GI Jahrestagung 1993: 354-364
	1991
1		Jan Peleska: Design and Verification of Fault Tolerant Systems with CSP. Distributed Computing 5: 95-106 (1991)

Coauthor Index

1	Zdenek Anger	[18]
2	Bahareh Badban	[19]
3	Alexander Baer	[10]
4	Kirsten Berkenkötter	[15] [17]
5	Stefan Bisanz	[15] [17] [26]
6	David Buchtela	[18] [23] [24]
7	Bettina Buth	[6] [8] [12]
8	Martin Fränzle	[19]
9	Ulrich Hannemann	[15] [17] [26]
10	Anne Elisabeth Haxthausen	[9] [13] [21]
11	Cornelis Huizing (Kees Huizing)	[3]
12	Hans-Joachim Kolinowitz	[7]
13	Tatiana Kotas	[20]
14	Michel Kouvaras	[6] [11]
15	Bernd Krieg-Brückner	[10]
16	Helge Löding	[20] [22]
17	Ernst-Rüdiger Olderog	[10]
18	Carsta Petersohn	[3]
19	Willem P. de Roever	[3]
20	Hui Shi	[6] [8] [11]
21	Michael Siegel	[4]
22	Tino Teige	[19]
23	Gerd Urban	[7]
24	Arnost Veselý	[18] [24]
25	Jana Zvárová	[18] [23] [24]
26	Miroslav Zvolský	[23] [24]

Colors in the list of coauthors