Jewgenij Botaschanjan

Publication Activity (10 Years)

Years Active: 2004-2014
Publications (10 Years): 0

Top Venues

CoRR

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Jewgenij Botaschanjan, Markus Pister, Bernhard Rumpe
Testing Agile Requirements Models. CoRR (2014)
Jewgenij Botaschanjan, Benjamin Hummel
Material Flow Abstraction of Manufacturing Systems. ICTAC (2010)
Jewgenij Botaschanjan, Benjamin Hummel
Specifying the worst case: orthogonal modeling of hardware errors. ISSTA (2009)
Jewgenij Botaschanjan, Alexander Harhurin
Integrating Functional and Architectural Views of Reactive Systems. CBSE (2009)
Jewgenij Botaschanjan, Alexander Harhurin
Property-Driven Scenario Integration. SEFM (2009)
Jewgenij Botaschanjan, Benjamin Hummel, Thomas Hensel, Alexander Lindworsky
Integrated Behavior Models for Factory Automation Systems. ETFA (2009)
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 Aspects Comput. 20 (6) (2008)
Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz
Towards Modularized Verification of Distributed Time-Triggered Systems. FM (2006)
Jewgenij Botaschanjan, Jan Jürjens
MoDeII: Modeling and Analyzing Time-Constraints. ECBS (2005)
Jewgenij Botaschanjan, Leonid Kof, C. Kühnel, Maria Spichkova
Towards verified automotive software. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Jewgenij Botaschanjan, Andreas Fleischmann, Markus Pister
A conceptual model for requirements engineering and management for change-intensive software. IASTED Conf. on Software Engineering (2004)

Jewgenij Botaschanjan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jewgenij Botaschanjan