Dario Fischbein

According to our database1, Dario Fischbein authored at least 9 papers between 2006 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Supporting incremental behaviour model elaboration.
Comput. Sci. Res. Dev., 2013

2012
Foundations for behavioural model elaboration using modal transition systems.
PhD thesis, 2012

Weak Alphabet Merging of Partial Behavior Models.
ACM Trans. Softw. Eng. Methodol., 2012

2009
A Sound Observational Semantics for Modal Transition Systems.
Proceedings of the Theoretical Aspects of Computing, 2009

2008
On correct and complete strong merging of partial behaviour models.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

MTSA: The Modal Transition System Analyser.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

2007
MTSA: Eclipse support for modal transition systems construction, analysis and elaboration.
Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, 2007

2006
A foundation for behavioural conformance in software product line architectures.
Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

Partial Behavioural Models for Requirements and Early Design.
Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006


  Loading...