Jewgenij Botaschanjan

12 papers A 1B 2C 2Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2014 J jnl
Testing Agile Requirements Models.
CoRR
Jewgenij Botaschanjan, Markus Pister, Bernhard Rumpe
2010 C conf
Material Flow Abstraction of Manufacturing Systems.
ICTAC
Jewgenij Botaschanjan, Benjamin Hummel
2009 C conf
Integrated Behavior Models for Factory Automation Systems.
ETFA
Jewgenij Botaschanjan, Benjamin Hummel, Thomas Hensel, Alexander Lindworsky
2009 — conf
Integrating Functional and Architectural Views of Reactive Systems.
CBSE
Jewgenij Botaschanjan, Alexander Harhurin
2009 B conf
Property-Driven Scenario Integration.
SEFM
Jewgenij Botaschanjan, Alexander Harhurin
2009 A conf
Specifying the worst case: orthogonal modeling of hardware errors.
ISSTA
Jewgenij Botaschanjan, Benjamin Hummel
2008 J jnl
On the correctness of upper layers of automotive systems.
Formal Aspects Comput.
Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova
2008 — —
Techniques for property preservation in the development of real-time systems.
Jewgenij Botaschanjan
2006 B conf
Towards Modularized Verification of Distributed Time-Triggered Systems.
FM
Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz
2005 — conf
MoDeII: Modeling and Analyzing Time-Constraints.
ECBS
Jewgenij Botaschanjan, Jan Jürjens
2005 J jnl
Towards verified automotive software.
ACM SIGSOFT Softw. Eng. Notes
Jewgenij Botaschanjan, Leonid Kof, C. Kühnel, Maria Spichkova
2004 — conf
A conceptual model for requirements engineering and management for change-intensive software.
IASTED Conf. on Software Engineering
Jewgenij Botaschanjan, Andreas Fleischmann, Markus Pister