Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Paolo Arcaini" ( http://dblp.L3S.de/Authors/Paolo_Arcaini )

  Author page on DBLP  Author page in RDF  Community of Paolo Arcaini in ASPL-2

Publication years (Num. hits)
2010 (1) 2011 (4)
Publication types (Num. hits)
article(2) inproceedings(3)
Venues (Conferences, Journals, ...)
ASE(1) ASM(1) ISSE(1) RV(1) Softw., Pract. Exper.(1)
Authors
Angelo Gargantini(5) Elvinia Riccobene(5) Paolo Arcaini(5) Patrizia Scandurra(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene A model advisor for NuSMV specifications. Search on Bibsonomy ISSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra A model-driven process for engineering a toolset for a formal method. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. Search on Bibsonomy RV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. Search on Bibsonomy ASM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #5 of 5 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.