Publications

Peer Reviewed Publications

2024

• Wen-ling Huang, Niklas Krafczyk, and Jan Peleska. Exhaustive property oriented modelbased testing with symbolic finite state machines. Science of Computer Programming, 231: 103005, 2024. ISSN 0167-6423. doi: https://doi.org/10.1016/j.scico.2023.103005. 

2023

• Jan Peleska, Felix Brüning, Mario Gleirscher, and Wen-ling Huang. A Stochastic Approach to Classification Error Estimates in Convolutional Neural Networks. Technical Report, Project HiDyVe, Grant Agreement 20X1908E. Issue 1.1, 2023-12-21.
• Mario Gleirscher, Anne E. Haxthausen, and Jan Peleska. Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains In Cyrille Artho and Peter Ölveczky, editors, Proceedings3 of the FTSCS ’23, October 22, 2023, Cascais, Portugal, volume 14155 of ACM Proceedings, pages 26–36. ACM, 2023a. doi: https://doi.org/10.1145/3623503.3623533
• Huang, Wen-ling, Sachtleben, Robert (2023). Conformance Relations Between Input/Output Languages. In: Haxthausen, A.E., Huang, Wl., Roggenbach, M. (eds) Applicable Formal Methods for Safe Industrial Products. Lecture Notes in Computer Science, vol 14165. Springer, Cham. https://doi.org/10.1007/978-3-031-40132-9_4
• Felix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Jan Peleska, and Robert Sachtleben. Complete property-oriented module testing. In Silvia Bonfanti, Angelo Gargantini, and Paolo Salvaneschi, editors, Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, volume 14131 of Lecture Notes in Computer Science, pages 183–201. Springer, 2023. doi: 10.1007/ 978-3-031-43240-8_12
• Wen-ling Huang, Niklas Krafczyk, and Jan Peleska. An optimised complete strategy for testing symbolic finite state machines. In Hossein Hojjat and Erika Ábrahám, editors, Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 45, 2023, Revised Selected Papers, volume 14155 of Lecture Notes in Computer Science, pages 55–71. Springer, 2023. doi: 10.1007/978-3-031-42441-0_5
• Mario Gleirscher, Robert Sachtleben, and Jan Peleska. Qualification of proof assistants, checkers, and generators: Where are we and what next? Sci. Comput. Program., 226:102930, 2023b. doi: 10.1016/j.scico.2023.102930

2022

• Robert Sachtleben and Jan Peleska. Effective grey-box testing with partial FSM models. Softw. Test. Verification Reliab., 32(2), 2022. doi: 10.1002/stvr.1806
• Jan Peleska, Anne E. Haxthausen, and 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. doi: 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 David Clark, Hector Menendez, and Ana Rosa Cavalli, editors, Testing Software and Systems, pages 3–19, Cham, 2022. Springer International Publishing. ISBN 978-3-031-04673-5

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: 10. 1007/s00165-021-00551-6
• Niklas Krafczyk and Jan Peleska. Exhaustive property oriented model-based testing with symbolic finite state machines. In Radu Calinescu and Corina S. Pasareanu, editors, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings, volume 13085 of Lecture Notes in Computer Science, pages 84–102. Springer, 2021a. doi: 10.1007/978-3-030-92124-8_5
• Kerstin I. Eder, Wen-ling Huang, and Jan Peleska. Complete agent-driven model-based system testing for autonomous systems. In Marie Farrell and Matt Luckcuck, editors, Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, 21st-22nd of October 2021, volume 348 of EPTCS, pages 54–72, 2021b. doi: 10.4204/EPTCS.348.4
• Mario Gleirscher and Jan Peleska. Complete test of synthesised safety supervisors for robots and autonomous systems. In Marie Farrell and Matt Luckcuck, editors, Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, 21st-22nd of October 2021, volume 348 of EPTCS, pages 101–109, 2021. doi: 10.4204/EPTCS.348.7

2020

