Stefano Bacherini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2006–2017
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | REFSQ | Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain. | Benedetta Rosadini, Alessio Ferrari, Gloria Gori, Alessandro Fantechi, Stefania Gnesi, Iacopo Trotta, Stefano Bacherini |
| 2013 | SEFM | Validation of Railway Interlocking Systems by Formal Verification, A Case Study. | Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani |
| 2012 | QUATIC | A GUI Testability Problem: A Case Study in the Railway Signaling Domain. | Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani |
| 2010 | ICST | Model Based Testing and Abstract Interpretation in the Railway Signaling Context. | Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini |
| 2009 | FMICS | Formal Development for Railway Signaling Using Commercial Tools. | Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccol Zingoni |
| 2006 | FM | A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. | Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccol Zingoni |