Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Yuri Yushtein

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/EsteveKNPY12
- ask others
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: 1022-1031

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2008
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/isse/OberGYO08
- ask others
Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober: Timing analysis and validation with UML: the case of the embedded MARS bus manager. ISSE 4(3): 301-308 (2008)
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sosym/HoomanKOVY08
- ask others
Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein: Supporting UML-based development of embedded systems by formal techniques. Software and System Modeling 7(2): 131-155 (2008)
2006
[c1]
- view
  - electronic edition @ sse-tubs.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mbees/OberGY06
- ask others
Iulian Ober, Susanne Graf, Yuri Yushtein: Using an UML profile for timing analysis with the IF validation tool-set. MBEES 2006: 75-84

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?