logo

You are here

Home » Publications » 2000

2000

  1. Alessandro Cimatti; Marco Roveri,
    Conformant Planning via Symbolic Model Checking,
    in «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH»,
    vol. 13,
    2000
    , pp. 305 -
    338
  2. V. Hartonas-Garmhausen; E.M. Clarke; S. Campos; Alessandro Cimatti; Fausto Giunchiglia,
    Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints,
    in «SCIENCE OF COMPUTER PROGRAMMING»,
    vol. 36,
    2000
    , pp. 53 -
    64
  3. Alessandro Cimatti; E.M. Clarke; Fausto Giunchiglia; Marco Roveri,
    NuSMV: a new symbolic model checker,
    in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER»,
    2000
    , pp. 410 -
    425
  4. Alessandro Cimatti; Luciano Serafini,
    A Context-Based Mechanization of Multi-Agent Reasoning,
    Formal Aspects of Context,
    Drodecht,
    Kluwer,
    2000
    , pp. 65 -
    83
  5. Piergiorgio Bertoli; Alessandro Cimatti; Paolo Traverso,
    Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System,
    5th International Workshop on Formal Methods for Industrial Critical Systems [FMICS],
    2000
    , (5th International Workshop on Formal Methods for Industrial Critical Systems [FMICS],
    Berlin, Germany,
    2000)
  6. Alessandro Cimatti; Marco Roveri,
    Forward Conformant Planning via Symbolic Model Checking,
    AIPS 2000 Workshop on Model-Theoretic Approaches to Planning,
    2000
    , (AIPS 2000 Workshop on Model-Theoretic Approaches to Planning,
    2000)
  7. Marco Roveri,
    Abstraction in Model Checking for Bug Hunting,
    Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000,
    2000
    , pp. 219-
    223
    , (Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000,
    Nantes, France,
    19/06/2000 - 23/06/2000)
  8. Alessandro Cimatti; Marco Roveri,
    Conformant Planning via Model Checking,
    Fifth European Conference on Planning [ECP`99],
    Springer,
    2000
    , pp. 21-
    34
    , (Fifth European Conference on Planning [ECP`99],
    Durham, UK,
    08/09/1999 - 10/09/1999)