J. Botaschanjan

Service-Based Specification of Reactive Systems Jewgenij

Alexander Harhurin, J. Botaschanjan, Jewgenij Botaschanjan, 2011 .

Service-Based Specification of Reactive Systems

Alexander Harhurin, J. Botaschanjan, Jewgenij Botaschanjan, 2008 .

Testing agile requirements models

Bernhard Rumpe, Jewgenij Botaschanjan, Markus Pister, 2004, Journal of Zhejiang University. Science.

Specifying the worst case: orthogonal modeling of hardware errors

Benjamin Hummel, Jewgenij Botaschanjan, J. Botaschanjan, 2009, ISSTA.

Property-Driven Scenario Integration

Jewgenij Botaschanjan, Alexander Harhurin, Alexander Harhurin, 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.

Towards verified automotive software

M. Spichkova, L. Kof, J. Botaschanjan, 2005 .

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

Jewgenij Botaschanjan, J. Botaschanjan, 2008 .

Integrated behavior models for factory automation systems

Thomas Hensel, Benjamin Hummel, Jewgenij Botaschanjan, 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

Integrating Functional and Architectural Views of Reactive Systems

Jewgenij Botaschanjan, Alexander Harhurin, Alexander Harhurin, 2009, CBSE.

MoDeII: modeling and analyzing time-constraints

Jan Jürjens, Jewgenij Botaschanjan, J. Jürjens, 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).