Publications

11. Á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)
12. 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)
13. 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)
14. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies,
    Proceedings of the Thirtieth AAAI}Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA,
    2016
    , pp. 3116-
    3122
    , (Thirtieth AAAI}Conference on Artificial Intelligence,
    Phoenix, Arizona, USA,
    February 12-17, 2016)
15. Gario, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne,
    Model Checking at Scale: Automated Air Traffic Control Design Space Exploration,
    Computer Aided Verification - 28th International Conference CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II,
    vol.9780,
    2016
    , pp. 3-
    22
    , (28th International Conference on Computer Aided Verification (CAV),
    Toronto, Canada,
    July 17-23 2016)
16. Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano,
    A Lazy Approach to Temporal Epistemic Logic Model Checking,
    Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems,
    International Foundation for Autonomous Agents and Multiagent Systems,
    2016
    , pp. 1218-
    1226
    , (2016 International Conference on Autonomous Agents & Multiagent Systems,
    Singapore,
    9-13 May, 2016)
17. Giovanelli, Davide; Milosevic, Bojan; Kiraly, Csaba; Murphy, Amy Lynn; Farella, Elisabetta,
    Dynamic group management with Bluetooth Low Energy,
    2016 IEEE International Smart Cities Conference (ISC2),
    IEEE,
    2016
    , pp. 1-
    6
    , (2016 IEEE International Smart Cities Conference (ISC2),
    Trento,
    12-15 Sept. 2016)
18. Christophe Limbrée; Quentin Cappart; Charles Pecheur; Tonetta, Stefano,
    Verification of Railway Interlocking - Compositional Approach with OCRA,
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,Verification, and Certification - First International Conference,RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings,
    Springer,
    vol.9707,
    2016
    , pp. 134-
    149
    , (First International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification,
    Paris, France,
    June 28-30, 2016)
19. Victor Bos; Harold Bruintjes; Tonetta, Stefano,
    Catalogue of System and Software Properties,
    Computer Safety, Reliability, and Security - 35th International Conference,SAFECOMP 2016, Proceedings,
    Springer,
    vol.9922,
    2016
    , pp. 88-
    101
    , (35th International Conference on Computer Safety, Reliability, and Security,
    Trondheim, Norway,
    September 21-23, 2016)
20. Cimatti, Alessandro; Demasi, Ramiro; Tonetta, Stefano,
    Tightening a Contract Refinement,
    Software Engineering and Formal Methods - 14th International Conference,SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8,2016, Proceedings,
    Springer,
    vol.9763,
    2016
    , pp. 386-
    402
    , (14th International Conference on Software Engineering and Formal Methods,
    Vienna, Austria,
    July 4-8, 2016)

Pages