Publications of Jan Peleska

• Jan Peleska:
  A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules
  PDF file (241KB) In John S. Fitzgerald, Anne E. Haxthausen and Husnu Yenigun (eds.): Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 2008. Springer, LNCS 5160, ISBN 3-530-85761-3, pp. 3-22 (2008)
  
• Jan Peleska:
  A Formal Introduction to Model-Based Testing, Part I
  PDF presentation slides - Part I (241KB) Tutorial, presented at Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 2008
  
• Jan Peleska, Oliver Möller and Helge Löding:
  A Formal Introduction to Model-Based Testing Part II
  PDF presentation slides - Part II (241KB) Tutorial, presented at Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 2008
  
• Stefan Bisanz and Ulrich Hannemann and Jan Peleska:
  Executable Semantics for Hybrid Systems -- The Hybrid Low-Level Framework
  In Proceeding so the 32nd Annual IEEE International Computer Software and Applications Conference, Turku, Finland, July, 2008.
  
• Jan Peleska, Oliver Möller and Helge Löding:
  Model-Based Testing for Model-Driven Development with UML/DSL
  In Proceedings of the Software & Systems Quality Conference 2008 (SQC 2008)
  
• Anne E. Haxthausen and Jan Peleska:
  A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems.
  PDF file (809 KB) In Jones, Cliff B.; Liu, Zhiming; Woodcock, Jim (Eds.): Formal Methods and Hybrid Real-Time Systems. Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Springer, LNCS 4700, ISBN 978-3-540-75220-2, pp. 320-348 (2007)
  
• Jan Peleska and Helge Löding:
  Symbolic and Abstract Interpretation for C/C++ Programs.
  PDF file (345KB) In Proceedings of the 3rd International Workshop on Systems Software Verification (SSV 2008) Sydney, Australia 25-27 February 2008 Edited by R. Huuck, G. Klein and B. Schlich. Electronic Notes in Theoretical Computer Science , Volume 217, Pages 113-131 (21 July 2008).
  Last update: 2008-08-14
• Jan Peleska and Cornelia Zahlten:
  Integrated Automated Test Case Generation and Static Analysis.
  Power Point presentation slides (256KB) In Proceedings of the QA+Test 2007 International Conference on QA+Testing Embedded Systems, Bilbao (Spain) 17th - 19th October 2007. Best Paper Award.
  
• Jan Peleska, Helge Löding and Tatiana Kotas:
  Test Automation Meets Static Analysis. In Rainer Koschke, Otthein Herzog, Karl-Heinz Rödiger and Marc Ronthaler (eds.): Proceedings of the INFORMATIK 2007, Band 2, 24. - 27. September, Bremen (Germany). ISBN 978-3-88579-204-8, ISSN 1617-5468, pp 280-286. PDF file (137KB)
  Last update: 2007-10-03
• Jan Peleska, Oliver Meyer, Johannes Kanefendt and Florian Lapschies:
  Testing Operating Systems with RT-Tester. Presented at Airbus Deutschland on 2007-01-19.
• Jan Peleska and Anne E. Haxthausen:
  Object Code Verification for Safety-Critical Railway Control Systems. In Eckehard Schnieder and Geza Tarnai (eds.): FORMS/FORMAT 2007, 6th Symposium, Formal Methods for Automation and Safety in Railway and Automotive Systems, 25th and 26th January 2007, Braunschweig, Germany. GZVB, ISBN 13:978-3-937655-09-3, pp 184-199. PDF file (262KB)
• Bahareh Badban, Martin Fränzle, Jan Peleska and Tino Teige:
  Test Automation for Hybrid Systems. Extended version of the submission published in Neelam Gupta, Yves Ledru, Johannes Mayer (eds.): Proceedings of the Third International Workshop on Software Quality Assurance (SOQUA 2006), co-located with the Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering (ACM SIGSOFT 2006 / FSE 14), November 6, 2006, Portland, OR, USA. ACM ISBN: 1-59593-584-3. PDF file (262KB) DOI Link to (shorter) original conference publication, as published by ACM SIGSOFT.
  
