Dario Fischbein
Dario Fischbein
Unknown affiliation
Verified email at imperial.ac.uk
TitleCited byYear
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
1642006
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
812008
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
432008
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
352012
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
352012
A sound observational semantics for modal transition systems
D Fischbein, V Braberman, S Uchitel
International Colloquium on Theoretical Aspects of Computing, 215-230, 2009
232009
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
152013
Partial Behavioural Models for Requirements and Early Design
M Chechik, G Brunet, D Fischbein, S Uchitel
Methods, 2006
72006
Foundations for behavioural model elaboration using modal transition systems
D Fischbein
Imperial College London, 2012
42012
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
32008
Behavioural model elaboration using mts
D Fischbein, S Uchitel
Copenhagen” Meeting on Modal Transition Systems, 2007
22007
The system can't perform the operation now. Try again later.
Articles 1–12