Michele Banci

According to our database, Michele Banci authored at least 7 papers between 2004 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Model driven development of railway systems using diversity.

Michele Banci, Stefania Gnesi, Alessandro Fantechi, Giovanni Lombardi

Comput. Syst. Sci. Eng., 2008

2007

Experimenting with diversity in the model driven development of a railway signaling system.

Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi

Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, 2007

Model Driven Development and Code Generation: An Automotive Case Study.

Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi

Proceedings of the SDL 2007: Design for Dependable Systems, 2007

2006

Statecharts Composition to Model Topologically Distributed Applications.

Michele Banci, Alessandro Fantechi, Stefania Gnesi

Trans. SDPS, 2006

2005

Instantiating generic charts for railway interlocking systems.

Michele Banci, Alessandro Fantechi

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005

2004

Geographical Versus Functional Modelling by Statecharts of Interlocking Systems.

Michele Banci, Alessandro Fantechi

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Validation Coverage for a Component-based SDL model of a Railway Signaling System.

Michele Banci, Marcello Becucci, Alessandro Fantechi, Emilio Spinicci

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004