 | 2012 |
|---|
| 8 |       | Alessio Ferrari,
Alessandro Fantechi,
Stefania Gnesi:
Lessons Learnt from the Adoption of Formal Model-Based Development.
NASA Formal Methods 2012: 24-38 |
| 7 | | Elia Bruni,
Alessio Ferrari,
Norbert Seyff,
Gabriele Tolomei:
Automatic Analysis of Multimodal Requirements: A Research Preview.
REFSQ 2012: 218-224 |
| 2011 |
|---|
| 6 | | Alessio Ferrari,
Gianluca Magnani,
Daniele Grasso,
Alessandro Fantechi,
Matteo Tempestini:
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer.
IJERTCS 2(2): 42-61 (2011) |
| 2010 |
|---|
| 5 | | Alessio Ferrari,
Daniele Grasso,
Gianluca Magnani,
Alessandro Fantechi,
Matteo Tempestini:
The Metrô Rio ATP Case Study.
FMICS 2010: 1-16 |
| 4 | | Alessio Ferrari,
Gianluca Magnani,
Daniele Grasso,
Alessandro Fantechi:
Model Checking Interlocking Control Tables.
FORMS/FORMAT 2010: 107-115 |
| 3 | | Daniele Grasso,
Alessandro Fantechi,
Alessio Ferrari,
Carlo Becheri,
Stefano Bacherini:
Model Based Testing and Abstract Interpretation in the Railway Signaling Context.
ICST 2010: 103-106 |
| 2009 |
|---|
| 2 | | Alessio Ferrari,
Alessandro Fantechi,
Stefano Bacherini,
Niccolò Zingoni:
Formal Development for Railway Signaling Using Commercial Tools.
FMICS 2009: 197-198 |
| 2008 |
|---|
| 1 | | Alessandro Fantechi,
Alessio Ferrari:
Panel Discussion on Formal Methods in Commercial Software Development Tools.
FMICS 2008: 4-6 |
Data released under the ODC-BY 1.0 license — See also our legal information page