Formal correctness, safety, dependability, and performance analysis of a satellite von Esteve, M., Katoen, J-P, Viet Yen Nguyen, Postma, B., Yushtein, Y.

Volltext

An Integrated Process for FDIR Design in Aerospace von Bittner, Benjamin, Bozzano, Marco, Cimatti, Alessandro, De Ferluc, Regis, Gario, Marco, Guiotto, Andrea, Yushtein, Yuri

Volltext

Supporting UML-based development of embedded systems by formal techniques von Hooman, Jozef, Kugler, Hillel, Ober, Iulian, Votintseva, Anjelika, Yushtein, Yuri

Volltext

Timing analysis and validation with UML: the case of the embedded MARS bus manager von Ober, Iulian, Graf, Susanne, Yushtein, Yuri, Ober, Ileana

Volltext

Refinement and Verification Applied to an In-Flight Data Acquisition Unit von Fokkink, Wan, Ioustinova, Natalia, Kesseler, Ernst, van de Pol, Jaco, Usenko, Yaroslav S., Yushtein, Yuri A.

Volltext