Jan Peleska

MaRDI QIDQ520245zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An optimised complete strategy for testing symbolic finite state machines	2024-05-03	Paper
Exhaustive property oriented model-based testing with symbolic finite state machines Software Engineering and Formal Methods	2023-05-26	Paper
Efficient data validation for geographical interlocking systems Formal Aspects of Computing	2022-01-11	Paper
Complete model-based equivalence class testing for nondeterministic systems Formal Aspects of Computing	2017-04-03	Paper
CSP and Kripke Structures Theoretical Aspects of Computing - ICTAC 2015	2016-02-25	Paper
Translating Testing Theories for Concurrent Systems Lecture Notes in Computer Science	2015-11-04	Paper
A formal approach for the construction and verification of railway control systems Formal Aspects of Computing	2011-05-27	Paper
Integrated and automated abstract interpretation, verification and testing of C/C++ modules Concurrency, Compositionality, and Correctness	2010-03-09	Paper
A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems Formal Methods and Hybrid Real-Time Systems	2008-09-25	Paper
Communicating Sequential Processes. The First 25 Years Lecture Notes in Computer Science	2005-11-29	Paper
Design and verification of fault tolerant systems with CSP Distributed Computing	1992-06-25	Paper
A characterization for isometries and conformal mappings of pseudo- Riemannian manifolds Aequationes Mathematicae	1984-01-01	Paper
scientific article; zbMATH DE number 3857888 (Why is no real title available?)	1982-01-01	Paper

Research outcomes over time

This page was built for person: Jan Peleska