• Jan Peleska. New distribution paradigms for railway interlocking. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III, volume 12478 of Lecture Notes in Computer Science, pages 434–448. Springer, 2020. doi: 10.1007/978-3-030-61467-6_28

2019

• Jan Peleska, Wen-ling Huang, and Ana Cavalcanti. Finite complete suites for csp refinement testing. Science of Computer Programming, 179:1 – 23, 2019a. ISSN 0167-6423. doi: https://doi.org/10.1016/j.scico.2019.04.004
• Felix Hübner, Wen-ling Huang, and Jan Peleska. Experimental evaluation of a novel equivalence class partition testing strategy. Software & Systems Modeling, 18(1):423–443, Feb 2019. ISSN 1619-1374. doi: 10.1007/s10270-017-0595-8
• 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
• Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, and Jan Peleska. A mechanised proof of an adaptive state counting algorithm. In Christophe Gaston, Nikolai Kosmatov, and Pascale Le Gall, editors, Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, volume 11812 of Lecture Notes in Computer Science, pages 176–193. Springer, 2019. ISBN 978-3-030-31279-4. doi: 10.1007/978-3-030-31280-0_11
• Jan Peleska, Niklas Krafczyk, Anne Elisabeth Haxthausen, and Ralf Pinger. Efficient data validation for geographical interlocking systems. In Simon Collart Dutilleul, Thierry Lecomte, and Alexander B. Romanovsky, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings, volume 11495 of Lecture Notes in Computer Science, pages 142–158. Springer, 2019b. ISBN 978-3-030-18743-9. doi: 10.1007/978-3-030-18744-6_9

2018

• Wen-ling Huang and Jan Peleska. Model-based testing strategies and their (in)dependence on syntactic model representations. STTT, 20(4):441–465, 2018. doi: 10.1007/s10009-017-0479-9
• Jörg Brauer, Oliver Möller, and Jan Peleska. Testing avionics software: Is FMI up to the task? In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III, volume 11246 of Lecture Notes in Computer Science, pages 477–487. Springer, 2018. ISBN 978-3-030-03423-8. doi: 10.1007/ 978-3-030-03424-5_32
• Jan Peleska, Jörg Brauer, and Wen-ling Huang. Model-based testing for avionic systems - proven benefits and further challenges. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV, volume 11247 of Lecture Notes in Computer Science, pages 82–103. Springer, 2018. ISBN 978-3-030-03426-9. doi: 10.1007/978-3-030-03427-6_11
• Jan Peleska. Model-based avionic systems testing for the airbus family. In 23rd IEEE European Test Symposium, ETS 2018, Bremen, Germany, May 28 - June 1, 2018, pages 1–10. IEEE, 2018. ISBN 978-1-5386-3728-9. doi: 10.1109/ETS.2018.8400703

2017

• Linh Vu Hong, Anne Elisabeth Haxthausen, and Jan Peleska. Formal modelling and verification of interlocking systems featuring sequential release. Sci. Comput. Program., 133:91–115, 2017. doi: 10.1016/j.scico.2016.05.010
• Wen-ling Huang and Jan Peleska. Complete model-based equivalence class testing for nondeterministic systems. Formal Aspects of Computing, 29(2):335–364, 2017. ISSN 1433-299X. doi:10.1007/s00165-016-0402-2
• Linh H. Vu, Anne Elisabeth Haxthausen, and Jan Peleska. A domain-specific language for generic interlocking models and their properties. In Alessandro Fantechi, Thierry Lecomte, and Alexander Romanovsky, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings, volume 10598 of Lecture Notes in Computer Science, pages 99–115. Springer, 2017. ISBN 978-3-319-68498-7. doi: 10.1007/978-3-319-68499-4_7
• Jan Peleska, Wen-ling Huang, and Felix Hübner. Complete Model-based Testing. In Andreas Spillner, Mario Winter, and Andrej Pietschker, editors, Test, Analyse und Verifikation von Software – gestern, heute, morgen, pages 81–92, Heidelberg, 2017. dpunkt.verlag

