Publications of Jan Peleska

Overview

• Lecture Notes
• Technical Reports
• Presentation Slides
• Peer-reviewed Publications

• Wen-ling Huang and Jan Peleska: Test Automation - Foundations and Applications of Model-based Testing. Lecture notes 2016.
• Wen-ling Huang and Jan Peleska: Theory of Reactive Systems. Lecture notes 2018.
• Jan Peleska: Specification of embedded Systems - lecture and video series with focus on SysML, 2020.
  • Session 1 Overview, Tools, Requirements Tracing With SysML.
    See Video on installation of the Papyrus Eclipse plugin and inital project creation
    See Video on requirements modelling with SysML and Papyrus I
    See Video on requirements modelling with SysML and Papyrus II
  • Session 2 Modelling Interfaces and System Structure.
    See Video on creation of enumeration types with SysML and Papyrus
    See Video on creation of Units, QuantityKinds, and ValueTypes with SysML and Papyrus
    See Video on the Creation of Block Definition Diagrams with SysML and Papyrus
    See Video on the Creation of Internal Block Diagrams with SysML and Papyrus
  • Session 3 Modelling Behaviour With State Machines.
    See Video on the Creation of SysML State Machines with SysML and Papyrus
  • Session 4 Requirements Tracing With SysML.
    See Video on Requirements Tracing with SysML and Papyrus
  • Session 5 Sonstraint Modelling With SysML (under construction)
  • Session 6 Automated Static Model Analysis of SysML Models.
  • Session 7 Automated Model-based Code Generation.

• Wen-ling Huang, Niklas Krafczyk, and Jan Peleska: Model-Based Conformance Testing and Property Testing With Symbolic Finite State Machines - Technical Report
  Part I of this document has been submitted in similar form to the Software and Systems Modeling journal and is currently under review. Part II has been submitted in abridged form to the Fundamentals of Software Engineering conference FSEN 2023
  
• Anne E. Haxthausen, Thierry Lecomte, and Jan Peleska: Standardisation Considerations for Autonomous Train Control - Technical Report
  This technical report is an extended version of a paper submitted to Safecomp 2022.
  
• Kerstin Eder, Wen-ling Huang, and Jan Peleska: Complete Agent-driven Model-based System Testing for Autonomous Systems (Technical Report 08/2021)
  This technical report is an extended version of a paper accepted for publication in Third Workshop on Formal Methods for Autonomous Systems - FMAS 2021
  
• Niklas Krafczyk, and Jan Peleska: Exhaustive Property Oriented Model-based Testing With Symbolic Finite State Machines (Technical Report 11/2021).
  
• Wen-ling Huang and Jan Peleska: Complete Requirements-based Testing with Finite State Machines CoRR, abs/2105.11786, 2021.
• Wen-ling Huang, Niklas Krafczyk, Hoang M. Le, and Jan Peleska: Property-oriented Model-Based Testing With Fuzzing.
  This technical report is an extended version of a submission to IFIP-ICTSS 2020.
  PDF file
• Jan Peleska, Wen-ling Huang, and Felix Hübner: A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers- Technical Report 03/2016 .
  This technical report is an extended version of the publication here.
  PDF file
