You are here

Home ›

Publications

Filters: Author is German Emir Sibay  [Clear All Filters]
2013
G. E. Sibay, V. A. Braberman, S. Uchitel, and J. Kramer, “Synthesizing Modal Transition Systems from Triggered Scenarios”, IEEE Transactions on Software Engineering, vol. 39, p. 975-1001, 2013.PDF iconSynthesising Modal Transition Systems from Triggered Scenarios_2013.pdf (658.89 KB)
2012
G. E. Sibay, V. A. Braberman, S. Uchitel, and J. Kramer, “Distribution of Modal Transition Systems”, in 18th International Symposium on Formal Methods (FM 2012), Paris, France, 2012, vol. 7436, p. 403-417.PDF iconDistribution_of_Modal_Transition_Systems.pdf (204.25 KB)

   

                              

Powered by Drupal