Publications

61. A. Bogliolo;V. Freschi;E. Lattanzi;A. Murphy;U. Raza,
    Towards a True Energetically Sustainable WSN: A Case Study with Prediction-Based Data Collection and a Wake-up Receiver,
    Proc. of 9th IEEE Int. Symp. on Industrial Embedded Systems,
    New York,
    IEEE,
    2014
    , (9th IEEE International Symposium on Industrial Embedded Systems,
    Pisa, Italy,
    2014-June)
62. G. P. Picco; C. Julien; A. L. Murphy; M. Musolesi; G.-C. Roman,
    Software engineering for mobility: reflecting on the past, peering into the future,
    Proceedings of the on Future of Software Engineering,
    2014
    , pp. 13-
    28
    , (Proceedings of the on Future of Software Engineering,
    Hyderabad, India,
    31 May - 7 June 2014)
63. Robin Steel;Alexander Hoffmann;Marc Niezette;Alessandro Cimatti;Marco Roveri;Konstantinos Kapellos;Alessandro Donati;Nicola Policella,
    Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Concluding the adventure,
    13th International Conference on Space Operations 2014,
    2014
64. A. Cimatti;A. Griggio;S. Mover;S. Tonetta,
    Verifying LTL Properties of Hybrid Systems with K-Liveness,
    CAV,
    2014
    , pp. 424-
    440
    , (Computer-Aided Verification,
    2014)
65. R. Cavada;A. Cimatti;M. Dorigatti;A. Griggio;A. Mariotti;A. Micheli;S. Mover;M. Roveri;S. Tonetta,
    The nuXmv Symbolic Model Checker,
    CAV,
    2014
    , pp. 334-
    342
    , (Computer Aided Verification,
    Vienna,
    2014)
66. Thomas Arts; Michele Dorigatti; Stefano Tonetta,
    Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case,
    Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings,
    vol.8666,
    2014
    , pp. 81-
    92
    , (33rd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2014),
    Florence, Italy,
    September 10-12, 2014)
67. M. Bozzano; A. Cimatti; C. Mattarei; S. Tonetta,
    Formal Safety Assessment via Contract-Based Design.,
    ATVA14,
    2014
    , pp. 81-
    97
    , (Automated Technology for Verification and Analysis,
    Sydney,
68. Bittner B.; Bozzano M.; Cimatti A.; Gario M.; Griggio A.,
    Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions,
    Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design,
    2014
    , pp. 23-
    30
69. Cimatti A.; Hunsberger L.; Micheli A.; Roveri M.,
    Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty,
    Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence,
    Palo Alto, California, USA,
    AAAI Press,
    2014
    , pp. 2242-
    2249
    , (Twenty-Eighth AAAI Conference on Artificial Intelligence,
    Quebec City, Quebec, Canada,
    27/07/2014 - 31/07/2014)
70. Cimatti A.; Hunsberger L.; Micheli A.; Posenato R; Roveri M.,
    Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation,
    Proceedings of the 21st International Symposium on Temporal Representation and Reasoning,
    IEEE,
    2014
    , pp. 27-
    36
    , (21st International Symposium on Temporal Representation and Reasoning,
    Verona, Italia,
    08/09/2014 - 10/09/2014)

Pages