• Christoph Hilken, Felix Hübner, and Jan Peleska: Combination of Behavioral and Parametric Diagrams for Model-based Testing - Technical Report Department of Mathematics and Computer Science, University of Bremen, December 2015.
• 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, Anne E. Haxthausen, and Thierry Lecomte Standardisation Consideration for Autonomous Train Control Presentation at the ISoLA 2022 / DisCoRail conference.
• Jan Peleska: Standardisation and Certification Considerations for Autonomous Train Control Presentation at 30th SafeTRANS Industrial Day, June 2022.
• Jan Peleska: The Future of Modelling Languages in Industry - Why Practitioners do not Use Your Favourite Process Algebra. Invited talk at AppFM 2021, November 2021.
• Kerstin I. Eder, Wenling Huang, and Jan Peleska: Complete Agent-driven Modelbased Testing for Autonomous Systems. Presentation at FMAS 2021, Third Workshop on Formal Methods for Autonomous Systems, October 2021.
• Jan Peleska: New Distribution Paradigms for Railway Interlocking. Presentation at the DisCoRail Workshop 2019, Lyngby, 17 June 2019.
• Jan Peleska, Niklas Krafzcyk, Anne. E. Haxthausen, and Ralf Pinger: Efficient Data Validation for Geographical Interlocking Systems. Slides presented at RSSRail 2019, 4 - 6 June 2019, Lille, France.
• Jan Peleska: Second Generation Model-based Testing - Provably Strong Testing Methods for the Certification of Autonomous Systems - Part I of III - Motivation and Challenges. Lecture presented at the CyPhyAssure Spring School on 2019-03-20, see Overview and abstract and lecture slides
• Jan Peleska: Second Generation Model-based Testing - Provably Strong Testing Methods for the Certification of Autonomous Systems - Part II of III - Provably Strong Testing Methods for Autonomous Systems. Lecture presented at the CyPhyAssure Spring School on 2019-03-21, see Overview and abstract and lecture slides
• Jan Peleska: Second Generation Model-based Testing - Provably Strong Testing Methods for the Certification of Autonomous Systems - Part III of III - Complete Test Suites for CSP Refinement. Lecture presented at the CyPhyAssure Spring School on 2019-03-21, see Overview and abstract and lecture slides
• Jan Peleska: Industrial Verification of Avionic, Automotive, and Railway Systems - Practical Applications and Theoretical Foundations. Lecture presented at the Computer Science Department of the University of Tunghai on 2016-05-23, see Lecture announcement and abstract and lecture slides
• Wen-ling Huang and Jan Peleska: Testing Safety-critical Discrete-State Systems - Mathematical Foundations and Concrete Algorithms Lecture presented by Wen-ling Huang and Jan Peleska at the Department of Applied Mathematics at the University of Tunghai on 2016-05-25, see Lecture announcement and lecture slides
• Wen-ling Huang and Jan Peleska: Testing Infinite State Systems - Mathematical Foundations and Concrete Algorithms Lecture presented by Wen-ling Huang at the Department of Applied Mathematics at the University of Tunghai on 2016-05-26, see Lecture announcement and lecture slides
• Wen-ling Huang and Jan Peleska: Property Checking of Safety-Critical Systems - Mathematical Foundations and Concrete Algorithms Lecture presented by Wen-ling Huang at the Department of Applied Mathematics at the University of Tunghai on 2016-05-27, see Lecture announcement and lecture slides
• Jan Peleska: Semantic Families for Cyber-physical Systems. Seminar talk on the occasion of the BCS FACS - Annual Peter Landin Semantics Seminar 2015
• Jan Peleska and Wen-ling Huang: Model-Based Testing With RT-Tester. Lecture slides of the HSST 2013 - Third Halmstad Summer School on Testing, 2013-06-03 - 2013-06-05.
• Jan Peleska and Wen-ling Huang: Testing Distributed Systems. Part I: Introduction to Model-Based Testing. Lecture slides, 2012-08-01.
• Jan Peleska and Wen-ling Huang: Testing Distributed Systems. Part II: Test Cases, Model Coverage and Requirements Tracing - Coverage Measures for Distributed Systems. Lecture slides, 2012-08-01.
• Jan Peleska, Hristina Fidanoska, Artur Honisch, Helge Löding, Hermann Schmid, Peer Smuda und Daniel Tille:
  Model-Based Testing in the Automotive Domain - Challenges and Solutions.
  Presentation slides, extended english version of presentation given on Iqnite 2011, Düsseldorf, May 24th - 26th
  

