Jan Peleska

According to our database, Jan Peleska authored at least 89 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Exhaustive property oriented model-based testing with symbolic finite state machines.

Wen-ling Huang, Niklas Krafczyk, Jan Peleska

Sci. Comput. Program., January, 2024

A Stochastic Approach to Classification Error Estimates in Convolutional Neural Networks.

Jan Peleska, Felix Brüning, Mario Gleirscher, Wen-ling Huang

CoRR, 2024

2023

Qualification of proof assistants, checkers, and generators: Where are we and what next?

Mario Gleirscher, Robert Sachtleben, Jan Peleska

Sci. Comput. Program., March, 2023

Complete Property-Oriented Module Testing.

Felix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Jan Peleska, Robert Sachtleben

Proceedings of the Testing Software and Systems, 2023

Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains.

Mario Gleirscher, Anne E. Haxthausen, Jan Peleska

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023

An Optimised Complete Strategy for Testing Symbolic Finite State Machines.

Wen-ling Huang, Niklas Krafczyk, Jan Peleska

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

2022

Effective grey-box testing with partial FSM models.

Robert Sachtleben, Jan Peleska

Softw. Test. Verification Reliab., 2022

Sound Development of Safety Supervisors.

Mario Gleirscher, Lukas Plecher, Jan Peleska

CoRR, 2022

Standardisation Considerations for Autonomous Train Control.

Jan Peleska, Anne E. Haxthausen, Thierry Lecomte

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

2021

Efficient data validation for geographical interlocking systems.

Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger

Formal Aspects Comput., 2021

Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems.

Mario Gleirscher, Jan Peleska

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

Complete Agent-driven Model-based System Testing for Autonomous Systems.

Kerstin I. Eder, Wen-ling Huang, Jan Peleska

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

Complete Requirements-based Testing with Finite State Machines.

Wen-ling Huang, Jan Peleska

CoRR, 2021

Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines.

Niklas Krafczyk, Jan Peleska

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

libfsmtest An Open Source Library for FSM-Based Testing.

Moritz Bergenthal, Niklas Krafczyk, Jan Peleska, Robert Sachtleben

Proceedings of the Testing Software and Systems, 2021

2020

New Distribution Paradigms for Railway Interlocking.

Jan Peleska

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2019

Safety-complete test suites.

Wen-ling Huang, Sadik Özoguz, Jan Peleska

Softw. Qual. J., 2019

Experimental evaluation of a novel equivalence class partition testing strategy.

Felix Hübner, Wen-ling Huang, Jan Peleska

Softw. Syst. Model., 2019

Finite complete suites for CSP refinement testing.

Jan Peleska, Wen-ling Huang, Ana Cavalcanti

Sci. Comput. Program., 2019

A Mechanised Proof of an Adaptive State Counting Algorithm.

Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska

Proceedings of the Testing Software and Systems, 2019

2018

Model-based testing strategies and their (in)dependence on syntactic model representations.

Wen-ling Huang, Jan Peleska

Int. J. Softw. Tools Technol. Transf., 2018

Testing Avionics Software: Is FMI up to the Task?

Jörg Brauer, Oliver Möller, Jan Peleska

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges.

Jan Peleska, Jörg Brauer, Wen-ling Huang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Model-based avionic systems testing for the airbus family.

Jan Peleska

Proceedings of the 23rd IEEE European Test Symposium, 2018

2017

Formal modelling and verification of interlocking systems featuring sequential release.

Linh Vu Hong, Anne E. Haxthausen, Jan Peleska

Sci. Comput. Program., 2017

Complete model-based equivalence class testing for nondeterministic systems.

Wen-ling Huang, Jan Peleska

Formal Aspects Comput., 2017

A Domain-Specific Language for Generic Interlocking Models and Their Properties.

Linh H. Vu, Anne E. Haxthausen, Jan Peleska

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

Effective Infinite-State Model Checking by Input Equivalence Class Partitioning.

Niklas Krafczyk, Jan Peleska

