Publications

61. Bozzano, Marco,
    Causality and Temporal Dependencies in the Design of Fault Management Systems,
    in «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE»
    Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017),
    vol.259,
    2017
    , pp. 39-
    46
    , (2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017),
    Uppsala, Sweden,
    29th April 2017)
62. Marco, Bozzano; Yiannis, Papadopoulos (eds.),
    Model-Based Safety and Assessment,
    Springer,
    2017
63. Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch (eds.),
    Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops,
    ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September
    12, 2017, Proceedings,
    Springer,
    2017
64. Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch (eds.),
    Computer Safety, Reliability, and Security - 36th International Conference,
    SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings,
    Springer,
    2017
65. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
    Dynamic controllability via Timed Game Automata,
    in «ACTA INFORMATICA»,
    2016
    , pp. 1 -
    42
66. 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
67. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
    Infinite-state invariant checking with IC3 and predicate abstraction,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    2016
68. Á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
69. 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)
70. 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)

Pages