Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alessio Ferrari" ( http://dblp.L3S.de/Authors/Alessio_Ferrari )

  Author page on DBLP  Author page in RDF  Community of Alessio Ferrari in ASPL-2

Publication years (Num. hits)
2008 (1) 2009 (1) 2010 (3) 2011 (1) 2012 (2)
Publication types (Num. hits)
article(1) inproceedings(7)
Venues (Conferences, Journals, ...)
FMICS(3) FORMS/FORMAT(1) ICST(1) IJERTCS(1) NASA Formal Methods(1) REFSQ(1)
Authors
Alessio Ferrari(8) Alessandro Fantechi(7) Daniele Grasso(4) Gianluca Magnani(3) Matteo Tempestini(2) Stefano Bacherini(2) Carlo Becheri(1) Elia Bruni(1) Gabriele Tolomei(1) Niccolò Zingoni(1) Norbert Seyff(1) Stefania Gnesi(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi Lessons Learnt from the Adoption of Formal Model-Based Development. Search on Bibsonomy NASA Formal Methods The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elia Bruni, Alessio Ferrari, Norbert Seyff, Gabriele Tolomei Automatic Analysis of Multimodal Requirements: A Research Preview. Search on Bibsonomy REFSQ The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi, Matteo Tempestini Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer. Search on Bibsonomy IJERTCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini Model Based Testing and Abstract Interpretation in the Railway Signaling Context. Search on Bibsonomy ICST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF abstract interpretation, model based testing, safety critical, railway signaling
1Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini The Metrô Rio ATP Case Study. Search on Bibsonomy FMICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi Model Checking Interlocking Control Tables. Search on Bibsonomy FORMS/FORMAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni Formal Development for Railway Signaling Using Commercial Tools. Search on Bibsonomy FMICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Alessio Ferrari Panel Discussion on Formal Methods in Commercial Software Development Tools. Search on Bibsonomy FMICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.