You are here

Publications

  1. 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)
  2. 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)
  3. 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)
  4. 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)
  5. Alessandro Cimatti; E.M. Clarke; Fausto Giunchiglia; Marco Roveri,
    NuSMV: a New Symbolic Model Verifier,
    11th International Conference on Computer Aided Verification (CAV`99), Proceedings,
    Springer,
    1999
    , (11th International Conference on Computer Aided Verification (CAV`99), Proceedings,
    Trento, Italy,
    1999)
  6. Alessandro Cimatti; P.L. Pieraccini; Roberto Sebastiani; Paolo Traverso; Adolfo Villafiorita,
    Formal Specification and validation of a Vital Communication Protocol,
    FM`99-Formal Methods, World Congress on Formal methods in the Development of Computing Systems,
    1999
    , pp. 1584-
    1604
    , (FM`99-Formal Methods, World Congress on Formal methods in the Development of Computing Systems,
    1999)
  7. A. Chiappini; Alessandro Cimatti; C. Porzia; G. Rotondo; Roberto Sebastiani; Paolo Traverso; Adolfo Villafiorita,
    18th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1999),
    Springer,
    vol.1698,
    1999
    , pp. 410-
    419
    , (18th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1999),
    Toulouse, France,
    1999)
  8. Alessandro Cimatti; Marco Roveri,
    Conformant Planning via Model Checking,
    Fifth European Conference on Planning [ECP`99],
    Springer,
    1999
    , (Fifth European Conference on Planning [ECP`99],
    Durham, UK,
    08/09/1999 - 10/09/1999)
  9. Alessandro Cimatti; Fausto Giunchiglia; Paolo Traverso; Adolfo Villafiorita,
    FLoC`99 Workshop on Run-Time Result Verification,
    1999
    , (FLoC`99 Workshop on Run-Time Result Verification,
    Trento, Italy,
    1999)
  10. Alessandro Cimatti; Fausto Giunchiglia; R.W. Weyhrauch,
    A Many Sorted Natural Deduction,
    in «COMPUTATIONAL INTELLIGENCE»,
    vol. 1,
    n. 14,
    1998
    , pp. 135 -
    150

Pages