Greg Brunet

According to our database, Greg Brunet authored at least 5 papers between 2006 and 2012.

Collaborative distances:

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

2012

Weak Alphabet Merging of Partial Behavior Models.

Dario Fischbein, Nicolás D'Ippolito, Greg Brunet, Marsha Chechik, Sebastián Uchitel

ACM Trans. Softw. Eng. Methodol., 2012

2009

Synthesis of Partial Behavior Models from Properties and Scenarios.

Sebastián Uchitel, Greg Brunet, Marsha Chechik

IEEE Trans. Software Eng., 2009

2007

Behaviour Model Synthesis from Properties and Scenarios.

Sebastián Uchitel, Greg Brunet, Marsha Chechik

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

Properties of Behavioural Model Merging.

Greg Brunet, Marsha Chechik, Sebastián Uchitel

Proceedings of the FM 2006: Formal Methods, 2006

Partial Behavioural Models for Requirements and Early Design.

Marsha Chechik, Greg Brunet, Dario Fischbein, Sebastián Uchitel

Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006