default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJan Peleska 0001
Person information
- affiliation: University of Bremen, Germany
Other persons with the same name
- Jan Peleska 0002 — European Center for Medical Informatics, Statistics and Epidemiology, Prague, The Czech Republic
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j19]Wen-ling Huang, Niklas Krafczyk, Jan Peleska
:
Exhaustive property oriented model-based testing with symbolic finite state machines. Sci. Comput. Program. 231: 103005 (2024)- [i6]Jan Peleska, Felix Brüning, Mario Gleirscher, Wen-ling Huang:
A Stochastic Approach to Classification Error Estimates in Convolutional Neural Networks. CoRR abs/2401.06156 (2024) - 2023
- [j18]Mario Gleirscher, Robert Sachtleben, Jan Peleska:
Qualification of proof assistants, checkers, and generators: Where are we and what next? Sci. Comput. Program. 226: 102930 (2023) - [c70]Wen-ling Huang, Niklas Krafczyk, Jan Peleska:
An Optimised Complete Strategy for Testing Symbolic Finite State Machines. FSEN 2023: 55-71 - [c69]Mario Gleirscher, Anne E. Haxthausen, Jan Peleska:
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains. FTSCS 2023: 26-36 - [c68]Felix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Jan Peleska, Robert Sachtleben:
Complete Property-Oriented Module Testing. ICTSS 2023: 183-201 - [i5]Mario Gleirscher, Robert Sachtleben, Jan Peleska:
Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next? CoRR abs/2302.09546 (2023) - [i4]Mario Gleirscher, Anne E. Haxthausen, Jan Peleska:
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains. CoRR abs/2306.14814 (2023) - 2022
- [j17]Robert Sachtleben, Jan Peleska:
Effective grey-box testing with partial FSM models. Softw. Test. Verification Reliab. 32(2) (2022) - [c67]Jan Peleska, Anne E. Haxthausen, Thierry Lecomte:
Standardisation Considerations for Autonomous Train Control. ISoLA (4) 2022: 286-307 - [i3]Mario Gleirscher, Lukas Plecher, Jan Peleska:
Sound Development of Safety Supervisors. CoRR abs/2203.08917 (2022) - 2021
- [j16]Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger:
Efficient data validation for geographical interlocking systems. Formal Aspects Comput. 33(6): 925-955 (2021) - [c66]Moritz Bergenthal, Niklas Krafczyk, Jan Peleska, Robert Sachtleben:
libfsmtest An Open Source Library for FSM-Based Testing. ICTSS 2021: 3-19 - [c65]Niklas Krafczyk, Jan Peleska:
Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines. SEFM 2021: 84-102 - [c64]Kerstin I. Eder, Wen-ling Huang, Jan Peleska:
Complete Agent-driven Model-based System Testing for Autonomous Systems. FMAS 2021: 54-72 - [c63]Mario Gleirscher, Jan Peleska:
Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems. FMAS 2021: 101-109 - [i2]Wen-ling Huang, Jan Peleska:
Complete Requirements-based Testing with Finite State Machines. CoRR abs/2105.11786 (2021) - [i1]Robert Sachtleben, Jan Peleska:
Effective grey-box testing with partial FSM models. CoRR abs/2106.14284 (2021) - 2020
- [c62]Jan Peleska:
New Distribution Paradigms for Railway Interlocking. ISoLA (3) 2020: 434-448
2010 – 2019
- 2019
- [j15]Jan Peleska, Wen-ling Huang, Ana Cavalcanti:
Finite complete suites for CSP refinement testing. Sci. Comput. Program. 179: 1-23 (2019) - [j14]Felix Hübner, Wen-ling Huang, Jan Peleska:
Experimental evaluation of a novel equivalence class partition testing strategy. Softw. Syst. Model. 18(1): 423-443 (2019) - [j13]Wen-ling Huang, Sadik Özoguz, Jan Peleska:
Safety-complete test suites. Softw. Qual. J. 27(2): 589-613 (2019) - [c61]Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska:
A Mechanised Proof of an Adaptive State Counting Algorithm. ICTSS 2019: 176-193 - [c60]Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger:
Efficient Data Validation for Geographical Interlocking Systems. RSSRail 2019: 142-158 - 2018
- [j12]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): 441-465 (2018) - [c59]Jan Peleska:
Model-based avionic systems testing for the airbus family. ETS 2018: 1-10 - [c58]Jan Peleska, Jörg Brauer, Wen-ling Huang:
Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges. ISoLA (4) 2018: 82-103 - [c57]Jörg Brauer, Oliver Möller, Jan Peleska:
Testing Avionics Software: Is FMI up to the Task? ISoLA (3) 2018: 477-487 - [e1]Klaus Havelund, Jan Peleska, Bill Roscoe, Erik P. de Vink:
Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Lecture Notes in Computer Science 10951, Springer 2018, ISBN 978-3-319-95581-0 [contents] - 2017
- [j11]Wen-ling Huang, Jan Peleska:
Complete model-based equivalence class testing for nondeterministic systems. Formal Aspects Comput. 29(2): 335-364 (2017) - [j10]Linh Vu Hong, Anne E. Haxthausen, Jan Peleska:
Formal modelling and verification of interlocking systems featuring sequential release. Sci. Comput. Program. 133: 91-115 (2017) - [c56]Niklas Krafczyk, Jan Peleska:
Effective Infinite-State Model Checking by Input Equivalence Class Partitioning. ICTSS 2017: 38-53 - [c55]Wen-ling Huang, Jan Peleska:
Safety-Complete Test Suites. ICTSS 2017: 145-161 - [c54]Linh H. Vu, Anne E. Haxthausen, Jan Peleska:
A Domain-Specific Language for Generic Interlocking Models and Their Properties. RSSRail 2017: 99-115 - 2016
- [j9]Wen-ling Huang, Jan Peleska:
Complete model-based equivalence class testing. Int. J. Softw. Tools Technol. Transf. 18(3): 265-283 (2016) - [c53]Jan Peleska, Wen-ling Huang:
Industrial-Strength Model-Based Testing of Safety-Critical Systems. FM 2016: 3-22 - [c52]Jan Peleska, Wen-ling Huang:
Model-Based Testing Strategies and Their (In)dependence on Syntactic Model Representations. FMICS-AVoCS 2016: 3-21 - [c51]Anne E. Haxthausen, Jan Peleska:
On the Feasibility of a Unified Modelling and Programming Paradigm. ISoLA (2) 2016: 32-49 - [c50]Jan Peleska, Wen-ling Huang, Felix Hübner:
A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers. RSSRail 2016: 32-49 - 2015
- [j8]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): 18:1-18:41 (2015) - [c49]Jan Peleska:
Translating Testing Theories for Concurrent Systems. Correct System Design 2015: 133-151 - [c48]Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock:
CSP and Kripke Structures. ICTAC 2015: 505-523 - [c47]Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, Rolf Drechsler:
Checking concurrent behavior in UML/OCL models. MoDELS 2015: 176-185 - [c46]Christoph Hilken, Jan Peleska, Robert Wille:
A Unified Formulation of Behavioral Semantics for SysML Models. MODELSWARD 2015: 263-271 - [c45]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: 427-440 - [c44]Anne E. Haxthausen, Jan Peleska:
Model Checking and Model-Based Testing in the Railway Domain. SyDe Summer School 2015: 82-121 - [c43]Christoph Hilken, Jan Peleska:
Model-Based Testing Against Complex SysML Models. SyDe Summer School 2015: 284-286 - [c42]Felix Hübner, Jan Peleska:
Integrated Model-based Testing and Model Checking with the Benefits of Equivalence Partition Testing. SyDe Summer School 2015: 287-289 - [c41]Felix Hübner, Wen-ling Huang, Jan Peleska:
Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy. TAP@STAF 2015: 155-172 - 2014
- [j7]Johannes Feuser, Jan Peleska:
Dependability in open proof software with hardware virtualization - The railway control systems perspective. Sci. Comput. Program. 91: 188-215 (2014) - [c40]Linh Vu Hong, Anne E. Haxthausen, Jan Peleska:
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release. FTSCS 2014: 223-238 - [c39]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: 380-395 - 2013
- [c38]Gustavo Carvalho, Flávia de Almeida Barros, Florian Lapschies, Uwe Schulze, Jan Peleska:
Model-Based Testing from Controlled Natural Language Requirements. FTSCS 2013: 19-35 - [c37]Wen-ling Huang, Jan Peleska:
Exhaustive Model-Based Equivalence Class Testing. ICTSS 2013: 49-64 - [c36]Anne E. Haxthausen, Jan Peleska, Ralf Pinger:
Applied Bounded Model Checking for Interlocking System Designs. SEFM Workshops 2013: 205-220 - [c35]Jan Peleska:
Industrial-Strength Model-Based Testing - State of the Art and Current Challenges. MBT 2013: 3-28 - 2012
- [c34]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: 145-154 - [c33]Jörg Brauer, Jan Peleska, Uwe Schulze:
Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. ICTSS 2012: 8-23 - [c32]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: 451-456 - [c31]Stefan Hallerstede, Finn Overgaard Hansen, Jon Holt, Rasmus Lauritsen, Lasse Lorenzen, Jan Peleska:
Technical challenges of SoS requirements engineering. SoSE 2012: 573-578 - [c30]Tatiana Mangels, Jan Peleska:
CTGEN - a Unit Test Generator for C. SSV 2012: 88-102 - 2011
- [j6]Anne E. Haxthausen, Jan Peleska, Sebastian Kinder:
A formal approach for the construction and verification of railway control systems. Formal Aspects Comput. 23(2): 191-219 (2011) - [c29]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: 259-268 - [c28]Christof Efkemann, Jan Peleska:
Model-Based Testing for the Second Generation of Integrated Modular Avionics. ICST Workshops 2011: 55-62 - [c27]Jan Peleska, Elena Vorobev, Florian Lapschies:
Automated Test Case Generation with SMT-Solving and Abstract Interpretation. NASA Formal Methods 2011: 298-312 - [c26]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: 146-161 - 2010
- [j5]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) - [c25]Jan Peleska:
Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules. Concurrency, Compositionality, and Correctness 2010: 277-299 - [c24]Helge Löding, Jan Peleska:
Timed Moore Automata: Test Data Generation and Model Checking. ICST 2010: 449-458 - [c23]Oliver Schulz, Jan Peleska:
Reliability Analysis of Safety-Related Communication Architectures. SAFECOMP 2010: 1-14
2000 – 2009
- 2008
- [c22]Stefan Bisanz, Ulrich Hannemann, Jan Peleska:
Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework. COMPSAC 2008: 64-67 - [c21]Jan Peleska:
A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules. ICTAC 2008: 3-22 - [c20]Helge Löding, Jan Peleska:
Symbolic and Abstract Interpretation for C/C++ Programs. SSV 2008: 113-131 - 2007
- [c19]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: 320-348 - [c18]Jan Peleska, Helge Löding, Tatiana Kotas:
Test Automation Meets Static Analysis. GI Jahrestagung (2) 2007: 280-290 - 2006
- [j4]Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska:
The HybridUML profile for UML 2.0. Int. J. Softw. Tools Technol. Transf. 8(2): 167-176 (2006) - [c17]Bahareh Badban, Martin Fränzle, Jan Peleska, Tino Teige:
Test automation for hybrid systems. SOQUA 2006: 14-21 - 2004
- [c16]Jan Peleska:
Applied Formal Methods - From CSP to Executable Hybrid Specifications. 25 Years Communicating Sequential Processes 2004: 293-320 - [c15]Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska:
Executable HybridUML and Its Application to Train Control Systems. SoftSpez Final Report 2004: 145-173 - 2003
- [c14]Jan Peleska:
Automated Test Suites for Modern Aircraft Controllers. MBMV 2003: 1-10 - 2002
- [c13]Jan Peleska:
Hardware/Software Integration Testing for the new Airbus Aircraft Families. TestCom 2002: 335- - 2000
- [j3]Anne E. Haxthausen, Jan Peleska:
Formal Development and Verification of a Distributed Railway Control System. IEEE Trans. Software Eng. 26(8): 687-701 (2000)
1990 – 1999
- 1999
- [c12]Jan Peleska, Bettina Buth:
Formal Methods for the International Space Station ISS. Correct System Design 1999: 363-389 - [c11]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: 1186-1205 - [c10]Anne E. Haxthausen, Jan Peleska:
Formal Development and Verification of a Distributed Railway Control System. World Congress on Formal Methods 1999: 1546-1563 - [c9]Hui Shi, Jan Peleska, Michel Kouvaras:
Combining Methods for the Analysis of a Fault-Tolerant System. PRDC 1999: 135-142 - 1998
- [c8]Bettina Buth, Jan Peleska, Hui Shi:
Combining Methods for the Livelock Analysis of a Fault-Tolerant System. AMAST 1998: 124-139 - [c7]Gerd Urban, Hans-Joachim Kolinowitz, Jan Peleska:
A Survivable Avionics System for Space Applications. FTCS 1998: 372-381 - 1997
- [c6]Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi:
Deadlock Analysis for a Fault-Tolerant System. AMAST 1997: 60-74 - 1996
- [b1]Jan Peleska:
Formal methods and the development of dependable systems. University of Kiel, Germany, Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik 9612, 1996, pp. I-VII, 1-170 - [c5]Jan Peleska:
Test Automation for Safety-Critical Systems: Industrial Application and Future Developments. FME 1996: 39-59 - [c4]Jan Peleska, Michael Siegel:
From Testing Theory to Test Driver Implementation. FME 1996: 538-556 - 1995
- [j2]Hans-Martin Hörcher, Jan Peleska:
Using formal specifications to support software testing. Softw. Qual. J. 4(4): 309-327 (1995) - 1994
- [c3]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: 59-76 - [c2]Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska:
Formal Semantics for Ward & Mellor's Transformation Schemas. Refine 1994: 14-41 - 1993
- [c1]Jan Peleska:
Formale Spezifikation generischer ITSEC-Funktionalitätsklassen. GI Jahrestagung 1993: 354-364 - 1991
- [j1]Jan Peleska:
Design and Verification of Fault Tolerant Systems with CSP. Distributed Comput. 5: 95-106 (1991)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 19:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
