 | 2010 |
|---|
| 11 |       | Jewgenij Botaschanjan,
Benjamin Hummel:
Material Flow Abstraction of Manufacturing Systems.
ICTAC 2010: 153-167 |
| 2009 |
|---|
| 10 | | Jewgenij Botaschanjan,
Alexander Harhurin:
Integrating Functional and Architectural Views of Reactive Systems.
CBSE 2009: 156-172 |
| 9 | | Jewgenij Botaschanjan,
Benjamin Hummel,
Thomas Hensel,
Alexander Lindworsky:
Integrated Behavior Models for Factory Automation Systems.
ETFA 2009: 1-8 |
| 8 | | Jewgenij Botaschanjan,
Benjamin Hummel:
Specifying the worst case: orthogonal modeling of hardware errors.
ISSTA 2009: 273-284 |
| 7 | | Jewgenij Botaschanjan,
Alexander Harhurin:
Property-Driven Scenario Integration.
SEFM 2009: 147-156 |
| 2008 |
|---|
| 6 | | 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) |
| 5 | | Jewgenij Botaschanjan:
Techniques for property preservation in the development of real-time systems.
Technical University Munich 2008: 1-159 |
| 2006 |
|---|
| 4 | | 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 | | Jewgenij Botaschanjan,
Jan Jürjens:
MoDeII: Modeling and Analyzing Time-Constraints.
ECBS 2005: 299-306 |
| 2 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page