2008 |
23 | EE | Stefan Bisanz,
Ulrich Hannemann,
Jan Peleska:
Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework.
COMPSAC 2008: 64-67 |
22 | EE | Jan Peleska:
A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules.
ICTAC 2008: 3-22 |
21 | EE | Helge Löding,
Jan Peleska:
Symbolic and Abstract Interpretation for C/C++ Programs.
Electr. Notes Theor. Comput. Sci. 217: 113-131 (2008) |
2007 |
20 | EE | 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 |
19 | | Jan Peleska,
Helge Löding,
Tatiana Kotas:
Test Automation Meets Static Analysis.
GI Jahrestagung (2) 2007: 280-290 |
2006 |
18 | EE | Bahareh Badban,
Martin Fränzle,
Jan Peleska,
Tino Teige:
Test automation for hybrid systems.
SOQUA 2006: 14-21 |
17 | EE | Kirsten Berkenkötter,
Stefan Bisanz,
Ulrich Hannemann,
Jan Peleska:
The HybridUML profile for UML 2.0.
STTT 8(2): 167-176 (2006) |
2004 |
16 | EE | Jan Peleska:
Applied Formal Methods - From CSP to Executable Hybrid Specifications.
25 Years Communicating Sequential Processes 2004: 293-320 |
15 | EE | 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 | EE | 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 | EE | Jan Peleska,
Bettina Buth:
Formal Methods for the International Space Station ISS.
Correct System Design 1999: 363-389 |
11 | EE | Hui Shi,
Jan Peleska,
Michel Kouvaras:
Combining Methods for the Analysis of a Fault-Tolerant System.
PRDC 1999: 135-142 |
10 | EE | 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 | EE | 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 | EE | 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) |