Brunet's publications at DC

Publications in 2012
1- Dario Fischbein, Greg Brunet, Nicolas D´Ippolito, Marsha Chechik, Sebastian Uchitel , "Weak Alphabet Merging of Partial Behaviour Models" , ACM Transactions on Software Engineering and Methodology, Volume 21, Number 2, page 1-49 - 2012 Weak Alphabet Merging of Partial Behavior Models_Final.pdf
 
Publications in 2009
1- Sebastian Uchitel, Greg Brunet, Marsha Chechik , "Synthesis of Partial Behaviour Models from Properties and Scenarios" , Transactions on Software Engineering, Volume 35, Number 3, page 384--406 - May 2009 synthesys_of_partial_uchi_bru_che.pdf
 
Publications in 2007
1- Marsha Chechik, Greg Brunet, Dario Fischbein, Sebastian Uchitel , "Partial Behavioural Models for Requirements and Early Design. Methods for Modelling Software Systems" , Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), - 2007
 
Publications in 2006
1- Sebastian Uchitel, Greg Brunet, Marsha Chechik , "Behaviour Model Synthesis From Properties and Scenarios" , International Conference on Software Engineering (ICSE) - 2006

2- Greg Brunet, Marsha Chechik, Sebastian Uchitel , "Properties of Behavioural Model Merging" , Internacional Conference on Formal Methods (FM), Volume 4085 - - 2006