• Jan Peleska, Kirsten Berkenkotter, Stefan Bisanz, Ulrich Hannemann: HYBRIS ­ Efficient Specification and Analysis of Hybrid Systems. Technical report, Universitat Bremen, 2006. Project description and links to results available under http://www.informatik.uni-bremen.de/agbs/jp/papers/hybris2006.html.
• Jan Peleska, Klemens Brumm, Gunnar Jonas and Tobias Hartmann:
  Advancement in Automated Simulation and Testing Technology for Safety-Critical Avionic Systems. Presentation on Aerospace Testing 2006, Hamburg, April, 4 - 6, 2006. PDF file of presentation slides (4488KB). See also contributions by other speakers in http://www.aerospacetesting-expo.com/atxconf06/avionics.html .
• Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann and Jan Peleska:
  The HybridUML profile for UML 2.0. International Journal on Software Tools for Technology Transfer (STTT) (Special Section on Specification and Validation of Models of Real Time and Embedded Systems with Uml), Issue Online First, Springer-Verlag GmbH, ISSN: 1433-2779 (Paper), 1433-2787 (Online), DOI: 10.1007/s10009-005-0211-z (2006).
• Jan Peleska:
  Model-Based Development of Safety-Critical Systems. Slides presented at the Siemens seminar Best Practice Sharing in Reliability, Availability, Maintainability and Safety BPS-RAMS on 2005-11-01 in Braunschweig.
• Jan Peleska, Kirsten Berkenkötter, Rolf Drechsler, Daniel Große, Ulrich Hannemann, Anne E. Haxthausen and Sebastian Kinder:
  Domain-Specific Formalisms and Model-Driven Development for Railway Control Systems. (298KB) PDF file of Slides presented at TRain@SEFM2005 workshop, September, 5th - 6th, Koblenz, Germany. See also http://sefm2005.uni-koblenz.de/workshops.html
• Jan Peleska:
  Applied Formal Methods - From CSP to Executable Hybrid Specifications. In Ali E. Abdallah, Cliff B. Jones and Jeff W. Sanders (Eds.): Communicating Sequential Processes - The First 25 Years. LNCS 3525, Springer, pp. 293-320 (2005) PDF file of full paper (374KB). PDF file of Slides presented at conference 25 Years of CSP, Institute for Computing Research, London South Bank University, UK 7 and 8 July, 2004 (181KB)
• Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann and Jan Peleska:
  Spezifikation von Echtzeit-Automatisierungssystemen mit HybridUML. atp - Automatisierungstechnische Praxis, ISSN 0178-2320, Jahrgang 46, Ausgabe 8, pp. 54-60. Oldenbourg Industrieverlag, August 2004.
• Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann and Jan Peleska:
  Executable HybridUML and its Application to Train Control Systems. In H. Ehrig et al. (eds): Integration of Software Specification Techniques for Applications in Engineering. LNCS 3147, Springer, pp. 145-173 (2004). PDF file (481KB)
• Jan Peleska, Daniel Große, Anne E. Haxthausen and Rolf Drechsler:
  Automated Verification for Train Control Systems. In E. Schnieder and G. Tarnai (eds): FORMS/FORMAT 2004 - Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December, 2004. Technical University of Braunschweig, ISBN 3-9803363-8-7, pp. 252-265, (2004). postscript file (403KB)
• Anne E. Haxthausen and Jan Peleska:
  Automatic Verification, Validation and Test for Railway Control Systems based on Domain-Specific Descriptions. In S. Tsugawa and M. Aoki (eds): Proceedings of the 10th IFAC Symposium on Control in Transportation Systems. Elsevier Science Ltd, Oxford. to appear (preprints exist), ISBN 0-08-044059-2 (2003). postscript file (152KB)
• Jan Peleska:
  Automated Testsuites for Modern Aircraft Controllers. Invited Talk. In Rolf Drechsler (ed): Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Shaker, Aaachen, 2003, pp.1-10. ISBN 3-8322-1202-7 postscript file (251KB)
