1. Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Sebastiani, Roberto,
    The MathSAT Solver – a comparative evaluation,
    2004
  2. Roelofsen, Floris; Serafini, Luciano; Cimatti, Alessandro,
    Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems,
    Proceedings of 16th Eureopean Conference on Artificial Intelligence,
    2004
    , pp. 58-
    62
  3. Bozzano, Marco; Cimatti, Alessandro; Gabriele, Colombini; Veselin, Kirov; Sebastiani, Roberto,
    The MathSAT solver — a progress report,
    Proceeding of 2nd Workshop on Pragmatics of Decision Procedures in Automated Reasoning,
    2004
  4. Sebastiani, Roberto; Eli, Singerman; Tonetta, Stefano; Moshe, Vardi,
    GSTE is partitioned Model Checking,
    Proceedings of the 16th Int. Conference on Computer-Aided Verification,
    Springer,
    vol. 3114,
    2004
    , pp. 301-
    305
  5. Bozzano, Marco; G., Delzanno; M., Martelli,
    Model Checking Linear Logic Specifications,
    in «THEORY AND PRACTICE OF LOGIC PROGRAMMING»,
    vol. 4,
    n. 5-6,
    2004
    , pp. 573-
    619
  6. Bozzano, Marco; G., Delzanno,
    Automatic Verification of Secrecy Properties for Linear Logic Specifications of Cryptographic Protocolos,
    in «JOURNAL OF SYMBOLIC COMPUTATION»,
    vol. 38,
    n. 5,
    2004
    , pp. 1375-
    1415
  7. Brutti, Alessio; P., Coletti; Cristoforetti, Luca; A., Giacomini; Gretter, Roberto; M., Maistrello; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio; Zieger, Christian,
    On the development of an in-car speech interaction system at Irst,
    Special Workshop In Maui (SWIM),
    2004
    , pp. 1-
    4
  8. A., Fuxman; L., Liu; Mylopoulos, John; Pistore, Marco; Roveri, Marco; Traverso, Paolo,
    Specifying and Analyzing Early Requirements in Tropos,
    in «REQUIREMENTS ENGINEERING»,
    vol. 9,
    n. 2,
    2004
    , pp. 132-
    150
  9. P. Traverso; M. Pistore; M. Roveri; A. Marconi; R. Kazhamiakin; P. Lucchese; P. Busetta; P. Bertoli,
    Towards a Framework for Supporting Negotiation between Global and Local Business Requirements,
    Proceedings of 2nd Int. Conference on Service-Oriented Computing,
    2004
    , pp. 56-
    65
  10. Kazhamiakin, Raman; Pistore, Marco; Roveri, Marco,
    A Framework for Integrating Business Processes and Business Requirements,
    Proceedings of 8th Int. Conference Enterprise Distributed Object Computing,
    2004
    , pp. 9-
    20
  11. R. Kazhamiakin; M. Pistore; M. Roveri,
    Formal Verification of Requirements using Spin: A Case Study on Web Services,
    Proceedings od 2nd Int. Conference on Software Engineering and Formal Methods,
    2004
    , pp. 406-
    415
  12. Traverso, Paolo; Pistore, Marco; Roveri, Marco; Marconi, Annapaola; Kazhamiakin, Raman; P., Lucchese; Busetta, Paolo; Bertoli, Piergiorgio,
    Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development,
    2004
  13. Marco Pistore; Marco Roveri; Paolo Busetta,
    Requirements-Driven Verification of Web Services,
    Proceedings of 1st Int. Workshop on Web Services and Formal Methods,
    2004
  14. Alessandro Cimatti; Marco Pistore; Marco Roveri; Paolo Traverso,
    Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking,
    in «ARTIFICIAL INTELLIGENCE»,
    Elsevier,
    vol. 147,
    n. 1-2,
    2003
  15. Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo,
    A Framework for Planning with Extended Goals under Partial Observability,
    Proceedings of ICAPS`03 - 13th International Conference on Automated Planning and Scheduling,
    AAAI,
    2003
    , pp. 215-
    225
  16. Bertoli, Piergiorgio; Cimatti, Alessandro; Lago U., Dal; Pistore, Marco,
    Extending PDDL to mondeterminism, limited sensing and iterative conditional plans,
    2003
  17. Bozzano, Marco; Villafiorita Monteleone, Adolfo; O., Akerlund; P., Bieber; C., Bougnol; E., Boede; M., Bretschneider; A., Cavallo; C., Castel; M., Cifaldi; Cimatti, Alessandro; A., Griffault; C., Kehren; B., Lawrence; A., Luedtke; S., Metge; C., Papadopoulos; R., Passarello; T., Peikenkamp; P., Persson; C., Seguin; L., Trotta; L. Villafiorita A., Valacca; Zacco, Gabriele,
    ESACS: an integrated methodology for design and safety analysis of complex systems,
    Safety & Reliability - ESREL 2003 - Proceedings of the European Safety and Reliability Conference 2003,
    Balkema,
    2003
  18. Bertoli, Piergiorgio; Cimatti, Alessandro; Traverso, Paolo,
    Interleaving Execution and Planning via Symbolic Model Checking,
    ICAPS`03 Workshop on Planning under Uncertainty and Incomplete Information,
    AAAI,
    2003
    , pp. 1-
    7
  19. Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore; Marco Roveri; Paolo Traverso,
    MBP: A Model Based Planner,
    ICAPS`03: system demo session,
    2003
  20. Cimatti, Alessandro; C., Pecheur; Cavada, Roberto,
    Formal Verification of Diagnosability via Symbolic Model Checking,
    2003