1. A. Fuxman; L. Liu; Marco Pistore; Marco Roveri; John Mylopoulos,
    Specifying and Analyzing Early Requirements: Some Experimental Results,
    11th IEEE International Conference on Requirements Engineering (RE 2003),
    IEEE Computer Society,
    2003
    , pp. 105-
    114
  2. Alessandro Cimatti; Marco Pistore; Marco Roveri; Roberto Sebastiani,
    Improving the encoding of LTL Model Checking into SAT,
    VMCAI-2002 Workshop on Verification Model Checking and Abstract Interpretation,
    Springer,
    vol. 2294,
    2002
    , pp. 196-
    207
  3. Audemard, Gilles; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto,
    Bounded Model Checking for Timed Systems,
    Formal Techniques for Networked and Distributed Systems - FORTE 2002. Proceedings of the 22nd IFIP TC6 WG 6.1 International Conference,
    Springer,
    2002
    , pp. 243-
    259
  4. Cimatti, Alessandro; E., Giunchiglia; Roveri, Marco; Pistore, Marco; Sebastiani, Roberto; A., Tacchella,
    Integrating BDD-based and SAT-based Symbolic Model Checking,
    Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002,
    Springer,
    vol. 2309,
    2002
    , pp. 49-
    56
  5. Bertoli, Piergiorgio; Cimatti, Alessandro; J., Slaney; S., Thiebaux,
    Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking,
    15th Eureopean Conference on Artificial Intelligence (ECAI 2002),
    IOS Press,
    2002
    , pp. 576-
    580
  6. Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto,
    A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions,
    CADE-18 Conference on Automated Deduction,
    Springer,
    2002
    , pp. 195-
    210
  7. Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto,
    Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements,
    CALCULEMUS-2002, 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning,
    2002
    , pp. 157-
    192
  8. Cimatti, Alessandro; E. M., Clarke; Enrico, Giunchiglia; Fausto, Giunchiglia; Pistore, Marco; Roveri, Marco; Roberto, Sebastiani; A., Tacchella,
    NuSMV 2: An OpenSource Tool for Symbolic model Checking,
    CAV 2002, Conference on Computer-Aided Verification,
    Springer,
    vol. 2404,
    2002
    , pp. 359-
    364
  9. Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo,
    Plan Validation for Extended Goals under Partial Observability (preliminary report),
    Electronic Proceedings of AIPS`02 Workshop on Planning via Model Checking,
    2002
  10. Roveri, Marco; Cimatti, Alessandro; Cavada, Roberto; Tchaltsev, Andrei; Micheli, Andrea; Mariotti, Alessandro; Mover, Sergio; Marco, Pensallorto; Armando, Tacchella; Daniel, Sheridan; Gavin, Keighren; Tommi, Junttila; Timo, Latvala,
    NuSMV,
    2002
  11. Marco Bozzano; G. Delzanno,
    Automated Protocol Verification in Linear Logic,
    Proceedings of the Fourth International Conference on Principles and Practice of Declarative Programming [PPDP 2002],
    2002
  12. Bozzano, Marco; Delzanno, Giorgio,
    Beyond parameterized verification,
    International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2002: Tools and Algorithms for the Construction and Analysis of Systems,
    Springer,
    vol. 2280,
    2002
    , pp. 221-
    235
  13. Bozzano, Marco; Delzanno, Giorgio,
    Algorithmic Verification of Invalidation-Based Protocols,
    Computer Aided Verification,
    Spinger,
    vol. 2404,
    2002
    , pp. 295-
    308
  14. Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio,
    An effective fixpoint semantics for linear logic programs,
    in «THEORY AND PRACTICE OF LOGIC PROGRAMMING»,
    vol. 2,
    n. 01,
    2002
    , pp. 85-
    122
  15. Matassoni, Marco; Omologo, Maurizio; Giuliani, Diego; Svaizer, Piergiorgio,
    HMM Training with Contaminated Speech Material for Distant-Talking Speech Recognition,
    in «COMPUTER SPEECH AND LANGUAGE»,
    Elsevier,
    2002
    , pp. 205-
    223
  16. Matassoni, Marco; Omologo, Maurizio; Santarelli, Alfiero; Svaizer, Piergiorgio,
    On the joint use of noise reduction and MLLR adaptation for in-car hands-free speech recognition,
    IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2002),
    IEEE,
    2002
    , pp. 289-
    292
  17. Marco Roveri,
    Planning in Non-Deterministic Domains via Symbolic Model Checking,
    2002
  18. Alessandro Cimatti; Marco Roveri; Piergiorgio Bertoli,
    Searching Porwerset Automata by Combining Explicit-State and Symbolic Model Checking,
    Tools and Algorithms for the Construction and Analysis of Systems [TACAS 2001], Conference Proceedings,
    Springer,
    vol. 2031,
    2001
    , pp. 313-
    327
  19. Alessandro Cimatti,
    Industrial Applications of Model Checking,
    2001
  20. Piergiorgio Bertoli; Alessandro Cimatti; Marco Roveri,
    Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning,
    17th International Joint Conference on Artificial Intelligence, IJCAI 2001,
    Morgan Kaufmann,
    2001
    , pp. 467-
    472