• Anne E. Haxthausen and Jan Peleska:
  Generation of Executable Railway Control Components from Domain-Specific Descriptions. In Tarnai, G. ; Hrsg.: Schnieder, E. (eds): Formal Methods for Railway Operation and Control Systems: Proceedings of Symposium FORMS 2003, Budapest/Hungary, May 15-16, Budapest: L'Harmattan Hongrie, 2003, pp.83-90. postscript file (177KB)
• Jan Peleska and Cornelia Zahlten:
  Hard Real-Time Test Tools - Concepts and Implementation In Proceedings of the 4th ICSTEST, International Conference on Software Testing, Cologne, April 2-4, 2003. PDF file (1057KB), PDF 2-up (1387KB)
• Anne E. Haxthausen and Jan Peleska:
  A domain specific language for railway control systems. In Proceedings of the Sixth Biennial World Conference on Integrated Design and Process Technology, IDPT2002, Pasadena, California, June 23-28, 2002. postscript file (114KB)
• Jan Peleska:
  Formal Methods for Test Automation - Hard Real-Time Testing of Controllers for the Airbus Aircraft Family. Invited Talk. In Ehrig, H., Krämer, B. J. (eds): Proceedings of the Sixth Biennial World Cobference on Integrated Design and Process Technology, IDPT-2002, Pasadena, California, June 23-28, 2002. ISSN 1090-9389. postscript file (141KB)
• Jan Peleska and Aliki Tsiolakis:
  Automated Integration Testing for Avionics Systems. In Proceedings of the 3rd ICSTEST, International Conference on Software Testing, Düsseldorf, April 17th - 19th, 2002. PDF file (497KB)
• Jan Peleska:
  Hardware/Software Integration Testing for the new Airbus Aircraft Families. Invited Talk. In I. Schieferdecker, H. König, A. Wolisz (Eds.): Testing of Communicating Systems XIV. Application to Internet Technologies and Services, Kluwer Academic Publishers, pp.335-351, 2002. postscript file (177KB)
• Jan Peleska:
  Testing Safety-Critical Embedded Systems - Theoretical Results Applied in Practice.
  Extended Abstract and Presentation Slides. In Proceedings of the 2nd ICS-TEST International Conference on Software Testing, April 4-6, 2001, Bonn.
• Anne E. Haxthausen and Jan Peleska:
  Formal Methods for the Specification and Verification of Distributed Railway Control Systems: From Algebraic Specifications to Distributed Hybrid Real-Time Systems.
  In E. Schnieder (Ed.): Forms '99 - Formale Techniken für die Eisenbahnsicherung. Fortschritt-Berichte VDI, Reihe 12, Nr. 436, VDI-Verlag, Düsseldorf, pp. 263-271, 2000.
• Jan Peleska, Alexander Baer and Anne E. Haxthausen:
  Towards Domain-Specific Formal Specification Languages for Railway Control Systems.
  In E. Schnieder and U. becker (eds.): Proceedings of the 9th IFAC Symposium on Control in Transportation Systems 2000, June 13-15, 2000, Braunschweig, Germany, pp. 147-152.
  compressed postscript file (54KB)
• Anne E. Haxthausen and Jan Peleska:
  Formal Development and Verification of a Distributed Railway Control System.
  IEEE Transactions on Software Engineering Vol. 26, No. 8, pp. 687-701, 2000.
  NOTE: This is an extended Version of the article in LNCS 1709, pp. 1546-1563, 1999.
• Anne E. Haxthausen and Jan Peleska:
  Formal Development and Verification of a Distributed Railway Control System.
  In J. Wing, J. Woodcock, J. Davis (Eds.): FM'99, Vol. II, Springer LNCS 1709, pp. 1546-1563, 1999.
  NOTE: an extended journal version of this article can be found in IEEE Transactions on Software Engineering Vol. 26, No. 8, pp. 687-701.
• Jan Peleska and Bettina Buth
  Formal Methods for the International Space Station ISS.
  In E.-R. Olderog, B. Steffen (Eds.): Correct System Design, Springer LNCS 1710, pp. 363-389, 1999.