• Jan Peleska, Anne E. Haxthausen, Thierry Lecomte: Standardisation Considerations for Autonomous Train Control. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV, volume 13704 of Lecture Notes in Computer Science, pages 286-307. Springer, 2022. URL https://doi.org/10.1007/978-3-031-19762-8_22
• Moritz Bergenthal, Niklas Krafczyk, Jan Peleska, and Robert Sachtleben: libfsmtest - An Open Source Library for FSM-Based Testing. In: Clark, D., Menendez, H., Cavalli, A.R. (eds) Testing Software and Systems. ICTSS 2021. Lecture Notes in Computer Science, vol 13045. Springer, Cham. (2022)
  DOI https://doi.org/10.1007/978-3-031-04673-5_1
• Robert Sachtleben and Jan Peleska: Effective grey-box testing with partial FSM models. Softw Test Verif Reliab. 32(2), e1806, 2022.
  DOI https://doi.org/10.1002/stvr.1806
• Kerstin I. Eder, Wen-ling Huang, and Jan Peleska: Complete Agent-driven Model-based System Testing for Autonomous Systems. In Proceedings FMAS 2021, CoRR, abs/2110.12586, 2021b. URL https://arxiv.org/abs/2110.12586, 2021.
• Mario Gleirscher and Jan Peleska: Complete test of synthesised safety supervisors for robots and autonomous systems. In Proceedings FMAS 2021, CoRR, abs/2110.12589, 2021. URL https://arxiv.org/abs/2110.12589, 2021.
• Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, and Ralf Pinger: Efficient data validation for geographical interlocking systems Formal Aspects Comput., 33(6):925-955, 2021.
  DOI https://doi.org/10.1007/s00165-021-00551-6
• Jan Peleska: New Distribution Paradigms for Railway Interlocking In: Margaria T., Steffen B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Applications. ISoLA 2020. Lecture Notes in Computer Science, vol 12478. Springer, Cham. (2020).
  DOI https://doi.org/10.1007/978-3-030-61467-6_28
• Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, and Jan Peleska: A Mechanised Proof of an Adaptive State Counting Algorithm In: Gaston C., Kosmatov N., Le Gall P. (eds) Testing Software and Systems. ICTSS 2019. Lecture Notes in Computer Science, vol 11812. Springer, Cham. (2019)
  DOI https://doi.org/10.1007/978-3-030-31280-0_11
• Wen-ling Huang, Sadik Özoguz, and Jan Peleska: Safety-complete test suites. Software Quality Journal 27(2):589-613, 2019. DOI 10.1007/s11219-018-9421-y (Published online 2018). Read online via Springer SharedIt
• Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger:: Efficient Data Validation for Geographical Interlocking Systems. In Simon Collart Dutilleul, Thierry Lecomte and Alexander B. Romanovsky (eds.): Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings. Lecture Notes in Computer Science, 11495, Springer 2019. DOI https://doi.org/10.1007/978-3-030-18744-6_9
• Jan Peleska, Wen-ling Huang, and Ana Cavalcanti: Finite complete suites for CSP refinement testing Science of Computer Programming 179, pp. 1-23, (2019), DOI https://doi.org/10.1016/j.scico.2019.04.004 (published online)
• Felix Hübner, Wen-ling Huang, Jan Peleska: Experimental evaluation of a novel equivalence class partition testing strategy. Software and System Modeling 18(1): 423-443 (2019). DOI 10.1007/s10270-017-0595-8. Published online 2017.
• Jan Peleska: Model-based avionic systems testing for the airbus family. ETS 2018: 1-10
• Jan Peleska, Jörg Brauer, Wen-ling Huang: Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges. ISoLA (4) 2018: 82-103
• Jörg Brauer, Oliver Möller, Jan Peleska: Testing Avionics Software: Is FMI up to the Task? ISoLA (3) 2018: 477-487
• Klaus Havelund, Jan Peleska, Bill Roscoe, Erik P. de Vink (eds.): Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Lecture Notes in Computer Science 10951, Springer 2018, ISBN 978-3-319-95581-0
• Jan Peleska: Model-based Avionic Systems Testing for the Airbus Family. In Rolf Drechsler, Stefan Eggersglüß and Bernd Becker (eds.). Proceedings of the 23rd IEEE European Test Symposium (ETS), Bremen, May 28 - June 01, 2018.
• Wen-ling Huang and Jan Peleska: Model-based testing strategies and their (in)dependence on syntactic model representations International Journal on Software Tools for Technology Transfer, Nov 2017. DOI 10.1007/s10009-017-0479-9
  Read online via Springer SharedIt
