Jan Peleska

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 48

Top Venues

CoRR

ICTSS

Sci. Comput. Program.

RSSRail

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Jan Peleska, Felix Brüning, Mario Gleirscher, Wen-ling Huang
A Stochastic Approach to Classification Error Estimates in Convolutional Neural Networks. CoRR (2024)
Wen-ling Huang, Niklas Krafczyk, Jan Peleska
Exhaustive property oriented model-based testing with symbolic finite state machines. Sci. Comput. Program. 231 (2024)
Felix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Jan Peleska, Robert Sachtleben
Complete Property-Oriented Module Testing. ICTSS (2023)
Mario Gleirscher, Robert Sachtleben, Jan Peleska
Qualification of proof assistants, checkers, and generators: Where are we and what next? Sci. Comput. Program. 226 (2023)
Mario Gleirscher, Anne E. Haxthausen, Jan Peleska
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains. FTSCS (2023)
Mario Gleirscher, Anne E. Haxthausen, Jan Peleska
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains. CoRR (2023)
Mario Gleirscher, Robert Sachtleben, Jan Peleska
Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next? CoRR (2023)
Wen-ling Huang, Niklas Krafczyk, Jan Peleska
An Optimised Complete Strategy for Testing Symbolic Finite State Machines. FSEN (2023)
Mario Gleirscher, Lukas Plecher, Jan Peleska
Sound Development of Safety Supervisors. CoRR (2022)
Jan Peleska, Anne E. Haxthausen, Thierry Lecomte
Standardisation Considerations for Autonomous Train Control. ISoLA (4) (2022)
Robert Sachtleben, Jan Peleska
Effective grey-box testing with partial FSM models. Softw. Test. Verification Reliab. 32 (2) (2022)
Kerstin I. Eder, Wen-ling Huang, Jan Peleska
Complete Agent-driven Model-based System Testing for Autonomous Systems. FMAS (2021)
Mario Gleirscher, Jan Peleska
Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems. FMAS (2021)
Wen-ling Huang, Jan Peleska
Complete Requirements-based Testing with Finite State Machines. CoRR (2021)
Moritz Bergenthal, Niklas Krafczyk, Jan Peleska, Robert Sachtleben
libfsmtest An Open Source Library for FSM-Based Testing. ICTSS (2021)
Niklas Krafczyk, Jan Peleska
Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines. SEFM (2021)
Robert Sachtleben, Jan Peleska
Effective grey-box testing with partial FSM models. CoRR (2021)
Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger
Efficient data validation for geographical interlocking systems. Formal Aspects Comput. 33 (6) (2021)
Jan Peleska
New Distribution Paradigms for Railway Interlocking. ISoLA (3) (2020)
Felix Hübner, Wen-ling Huang, Jan Peleska
Experimental evaluation of a novel equivalence class partition testing strategy. Softw. Syst. Model. 18 (1) (2019)
Wen-ling Huang, Sadik Özoguz, Jan Peleska
Safety-complete test suites. Softw. Qual. J. 27 (2) (2019)
Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska
A Mechanised Proof of an Adaptive State Counting Algorithm. ICTSS (2019)
Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger
Efficient Data Validation for Geographical Interlocking Systems. RSSRail (2019)
Jan Peleska, Wen-ling Huang, Ana Cavalcanti
Finite complete suites for CSP refinement testing. Sci. Comput. Program. 179 (2019)
Jörg Brauer, Oliver Möller, Jan Peleska
Testing Avionics Software: Is FMI up to the Task? ISoLA (3) (2018)
Jan Peleska, Jörg Brauer, Wen-ling Huang
Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges. ISoLA (4) (2018)
Wen-ling Huang, Jan Peleska
Model-based testing strategies and their (in)dependence on syntactic model representations. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
Jan Peleska
Model-based avionic systems testing for the airbus family. ETS (2018)
Linh Vu Hong, Anne E. Haxthausen, Jan Peleska
Formal modelling and verification of interlocking systems featuring sequential release. Sci. Comput. Program. 133 (2017)
Niklas Krafczyk, Jan Peleska
Effective Infinite-State Model Checking by Input Equivalence Class Partitioning. ICTSS (2017)
Wen-ling Huang, Jan Peleska
Safety-Complete Test Suites. ICTSS (2017)
Linh H. Vu, Anne E. Haxthausen, Jan Peleska
A Domain-Specific Language for Generic Interlocking Models and Their Properties. RSSRail (2017)
Wen-ling Huang, Jan Peleska
Complete model-based equivalence class testing for nondeterministic systems. Formal Aspects Comput. 29 (2) (2017)
Jan Peleska, Wen-ling Huang
Model-Based Testing Strategies and Their (In)dependence on Syntactic Model Representations. FMICS-AVoCS (2016)
Jan Peleska, Wen-ling Huang
Industrial-Strength Model-Based Testing of Safety-Critical Systems. FM (2016)
Wen-ling Huang, Jan Peleska
Complete model-based equivalence class testing. Int. J. Softw. Tools Technol. Transf. 18 (3) (2016)
Anne E. Haxthausen, Jan Peleska
On the Feasibility of a Unified Modelling and Programming Paradigm. ISoLA (2) (2016)
Jan Peleska, Wen-ling Huang, Felix Hübner
A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers. RSSRail (2016)
Christoph Hilken, Jan Peleska
Model-Based Testing Against Complex SysML Models. SyDe Summer School (2015)
Christoph Hilken, Jan Peleska, Robert Wille
A Unified Formulation of Behavioral Semantics for SysML Models. MODELSWARD (2015)
Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, Rolf Drechsler
Checking concurrent behavior in UML/OCL models. MoDELS (2015)
Jan Peleska
Translating Testing Theories for Concurrent Systems. Correct System Design (2015)
Jörg Brauer, Markus Dahlweid, Tobias Pankrath, Jan Peleska
Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler. SAFECOMP (2015)
Claus Ballegaard Nielsen, Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Jan Peleska
Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions. ACM Comput. Surv. 48 (2) (2015)
Felix Hübner, Wen-ling Huang, Jan Peleska
Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy. TAP@STAF (2015)
Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock
CSP and Kripke Structures. ICTAC (2015)
Felix Hübner, Jan Peleska
Integrated Model-based Testing and Model Checking with the Benefits of Equivalence Partition Testing. SyDe Summer School (2015)
Anne E. Haxthausen, Jan Peleska
Model Checking and Model-Based Testing in the Railway Domain. SyDe Summer School (2015)
Linh Vu Hong, Anne E. Haxthausen, Jan Peleska
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release. FTSCS (2014)
Cécile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska, Uwe Schulze, Linh Vu Hong
Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. ICFEM (2014)
Johannes Feuser, Jan Peleska
Dependability in open proof software with hardware virtualization - The railway control systems perspective. Sci. Comput. Program. 91 (2014)
Wen-ling Huang, Jan Peleska
Exhaustive Model-Based Equivalence Class Testing. ICTSS (2013)
Gustavo Carvalho, Flávia de Almeida Barros, Florian Lapschies, Uwe Schulze, Jan Peleska
Model-Based Testing from Controlled Natural Language Requirements. FTSCS (2013)
Anne E. Haxthausen, Jan Peleska, Ralf Pinger
Applied Bounded Model Checking for Interlocking System Designs. SEFM Workshops (2013)
Jan Peleska
Industrial-Strength Model-Based Testing - State of the Art and Current Challenges MBT (2013)
Tatiana Mangels, Jan Peleska
CTGEN - a Unit Test Generator for C SSV (2012)
Stefan Milius, Henning Günther, Jan Peleska, Oliver Möller, Helge Löding, Martin Sulzmann, Ramin Hedayati, Axel Zechner
A framework for formal verification of systems of synchronous components. MBEES (2012)
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
COMPASS tool vision for a system of systems Collaborative Development Environment. SoSE (2012)
Jörg Brauer, Jan Peleska, Uwe Schulze
Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. ICTSS (2012)
Stefan Hallerstede, Finn Overgaard Hansen, Jon Holt, Rasmus Lauritsen, Lasse Lorenzen, Jan Peleska
Technical challenges of SoS requirements engineering. SoSE (2012)
Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev, Cornelia Zahlten
A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain. ICTSS (2011)
Thilo Mende, Rainer Koschke, Jan Peleska
On the Utility of a Defect Prediction Model during HW/SW Integration Testing: A Retrospective Case Study. CSMR (2011)
Jan Peleska, Elena Vorobev, Florian Lapschies
Automated Test Case Generation with SMT-Solving and Abstract Interpretation. NASA Formal Methods (2011)
Christof Efkemann, Jan Peleska
Model-Based Testing for the Second Generation of Integrated Modular Avionics. ICST Workshops (2011)
Anne E. Haxthausen, Jan Peleska, Sebastian Kinder
A formal approach for the construction and verification of railway control systems. Formal Aspects Comput. 23 (2) (2011)
Helge Löding, Jan Peleska
Timed Moore Automata: Test Data Generation and Model Checking. ICST (2010)
Jan Peleska
Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules. Concurrency, Compositionality, and Correctness (2010)
Johannes Feuser, Jan Peleska
Security in Open Model Software with Hardware Virtualisation - The Railway Control System Perspective. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010)
Oliver Schulz, Jan Peleska
Reliability Analysis of Safety-Related Communication Architectures. SAFECOMP (2010)
Jan Peleska
A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules. ICTAC (2008)
Stefan Bisanz, Ulrich Hannemann, Jan Peleska
Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework. COMPSAC (2008)
Helge Löding, Jan Peleska
Symbolic and Abstract Interpretation for C/C++ Programs. Electron. Notes Theor. Comput. Sci. 217 (2008)
Anne E. Haxthausen, Jan Peleska
A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems. Formal Methods and Hybrid Real-Time Systems (2007)
Jan Peleska, Helge Löding, Tatiana Kotas
Test Automation Meets Static Analysis. GI Jahrestagung (2) (2007)
Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska
The HybridUML profile for UML 2.0. Int. J. Softw. Tools Technol. Transf. 8 (2) (2006)
Bahareh Badban, Martin Fränzle, Jan Peleska, Tino Teige
Test automation for hybrid systems. SOQUA (2006)
Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska
Executable HybridUML and Its Application to Train Control Systems. SoftSpez Final Report (2004)
Jan Peleska
Applied Formal Methods - From CSP to Executable Hybrid Specifications. 25 Years Communicating Sequential Processes (2004)
Jan Peleska
Automated Test Suites for Modern Aircraft Controllers. MBMV (2003)
Jan Peleska
Hardware/Software Integration Testing for the new Airbus Aircraft Families. TestCom (2002)
Anne E. Haxthausen, Jan Peleska
Formal Development and Verification of a Distributed Railway Control System. IEEE Trans. Software Eng. 26 (8) (2000)
Jan Peleska, Bettina Buth
Formal Methods for the International Space Station ISS. Correct System Design (1999)
Anne E. Haxthausen, Jan Peleska
Formal Development and Verification of a Distributed Railway Control System. World Congress on Formal Methods (1999)
Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer
The UniForM Workbench, a Universal Development Environment for Formal Methods. World Congress on Formal Methods (1999)
Hui Shi, Jan Peleska, Michel Kouvaras
Combining Methods for the Analysis of a Fault-Tolerant System. PRDC (1999)
Bettina Buth, Jan Peleska, Hui Shi
Combining Methods for the Livelock Analysis of a Fault-Tolerant System. AMAST (1998)
Gerd Urban, Hans-Joachim Kolinowitz, Jan Peleska
A Survivable Avionics System for Space Applications. FTCS (1998)
Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi
Deadlock Analysis for a Fault-Tolerant System. AMAST (1997)
Jan Peleska, Michael Siegel
From Testing Theory to Test Driver Implementation. FME (1996)
Jan Peleska
Test Automation for Safety-Critical Systems: Industrial Application and Future Developments. FME (1996)
Hans-Martin Hörcher, Jan Peleska
Using formal specifications to support software testing. Softw. Qual. J. 4 (4) (1995)
Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska
Formal Semantics for Ward & Mellor's Transformation Schemas. Refine (1994)
Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska
Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems. EDCC (1994)
Jan Peleska
Formale Spezifikation generischer ITSEC-Funktionalitätsklassen. GI Jahrestagung (1993)
Jan Peleska
Design and Verification of Fault Tolerant Systems with CSP. Distributed Comput. 5 (1991)

Jan Peleska.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan Peleska