A conceptual model for requirements engineering and management for change-intensive software. - Jewgenij Botaschanjan; Andreas Fleischmann; Markus Pister 001 (IASTED Conf. on Software Engineering, 2004)

MoDeII: Modeling and Analyzing Time-Constraints. - Jewgenij Botaschanjan; Jan Jürjens (ECBS, 2005)

Towards verified automotive software. - Jewgenij Botaschanjan; Leonid Kof; C. Kühnel; Maria Spichkova (ACM SIGSOFT Softw. Eng. Notes, 2005)

Towards Modularized Verification of Distributed Time-Triggered Systems. - Jewgenij Botaschanjan; Alexander Gruler; Alexander Harhurin; Leonid Kof; Maria Spichkova; David Trachtenherz (FM, 2006)

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)

Techniques for property preservation in the development of real-time systems. - Jewgenij Botaschanjan (2008)

Integrating Functional and Architectural Views of Reactive Systems. - Jewgenij Botaschanjan; Alexander Harhurin (CBSE, 2009)

Integrated Behavior Models for Factory Automation Systems. - Jewgenij Botaschanjan; Benjamin Hummel; Thomas Hensel; Alexander Lindworsky (ETFA, 2009)

Specifying the worst case: orthogonal modeling of hardware errors. - Jewgenij Botaschanjan; Benjamin Hummel (ISSTA, 2009)

Property-Driven Scenario Integration. - Jewgenij Botaschanjan; Alexander Harhurin (SEFM, 2009)

Material Flow Abstraction of Manufacturing Systems. - Jewgenij Botaschanjan; Benjamin Hummel (ICTAC, 2010)

Testing Agile Requirements Models. - Jewgenij Botaschanjan; Markus Pister 001; Bernhard Rumpe (CoRR, 2014)