Michele Banci

Statecharts Composition to Model Topologically Distributed Applications

Stefania Gnesi, Alessandro Fantechi, Michele Banci, 2006, Trans. SDPS.

Instantiating generic charts for railway interlocking systems

Alessandro Fantechi, Michele Banci, 2005, FMICS '05.

Model Driven Development and Code Generation: An Automotive Case Study

Stefania Gnesi, Alessandro Fantechi, Giovanni Lombardi, 2007, SDL Forum.

Model driven development of railway systems using diversity

Stefania Gnesi, Alessandro Fantechi, Giovanni Lombardi, 2008, Comput. Syst. Sci. Eng..

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

Stefania Gnesi, Alessandro Fantechi, Giovanni Lombardi, 2007, EFTS '07.

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

Alessandro Fantechi, Emilio Spinicci, Michele Banci, 2005, Electron. Notes Theor. Comput. Sci..

Geographical Versus Functional Modelling by Statecharts of Interlocking Systems

Alessandro Fantechi, Michele Banci, 2005, Electron. Notes Theor. Comput. Sci..

Some experiences on Formal specification of Railway Interlocking Systems using Statecharts

Michele Banci, 2005 .