The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Marco Gario" ( http://dblp.L3S.de/Authors/Marco_Gario )

  Author page on DBLP  Author page in RDF  Community of Marco Gario in ASPL-2

Publication years (Num. hits)
2013-2018 (15) 2019 (1)
Publication types (Num. hits)
article(2) inproceedings(13) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 17 publication records. Showing 16 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Daniel Ratiu, Marco Gario, Hannes Schoenhaar FASTEN: an open extensible framework to experiment with formal specification approaches: using language engineering to develop a multi-paradigm specification environment for NuSMV. Search on Bibsonomy FormaliSE@ICSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christof J. Budnik, Marco Gario, Georgi Markov, Zhu Wang Guided test case generation through AI enabled output space exploration. Search on Bibsonomy AST@ICSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer Formal Verification of Train Control with Air Pressure Brakes. Search on Bibsonomy RSSRail The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christof J. Budnik, Sebastian Eckl, Marco Gario Testbed for Model-based Verification of Cyber-physical Production Systems. Search on Bibsonomy ARCH@CPSWeek The full citation details ... 2017 DBLP  BibTeX  RDF
1Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier Model Checking at Scale: Automated Air Traffic Control Design Space Exploration. Search on Bibsonomy CAV (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri The xSAP Safety Analysis Platform. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Gario, Stefano Tonetta A Lazy Approach to Temporal Epistemic Logic Model Checking. Search on Bibsonomy AAMAS The full citation details ... 2016 DBLP  BibTeX  RDF
1Marco Gario A Formal Foundation of FDI Design via Temporal Epistemic Logic. Search on Bibsonomy 2016   RDF
1Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri The xSAP Safety Analysis Platform. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli SMT-Based Validation of Timed Failure Propagation Graphs. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier Comparing Different Functional Allocations in Automated Air Traffic Control Design. Search on Bibsonomy FMCAD The full citation details ... 2015 DBLP  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Régis De Ferluc, Marco Gario, Andrea Guiotto, Yuri Yushtein An Integrated Process for FDIR Design in Aerospace. Search on Bibsonomy IMBSA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Alberto Griggio Towards Pareto-optimal parameter synthesis for monotonic cost functions. Search on Bibsonomy FMCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. Search on Bibsonomy AAAI (Late-Breaking Developments) The full citation details ... 2013 DBLP  BibTeX  RDF
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license