Andrea Micheli

According to our database1, Andrea Micheli
  • authored at least 20 papers between 2009 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Dynamic controllability via Timed Game Automata.
Acta Inf., 2016

The xSAP Safety Analysis Platform.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
The xSAP Safety Analysis Platform.
CoRR, 2015

Solving strong controllability of temporal problems with uncertainty using SMT.
Constraints, 2015

An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty.
Artif. Intell., 2015

Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

SMT-Based Validation of Timed Failure Propagation Graphs.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation.
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

The nuXmv Symbolic Model Checker.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Timelines with Temporal Uncertainty.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
Solving Temporal Problems Using SMT: Strong Controllability.
Proceedings of the Principles and Practice of Constraint Programming, 2012

Solving Temporal Problems Using SMT: Weak Controllability.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
OthelloPlay: a plug-in based tool for requirement formalization and validation.
Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011

Kratos - A Software Model Checker for SystemC.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Verifying SystemC: A software model checking approach.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009
Supporting Requirements Validation: The EuRailCheck Tool.
Proceedings of the ASE 2009, 2009


  Loading...