2016

1. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
   Dynamic controllability via Timed Game Automata,
   in «ACTA INFORMATICA»,
   2016
   , pp. 1 -
   42
2. Raza, Usman; Bogliolo, Alessandro; Freschi, Valerio; Lattanzi, Emanuele; Murphy, Amy L.,
   A two-prong approach to energy-efficient WSNs: Wake-up receivers plus dedicated, model-based sensing,
   in «AD HOC NETWORKS»,
   vol. 45,
   2016
   , pp. 1 -
   12
3. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
   Infinite-state invariant checking with IC3 and predicate abstraction,
   in «FORMAL METHODS IN SYSTEM DESIGN»,
   2016
4. Ábrahám, E.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.,
   Satisfiability checking and symbolic computation,
   in «ACM COMMUNICATIONS IN COMPUTER ALGEBRA»,
   vol. 50,
   n. 4,
   2016
   , pp. 145 -
   147
5. Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni,
   The xSAP Safety Analysis Platform,
   Tools and Algorithms for the Construction and Analysis of Systems,
   Springer Berlin Heidelberg,
   vol.9636,
   2016
   , pp. 533-
   539
   , (Tools and Algorithms for the Construction and Analysis of Systems,
   Eindhoven, The Netherlands,
   2-8 aprile 2016)
6. Benjamin, Bittner; Marco, Bozzano; Alessandro, Cimatti; Gianni, Zampedri,
   Automated Verification and Tightening of Failure Propagation Models,
   Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016),
   2016
   , pp. 907-
   913
   , (30th AAAI Conference on Artificial Intelligence (AAAI 2016),
   Phoenix, Arizona, Stati Uniti,
   12–17/02/2016)
7. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro,
   Automated Synthesis of Timed Failure Propagation Graphs,
   Proceedings of the 25th International Joint Conference on Artificial Intelligence, IJCAI,
   2016
   , pp. 972-
   978
   , (25th International Joint Conference on Artificial Intelligence,
   New York City, NY, Stati Uniti,
   9-15 July 2016)
8. Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas,
   SC^2: Satisfiability Checking Meets Symbolic Computation,
   Intelligent Computer Mathematics - 9th International Conference, CICM 2016,
   vol.9791,
   2016
   , pp. 28-
   43
   , (9th Conference on Intelligent Computer Mathematics CICM 2016,
   Bialystok, Poland,
   July 25-29, 2016)
9. Daniel, Jakub; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio,
   Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations,
   Computer Aided Verification - 28th International Conference, CAV 2016,
   vol.9779,
   2016
   , pp. 271-
   291
   , (28th International Conference on Computer Aided Verification, CAV 2016,
   Toronto, Canada,
   July 17-23, 2016)
10. Irfan, Ahmed; Cimatti, Alessandro; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto,
    Verilog2SMV: A Tool for Word-level Verification,
    Design, Automation & Test in Europe Conference & Exhibition (DATE), 2016,
    2016
    , pp. 1156-
    1159
    , (2016 Design, Automation & Test in Europe Conference & Exhibition (DATE),
    Dresden, Germany,
    14-18 March 2016)

Pages