2016

• Wen-ling Huang and Jan Peleska. Complete model-based equivalence class testing. Software Tools for Technology Transfer, 18(3):265–283, 2016. doi: 10.1007/s10009-014-0356-8
• Jan Peleska and Wen-ling Huang. Model-based testing strategies and their (in)dependence on syntactic model representations. In Maurice H. ter Beek, Stefania Gnesi, and Alexander Knapp, editors, 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 2628, 2016, Proceedings, volume 9933 of Lecture Notes in Computer Science, pages 3–21. Springer, 2016b. ISBN 978-3-319-45942-4. doi: 10.1007/978-3-319-45943-1_1
• 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, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings, volume 9707 of Lecture Notes in Computer Science, pages 32–49. Springer, 2016. ISBN 978-3-319-33950-4. doi: 10.1007/978-3-319-33951-1_3
• Jan Peleska and Wen-ling Huang. Industrial-strength model-based testing of safety-critical systems. In John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, and Anna Philippou, editors, FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, volume 9995 of Lecture Notes in Computer Science, pages 3–22, 2016a. ISBN 978-3-319-48988-9. 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, editors, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, volume 9953 of Lecture Notes in Computer Science, pages 32–49, 2016. ISBN 978-3-319-47168-6. doi: 10.1007/978-3-319-47169-3_4

2015

• Claus Ballegaard Nielsen, Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, and Jan Peleska. Systems of systems engineering: Basic concepts, model-based techniques, and research directions. ACM Comput. Surv., 48(2):18:1–18:41, 2015. doi: 10.1145/2794381
• Jan Peleska. Translating testing theories for concurrent systems. In Roland Meyer, Andr´e Platzer, and Heike Wehrheim, editors, Correct System Design - Symposium in Honor of ErnstR¨udiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, volume 9360 of Lecture Notes in Computer Science, pages 133–151. Springer, 2015. ISBN 978-3-319-23505-9. doi: 10.1007/978-3-319-23506-6_10
• Ana Cavalcanti, Wen-ling Huang, Jan Peleska, and Jim Woodcock. CSP and Kripke structures. In Martin Leucker, Camilo Rueda, and Frank D. Valencia, editors, Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, volume 9399 of Lecture Notes in Computer Science, pages 505–523. Springer, 2015. ISBN 978-3-319-25149-3. doi: 10.1007/978-3-319-25150-9_29
• Niels Przigoda, Christoph Hilken, Jan Peleska, Robert Wille, and Rolf Drechsler. Checking concurrent behavior in UML/OCL models. In Proceedings of the MODELS 2015 Foundations Ottawa, ON, Canada, pages 176–185, 2015
• Christoph Hilken, Jan Peleska, and Robert Wille. A unified formulation of behavioral semantics for SysML models. In Slimane Hammoudi, Lu´ıs Ferreira Pires, Philippe Desfray, and Joaquim Filipe, editors, MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015., pages 263–271. SciTePress, 2015. ISBN 978-989-758-083-3. doi:10.5220/0005241602630271
• Jörg Brauer, Markus Dahlweid, and Jan Peleska. Model-based testing: Automatic generation of test cases, test data and test procedures from sysml models. In Proceedings of the SAE Aerotech conference, Seattle, September 2015. SAE Technical Paper, 2015. doi:10.4271/2015-01-2553
• Jörg Brauer, Markus Dahlweid, and Jan Peleska. Tool-supported structural coverage analysis for DO-178C compliant software. In Proceedings of the SAE Aerotech conference, Seattle, September 2015. SAE Technical Paper, 2015. doi:10.4271/2015-01-2558
• Jörg Brauer, Markus Dahlweid, Tobias Pankrath, and Jan Peleska. Source-code-to-objectcode traceability analysis for avionics software: Don’t trust your compiler. In Floor Koornneef and Coen van Gulijk, editors, Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings, volume 9337 of Lecture Notes in Computer Science, pages 427–440. Springer, 2015a. ISBN 978-3-319-24254-5. doi: 10.1007/978-3-319-24255-2_31
• 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, editors, Tests and Proofs - 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings, volume 9154 of Lecture Notes in Computer Science, pages 155–172. Springer, 2015. ISBN 978-3-319-21214-2. doi: 10.1007/ 978-3-319-21215-9_10
• Linh H. Vu, Anne E. Haxthausen, and Jan Peleska. Formal modeling and verification of interlocking systems featuring sequential release. In Cyrille Artho and Peter Csaba ¨Olveczky, editors, Formal Techniques for Safety-Critical Systems, volume 476 of Communications in Computer and Information Science, pages 223–238. Springer International Publishing, 2015. ISBN 978-3-319-17580-5. doi: 10.1007/978-3-319-17581-2_15
• Anne Elisabeth Haxthausen and Jan Peleska. Model checking and model-based testing in the railway domain. In Rolf Drechsler and Ulrich Kühne, editors, 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, pages 82–121. Springer, 2015. ISBN 978-3-658-09993-0. doi: 10.1007/978-3-658-09994-7_4

