You are here

Publications

  1. A. Bogliolo;V. Freschi;E. Lattanzi;A. Murphy;U. Raza,
    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)
  2. 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)
  3. Robin Steel;Alexander Hoffmann;Marc Niezette;Alessandro Cimatti;Marco Roveri;Konstantinos Kapellos;Alessandro Donati;Nicola Policella,
    13th International Conference on Space Operations 2014,
    2014
  4. 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)
  5. 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)
  6. Thomas Arts; Michele Dorigatti; Stefano Tonetta,
    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)
  7. 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,
  8. 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
  9. Cimatti A.; Hunsberger L.; Micheli A.; Roveri M.,
    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)
  10. 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