| 2022 | ISoLA | Standardisation Considerations for Autonomous Train Control. | Jan Peleska, Anne E. Haxthausen, Thierry Lecomte |
| 2021 | SEFM | Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines. | Niklas Krafczyk, Jan Peleska |
| 2020 | ISoLA | New Distribution Paradigms for Railway Interlocking. | Jan Peleska |
| 2018 | ETS | Model-based avionic systems testing for the airbus family. | Jan Peleska |
| 2018 | ISoLA | Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges. | Jan Peleska, Jrg Brauer, Wen-ling Huang |
| 2018 | ISoLA | Testing Avionics Software: Is FMI up to the Task? | Jrg Brauer, Oliver Mller, Jan Peleska |
| 2016 | FM | Industrial-Strength Model-Based Testing of Safety-Critical Systems. | Jan Peleska, Wen-ling Huang |
| 2016 | FMICS | Model-Based Testing Strategies and Their (In)dependence on Syntactic Model Representations. | Jan Peleska, Wen-ling Huang |
| 2016 | ISoLA | On the Feasibility of a Unified Modelling and Programming Paradigm. | Anne E. Haxthausen, Jan Peleska |
| 2015 | ICTAC | CSP and Kripke Structures. | Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock |
| 2015 | MODELS | Checking concurrent behavior in UML/OCL models. | Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, Rolf Drechsler |
| 2015 | MODELSWARD | A Unified Formulation of Behavioral Semantics for SysML Models. | Christoph Hilken, Jan Peleska, Robert Wille |
| 2015 | SAFECOMP | Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler. | Jrg Brauer, Markus Dahlweid, Tobias Pankrath, Jan Peleska |
| 2015 | TAP | Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy. | Felix Hbner, Wen-ling Huang, Jan Peleska |
| 2014 | ICFEM | Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. | Ccile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hbner, Jan Peleska, Uwe Schulze, Linh Vu Hong |
| 2013 | SEFM | Applied Bounded Model Checking for Interlocking System Designs. | Anne E. Haxthausen, Jan Peleska, Ralf Pinger |
| 2011 | ICST | Model-Based Testing for the Second Generation of Integrated Modular Avionics. | Christof Efkemann, Jan Peleska |
| 2010 | ICST | Timed Moore Automata: Test Data Generation and Model Checking. | Helge Lding, Jan Peleska |
| 2010 | SAFECOMP | Reliability Analysis of Safety-Related Communication Architectures. | Oliver Schulz, Jan Peleska |
| 2008 | COMPSAC | Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework. | Stefan Bisanz, Ulrich Hannemann, Jan Peleska |
| 2008 | ICTAC | A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules. | Jan Peleska |
| 2007 | GI | Test Automation Meets Static Analysis. | Jan Peleska, Helge Lding, Tatiana Kotas |
| 1999 | FM | Formal Development and Verification of a Distributed Railway Control System. | Anne E. Haxthausen, Jan Peleska |
| 1999 | FM | The UniForM Workbench, a Universal Development Environment for Formal Methods. | Bernd Krieg-Brckner, Jan Peleska, Ernst-Rdiger Olderog, Alexander Baer |
| 1999 | PRDC | Combining Methods for the Analysis of a Fault-Tolerant System. | Hui Shi, Jan Peleska, Michel Kouvaras |
| 1996 | FM | Test Automation for Safety-Critical Systems: Industrial Application and Future Developments. | Jan Peleska |
| 1996 | FM | From Testing Theory to Test Driver Implementation. | Jan Peleska, Michael Siegel |
| 1994 | EDCC | Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems. | Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska |
| 1993 | GI | Formale Spezifikation generischer ITSEC-Funktionalittsklassen. | Jan Peleska |