2014

• Johannes Feuser and Jan Peleska. Dependability in open proof software with hardware virtualization - the railway control systems perspective. Sci. Comput. Program., 91:188–215, 2014
• 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, editors, Proceedings of the ICFEM 2014, number 8829 in Lecture Notes in Computer Science, pages 380–395. Springer Berlin Heidelberg, November 2014
• Linh Hong Vu, Anne Elisabeth Haxthausen, and Jan Peleska. A domain-specific language for railway interlocking systems. In Eckehard Schnieder and G´eza Tarnai, editors, 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.], pages 200–209. Institute for Traffic Safety and Automation Engineering, Technische Universität Braunschweig, September 2014. ISBN 978-3-9816886-6-5
• Gustavo Carvalho, Flávia Barros, Florian Lapschies, Uwe Schulze, and Jan Peleska. Modelbased testing from controlled natural language requirements. In Cyrille Artho and Peter Csaba Ölveczky, editors, Formal Techniques for Safety-Critical Systems, volume 419 of Communications in Computer and Information Science, pages 19–35. Springer International Publishing, 2014. ISBN 978-3-319-05415-5. doi: 10.1007/978-3-319-05416-2_3

2013

• Anne Elisabeth Haxthausen, Jan Peleska, and Ralf Pinger. Applied bounded model checking for interlocking system designs. In Steve Counsell and Manuel Núñez, editors, SEFM Workshops, volume 8368 of Lecture Notes in Computer Science, pages 205–220. Springer, 2013. ISBN 9783-319-05031-7
• Wen-ling Huang and Jan Peleska. Exhaustive model-based equivalence class testing. In Hüsnü Yenigün, Cemal Yilmaz, and Andreas Ulrich, editors, Testing Software and Systems, volume 8254 of Lecture Notes in Computer Science, pages 49–64. Springer Berlin Heidelberg, 2013. ISBN 978-3-642-41706-1. doi: 10.1007/978-3-642-41707-8_4
• Jan Peleska. Industrial-strength model-based testing - state of the art and current challenges. In Alexander K. Petrenko and Holger Schlingloff, editors, Proceedings Eighth Workshop on ModelBased Testing, Rome, Italy, 17th March 2013, volume 111 of Electronic Proceedings in Theoretical Computer Science, pages 3–28. Open Publishing Association, 2013. doi: 10.4204/EPTCS.111.1
• Anne E. Haxthausen and J. Peleska. Efficient Development and Verification of Safe Railway Control Software. In Railways: Types, Design and Safety Issues. Nova Science Publishers, Inc., 2013

2012

