Design and Verification of Fault Tolerant Systems with CSP. - Jan Peleska 001 (Distributed Comput., 1991)

Formale Spezifikation generischer ITSEC-Funktionalitätsklassen. - Jan Peleska 001 (GI Jahrestagung, 1993)

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 001 (EDCC, 1994)

Formal Semantics for Ward & Mellor's Transformation Schemas. - Carsta Petersohn; Willem-Paul de Roever; Cornelis Huizing; Jan Peleska 001 (Refine, 1994)

Using formal specifications to support software testing. - Hans-Martin Hörcher; Jan Peleska 001 (Softw. Qual. J., 1995)

Formal methods and the development of dependable systems. - Jan Peleska 001 (1996)

Test Automation for Safety-Critical Systems: Industrial Application and Future Developments. - Jan Peleska 001 (FME, 1996)

From Testing Theory to Test Driver Implementation. - Jan Peleska 001; Michael Siegel (FME, 1996)

Deadlock Analysis for a Fault-Tolerant System. - Bettina Buth; Michel Kouvaras; Jan Peleska 001; Hui Shi 001 (AMAST, 1997)

Combining Methods for the Livelock Analysis of a Fault-Tolerant System. - Bettina Buth; Jan Peleska 001; Hui Shi 001 (AMAST, 1998)

A Survivable Avionics System for Space Applications. - Gerd Urban; Hans-Joachim Kolinowitz; Jan Peleska 001 (FTCS, 1998)

Formal Methods for the International Space Station ISS. - Jan Peleska 001; Bettina Buth (Correct System Design, 1999)

The UniForM Workbench, a Universal Development Environment for Formal Methods. - Bernd Krieg-Brückner; Jan Peleska 001; Ernst-Rüdiger Olderog; Alexander Baer (World Congress on Formal Methods, 1999)

Combining Methods for the Analysis of a Fault-Tolerant System. - Hui Shi 001; Jan Peleska 001; Michel Kouvaras (PRDC, 1999)

Formal Development and Verification of a Distributed Railway Control System. - Anne E. Haxthausen; Jan Peleska 001 (IEEE Trans. Software Eng., 2000)

Hardware/Software Integration Testing for the new Airbus Aircraft Families. - Jan Peleska 001 (TestCom, 2002)

Automated Test Suites for Modern Aircraft Controllers. - Jan Peleska 001 (MBMV, 2003)

Applied Formal Methods - From CSP to Executable Hybrid Specifications. - Jan Peleska 001 (25 Years Communicating Sequential Processes, 2004)

Executable HybridUML and Its Application to Train Control Systems. - Kirsten Berkenkötter; Stefan Bisanz; Ulrich Hannemann; Jan Peleska 001 (SoftSpez Final Report, 2004)

Test automation for hybrid systems. - Bahareh Badban; Martin Fränzle; Jan Peleska 001; Tino Teige (SOQUA, 2006)

The HybridUML profile for UML 2.0. - Kirsten Berkenkötter; Stefan Bisanz; Ulrich Hannemann; Jan Peleska 001 (Int. J. Softw. Tools Technol. Transf., 2006)

A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems. - Anne E. Haxthausen; Jan Peleska 001 (Formal Methods and Hybrid Real-Time Systems, 2007)

Test Automation Meets Static Analysis. - Jan Peleska 001; Helge Löding; Tatiana Kotas (GI Jahrestagung (2), 2007)

Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework. - Stefan Bisanz; Ulrich Hannemann; Jan Peleska 001 (COMPSAC, 2008)

A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules. - Jan Peleska 001 (ICTAC, 2008)

Symbolic and Abstract Interpretation for C/C++ Programs. - Helge Löding; Jan Peleska 001 (SSV, 2008)

Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules. - Jan Peleska 001 (Concurrency, Compositionality, and Correctness, 2010)

Timed Moore Automata: Test Data Generation and Model Checking. - Helge Löding; Jan Peleska 001 (ICST, 2010)

Reliability Analysis of Safety-Related Communication Architectures. - Oliver Schulz; Jan Peleska 001 (SAFECOMP, 2010)

Security in Open Model Software with Hardware Virtualisation - The Railway Control System Perspective. - Johannes Feuser; Jan Peleska 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

On the Utility of a Defect Prediction Model during HW/SW Integration Testing: A Retrospective Case Study. - Thilo Mende; Rainer Koschke; Jan Peleska 001 (CSMR, 2011)

Model-Based Testing for the Second Generation of Integrated Modular Avionics. - Christof Efkemann; Jan Peleska 001 (ICST Workshops, 2011)

Automated Test Case Generation with SMT-Solving and Abstract Interpretation. - Jan Peleska 001; Elena Vorobev; Florian Lapschies (NASA Formal Methods, 2011)

