Browsing by Author Uchitel, Sebastian
Showing results 1 to 3 of 3
| Issue Date | Title | Author(s) |
|---|---|---|
| Nov-2011 | Foundations for Behavioural Model Elaboration Using Modal Transition Systems | Uchitel, Sebastian; Fischbein, Dario; |
| Aug-2013 | Synthesis and distribution of modal transition systems from triggered scenarios | Uchitel, Sebastian; Kramer, Jeff; Sibay, German Emir; |
| Jan-2013 | Synthesis of Event-Based Controllers for Software Engineering | Piterman, Nir; Uchitel, Sebastian; D'Ippolito, Nicolas |