• Bettina Buth, Jan Peleska and Hui Shi
  Proceedings of Quality Week '99, May 1999 (published on CDrom).
• Jan Peleska, Stefan Bisanz, Ingo Fiss and Manfred Endress:
  Non-Standard Graphical Simulation Techniques for Test Specification Development. In H. Szczerbicka (Ed.): Proceedings of the 13th European Simulation Multiconference Volume 1, June 1-4, 1999, Warsaw, Poland, (1999), 575-580.
  compressed postscript file (1239KB)
• J. Peleska and C. Zahlten:
  Test Automation for Avionic Systems and Space Technology (Extended Abstract). Presented at the Workshop of the GI Working Group Test, Analysis and Verification of Software, Munich, February 4th - 5th 1999. Softwaretechnik-Trends (1999)19:34-36.
• Jan Peleska and Cornelia Zahlten: TQM Pitfalls - and what to do about them.
  This is the full version of an article to appear in Corporate Purchasing Solutions CPS, published by CCL Commerce, London (1999).
• Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog and Alexander Baer:
  The UniForM Workbench, a Universal Development Environment for Formal Methods. In J. Wing, J. Woodcock, J. Davis (Eds.): FM'99, Vol. II, Springer LNCS 1709, pp. 1186-1205, 1999.
• Hui Shi, Jan Peleska and Michel Kouvaras:
  Combining Methods for the Analysis of a Fault-Tolerant System. In Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing, December 16-17, 1999 Hong Kong, pp. 135-142, 1999.
• Bettina Buth, Rachel Cardell-Oliver and Jan Peleska:
  Combining Tools for the Verification of Fault-Tolerant Systems.
  Published in B. Buth, R. Berghammer and J. Peleska (Eds.): Tools for System Development and Verification, pp. 41-69. Shaker Verlag, Aachen 1998, ISBN 3-8265-3806-4. compressed postscript file (149KB)
• J. Peleska:
  Testing Reactive Real-Time Systems. Tutorial, held at the FTRTFT '98. Danmark Technical University, Lyngby (1998).
• Gerd Urban, Hans-Joachim Kolinowitz, Jan Peleska:
  A Survivable Avionics System for Space Applications.
  Published in Proceedings of the FTCS-28, 28th Annual Symposium on Fault-Tolerant Computing, Munich, June 23-25, 1998, 372-381.
• Bettina Buth, Rudolf Berghammer and Jan Peleska (Eds.):
  Tools for System Development and Verification. Shaker Verlag, Aachen 1998, ISBN 3-8265-3806-4.
• Bettina Buth, Jan Peleska and Hui Shi:
  Combining Methods for the Livelock Analysis of a Fault-Tolerant System.
  In A. M. Haeberer (Ed.): Algebraic Methodology and Software Technology. Proceedings of the 7th International Conference, AMAST 98, Amazonia, Brazil, January 1999. Springer LNCS 1548, pp. 124-139, 1998.
  compressed postscript file (100KB)
• Anne E. Haxthausen and Jan Peleska:
  Formal Development and Verification of a Distributed Railway Control System.
  In Proceedings of the 1st FMERail Workshop, Utrecht, The Netherlands, June 8th-9th 1998.
  compressed postscript file (48KB)
• Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi:
  Deadlock Analysis for a Fault-Tolerant System
  In Michael Johnson (Ed.): Algebraic Methodology and Software Technology. Proceedings of the AMAST'97, Sidney, Australia, December 1997, Springer LNCS 1349 (1997), 60-75.
  compressed postscript file (97KB)
• J. Peleska and M. Siegel:
  Test Automation of Safety-Critical Reactive Systems.
  South African Computer Jounal (1997) 19: 53-77.
  Also available as Bericht Nr. 9614, Dezember 1996, Institut für Informatik und praktische Mathematik, Christian-Albrechts-Universität Kiel (1996). compressed postscript file (121KB)
• J. Peleska and M. Siegel:
  From Testing Theory to Test Driver Implementation. In M.-C. Gaudel and J. Woodcock (Eds.): FME '96: Industrial Benefit and Advances in Formal Methods. LNCS 1051, Springer-Verlag, Berlin Heidelberg New York (1996) 538-556.
• J. Peleska:
  Test Automation for Safety-Critical Systems: Industrial Application and Future Developments. In M.-C. Gaudel and J. Woodcock (Eds.): FME '96: Industrial Benefit and Advances in Formal Methods. LNCS 1051, Springer-Verlag, Berlin Heidelberg New York (1996) 39-59.
• J. Peleska:
  Formal Methods and the Development of Dependable Systems.
  University of Bremen, project UniForM, Technical Report 9601 (1996).
  compressed postscript file (185KB)
• J. Peleska:
  Formal Methods and the Development of Dependable Systems.
  Habilitationsschrift, Bericht Nr. 9612, Dezember 1996, Institut für Informatik und praktische Mathematik, Christian-Albrechts-Universität Kiel (1997). compressed postscript file (519KB)
• H.-M. Hoercher and J. Peleska:
  Using formal specifications to support software testing.
  Software Quality Journal 4, 309-327 (1995).
• U. Hamer and J. Peleska:
  The CIDS A330/340 Cabin Communication System -- A Z Application.
  Extended version of an article in J. P. Bowen and M. G. Hinchey (Eds.): "Applications of Formal Methods", Prentice Hall International Series in Computer Science (1995).
  compressed postscript file (113KB)
• J. Peleska, C. Huizing and C. Petersohn:
  A Comparison of Ward & Mellor's Transformation Schema with State- & Activitycharts. Computing Science Note 94/11, Eindhoven University of Technology (1994)
• J. Peleska, C. Huizing, C. Petersohn and W. P. de Roever:
  Formal Semantics for Ward & Mellor's Transformation Schemas. In D.~Till (Ed.): 6th Refinement Workshop. Proceedings of the 6th Refinement Workshop, organised by BCS FACS, London, 5-7 January 1994, Springer-Verlag, Berlin Heidelberg New York (1994) 14-41.
• H.-M. Hoercher and J. Peleska:
  The Role of Formal Specifications in Software Test. Tutorial, held at the FME '94.
• J. Peleska:
  Simulation und Wirklichkeit - Stellungnahme aus Sicht der Industrie. In Computersimulation: (k)ein Spiegel der Wirklichkeit. Bundesamt fuer Sicherheit in der Informationstechnik, SecuMedia-Verlag (1994) 163-170.
• J. Peleska:
  On a Unified Approach for the Development of Fault-Tolerant and Secure Systems.
  In Proceedings of the Nordic Seminar on Dependable Computing '94 (invited keynote).
  NOTE: An extended and revised version of this publication is available in the next technical report.
• J. Peleska:
  Formale Spezifikation generischer ITSEC Funktionalitaetsklassen.
  In Reichel (Ed.): Informatik, Wirtschaft, Gesellschaft. 23. GI Jahrestagung, Springer-Verlag, Berlin Heidelberg New York (1993) 354-364.
• J. Peleska:
  CSP, Formal Software-Engineering and the Development of Fault-Tolerant Systems. In Vytopil (Ed.): Formal Techniques in Real-Time and Fault-Tolerant Systems. Kluwer Academic Publishers (1993) 167-207.
• U. Hamer, H. M. Hoercher and J. Peleska:
  Safer Software - an Introduction into Formal Software Engineering. Technical Report, DST (1993).
• J. Peleska:
  Formale Methoden beim Entwurf ausfallsicherer, verteilter Systeme.
  In Lippold, Schmitz (Eds.): Sicherheit in netzgestuetzten Informationssystemen. Proceedings des BIFOA-Kongresses SECUNET '92, Vieweg (1992) 293-308.
• J. Peleska:
  Design and verification of fault tolerant systems with CSP.
  Distributed Computing (1991) 5: 95-106.
• J. Peleska:
  A characterization for isometries and conformal mappings of pseudo-Riemannian manifolds.
  Aequationes Mathematicae (1984)27: 20-31.