Concepedia

Marco Gario

MG

Statistics

Publications

3

Citations

54

H-Index

3

Active since

2015

Affiliations

Fondazione Bruno Kessler(Current)

Marco Gario is an author at Fondazione Bruno Kessler specializing in systems engineering, formal methods, and formal verification.

ORCID

Top concepts

Publications per year

2015–2015

3

Publications

3

Comparing different functional allocations in automated air traffic control design

Cristian Mattarei, Alessandro Cimatti, Marco Gario et al. · 2015 · 20 citations

, , +23

SMT-Based Validation of Timed Failure Propagation Graphs

Marco Bozzano, Alessandro Cimatti, Marco Gario et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2015 · 18 citations · Full text

, , +20

Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic

Marco Bozzano, Alessandro Cimatti, Marco Gario et al. · Logical Methods in Computer Science · 2015 · 16 citations · Full text

1–3 of 3