• Linh H. Vu, Anne Elisabeth Haxthausen, Jan Peleska: A Domain-Specific Language for Generic Interlocking Models and Their Properties. In Alessandro Fantechi, Thierry Lecomte, and Alexander Romanovsky (eds). Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings. Lecture Notes in Computer Science 10598, pp. 99-115, Springer International Publishing, 2017.
• Jan Peleska, Wen-ling Huang, and Felix Hübner Complete Model-based Testing. In Andreas Spillner, Mario Winter, and Adrej Pietschker (eds) Test, Analyse und Verifikation von Software - gestern, heute, morgen dpunkt.verlag, Heidelberg, pp. 81-92, 2017
• Wen-ling Huang and Jan Peleska: Safety-Complete Test Suites. In Yevtushenko, Nina, Cavalli, Ana Rosa, and Yenigün, Hüsnü (eds): Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings. Lecture Notes in Computer Science, 9995, pp. 145-161, Springer International Publishing, 2017. doi=10.1007/978-3-319-67549-7_9
• Niklas Krafczyk and Jan Peleska. Effective Infinite-State Model Checking by Input Equivalence Class Partitioning. In Yevtushenko, Nina, Cavalli, Ana Rosa, and Yenigün, Hüsnü (eds): Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings. Lecture Notes in Computer Science, 9995, pp. 38-53, Springer International Publishing, 2017. doi=10.1007/978-3-319-67549-7_3
• Jan Peleska: Trends in Concurrency Theory - the Tester's Perspective. Invited talk, presented at The 6th IFIP WG 1.8 Workshop on Trends in Concurrency Theory, September 9, 2017, Berlin, Germany.
• Felix Hübner, Wen-ling Huang and Jan Peleska: Experimental evaluation of a novel equivalence class partition testing strategy. Softw Syst Model (2017), online-first. doi=doi:10.1007/s10270-017-0595-8
• Wen-ling Huang and Jan Peleska: Complete model-based equivalence class testing for nondeterministic systems. Formal Aspects of Computing 29(2), 335-364, 2017. doi=10.1007/s00165-016-0402-2
  Read online via Springer SharedIt
