Yuri Yushtein

Publication Activity (10 Years)

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

Top Topics

Formal Verification

Human Interactions

Requirement Analysis

Top Venues

AAAI Spring Symposia

Publications

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Régis De Ferluc, Marco Gario, Andrea Guiotto, Yuri Yushtein
An Integrated Process for FDIR Design in Aerospace. IMBSA (2014)
Denis Javaux, Bertram Wortelen, Andreas Lüdtke, Charles Pecheur, Regina Peldszus, Sonja Sievi, Yuri Yushtein
A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques. AAAI Spring Symposia (2014)
Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein
Formal correctness, safety, dependability, and performance analysis of a satellite. ICSE (2012)
Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein
Supporting UML-based development of embedded systems by formal techniques. Softw. Syst. Model. 7 (2) (2008)
Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober
Timing analysis and validation with UML: the case of the embedded MARS bus manager. Innov. Syst. Softw. Eng. 4 (3) (2008)
Iulian Ober, Susanne Graf, Yuri Yushtein
Using an UML profile for timing analysis with the IF validation tool-set. MBEES (2006)