Jewgenij Botaschanjan

According to our database, Jewgenij Botaschanjan authored at least 12 papers between 2004 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2014

Testing Agile Requirements Models.

Jewgenij Botaschanjan, Markus Pister, Bernhard Rumpe

CoRR, 2014

2010

Material Flow Abstraction of Manufacturing Systems.

Jewgenij Botaschanjan, Benjamin Hummel

Proceedings of the Theoretical Aspects of Computing, 2010

2009

Property-Driven Scenario Integration.

Jewgenij Botaschanjan, Alexander Harhurin

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Specifying the worst case: orthogonal modeling of hardware errors.

Jewgenij Botaschanjan, Benjamin Hummel

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Integrated Behavior Models for Factory Automation Systems.

Jewgenij Botaschanjan, Benjamin Hummel, Thomas Hensel, Alexander Lindworsky

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Integrating Functional and Architectural Views of Reactive Systems.

Jewgenij Botaschanjan, Alexander Harhurin

Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009

2008

Techniques for property preservation in the development of real-time systems.

Jewgenij Botaschanjan

PhD thesis, 2008

On the correctness of upper layers of automotive systems.

Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova

Formal Aspects Comput., 2008

2006

Towards Modularized Verification of Distributed Time-Triggered Systems.

Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz

Proceedings of the FM 2006: Formal Methods, 2006

2005

Towards verified automotive software.

Jewgenij Botaschanjan, Leonid Kof, C. Kühnel, Maria Spichkova

ACM SIGSOFT Softw. Eng. Notes, 2005

MoDeII: Modeling and Analyzing Time-Constraints.

Jewgenij Botaschanjan, Jan Jürjens

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

2004

A conceptual model for requirements engineering and management for change-intensive software.

Jewgenij Botaschanjan, Andreas Fleischmann, Markus Pister

Proceedings of the IASTED International Conference on Software Engineering, 2004