1. Anders, Franzen; Cimatti, Alessandro; Alexander, Nadel; Sebastiani, Roberto; Jonathan, Shalev,
    Applying SMT in Symbolic Execution of Microcode,
    Proceedings of 10th Int. Conference on Formal Methods in Computer-Aided Design,
    ACM Press, IEEE Press,
    2010
    , pp. 121-
    128
  2. Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Xavier, Olive,
    Formal Verification and Validation of AADL Model,
    2010
  3. Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto,
    Efficient generation of craig interpolants in satisfiability modulo theories,
    in «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC»,
    vol. 12,
    n. 1, article 7,
    2010
  4. Cimatti, Alessandro,
    SMT-Based Software Model Checking,
    SPIN,
    Springer-Verlag,
    vol. 6349,
    2010
    , pp. 1-
    3
  5. Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei,
    KRATOS,
    2010
  6. Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco; Ralf, Wimmer; Cavada, Roberto,
    COMPASS Tool,
    2010
  7. Thi Thieu Hoa, Le; Luigi, Palopoli; Roberto, Passerone; Ramadian, Yusi; Cimatti, Alessandro,
    Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study,
    Proceedings of the 15th Int. Conference on Emerging Technologies and Factory Automation,
    2010
  8. Bozzano, Marco; Villafiorita Monteleone, Adolfo,
    Design and Safety Assessment of Critical Systems,
    Auerbach Publications (Taylor & Francis Group),
    2010
  9. Oleg, Lisagor; Bozzano, Marco; Matthias, Bretschneider; Tim, Kelly,
    Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results,
    2010
  10. Svaizer, Piergiorgio; Brutti, Alessio; Omologo, Maurizio,
    Analysis of reflected wavefronts by means of a line microphone array,
    Proceedings of IWAENC 2010,
    2010
  11. Brutti, Alessio; Omologo, Maurizio; Svaizer, Piergiorgio,
    Multiple Source Localization Based on Acoustic Map De-Emphasis,
    in «EURASIP JOURNAL ON AUDIO, SPEECH, AND MUSIC PROCESSING»,
    vol. 2010,
    2010
  12. Giuseppe Di Guglielmo; Franco Fummi; Graziano Pravadelli; Marco Roveri; Stefano Soffia,
    Semi-Formal Functional Verification by EFSM traversing via NuSMV,
    Proceedings of the High Level Design Validation and Test Workshop,
    2010
    , pp. 58-
    65
  13. Stefan Kowalewski; Marco Roveri,
    Formal Methods for Industrial Critical Systems – 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings,
    FMICS,
    Springer,
    vol. 6371,
    2010
  14. Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani,
    Interpolant Generation for UTVPI,
    Proceedings of the 22nd Int. Conference on Automated Deduction,
    Springer Verlag,
    vol. 5663,
    2009
    , pp. 167-
    182
  15. Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano,
    Requirements Validation for Hybrid Systems,
    Proceedings 21st Int. Conference on Computer Aided Verification,
    Springer,
    vol. 5643,
    2009
    , pp. 188-
    203
  16. Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto,
    Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version,
    in «ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE»,
    Springer,
    vol. 55,
    n. 1-2,
    2009
    , pp. 66-
    99
  17. Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri,
    Codesign of Dependable Systems: A Component-Based Language,
    2009
  18. Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri,
    The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems,
    2009
  19. Cimatti, Alessandro; Jori Juhani, Dubrovin; Tommi Antero, Junttila; Roveri, Marco,
    Structure-Aware Computation of Predicate Abstraction,
    Proceedings of the Formal Methods in Computer Aided Design,
    2009
    , pp. 9-
    16
  20. Dirk Beyer; Alessandro Cimatti; Alberto Griggio; Erkan Keremoglu; Roberto Sebastiani,
    Software Model Checking via Large-Block Encoding,
    Proceedings of the 9th Conference on Formal Methods in Computer Aided Design,
    2009