2008 |
5 | EE | Maria Spichkova:
Refinement-Based Verification of Interactive Real-Time Systems.
Electr. Notes Theor. Comput. Sci. 214: 131-157 (2008) |
4 | EE | Jewgenij Botaschanjan,
Manfred Broy,
Alexander Gruler,
Alexander Harhurin,
Steffen Knapp,
Leonid Kof,
Wolfgang J. Paul,
Maria Spichkova:
On the correctness of upper layers of automotive systems.
Formal Asp. Comput. 20(6): 637-662 (2008) |
2007 |
3 | EE | Manfred Broy,
Jorge Fox,
Florian Hölzl,
Dagmar Koss,
Marco Kuhrmann,
Michael Meisinger,
Birgit Penzenstadler,
Sabine Rittmann,
Bernhard Schätz,
Maria Spichkova,
Doris Wild:
Service-Oriented Modeling of CoCoME with Focus and AutoFocus.
CoCoME 2007: 177-206 |
2006 |
2 | EE | Jewgenij Botaschanjan,
Alexander Gruler,
Alexander Harhurin,
Leonid Kof,
Maria Spichkova,
David Trachtenherz:
Towards Modularized Verification of Distributed Time-Triggered Systems.
FM 2006: 163-178 |
2005 |
1 | EE | Jewgenij Botaschanjan,
Leonid Kof,
C. Kühnel,
Maria Spichkova:
Towards verified automotive software.
ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005) |