• Wen-ling Huang and Jan Peleska: Industrial-Strength Model-Based Testing of Safety-Critical Systems. In John S. Fitzgerald and Constance L. Heitmeyer and Stefania Gnesi and Anna Philippou (eds.): FM 2016, Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Lecture Notes in Computer Science, 9995, pp. 3-22, 2016. doi=10.1007/978-3-319-48989-6_1
• Anne E. Haxthausen and Jan Peleska: On the Feasibility of a Unified Modelling and Programming Paradigm. In Tiziana Margaria and Bernhard Steffen (eds.): Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. Springer International Publishing, LNCS 9953, pp. 32-49, 2016. doi=10.1007/978-3-319-47169-3_4
• Wen-ling Huang and Jan Peleska: Model-Based Testing Strategies and Their (In)dependence on Syntactic Model Representations. In Maurice H. ter Beek, Stefania Gnesi and Alexander Knapp (eds.): Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings. Springer International Publishing, LNCS 9933, pp. 3-21, 2016. doi=10.1007/978-3-319-45943-1_1
• Wen-ling Huang and Jan Peleska: Test Automation - Foundations and Applications of Model-based Testing. Lecture notes 2016. Note. These lecture notes are still under development, so it is advisable to check for updates.
• Linh Hong Vu, Anne E. Haxthausen, and Jan Peleska: Formal modelling and verification of interlocking systems featuring sequential release. Science of Computer Programming, 133, pp. 91-115, 2017, doi:10.1016/j.scico.2016.05.010
• Jan Peleska, Wen-ling Huang, and Felix Hübner: A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers. In Thierry Lecomte, Ralf Pinger, and Alexander Romanovsky (eds.): Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings. Springer International Publishing, LNCS 9707, pp. 32-49, 2016, doi=10.1007/978-3-319-33951-1_3
• Ana Cavalcanti, Wen-ling Huang, Jan Peleska, and Jim Woodcock CSP and Kripke Structures. In Martin Leucker, Camilo Rueda, and Frank D. Valencia (eds.): Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings. Lecture Notes in Computer Science 9399, Springer 2015, pp. 505-523. doi 10.1007/978-3-319-25150-9_29
• Claus Ballegaard Nielsen, Peter Gorm Larsen, John Fitzgerald, Jim Woodcock, and Jan Peleska Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions ACM Comput. Surv. 48, No. 2, pp. 18:1-18:41, September 2015. doi 10.1145/2794381
• Brauer, J., Dahlweid, M., Pankrath, T., and Peleska, J.: Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler. In Floor Koornneef and Coen van Gulijk (eds.): Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings. Lecture Notes in Computer Science 9337, Springer 2015, pp. 427-440.
• Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, and Rolf Drechsler Checking Concurrent Behavior in UML/OCL Models In Proceedings of the MODELS 2015, Foundations, Ottawa, ON, Canada, IEEE 2015, pp. 176-185.
• Brauer, J., Dahlweid, M., and Peleska, J., "Tool-Supported Structural Coverage Analysis for DO-178C Compliant Software," SAE Technical Paper 2015-01-2558, 2015, doi:10.4271/2015-01-2558.
• Brauer, J., Dahlweid, M., and Peleska, J., "Model-Based Testing: Automatic Generation of Test Cases, Test Data and Test Procedures from SysML Models," SAE Technical Paper 2015-01-2553, 2015, doi:10.4271/2015-01-2553.
• Jan Peleska: Translating Testing Theories for Concurrent Systems. In Roland Meyer, Andre Platzer and Heike Wehrheim (eds.): Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. Lecture Notes in Computer Science 9360, Springer, 2015, pp. 133-151, doi 10.1007/978-3-319-23506-6_10
• Felix Hübner, Wen-ling Huang, and Jan Peleska: Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy. In Jasmin Christian Blanchette and Nikolai Kosmatov (eds.): Tests and Proofs - 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings. Lecture Notes in Computer Science 9154, Springer, 2015, pp. 155-172, doi 10.1007/978-3-319-21215-9_10
• Anne Elisabeth Haxthausen und Jan Peleska: Model Checking and Model-Based Testing in the Railway Domain in Rolf Drechsler and Ulrich Kühne (eds.): Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015. Springer, pp. 82-121, 2015. doi 10.1007/978-3-658-09994-7_4
• Christoph Hilken, Jan Peleska, and Robert Wille: A Unified Formulation of Behavioral Semantics for SysML Models. In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2015), pp. 263-271, 2015. DOI 10.5220/0005241602630271
• Jan Peleska: Model-based Testing for Safety-Critical Systems. (Abstract).
  PDF-SLides Presented at the FoMSESS 2015 workshop in Bremen, 2015-03-24.
• Jan Peleska and Wen-ling Huang: Complete model-based equivalence class testing. Int J Softw Tools Technol Transfer 18, No. 3, pp. 265-283, 2016. DOI 10.1007/s10009-014-0356-8.
  Read online via Springer SharedIt
• Linh Hong Vu, Anne Elisabeth Haxthausen, and Jan Peleska: A Domain-Specific Language for Railway Interlocking Systems. In: Eckehard Schnieder and Géza Tarnai (eds.): FORMS/FORMAT 2014 - Formal Methods for Automation and Safety in Railway and Automotive Systems [10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, Sep. 30 - Oct. 2, 2014.] Institute for Traffic Safety and Automation Engineering, Technische Universität Braunschweig, ISBN 978-3-9816886-6-5, pp. 200-209, 2014. (Best paper award)
• Linh Hong Vu, Anne Elisabeth Haxthausen, and Jan Peleska: Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release. In C. Artho, P. C. Ölveczky (eds.): Formal Techniques for Safety-Critical Systems. Communications in Computer and Information Science, Volume 476, pp. 223-238, Springer, 2015, DOI 10.1007/978-3-319-17581-2_15
• Cécile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska, Uwe Schulze, and Linh Vu Hong: Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. In S. Merz and J. Pang (eds.): Proceedings of the ICFEM 2014. Springer, LNCS 8829, pp. 380-395, 2014. DOI 10.1007/978-3-319-11737-9_25
  Note. An extended technical report by the authors is available on this topic: A SysML Test Model and Test Suite for the ETCS Ceiling Speed Monitor