Proceedings of the Testing Software and Systems, 2017

Safety-Complete Test Suites.

Wen-ling Huang, Jan Peleska

Proceedings of the Testing Software and Systems, 2017

2016

Complete model-based equivalence class testing.

Wen-ling Huang, Jan Peleska

Int. J. Softw. Tools Technol. Transf., 2016

A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.

Jan Peleska, Wen-ling Huang, Felix Hübner

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

On the Feasibility of a Unified Modelling and Programming Paradigm.

Anne E. Haxthausen, Jan Peleska

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Industrial-Strength Model-Based Testing of Safety-Critical Systems.

Jan Peleska, Wen-ling Huang

Proceedings of the FM 2016: Formal Methods, 2016

2015

Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions.

Claus Ballegaard Nielsen, Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Jan Peleska

ACM Comput. Surv., 2015

Integrated Model-based Testing and Model Checking with the Benefits of Equivalence Partition Testing.

Felix Hübner, Jan Peleska

Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015

Model-Based Testing Against Complex SysML Models.

Christoph Hilken, Jan Peleska

Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015

Model Checking and Model-Based Testing in the Railway Domain.

Anne E. Haxthausen, Jan Peleska

Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 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

Proceedings of the Computer Safety, Reliability, and Security, 2015

A Unified Formulation of Behavioral Semantics for SysML Models.

Christoph Hilken, Jan Peleska, Robert Wille

Proceedings of the MODELSWARD 2015, 2015

Checking concurrent behavior in UML/OCL models.

Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, Rolf Drechsler

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

CSP and Kripke Structures.

Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Translating Testing Theories for Concurrent Systems.

Jan Peleska

Proceedings of the Correct System Design, 2015

2014

Dependability in open proof software with hardware virtualization - The railway control systems perspective.

Johannes Feuser, Jan Peleska

Sci. Comput. Program., 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, Jan Peleska, Uwe Schulze, Linh Vu Hong

Proceedings of the Formal Methods and Software Engineering, 2014

Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release.

Linh Vu Hong, Anne E. Haxthausen, Jan Peleska

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

2013

Industrial-Strength Model-Based Testing - State of the Art and Current Challenges

Jan Peleska

Proceedings of the Proceedings Eighth Workshop on Model-Based Testing, 2013

Applied Bounded Model Checking for Interlocking System Designs.

Anne E. Haxthausen, Jan Peleska, Ralf Pinger

Proceedings of the Software Engineering and Formal Methods, 2013

Exhaustive Model-Based Equivalence Class Testing.

Wen-ling Huang, Jan Peleska

Proceedings of the Testing Software and Systems, 2013

Model-Based Testing from Controlled Natural Language Requirements.

Gustavo Carvalho, Flávia de Almeida Barros, Florian Lapschies, Uwe Schulze, Jan Peleska

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

2012

CTGEN - a Unit Test Generator for C

Tatiana Mangels, Jan Peleska

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Technical challenges of SoS requirements engineering.

Stefan Hallerstede, Finn Overgaard Hansen, Jon Holt, Rasmus Lauritsen, Lasse Lorenzen, Jan Peleska

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

COMPASS tool vision for a system of systems Collaborative Development Environment.

Joey W. Coleman, Anders Kaels Malmos, Peter Gorm Larsen, Jan Peleska, Ralph Hains, Zoe Andrews, Richard John Payne, Simon Foster, Alvaro Miyazawa, Cristiano Bertolini, André Didier

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools.

Jörg Brauer, Jan Peleska, Uwe Schulze

Proceedings of the Testing Software and Systems, 2012

A framework for formal verification of systems of synchronous components.

Stefan Milius, Henning Günther, Jan Peleska, Oliver Möller, Helge Löding, Martin Sulzmann, Ramin Hedayati, Axel Zechner

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

2011

A formal approach for the construction and verification of railway control systems.

Anne E. Haxthausen, Jan Peleska, Sebastian Kinder

Formal Aspects Comput., 2011

A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain.

Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev, Cornelia Zahlten