A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain. - Jan Peleska 001; Artur Honisch; Florian Lapschies; Helge Löding; Hermann Schmid; Peer Smuda; Elena Vorobev; Cornelia Zahlten (ICTSS, 2011)

A formal approach for the construction and verification of railway control systems. - Anne E. Haxthausen; Jan Peleska 001; Sebastian Kinder (Formal Aspects Comput., 2011)

A framework for formal verification of systems of synchronous components. - Stefan Milius; Henning Günther; Jan Peleska 001; Oliver Möller; Helge Löding; Martin Sulzmann; Ramin Hedayati; Axel Zechner (MBEES, 2012)

Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. - Jörg Brauer; Jan Peleska 001; Uwe Schulze (ICTSS, 2012)

COMPASS tool vision for a system of systems Collaborative Development Environment. - Joey W. Coleman; Anders Kaels Malmos; Peter Gorm Larsen; Jan Peleska 001; Ralph Hains; Zoe Andrews; Richard John Payne; Simon Foster 001; Alvaro Miyazawa; Cristiano Bertolini; André Didier (SoSE, 2012)

Technical challenges of SoS requirements engineering. - Stefan Hallerstede; Finn Overgaard Hansen; Jon Holt; Rasmus Lauritsen; Lasse Lorenzen; Jan Peleska 001 (SoSE, 2012)

CTGEN - a Unit Test Generator for C - Tatiana Mangels; Jan Peleska 001 (SSV, 2012)

Model-Based Testing from Controlled Natural Language Requirements. - Gustavo Carvalho; Flávia de Almeida Barros; Florian Lapschies; Uwe Schulze; Jan Peleska 001 (FTSCS, 2013)

Exhaustive Model-Based Equivalence Class Testing. - Wen-ling Huang; Jan Peleska 001 (ICTSS, 2013)

Applied Bounded Model Checking for Interlocking System Designs. - Anne E. Haxthausen; Jan Peleska 001; Ralf Pinger (SEFM Workshops, 2013)

Industrial-Strength Model-Based Testing - State of the Art and Current Challenges - Jan Peleska 001 (MBT, 2013)

Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release. - Linh Vu Hong; Anne E. Haxthausen; Jan Peleska 001 (FTSCS, 2014)

Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. - Cécile Braunstein; Anne E. Haxthausen; Wen-ling Huang; Felix Hübner 001; Jan Peleska 001; Uwe Schulze; Linh Vu Hong (ICFEM, 2014)

Dependability in open proof software with hardware virtualization - The railway control systems perspective. - Johannes Feuser; Jan Peleska 001 (Sci. Comput. Program., 2014)

Translating Testing Theories for Concurrent Systems. - Jan Peleska 001 (Correct System Design, 2015)

CSP and Kripke Structures. - Ana Cavalcanti 001; Wen-ling Huang; Jan Peleska 001; Jim Woodcock 001 (ICTAC, 2015)

Checking concurrent behavior in UML/OCL models. - Nils Przigoda; Christoph Hilken; Robert Wille; Jan Peleska 001; Rolf Drechsler (MoDELS, 2015)

A Unified Formulation of Behavioral Semantics for SysML Models. - Christoph Hilken; Jan Peleska 001; Robert Wille (MODELSWARD, 2015)

Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler. - Jörg Brauer; Markus Dahlweid; Tobias Pankrath; Jan Peleska 001 (SAFECOMP, 2015)

Model Checking and Model-Based Testing in the Railway Domain. - Anne E. Haxthausen; Jan Peleska 001 (SyDe Summer School, 2015)

Model-Based Testing Against Complex SysML Models. - Christoph Hilken; Jan Peleska 001 (SyDe Summer School, 2015)

Integrated Model-based Testing and Model Checking with the Benefits of Equivalence Partition Testing. - Felix Hübner 001; Jan Peleska 001 (SyDe Summer School, 2015)

Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions. - Claus Ballegaard Nielsen; Peter Gorm Larsen; John S. Fitzgerald; Jim Woodcock 001; Jan Peleska 001 (ACM Comput. Surv., 2015)

Industrial-Strength Model-Based Testing of Safety-Critical Systems. - Jan Peleska 001; Wen-ling Huang (FM, 2016)

On the Feasibility of a Unified Modelling and Programming Paradigm. - Anne E. Haxthausen; Jan Peleska 001 (ISoLA (2), 2016)

A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers. - Jan Peleska 001; Wen-ling Huang; Felix Hübner 001 (RSSRail, 2016)

Complete model-based equivalence class testing. - Wen-ling Huang; Jan Peleska 001 (Int. J. Softw. Tools Technol. Transf., 2016)

Safety-Complete Test Suites. - Wen-ling Huang; Jan Peleska 001 (ICTSS, 2017)

Effective Infinite-State Model Checking by Input Equivalence Class Partitioning. - Niklas Krafczyk; Jan Peleska 001 (ICTSS, 2017)

