Chechik's publications at DC

Publications in 2013
1- Shoham Ben David, Marsha Chechik, Sebastian Uchitel , "Merging Partial Behaviour Models with Different Vocabularies" , CONCUR 2013 – Concurrency Theory, Volume 8052, page 91-105 - aug 2013 Merging Partial Behaviour Models with Different Vocabularies.pdf

2- Sebastian Uchitel, Dalal Alrajeh, Shoham Ben David, Víctor Braberman, Marsha Chechik, Guido de Caso, Nicolas D´Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German Sibay , "Supporting incremental behaviour model elaboration" , Computer Science - R&D, Volume 28, Number 4, page 279--293 - nov 2013 Supporting incremental behaviour model elaboration.pdf
 
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 2011
1- Shoham Ben David, Marsha Chechik, Arie Gurfinkel, Sebastian Uchitel , "CSSL: a logic for specifying conditional scenarios" , 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering, page 37--47 - 2011 cssl - a logic for specifying conditional scenarios.pdf

2- Mathieu Sassolas, Marsha Chechik, Sebastian Uchitel , "Exploring Inconsistencies between Modal Transition Systems" , Software and Systems Modeling, Volume 10, Number 1, page 117--142 - Febrero 2011 Exploring_Inconsistencies.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 2008
1- Nicolas D´Ippolito, Dario Fischbein, Marsha Chechik, Sebastian Uchitel , "MTSA: The modal transition system analyser" , 23rd IEEE/ACM International Conference on Automated Software Engineering - 2008 MTSA The Modal.pdf

2- Shiva Nejati,, Mehrdad Sabetzadeh,, Marsha Chechik, Sebastian Uchitel, Pamela Zave , "Towards Compositional Synthesis of Evolving Systems," , International Symposium on Foundations of Software Engineering - 2008
 
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
 
Publications in 2004
1- Sebastian Uchitel, Marsha Chechik , "Merging Partial Behavioural Models" , ACM International Symposium on Foundations of Software Engineering (FSE) - 2004