MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Jan Peleska" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

UniForM Workbench - Formal Methods and the Development of Dependable Systems
by Jan Peleska
… Jan Peleska University of Bremen, FB3 D-28334 Bremen Tel.: +49 421 218 7092 Fax: +49 421 218 3054 e…
Add To MetaCart

Formal Methods and the Development of Dependable Systems
by Jan Peleska — 1996
… Olshausenstr. 40 D 24098 Kiel Formal Methods and the Development of Dependable Systems Jan Peleska e…
Cited by 17 (2 self) – Add To MetaCart

Test Automation for Avionic Systems and Space Technology (Extended Abstract)
by Jan Peleska, Cornelia Zahlten
…Test Automation for Avionic Systems and Space Technology (Extended Abstract) Jan Peleska…
Cited by 2 (0 self) – Add To MetaCart

Deadlock Analysis for a Fault-Tolerant System
by Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi — 1997 — In Michael Johnson (Ed.): Algebraic Methodology and Software Technology. Proceedings of the AMAST'97
…Deadlock Analysis for a Fault-Tolerant System Bettina Buth ? , Michel Kouvaras ?? , Jan Peleska…
Cited by 15 (2 self) – Add To MetaCart

Combining Methods for the Livelock Analysis of a Fault-Tolerant System
by Bettina Buth, Jan Peleska, Hui Shi — 1999 — In AMAST’98, LNCS 1548
…Combining Methods for the Livelock Analysis of a Fault-Tolerant System Bettina Buth ? , Jan…
Cited by 14 (0 self) – Add To MetaCart

Hybrid UML Profile for UML 2.0
by Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska — 2003 — In Proc of UML 2003 Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems (SVERTS
…HybridUML Profile for UML 2.0 Kirsten Berkenkötter Stefan Bisanz Ulrich Hannemann Jan Peleska…
Cited by 1 (0 self) – Add To MetaCart

Automated Testing with RT-Tester - Theoretical Issues Driven by Practical Needs
by Markus Dahlweid, Oliver Meyer, Jan Peleska — 2000 — In Proceedings of the FM- Tools 2000, number 2000-07 in Ulmer Informatik Bericht
… Oliver Meyer 1 and Jan Peleska 1;2 1 TZI, Universitat Bremen, P.O. Box 330440, D-28334 Bremen, e…
Cited by 1 (0 self) – Add To MetaCart

Formal Development and Verification of a Distributed Railway Control System
by Anne E. Haxthausen, Jan Peleska — 1998 — In Proc. 1st FMERail Workshop
… and Jan Peleska 2 1 Dept. of Information Technology, Techn. University of Denmark, DK-2800 Lyngby, e…
Cited by 5 (0 self) – Add To MetaCart

Combining Tools for the Verification of Fault-Tolerant Systems
by Bettina Buth, Rachel Cardell-oliver, Jan Peleska — 1996 — In: Tools for System Development and Verification, (Workshop Proceedings), BISS Monographs, Shaker
…-Oliver, Jan Peleska Abstract. In this article, we describe an approach for the tool-supported development…
Cited by 4 (1 self) – Add To MetaCart

Combining Methods for the Analysis of a Fault-Tolerant System
by Hui Shi, Jan Peleska, Michel Kouvaras — 1999 — In: Pacific Rim International Symposium on Dependable Computing (PRDC), IEEE Computer Society
…Combining Methods for the Analysis of a Fault-Tolerant System Hui Shi Jan Peleska Michel Kouvaras…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB