Greg Brunet

Publication Activity (10 Years)

Years Active: 2006-2012
Publications (10 Years): 0

Top Topics

Physical Systems

Mathematical Models

Bayesian Framework

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Dario Fischbein, Nicolás D'Ippolito, Greg Brunet, Marsha Chechik, Sebastián Uchitel
Weak Alphabet Merging of Partial Behavior Models. ACM Trans. Softw. Eng. Methodol. 21 (2) (2012)
Sebastián Uchitel, Greg Brunet, Marsha Chechik
Synthesis of Partial Behavior Models from Properties and Scenarios. IEEE Trans. Software Eng. 35 (3) (2009)
Sebastián Uchitel, Greg Brunet, Marsha Chechik
Behaviour Model Synthesis from Properties and Scenarios. ICSE (2007)
Greg Brunet, Marsha Chechik, Sebastián Uchitel
Properties of Behavioural Model Merging. FM (2006)
Marsha Chechik, Greg Brunet, Dario Fischbein, Sebastián Uchitel
Partial Behavioural Models for Requirements and Early Design. MMOSS (2006)