The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jan Peleska: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi
    Deadlock Analysis for a Fault-Tolerant System. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:60-74 [Conf]
  2. Bettina Buth, Jan Peleska, Hui Shi
    Combining Methods for the Livelock Analysis of a Fault-Tolerant System. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:124-139 [Conf]
  3. Jan Peleska
    Applied Formal Methods - From CSP to Executable Hybrid Specifications. [Citation Graph (0, 0)][DBLP]
    25 Years Communicating Sequential Processes, 2004, pp:293-320 [Conf]
  4. Jan Peleska, Bettina Buth
    Formal Methods for the International Space Station ISS. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:363-389 [Conf]
  5. Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska
    Executable HybridUML and Its Application to Train Control Systems. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:145-173 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    EDCC, 1994, pp:59-76 [Conf]
  7. Anne Elisabeth Haxthausen, Jan Peleska
    Formal Development and Verification of a Distributed Railway Control System. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1546-1563 [Conf]
  8. Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer
    The UniForM Workbench, a Universal Development Environment for Formal Methods. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1186-1205 [Conf]
  9. Jan Peleska
    Test Automation for Safety-Critical Systems: Industrial Application and Future Developments. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:39-59 [Conf]
  10. Jan Peleska, Michael Siegel
    From Testing Theory to Test Driver Implementation. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:538-556 [Conf]
  11. Gerd Urban, Hans-Joachim Kolinowitz, Jan Peleska
    A Survivable Avionics System for Space Applications. [Citation Graph (0, 0)][DBLP]
    FTCS, 1998, pp:372-381 [Conf]
  12. Jan Peleska
    Formale Spezifikation generischer ITSEC-Funktionalitätsklassen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1993, pp:354-364 [Conf]
  13. Jan Peleska
    Hardware/Software Integration Testing for the new Airbus Aircraft Families. [Citation Graph (0, 0)][DBLP]
    TestCom, 2002, pp:335-0 [Conf]
  14. Bahareh Badban, Martin Fränzle, Jan Peleska, Tino Teige
    Test automation for hybrid systems. [Citation Graph (0, 0)][DBLP]
    SOQUA, 2006, pp:14-21 [Conf]
  15. Jan Peleska
    Design and Verification of Fault Tolerant Systems with CSP. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1991, v:5, n:, pp:95-106 [Journal]
  16. Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska
    The HybridUML profile for UML 2.0. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:2, pp:167-176 [Journal]
  17. Anne Elisabeth Haxthausen, Jan Peleska
    Formal Development and Verification of a Distributed Railway Control System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:8, pp:687-701 [Journal]
  18. Anne Elisabeth Haxthausen, Jan Peleska
    A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:320-348 [Conf]

  19. Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules. [Citation Graph (, )][DBLP]


  20. Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework. [Citation Graph (, )][DBLP]


  21. Test Automation Meets Static Analysis. [Citation Graph (, )][DBLP]


  22. A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules. [Citation Graph (, )][DBLP]


  23. Combining Methods for the Analysis of a Fault-Tolerant System. [Citation Graph (, )][DBLP]


  24. Reliability Analysis of Safety-Related Communication Architectures. [Citation Graph (, )][DBLP]


  25. Timed Moore Automata: Test Data Generation and Model Checking. [Citation Graph (, )][DBLP]


  26. Formalization of Clinical Practice Guidelines. [Citation Graph (, )][DBLP]


  27. Medical Knowledge Representation System. [Citation Graph (, )][DBLP]


  28. Symbolic and Abstract Interpretation for C/C++ Programs. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002