• Tatiana Mangels and Jan Peleska. Ctgen - a unit test generator for c. In Franck Cassez, Ralf Huuck, Gerwin Klein, and Bastian Schlich, editors, Proceedings Seventh Conference on Systems Software Verification, Sydney, Australia, 28-30 November 2012, volume 102 of Electronic Proceedings in Theoretical Computer Science, pages 88–102. Open Publishing Association, 2012. doi: 10.4204/EPTCS.102.9
• Joey W. Coleman, Anders Kaels Malmos, Peter Gorm Larsen, Jan Peleska, Ralph Hains, Zoe Andrews, Richard Payne, Simon Foster, Alvaro Miyazawa, Cristiano Bertolini, and Andr´e Didier. COMPASS Tool Vision for a System of Systems Collaborative Development Environment. In Proceedings of the 7th International Conference on System of System 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 System Engineering, IEEE SoSE 2012, volume 6 of IEEE Systems Journal, pages 573–578, July 2012
• Jörg Brauer, Jan Peleska, and Uwe Schulze. Efficient and trustworthy tool qualification for model-based testing tools. In Brian Nielsen and Carsten Weise, editors, Testing Software and Systems. Proceedings of the 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 2012, number 7641 in Lecture Notes in Computer Science, pages 8–23, Heidelberg Dordrecht London New York, 2012. Springer
• Johannes Feuser and Jan Peleska. Model Based Development and Tests for openETCS Applications – A Comprehensive Tool Chain. In Eckehard Schnieder and Géza Tarnai, editors, FORMS/FORMAT 2012, 12 2012. ISBN 978-3-9803363-3-8
• Jan Peleska, Johannes Feuser, and Anne E. Haxthausen. The Model-Driven openETCS Paradigm for Secure, Safe and Certifiable Train Control Systems, pages 22–52. IGI Global, June 2012

2011

• Anne E. Haxthausen, Jan Peleska, and Sebastian Kinder. A formal approach for the construction and verification of railway control systems. Formal Aspects of Computing, 23(2):191–219, 2011
• Jan Peleska, Elena Vorobev, and Florian Lapschies. Automated test case generation with SMTsolving and abstract interpretation. In Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, and Rajeev Joshi, editors, Nasa Formal Methods, Third International Symposium, NFM 2011, volume 6617 of LNCS, pages 298–312, Pasadena, CA, USA, April 2011. Springer
• 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 Proceedings of the 15th European Conference on Software Maintenance and Reengineering (CSMR’11), pages 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 realtime systems in the automotive domain. In Burkhart Wolff and Fatiha Zaidi, editors, Testing Software and Systems. Proceedings of the 23rd IFIP WG 6.1 International Conference, ICTSS 2011, volume 7019 of LNCS, pages 146–161, Heidelberg Dordrecht London New York, November 2011. IFIP WG 6.1, Springer
• Christof Efkemann and Jan Peleska. Model-based testing for the second generation of integrated modular avionics. Software Testing Verification and Validation Workshop, IEEE International Conference on, 0:55–62, 2011. doi: http://doi.ieeecomputersociety.org/10.1109/ICSTW.2011.72

2010

• Johannes Feuser and Jan Peleska. Security in open model software with hardware virtualisation - the railway control system perspective. Electronic Communications of the EASST, 33, 2010
• Jan Peleska and Oliver Schulz. Reliability analysis of safety-related communication architectures. In Erwin Schoitsch, editor, Proceedings of the SAFECOMP 2010, number 6351 in LNCS, pages 1–14. Springer Verlag, 2010
• Helge Löding and Jan Peleska. Timed moore automata: test data generation and model checking. In Proc. 3rd International Conference on Software Testing, Verification and Validation (ICST’10). IEEE Computer Society, 2010

2009

• Jan Peleska. Model-based testing of embedded control systems in the railway, avionic and automotive domains. In Rolf Drechsler, editor, Proceedings of the TuZ2009, 21. Workshop f¨ur Testmethoden und Zuverl¨assigkeit von Schaltungen und Systemen, 2009

2008

• Jan Peleska and Helge Löding. Symbolic and abstract interpretation for c/c++ programs. In Proceedings of the 3rd intl Workshop on Systems Software Verification (SSV08), Electronic Notes in Theoretical Computer Science. Elsevier, February 2008
• Jan Peleska. A unified approach to abstract interpretation, formal verification and testing of c/c++ modules. In John S. Fitzgerald, Anne E. Haxthausen, and Husnu Yenigun, editors, Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, volume 5160 of Lecture Notes in Computer Science, pages 3–22. Springer, 2008b
• Jan Peleska. Integrated and automated abstract interpretation, verification and testing of C/C++ modules. In Dennis R. Dams, Ulrich Hannemann, and Martin Steffen, editors, Correctness, Concurrency and Compositionality – Festschrift for Willem-Paul de Roever, number 5930 in LNCS. Springer, 2008

2007

• Jan Peleska, Helge Löding, and Tatiana Kotas. Test automation meets static analysis. In Rainer Koschke, Karl-Heinz R¨odiger Otthein Herzog, and Marc Ronthaler, editors, Proceedings of the INFORMATIK 2007, Band 2, 24. - 27. September, Bremen (Germany), pages 280–286

2006

• 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), January 2006. Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML

2005

• Jan Peleska. Applied formal methods - from CSP to executable hybrid specifications. In Ali E. Abdallah, Cliff B. Jones, and Jeff W. Sanders, editors, Communicating Sequential Processes: The First 25 Years. Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers, volume 3525 of LNCS, pages 293–320. Springer-Verlag GmbH, 2005

2004

• Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, and Jan Peleska. Spezifikation von Echtzeit-Automatisierungssystemen mit HybridUML. atp – Automatisierungstechnische Praxis, 46(8):54–60, August 2004. ISSN 0178-2320
• Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, and Jan Peleska. Executable HybridUML and its Application to Train Control Systems. In Hartmut Ehrig, Werner Damm, J¨org Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert Westk¨amper, editors, SoftSpez Final Report, volume 3147 of Lecture Notes in Computer Science, pages 145–173. Springer, September 2004. ISBN 3-540-23135-8
• Jan Peleska, Daniel Große, Anne E. Haxthausen, and Rolf Drechsler. Automated verification for train control systems. In E. Schnieder and G. Tarnai, editors, Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December, 2004, pages 252–265. Technical University of Braunschweig, ISBN 3-9803363-8-7, 2004

2003

• A. E. Haxthausen and J. Peleska. Generation of Executable Railway Control Components from Domain-Specific Descriptions. In Proceedings of the Symposium on Formal Methods for Railway Operation and Control Systems (FORMS’2003), Budapest/Hungary, pages 83–90. L’Harmattan Hongrie, May 15-16 2003
• A. E. Haxthausen and J. Peleska. Automatic Verification, Validation and Test for Railway Control Systems based on Domain-Specific Descriptions. In Proceedings of the 10th IFAC Symposium on Control in Transportation Systems. Elsevier Science Ltd, Oxford, 2003
• Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, and Jan Peleska. HybridUML Profile for UML 2.0. SVERTS Workshop at the UML 2003 Conference, October 2003. http://www-verimag.imag.fr

2002

• A. E. Haxthausen and J. 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

• Jan Peleska. Formal methods for test automation - hard real-time testing of controllers for the airbus aircraft family. In Proc. of the Sixth Biennial World Conference on Integrated Design & Process Technology (IDPT2002), Pasadena, California, June 23-28, 2002. Society for Design and Process Science, June 2002. ISSN 1090-9389

• J. Peleska and A. Tsiolakis. Automated Integration Testing for Avionics Systems. In Proceedings of the 3rd ICSTEST – International Conference on Software Testing, April 2002

• Jan Peleska. Hardware/software integration testing for the new airbus aircraft families. In I. Schieferdecker, H. K¨onig, and A. Wolisz, editors, Testing of Communicating Systems XIV. Application to Internet Technologies and Services, pages 225–351. Kluwer Academic Publishers, 2002

2000