• Jan Peleska and Wen-ling Huang: Exhaustive Model-Based Equivalence Class Testing. In Yenigün, Hüsnü and Yilmaz, Cemal and Ulrich, Andreas (eds.): Testing Software and Systems, Proceedings of the ICTSS2013. Springer, LNCS 8254, pp.49-64, 2013.
• Anne E. Haxthausen, Jan Peleska, and Ralf Pinger: Applied Bounded Model Checking for Interlocking System Designs. In Steve Counsell and Manuel Nunez (eds.): Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, Springer LNCS 8368, pp. 205-220, 2013.
• Gustavo Carvalho, Flavia Barros, Florian Lapschies, Uwe Schulze, and Jan Peleska: Model Based Testing from Controlled Natural Language Requirements. In Proceedings of the Second International Workshop on Formal Techniques for Safety-Critical Systems FTSCS13, pp. 195-210.
• Johannes Feuser and Jan Peleska: Dependability in Open Proof Software with Hardware Virtualization -- The Railway Control Systems Perspective. Science of Computer Programming, doi http://dx.doi.org/10.1016/j.scico.2013.08.007, 2013.
• Jan Peleska: Industrial-Strength Model-Based Testing - State of the Art and Current Challenges. In Petrenko, Alexander K. and Schlingloff, Holger (eds.): Proceedings Eighth Workshop on Model-Based Testing, Rome, Italy, 17th March 2013, Electronic Proceedings in Theoretical Computer Science 111, pp. 3-28 (2013). DOI:10.4204/EPTCS.111.1
  Presentation slides (invited lecture)
• Tatiana Mangels and Jan Peleska: CTGEN - a Unit Test Generator for C. In Cassez, Franck and Huuck, Ralf and Klein, Gerwin and Schlich, Bastian: (eds.) Proceedings Seventh Conference on Systems Software Verification, Sydney, Australia, 28-30 November 2012, Electronic Proceedings in Theoretical Computer Science 102, Open Publishing Association, pp. 88-102.
• Jörg Brauer, Jan Peleska and Uwe Schulze: Efficient and Trustworthy Tool Qualification for Model-based Testing Tools. In Brian Nielsen and Carsten Weise (eds.): Testing Software and Systems. Proceedings of the 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg Denmark, November 2012, Springer LNCS 7641, pp. 8-23 (2012).
• Joey W. Coleman, Anders Kaels Malmos, Peter Gorm Larsen, Jan Peleska, Ralph Hains, Zoe Andrews, Richard Payne, Simon Foster, Alvaro Miazawa, Cristiano Bertolini and Andre Didier: COMPASS Tool Vision for a System of Systems Collaborative Development Environment. In Proceedings of the 7th International Conference on System of Systems Engineering, IEEE SoSE 2012, volume 6 of IEEE Systems Journal, pages 451-456, July 2012.
• Stefan Hallerstede, Finn Overgaard Hansen, Jon Holt, Rasmus Lauritsen, Lasse Lorenzen and Jan Peleska: Technical Challenges of SoS Requirements Engineering. In Proceedings of the 7th International Conference on System of Systems Engineering, IEEE SoSE 2012, volume 6 of IEEE Systems Journal, pages 573-578, July 2012.
• Jan Peleska, Johannes Feuser and Anne E. Haxthausen:
  The Model-Driven openETCS Paradigm for Secure, Safe and Certifiable Train Control Systems. In Flammini, Francesco (ed.). "Railway Safety, Reliability, and Security: Technologies and Systems Engineering." IGI Global, 2012. pp. 22-52. Web. 4 Jun. 2012. doi:10.4018/978-1-4666-1643-1
  
