German E. Sibay

According to our database, German E. Sibay authored at least 5 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Synthesis and distribution of modal transition systems from triggered scenarios.

German E. Sibay

PhD thesis, 2013

Synthesizing Modal Transition Systems from Triggered Scenarios.

German E. Sibay, Víctor A. Braberman, Sebastián Uchitel, Jeff Kramer

IEEE Trans. Software Eng., 2013

Supporting incremental behaviour model elaboration.

Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Víctor A. Braberman, Marsha Chechik, Guido de Caso, Nicolás D'Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German E. Sibay

Comput. Sci. Res. Dev., 2013

2012

Distribution of Modal Transition Systems.

German E. Sibay, Sebastián Uchitel, Víctor A. Braberman, Jeff Kramer

Proceedings of the FM 2012: Formal Methods, 2012

2008

Existential live sequence charts revisited.

German E. Sibay, Sebastián Uchitel, Víctor A. Braberman

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008