Jan Peleska - RankMe

101 papers A 2B 7C 13Misc 1Journal 26Unranked 51

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