Yuri Yushtein

According to our database, Yuri Yushtein authored at least 6 papers between 2006 and 2014.

Collaborative distances:

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

2014

An Integrated Process for FDIR Design in Aerospace.

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Régis De Ferluc, Marco Gario, Andrea Guiotto, Yuri Yushtein

Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques.

Denis Javaux, Bertram Wortelen, Andreas Lüdtke, Charles Pecheur, Regina Peldszus, Sonja Sievi, Yuri Yushtein

Proceedings of the 2014 AAAI Spring Symposia, 2014

2012

Formal correctness, safety, dependability, and performance analysis of a satellite.

Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein

Proceedings of the 34th International Conference on Software Engineering, 2012

2008

Supporting UML-based development of embedded systems by formal techniques.

Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein

Softw. Syst. Model., 2008

Timing analysis and validation with UML: the case of the embedded MARS bus manager.

Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober

Innov. Syst. Softw. Eng., 2008

2006

Using an UML profile for timing analysis with the IF validation tool-set.

Iulian Ober, Susanne Graf, Yuri Yushtein

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006