1. Griggio, Alberto,
    A Practical Approach to Satisability Modulo Linear Integer Arithmetic,
    in «JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION»,
    vol. 8,
    2012
  2. Griggio, Alberto; Thi Thieu Hoa, Le; Roberto, Sebastiani,
    Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic,
    in «LOGICAL METHODS IN COMPUTER SCIENCE»,
    vol. 8,
    n. 3,
    2012
  3. Brutti, Alessio; Omologo, Maurizio; Svaizer, Piergiorgio,
    Maximum a posteriori trajectory estimation for acoustic tracking,
    Proceedings of IWAENC 2012,
    2012
  4. Svaizer, Piergiorgio; Brutti, Alessio; Omologo, Maurizio,
    Environment-aware estimation of the orientation of acoustic sources using a line array,
    Proceedings of EUSIPCO 2012,
    2012
    , pp. 1024-
    1028
  5. Ravanelli, Mirco; Sosi, Alessandro; Svaizer, Piergiorgio; Omologo, Maurizio,
    Impulse response estimation for robust speech recognition in a reverberant environment,
    Proceedings of EUSIPCO 2012,
    European Association for Signal Processing (EURASIP),
    2012
    , pp. 1668-
    1672
  6. Jörg, Brauer; Roveri, Marco; Hendrik, Tews,
    6th International Workshop on Systems Software Verification, SSV 2011,
    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
    vol. 24,
    2012
  7. María, Alpuente; Christophe, Joubert; Stefan, Kowalewski; Roveri, Marco,
    Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010),
    in «SCIENCE OF COMPUTER PROGRAMMING»,
    Elsevier,
    2012
    , pp. 1-
    3
  8. Alessandro Cimatti; Angelo Susi; Stefano Tonetta; Marco Roveri,
    Formalizing requirements with object models and temporal constraints,
    in «SOFTWARE AND SYSTEMS MODELING»,
    Springer Berlin / Heidelberg,
    vol. 10,
    n. 2,
    2011
    , pp. 147-
    160
  9. Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco,
    Safety, Dependability and Performance Analysis of Extended AADL Models,
    in «COMPUTER JOURNAL»,
    vol. 54,
    n. 5,
    2011
    , pp. 754-
    775
  10. Alessandro Cimatti; Sergio Mover; Marco Roveri; Stefano Tonetta,
    From Sequential Extended Regular Expressions to NFA with Symbolic Labels,
    Proceedings of 15th Int. Conference on Implementation and Application of Automata,
    vol. 6482,
    2011
    , pp. 87-
    94
  11. Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto,
    Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories,
    in «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH»,
    vol. 40,
    2011
    , pp. 701-
    728
  12. Alessandro Cimatti; Iman Narasamdya; Marco Roveri,
    Boosting Lazy Abstraction for SystemC with Partial Order Reduction,
    Proceedings of 17th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems,
    vol. To appear,
    2011
  13. Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano,
    Efficient Scenario VeriFIcation for Hybrid Automata,
    Efficient Scenario VeriFIcation for Hybrid Automata,
    2011
  14. Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Iman, Narasamdya; Roveri, Marco,
    Kratos – A Software Model Checker for SystemC,
    2011
  15. Marco Bozzano; Alessandro Cimatti; Marco Roveri; Andrei Tchaltsev,
    A Comprehensive Approach to On-Board Autonomy Verification and Validation,
    AAAI (Conference on Artificial Intelligence) Press,
    2011
  16. Daniele Campana; Alessandro Cimatti; Iman Narasamdya; Marco Roveri,
    An Analytic Evaluation of SystemC Encodings in Promela,
    2011
  17. Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano,
    Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems,
    FMCAD '11 Proceedings of the International Conference on Formal Methods in Computer-Aided Design,
    IEEE,
    n. 11,
    2011
    , pp. 54-
    62
  18. Bozzano, Marco; Cimatti, Alessandro; O., Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano,
    Model Checking and Safety Assessment of Altarica models,
    in «ELECTRONIC COMMUNICATIONS OF THE EASST»,
    Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (AVoCS 2011),
    EASST,
    vol. 46,
    2011
  19. Cavada, Roberto; Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco; Susi, Angelo; Tonetta, Stefano,
    OthelloPlay: a plug-in based tool for requirement formalization and validation,
    Proceedings of the 1st Workshop on Developing Tools as Plug-ins,
    2011
    , pp. 59-
    59
  20. Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano,
    HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction,
    Proceedings of 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011,
    2011