• A. E. Haxthausen and J. Peleska. Formal Development and Verification of a Distributed Railway Control System. IEEE Transaction on Software Engineering, 26(8):687–701, 2000
• J. Peleska, A. Baer, and A. E. Haxthausen. Towards Domain-Specific Formal Specification Languages for Railway Control Systems. In Proceedings of the 9th IFAC Symposium on Control in Transportation Systems 2000, June 13-15, 2000, Braunschweig, Germany, pages 147–152, 2000
• A. E. Haxthausen and J. Peleska. Formal Methods for the Specification and Verification of Distributed Railway Control Systems: From Algebraic Specifications to Distributed Hybrid Real-Time Systems. In Forms ’99 - Formale Techniken für die Eisenbahnsicherung FortschrittBerichte VDI, Reihe 12, Nr. 436, pages 263–271. VDI-Verlag, Düsseldorf, 2000

1999

• A. E. Haxthausen and J. Peleska. Formal Development and Verification of a Distributed Railway Control System. In Proceedings of Formal Methods World Congress FM’99, number 1709 in Lecture Notes in Computer Science, pages 1546 – 1563. Springer-Verlag, 1999
• Hui Shi, Jan Peleska, and Michel Kouvaras. Combining methods for the analysis of a fault-tolerant system. In 1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999), 16-17 December 1999, Hong Kong, pages 135–142. IEEE Computer Society, 1999. ISBN 0-7695-0371-3. doi: 10.1109/PRDC.1999.816222
• J. Peleska, S. Bisanz, Fiß I., and Endreß M. Non-Standard Graphical Simulation Techniques for Test Specification Development. In H. Szczerbicka, editor, Modelling and simulation: A tool for the next millenium. 13th European Simulation Multiconference 1999, volume 1, pages 575–580, Delft, 1999. Society for Computer Simulation International

1998

• A. Haxthausen and J. Peleska. Formal Development and Verification of a Distributed Railway Control System. In Proceedings of First FMERail Workshop, 1998

1997

• J. Peleska and M. Siegel. Test automation of safety-critical reactive systems. South African Computer Jounal, 19:53–77, 1997
• Bettina Buth, Michel Kouvaras, Jan Peleska, and Hui Shi. Deadlock analysis for a fault-tolerant system. In Michael Johnson, editor, Algebraic Methodology and Software Technology, 6th International Conference, AMAST ’97, Sydney, Australia, December 13-17, 1997, Proceedings, volume 1349 of Lecture Notes in Computer Science, pages 60–74. Springer, 1997. ISBN 3-540-63888-1. doi: 10.1007/BFb0000463

1996

• Jan Peleska and Michael Siegel. From testing theory to test driver implementation. In MarieClaude Gaudel and Jim Woodcock, editors, FME ’96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings, volume 1051 of Lecture Notes in Computer Science, pages 538–556. Springer, 1996. ISBN 3-540-60973-3. doi: 10.1007/3-540-60973-3_106

• Jan Peleska. Test automation for safety-critical systems: Industrial application and future developments. In Marie-Claude Gaudel and Jim Woodcock, editors, FME ’96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, CoSponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings, volume 1051 of Lecture Notes in Computer Science, pages 39–59. Springer, 1996a. doi: 10.1007/3-540-60973-3_79

• Jan Peleska. Formal Methods and the Development of Dependable Systems. Number 9612. Christian-Albrechts-Universit¨at Kiel, Institut f¨ur Informatik und Praktische Mathematik, December 1996. Habilitationsschrift

1995

• Ute Hamer and Jan Peleska. Z Applied to the A330/340 CIDS Cabin Communication System. In Michael Hinchey and Jonathan Bowen, editors, Applications of Formal Methods, pages 253–284, Englewood Cliffs NJ, 1995. Prentice Hall International

1991

• Jan Peleska. Design and verification of fault tolerant systems with CSP. Distributed Computing, 5:95–106, 1991. doi: 10.1007/BF02259751

1984

• J. Peleska. A characterization for isometries and conformal mappings of pseudo-Riemannian manifolds. 
  Aequationes Mathematicae (1984)27: 20-31.