Proceedings of the Testing Software and Systems, 2011

Automated Test Case Generation with SMT-Solving and Abstract Interpretation.

Jan Peleska, Elena Vorobev, Florian Lapschies

Proceedings of the NASA Formal Methods, 2011

Model-Based Testing for the Second Generation of Integrated Modular Avionics.

Christof Efkemann, Jan Peleska

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

On the Utility of a Defect Prediction Model during HW/SW Integration Testing: A Retrospective Case Study.

Thilo Mende, Rainer Koschke, Jan Peleska

Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011

2010

Security in Open Model Software with Hardware Virtualisation - The Railway Control System Perspective.

Johannes Feuser, Jan Peleska

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Reliability Analysis of Safety-Related Communication Architectures.

Oliver Schulz, Jan Peleska

Proceedings of the Computer Safety, 2010

Timed Moore Automata: Test Data Generation and Model Checking.

Helge Löding, Jan Peleska

Proceedings of the Third International Conference on Software Testing, 2010

Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules.

Jan Peleska

Proceedings of the Concurrency, 2010

2008

Symbolic and Abstract Interpretation for C/C++ Programs.

Helge Löding, Jan Peleska

Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules.

Jan Peleska

Proceedings of the Theoretical Aspects of Computing, 2008

Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework.

Stefan Bisanz, Ulrich Hannemann, Jan Peleska

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Test Automation Meets Static Analysis.

Jan Peleska, Helge Löding, Tatiana Kotas

Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007

A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems.

Anne E. Haxthausen, Jan Peleska

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

The HybridUML profile for UML 2.0.

Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska

Int. J. Softw. Tools Technol. Transf., 2006

Test automation for hybrid systems.

Bahareh Badban, Martin Fränzle, Jan Peleska, Tino Teige

Proceedings of the Third International Workshop on Software Quality Assurance, 2006

2004

Executable HybridUML and Its Application to Train Control Systems.

Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Applied Formal Methods - From CSP to Executable Hybrid Specifications.

Jan Peleska

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

2003

Automated Test Suites for Modern Aircraft Controllers.

Jan Peleska

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

2002

Hardware/Software Integration Testing for the new Airbus Aircraft Families.

Jan Peleska

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

2000

Formal Development and Verification of a Distributed Railway Control System.

Anne E. Haxthausen, Jan Peleska

IEEE Trans. Software Eng., 2000

1999

Combining Methods for the Analysis of a Fault-Tolerant System.

Hui Shi, Jan Peleska, Michel Kouvaras

Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999), 1999

The UniForM Workbench, a Universal Development Environment for Formal Methods.

Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer

Proceedings of the FM'99 - Formal Methods, 1999

Formal Methods for the International Space Station ISS.

Jan Peleska, Bettina Buth

Proceedings of the Correct System Design, 1999

1998

A Survivable Avionics System for Space Applications.

Gerd Urban, Hans-Joachim Kolinowitz, Jan Peleska

Proceedings of the Digest of Papers: FTCS-28, 1998

Combining Methods for the Livelock Analysis of a Fault-Tolerant System.

Bettina Buth, Jan Peleska, Hui Shi

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Deadlock Analysis for a Fault-Tolerant System.

Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

From Testing Theory to Test Driver Implementation.

Jan Peleska, Michael Siegel

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Test Automation for Safety-Critical Systems: Industrial Application and Future Developments.

Jan Peleska

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Formal methods and the development of dependable systems.

Jan Peleska

PhD thesis, 1996

1995

Using formal specifications to support software testing.

Hans-Martin Hörcher, Jan Peleska

Softw. Qual. J., 1995

1994

Formal Semantics for Ward & Mellor's Transformation Schemas.

Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska

Proceedings of the 6th Refinement Workshop, 1994

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

Proceedings of the Dependable Computing, 1994

1993

Formale Spezifikation generischer ITSEC-Funktionalitätsklassen.

Jan Peleska

Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

1991

Design and Verification of Fault Tolerant Systems with CSP.

Jan Peleska

Distributed Comput., 1991