A Domain-Specific Language for Generic Interlocking Models and Their Properties. - Linh H. Vu; Anne E. Haxthausen; Jan Peleska 001 (RSSRail, 2017)

Complete model-based equivalence class testing for nondeterministic systems. - Wen-ling Huang; Jan Peleska 001 (Formal Aspects Comput., 2017)

Formal modelling and verification of interlocking systems featuring sequential release. - Linh Vu Hong; Anne E. Haxthausen; Jan Peleska 001 (Sci. Comput. Program., 2017)

Model-based avionic systems testing for the airbus family. - Jan Peleska 001 (ETS, 2018)

Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges. - Jan Peleska 001; Jörg Brauer; Wen-ling Huang (ISoLA (4), 2018)

Testing Avionics Software: Is FMI up to the Task? - Jörg Brauer; Oliver Möller; Jan Peleska 001 (ISoLA (3), 2018)

Model-based testing strategies and their (in)dependence on syntactic model representations. - Wen-ling Huang; Jan Peleska 001 (Int. J. Softw. Tools Technol. Transf., 2018)

A Mechanised Proof of an Adaptive State Counting Algorithm. - Robert Sachtleben; Robert M. Hierons; Wen-ling Huang; Jan Peleska 001 (ICTSS, 2019)

Finite complete suites for CSP refinement testing. - Jan Peleska 001; Wen-ling Huang; Ana Cavalcanti 001 (Sci. Comput. Program., 2019)

Experimental evaluation of a novel equivalence class partition testing strategy. - Felix Hübner 001; Wen-ling Huang; Jan Peleska 001 (Softw. Syst. Model., 2019)

Safety-complete test suites. - Wen-ling Huang; Sadik Özoguz; Jan Peleska 001 (Softw. Qual. J., 2019)

New Distribution Paradigms for Railway Interlocking. - Jan Peleska 001 (ISoLA (3), 2020)

libfsmtest An Open Source Library for FSM-Based Testing. - Moritz Bergenthal; Niklas Krafczyk; Jan Peleska 001; Robert Sachtleben (ICTSS, 2021)

Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines. - Niklas Krafczyk; Jan Peleska 001 (SEFM, 2021)

Complete Requirements-based Testing with Finite State Machines. - Wen-ling Huang; Jan Peleska 001 (CoRR, 2021)

Complete Agent-driven Model-based System Testing for Autonomous Systems. - Kerstin I. Eder; Wen-ling Huang; Jan Peleska 001 (FMAS, 2021)

Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems. - Mario Gleirscher; Jan Peleska 001 (FMAS, 2021)

Efficient data validation for geographical interlocking systems. - Jan Peleska 001; Niklas Krafczyk; Anne E. Haxthausen; Ralf Pinger (Formal Aspects Comput., 2021)

Standardisation Considerations for Autonomous Train Control. - Jan Peleska 001; Anne E. Haxthausen; Thierry Lecomte (ISoLA (4), 2022)

Sound Development of Safety Supervisors. - Mario Gleirscher; Lukas Plecher; Jan Peleska 001 (CoRR, 2022)

Effective grey-box testing with partial FSM models. - Robert Sachtleben; Jan Peleska 001 (Softw. Test. Verification Reliab., 2022)

An Optimised Complete Strategy for Testing Symbolic Finite State Machines. - Wen-ling Huang; Niklas Krafczyk; Jan Peleska 001 (FSEN, 2023)

Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains. - Mario Gleirscher; Anne E. Haxthausen; Jan Peleska 001 (FTSCS, 2023)

Complete Property-Oriented Module Testing. - Felix Brüning; Mario Gleirscher; Wen-ling Huang; Niklas Krafczyk; Jan Peleska 001; Robert Sachtleben (ICTSS, 2023)

Qualification of proof assistants, checkers, and generators: Where are we and what next? - Mario Gleirscher; Robert Sachtleben; Jan Peleska 001 (Sci. Comput. Program., 2023)

On the Unification of Conformance Notions. - Jan Peleska 001; Wen-ling Huang; Robert Sachtleben (The Application of Formal Methods, 2024)

A Stochastic Approach to Classification Error Estimates in Convolutional Neural Networks. - Jan Peleska 001; Felix Brüning; Mario Gleirscher; Wen-ling Huang (CoRR, 2024)

Exhaustive property oriented model-based testing with symbolic finite state machines. - Wen-ling Huang; Niklas Krafczyk; Jan Peleska 001 (Sci. Comput. Program., 2024)

Scenario-Based System Testing for Distributed Robotics Applications - (Invited Paper). - Jan Peleska 001; Felix Brüning; Anne E. Haxthausen; Wen-ling Huang (TAROS, 2025)

Mechanised Safety Verification for a Distributed Autonomous Railway Control System. - Robert Sachtleben; Anne E. Haxthausen; Jan Peleska 001 (Formal Aspects Comput., 2025)