The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Andrea Micheli" ( http://dblp.L3S.de/Authors/Andrea_Micheli )

  Author page on DBLP  Author page in RDF  Community of Andrea Micheli in ASPL-2

Publication years (Num. hits)
2009-2015 (16) 2016-2019 (10)
Publication types (Num. hits)
article(7) inproceedings(18) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords

Results
Found 27 publication records. Showing 26 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alessandro Valentini, Andrea Micheli, Alessandro Cimatti Temporal Planning with Intermediate Conditions and Effects. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi Robustness Envelopes for Temporal Plans. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea Micheli, Enrico Scala Temporal Planning with Temporal Metric Trajectory Constraints. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri, David E. Smith Strong temporal planning with uncontrollable durations. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrea Micheli Disjunctive temporal networks with uncertainty via SMT: Recent results and directions. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri Dynamic controllability via Timed Game Automata. Search on Bibsonomy Acta Inf. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  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
1Andrea Micheli Planning and Scheduling in Temporally Uncertain Domains. Search on Bibsonomy 2016   RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty. Search on Bibsonomy Artif. Intell. 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
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Solving strong controllability of temporal problems with uncertainty using SMT. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach. Search on Bibsonomy AAAI 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
1Andrea Micheli, Minh Do, David E. Smith Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta The nuXmv Symbolic Model Checker. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation. Search on Bibsonomy TIME The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Timelines with Temporal Uncertainty. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Solving Temporal Problems Using SMT: Weak Controllability. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Solving Temporal Problems Using SMT: Strong Controllability. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri Kratos - A Software Model Checker for SystemC. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta OthelloPlay: a plug-in based tool for requirement formalization and validation. Search on Bibsonomy TOPI@ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri Verifying SystemC: A software model checking approach. Search on Bibsonomy FMCAD The full citation details ... 2010 DBLP  BibTeX  RDF
1Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta Supporting Requirements Validation: The EuRailCheck Tool. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF EuRailCheck, formal methods, requirements validation, ETCS
Displaying result #1 - #26 of 26 (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