Concepedia

Andrea Micheli

AM

15

Publications

324

Citations

11

H-Index

2009

Active since

Affiliations

Fondazione Bruno Kessler(Current)

University of Brescia

University of Verona

University of Udine

Andrea Micheli is an author at Fondazione Bruno Kessler specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSystems EngineeringFormal VerificationVerificationAutomated ReasoningProcess ControlUncertainty QuantificationPlanning

Publications per year

2009–2024

15

Publications

15

Verifying SystemC: a software model checking approach

Alessandro Cimatti, Andrea Micheli, Iman Narasamdya et al. · Formal Methods in Computer-Aided Design · 2010 · 73 citations

Software Maintenance, Engineering, Verification +21

Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation

Alessandro Cimatti, Luke Hunsberger, Andrea Micheli et al. · 2014 · 29 citations

Engineering, Reachability Problem, Networked Control +21

Solving strong controllability of temporal problems with uncertainty using SMT

Alessandro Cimatti, Andrea Micheli, Marco Roveri · Constraints · 2014 · 27 citations

Mathematical Programming, Strong Controllability, Engineering +9

Timelines with Temporal Uncertainty

Alessandro Cimatti, Andrea Micheli, Marco Roveri · Proceedings of the AAAI Conference on Artificial Intelligence · 2013 · 26 citations · Full text

Engineering, Verification, Formal Verification +19

Dynamic controllability via Timed Game Automata

Alessandro Cimatti, Luke Hunsberger, Andrea Micheli et al. · Acta Informatica · 2016 · 22 citations · Full text

Engineering, Dynamic Controllability, Formal Methods +5

Rows per page

1–5 of 15