Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Alessandro
Last name:	Fantechi
DBLP:	f/AlessandroFantechi
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 86  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi. Lessons Learnt from the Adoption of Formal Model-Based Development.	NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings 2012	(0)	2012
	Conference paper Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi. A logical verification methodology for service-oriented computing.	ACM Trans. Softw. Eng. Methodol. 2011, Volume 21	(0)	2012
	Conference paper Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi. A Compositional Framework to Derive Product Line Behavioural Descriptions.	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I 2012	(0)	2012
	Conference paper Alessandro Fantechi, Francesco Flammini, Stefania Gnesi. Formal Methods for Intelligent Transportation Systems.	Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II 2012	(0)	2012
	Conference paper Alessandro Fantechi. Distributing the Challenge of Model Checking Interlocking Control Tables.	Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II 2012	(0)	2012
	Journal article Jonathan Michaux, Elie Najm, Alessandro Fantechi. Adding Sessions to BPEL	Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems 2012, Volume 98	(0)	2012
	Conference paper Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino. Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008).	Sci. Comput. Program. 2011, Volume 76	(0)	2011
	Conference paper Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti. A state/event-based model-checking approach for the analysis of abstract system properties.	Sci. Comput. Program. 2011, Volume 76	(0)	2011
	Conference paper Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi. A Model-Checking Tool for Families of Services.	Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings 2011	(0)	2011
	Conference paper Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi, Matteo Tempestini. Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer.	IJERTCS 2011, Volume 2	(0)	2011

Show item 1 to 10 of 86  

Your query returned 86 matches in the database.