You are here

2006

  1. O. Akerlund; P. Bieber; E. Boede; M. Bozzano; M. Bretschneider; C. Castel; A. Cavallo; M. Cifaldi; J. Gauthier; A. Griffault; O. Lisagor; A. Luedtke; S. Metge; C. Papadopoulos; T. Peikenkamp; L. Sagaspe; C. Seguin; H. Trivedi; L.Valacca.,
    ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects.,
    2006
    , (ERTS’06 - Embedded Real Time Software,
    Toulouse, France,
    25-27/01/2006)
  2. Roderick Bloem; Alessandro Cimatti; Ingo Pill; Marco Roveri; Simone Semprini; Andrei Tchaltsev,
    RAT: A tool for formal analysis of requirements,
    Demo Session of the 17th European Conference on Artificial Intelligence,
    2006
    , (ECAI,
    Riva del Garda, Italy,
    28/08/2006-01/09/2006)
  3. Alessandro Cimatti; Marco Roveri; Simone Semprini; Stefano Tonetta,
    From PSL to NBA: a Modular Symbolic Encoding,
    Proceedings of 6th Int. Conference on Formal Methods in Computer Aided Design,
    2006
    , pp. 125-
    133
    , (FMCAD,
    San Jose, CA, USA,
    12/11/2006-16/11/2006)
  4. Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore,
    Towards strong cyclic planning under partial observability,
    Proceedings of the 16th Int. Conference on Automated Planning and Scheduling,
    2006
    , pp. 354-
    357
    , (ICAPS’06,
    Cumbria, UK,
    6-10/06/2006)
  5. Roberto Bruttomesso; Alessandro Cimatti; Anders Franzen; Alberto Griggio; Alessandro Santuari; Roberto Sebastiani,
    To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T),
    Proceedings of the 13th Int. Conference on 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning,
    2006
    , pp. 557-
    571
    , (LPAR'06,
    Phnom Penh, Cambodia,
    13-17/11/2006)
  6. Roberto Bruttomesso; Alessandro Cimatti; Anders Franzen; Alberto Griggio; Roberto Sebastiani,
    Springer Verlag,
    vol.4246,
    2006
    , pp. 527-
    541
    , (LPAR'06,
    Phnom Penh, Cambodia,
    13-17/11/2006)
  7. Stefano Tonetta; Natasha Sharygina,
    A Uniform Framework for Predicate Abstraction Approximation,
    Proceedings of the 4th Int. Workshop on Software Verification and Validation,
    2006
    , (SVV'06,
    Seattle, Washington, USA,
    10-22/08/2006)
  8. Marco Bernardo; Alessandro Cimatti (eds.),
    Berlin Heidelberg New York,
    Springer,
    2006
  9. Armando A.; Cimatti A. (eds.),
    Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning,
    Electronic Notes in Theoretical Computer Science -- Elsevier,
    2006

Pages