A foundation for behavioural conformance in software product line architectures D Fischbein, S Uchitel, V Braberman Proceedings of the ISSTA 2006 workshop on Role of software architecture for …, 2006 | 180 | 2006 |
MTSA: The modal transition system analyser N D'Ippolito, D Fischbein, M Chechik, S Uchitel Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated …, 2008 | 112 | 2008 |
On correct and complete strong merging of partial behaviour models D Fischbein, S Uchitel Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008 | 45 | 2008 |
Weak alphabet merging of partial behaviour models D Fischbein, G Brunet, N D’Ippolito, M Chechik, S Uchitel ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (2), 1-47, 2012 | 40 | 2012 |
Weak Alphabet Merging of Partial Behavior Models D Fischbein, N D'Ippolito, G Brunet, M Chechik, S Uchitel ACM Transactions on Software Engineering and Methodology-TOSEM 21 (2), 2012 | 40 | 2012 |
A sound observational semantics for modal transition systems D Fischbein, V Braberman, S Uchitel International Colloquium on Theoretical Aspects of Computing, 215-230, 2009 | 26 | 2009 |
Supporting incremental behaviour model elaboration S Uchitel, D Alrajeh, S Ben-David, V Braberman, M Chechik, G De Caso, ... Computer Science-Research and Development 28 (4), 279-293, 2013 | 18 | 2013 |
Partial Behavioural Models for Requirements and Early Design M Chechik, G Brunet, D Fischbein, S Uchitel Methods, 2006 | 7 | 2006 |
Foundations for behavioural model elaboration using modal transition systems D Fischbein Imperial College London, 2012 | 4 | 2012 |
Department of Computing D Fischbein Imperial College, 2011 | 4* | 2011 |
On consistency and merge of modal transition systems D Fischbein, S Uchitel Proc. of FSE, 2008 | 3 | 2008 |
Behavioural model elaboration using mts D Fischbein, S Uchitel Copenhagen” Meeting on Modal Transition Systems, 2007 | 2 | 2007 |