| 2008 |
|---|
| 5 | 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) |
| 2006 |
|---|
| 4 | 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 |
|---|
| 3 | EE | Jewgenij Botaschanjan,
Jan Jürjens:
MoDeII: Modeling and Analyzing Time-Constraints.
ECBS 2005: 299-306 |
| 2 | EE | Jewgenij Botaschanjan,
Leonid Kof,
C. Kühnel,
Maria Spichkova:
Towards verified automotive software.
ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005) |
| 2004 |
|---|
| 1 | | Jewgenij Botaschanjan,
Andreas Fleischmann,
Markus Pister:
A conceptual model for requirements engineering and management for change-intensive software.
IASTED Conf. on Software Engineering 2004: 36-41 |