• Thilo Mende, Rainer Koschke and Jan Peleska:
  On the Utility of a Defect Prediction Model during HW/SW Integration Testing: A Retrospective Case Study. In Proc. of the 15th CSMR, pp. 259-268, IEEE Computer Society Press, 2011.
  
• Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev, and Cornelia Zahlten:
  A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain. In: Burkhart Wolff and Fatiha Zaidi (Eds.): Testing Software and Systems. Proceedings of the 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 2011, Springer, LNCS 7019, pp. 146-161 (2011).
  Extended version - PDF file (274KB)
  
• Christof Efkemann and Jan Peleska:
  Model-Based Testing for the Second Generation of Integrated Modular Avionics
  In Proceedings of the Software Testing Verification and Validation Workshop, IEEE International Conference on Software Testing Verification and Validation, ICST 2011, Berlin, April 2011. IEEE Computer Society,Los Alamitos, CA, USA, pp. 55-62, 2011.
  DOI Bookmark
  PDF file (274KB)
  
• Jan Peleska, Elena Vorobev and Florian Lapschies:
  Automated Test Case Generation with SMT-Solving and Abstract Interpretation.
  In Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann and Rajeev Joshi (Eds.): Nasa Formal Methods, Third International Symposium, NFM 2011, Pasadena, CA, USA, April 2011. Springer LNCS 6617, pp. 298-312, 2011. PDF file (202KB)
  
• Johannes Feuser and Jan Peleska:
  Security in Open Model Software with Hardware Virtualisation - The Railway Control System Perspective.
  Electronic Communications of the EASST, 33: Foundations and Techniques for Open Source Software Certification 2010. ISSN 1863-2122.
  PDF file (880KB)
  Jan Peleska and M. Oliver Möller:
  Testing on Target: Concepts and Experiences. In SQS Software Quality Systems AG (ed.): Proceedings of the iqnite Germany 2010, Düsseldorf, 27 - 30 April 2010. PDF file (880KB)
  Jan Peleska and Oliver Schulz:
  Reliability Analysis of Safety-Related Communication Architectures In E. Schoitsch (Ed.): SAFECOMP 2010. LNCS 6351, pp. 1-14, 2010 Reliability Analysis of Safety-Related Communication Architectures
  
• Helge Löding and Jan Peleska:
  Timed Moore automata: test data generation and model checking In Proc. of the icst, 2010 Third International Conference on Software Testing, Verification and Validation, 2010, pp.449-458 . ISBN:978-0-7695-3990-4, IEEE CS Digital Library, 2010 PDF file (241KB)
  DOI Bookmark
• Anne E. Haxthausen, Jan Peleska and Sebastian Kinder :
  A formal approach for the construction and verification of railway control systems
  Formal Aspects of Computing, Volume 23, Issue 2 (2011), pp. 191-219. DOI: 10.1007/s00165-009-0143-6 Springer, ISSN 0934-5043 (Print) 1433-299X (Online)
  
• Jan Peleska:
  Model-based testing of embedded control systems in the railway, avionic and automotive domains.
  (invited lecture) In R. Drechsler (eds.): Proceedings of the TuZ2009, 21. Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, Bremen, 2009.
  
• Jan Peleska:
  Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules
  PDF file (241KB) In D. Dams, U. Hannemann and M. Steffen (eds.): Concurrency, Compositionality and Correctness. Essays in Honor of Willem-Paul de Roever. Springer, LNCS 5930, ISBN 978-3-642-11511-0, pp. 277-299 (2010)
  
• 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, 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 Grofle, 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 Grofle, 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)
• 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.
  Habilitationsschrift, Bericht Nr. 9612, Dezember 1996, Institut für Informatik und praktische Mathematik, Christian-Albrechts-Universität Kiel (1997). PDF file (146MB)
• 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:
  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.
• 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.