You are here

2012

  1. Raian Ali; Alberto Griggio; Anders Franzen; Fabiano Dalpiaz; Paolo Giorgini,
    Optimizing Monitoring Requirements in Self-adaptive Systems,
    Proceedings of Enterprise, Business-Process and Information Systems Modeling - 13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium,
    Springer,
    vol.113,
    2012
    , (Enterprise, Business-Process and Information Systems Modeling - 13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium,
    Gdask, Poland,
    25-26 Giugno 2012)
  2. Leopold, Haller; Griggio, Alberto; Martin, Brain; Daniel, Kroening,
    Deciding Floating-Point Logic with Systematic Abstraction,
    Proceedings of FMCAD 2012,
    2012
    , (2012 Formal Methods in Computer-Aided Design (FMCAD 2012),
    Cambridge, UK,
    October 22-25, 2012)
  3. Roberto Bruttomesso; Alberto Griggio,
    Broadening the Scope of SMT-COMP: the Application Track,
    Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems,
    vol.873,
    2012
    , (1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems,
    Manchester, UK,
    30/06/2012)
  4. Alessandro Cimatti; Iman Narasamdya; Marco Roveri,
    Verification of Parametric System Designs,
    2012
    , (Formal Methods in Computer Aided Design (FMCAD) 2012,
    Cambridge, UK,
    da 10/22/2012 a 10/25/2012)
  5. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    Solving Temporal Problems using SMT: Weak Controllability,
    Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence,
    AAAI Press,
    2012
    , (AAAI 2012,
    Toronto, Canada,
    da 07/22/2012 a 07/26/2012)
  6. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    Solving Temporal Problems using SMT: Strong Controllability,
    Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming,
    2012
    , (CP 2012,
    Quebec City, Canada,
    da 10/08/2012 a 10/12/2012)
  7. Alessandro Cimatti; Sergio Mover; Stefano Tonetta,
    SMT-Based Verification of Hybrid Systems,
    2012
    , (Twenty-Sixth AAAI Conference on Artificial Intelligence,
    Toronto, Ontario, Canada,
    July 22-26, 2012)
  8. A. Cimatti; S. Tonetta,
    A Property-Based Proof System for Contract-Based Design,
    2012
    , (38th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2012,
    Cesme, Turkey,
    da 09/05/2012 a 09/07/2012)
  9. A. Cimatti; S. Mover; S. Tonetta,
    Quantifier-free encoding of hybrid systems with non-linear dynamics,
    Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012),
    2012
    , (International Conference on Formal Methods in Computer-Aided Design, FMCAD12,
    Cambridge, UK,
    da 10/22/2012 a 10/25/2012)
  10. Elena Alaña; Héctor Naranjo; Yuri Yushtein; Marco Bozzano; Alessandro Cimatti; Marco Gario; Régis de Ferluc; Gérard Garcia,
    Automated generation of FDIR for the compass integrated toolset (AUTOGEF),
    2012
    , (DASIA 2012,
    Dubrovnik, Croatia,
    14/05/2012 - 16/05/2012)

Pages