Stefano Bacherini

According to our database¹, Stefano Bacherini authored at least 9 papers between 2006 and 2018.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2018

Detecting requirements defects with NLP patterns: an industrial experience in the railway domain.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2018

2017

Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017

2016

Validation process for railway interlocking systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2016

2013

Validation of Railway Interlocking Systems by Formal Verification, A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2013

2012

A GUI Testability Problem: A Case Study in the Railway Signaling Domain.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

2010

Model Based Testing and Abstract Interpretation in the Railway Signaling Context.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

2009

Modeling Guidelines for Code Generation in the Railway Signaling Context.

[BibT_eX]

Proceedings of the First NASA Formal Methods Symposium, 2009

Formal Development for Railway Signaling Using Commercial Tools.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2006

A Story About Formal Methods Adoption by a Railway Signaling Manufacturer.

[BibT_eX]

[DOI]

Proceedings of the FM 2006: Formal Methods, 2006

Stefano Bacherini

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...