Publications

61. 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)
62. 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)
63. 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)
64. 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)
65. 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)
66. 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)
67. Cimatti, A.; Mover, S.; Sessa, M.,
    From Electrical Switched Networks to Hybrid Automata,
    Proceedings of the 21st International Symposium on Formal Methods, FM 2016,
    vol.9995,
    2016
    , pp. 164-
    181
    , (FM 2016: 21st International Symposium on Formal Methods,
    Limassol, Cyprus,
    November 9-11, 2016)
68. Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano,
    Model-Based Design of an Energy-System Embedded Controller Using Taste,
    Proceedings of FM 2016: Formal Methods 21st International Symposium,
    vol.9995,
    2016
    , pp. 741-
    747
    , (FM 2016: Formal Methods 21st International Symposium,
    Limassol, Cyprus,
    November 9-11, 2016)
69. A. Cimatti; S. Tonetta,
    Contracts-refinement proof system for component-based embedded systems,
    in «SCIENCE OF COMPUTER PROGRAMMING»,
    2015
70. Marco Bozzano; Alessandro Cimatti; Oleg Lisagor; Cristian Mattarei; Sergio Mover; Marco Roveri; Stefano Tonetta,
    Safety Assessment of AltaRica Models via Symbolic Model Checking,
    in «SCIENCE OF COMPUTER PROGRAMMING»,
    vol. 98,
    2015
    , pp. 464 -
    483

Pages