dblp.uni-trier.dewww.uni-trier.de

Maria Spichkova

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEMaria Spichkova: Refinement-Based Verification of Interactive Real-Time Systems. Electr. Notes Theor. Comput. Sci. 214: 131-157 (2008)
4EEJewgenij 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
3EEManfred 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
2EEJewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz: Towards Modularized Verification of Distributed Time-Triggered Systems. FM 2006: 163-178
2005
1EEJewgenij Botaschanjan, Leonid Kof, C. Kühnel, Maria Spichkova: Towards verified automotive software. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)

Coauthor Index

1Jewgenij Botaschanjan [1] [2] [4]
2Manfred Broy [3] [4]
3Jorge Fox [3]
4Alexander Gruler [2] [4]
5Alexander Harhurin [2] [4]
6Florian Hölzl [3]
7Steffen Knapp [4]
8Leonid Kof [1] [2] [4]
9Dagmar Koss [3]
10C. Kühnel [1]
11Marco Kuhrmann [3]
12Michael Meisinger [3]
13Wolfgang J. Paul [4]
14Birgit Penzenstadler [3]
15Sabine Rittmann [3]
16Bernhard Schätz [3]
17David Trachtenherz [2]
18Doris Wild [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)