1. Bertoli, Piergiorgio; Cimatti, Alessandro; Lago U., Dal; Pistore, Marco,
    Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans,
    ICAPS`03 Workshop on PDDL,
    2003
    , pp. 15-
    24
  2. Benedetti, Marco; Cimatti, Alessandro,
    Bounded Model Checking for past LTL,
    Tools and Algorithms for the Construction and Analysis of Systems. Proceedings of the 9th International Conference, TACAS 2003,
    Springer,
    vol. 2619,
    2003
    , pp. 18-
    33
  3. Cimatti, Alessandro; Charles, Pecheur; Cavada, Roberto,
    Formal Verification of Diagnosability via Symbolic Model Checking,
    IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence,
    Morgan Kaufmann,
    2003
    , pp. 363-
    369
  4. Armin, Biere; Cimatti, Alessandro; E. M., Clarke; Ofer, Strichman; Yunshan, Zhu,
    Bounded Model Checking,
    in «ADVANCES IN COMPUTERS»,
    Academic Press,
    vol. 58,
    n. ISBN 0-12-012158-1,
    2003
    , pp. 118-
    149
  5. Audemard, Gilles; Bozzano, Marco; Cimatti, Alessandro; Sebastiani, Roberto,
    Verifying Industrial Hybrid Systems with MathSAT,
    CADE-19 Workshop: Pragmatics of Decision Procedures in Automated Reasoning (PDPAR`03),
    2003
    , pp. 62-
    76
  6. Bozzano, Marco; Villafiorita Monteleone, Adolfo,
    Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform,
    2003
  7. Bozzano, Marco; A., Cavallo; M., Cifaldi; L., Valacca; Villafiorita Monteleone, Adolfo,
    Improving Safety Assessment of Complex Systems: An Industrial case study,
    2003
  8. Bozzano, Marco; Villafiorita Monteleone, Adolfo,
    Integrating Fault Tree Analysis with Event Ordering Information,
    :Safety & Reliability - ESREL 2003 - Proceedings of the European Safety and Reliability Conference 2003,
    2003
  9. Bozzano, Marco; Villafiorita Monteleone, Adolfo,
    Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform,
    Computer Safety, Reliability, and Security. Proceedings of the 22nd International Confecence SAFECOMP 2003,
    2003
    , pp. 49-
    62
  10. Bozzano, Marco; A., Cavallo; M., Cifaldi; L., Valacca; Villafiorita Monteleone, Adolfo,
    Improving Safety Assessment of Complex Systems: An Industrial case study,
    FME 2003: Formal Methods. Proceedings of the International Symposium of Formal Methods,
    2003
    , pp. 208-
    222
  11. Luca Armani; Marco Matassoni; Maurizio Omologo; Piergiorgio Svaizer,
    Distant-talking activity detection with multi-channel audio input,
    IEEE-EURASIP Workshop on Nonlinear Signal and Image Processing,
    2003
  12. Cristoforetti, Luca; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio,
    In-car speech interaction by means of multiple recognition units,
    DSP in Mobile and Vehicular Systems,
    2003
    , pp. 1-
    4
  13. Coletti, Paolo; Cristoforetti, Luca; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio,
    Developing a speech interaction system for the car,
    International Conference on Human Aspects of Advanced Manufacturing,
    2003
    , pp. 1-
    5
  14. Cristoforetti, Luca; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio,
    Use of parallel recognizers for robust in-car speech interaction,
    2003
  15. Armani, Luca; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio,
    Use of a CSP-based voice activity detector for distant-talking ASR,
    European Conference on Speech Communication and Technology (EUROSPEECH 2003),
    ISCA,
    2003
    , pp. 501-
    504
  16. Coletti, Paolo; Cristoforetti, Luca; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio; Petra, Geutner; Frank, Steffens,
    A speech driven in-car assistance system,
    Intelligent Vehicles Symposium,
    IEEE,
    2003
    , pp. 622-
    626
  17. Cristoforetti, Luca; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio,
    Use of parallel recognizers for robust in-car speech interaction,
    IEEE International Conference on Acoustic, Speech, and Signal Processing (ICASSP 2003),
    IEEE,
    2003
    , pp. 320-
    323
  18. A. Fuxman; L. Liu; Marco Pistore; Marco Roveri; John Mylopoulos,
    Specifying and Analyzing Early Requirements: Some Experimental Results,
    2003
  19. Anna Perini; Marco Pistore; Marco Roveri; Angelo Susi,
    Agent-oriented modeling by interleaving formal and informal specification,
    2003
  20. Anna Perini; Marco Pistore; Marco Roveri; Angelo Susi,
    Agent-oriented modeling by interleaving formal and informal specification,
    Agent-Oriented Software Engineering IV,
    Springer,
    vol. 2935,
    2003
    , pp. 36-
    52