You are here

2004

  1. M. Bozzano; 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
  2. M. Bozzano; 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
  3. A. Fuxman; L. Liu; J. Mylopoulos; M. Pistore; M. Roveri; P. Traverso,
    in «REQUIREMENTS ENGINEERING»,
    vol. 9,
    n. 2,
    2004
    , pp. 132 -
    150
  4. Alessandro Cimatti; Marco Roveri; Piergiorgio Bertoli,
    Conformant Planning via Symbolic Model Checking and Heuristic Search,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 159,
    n. 1-2,
    2004
    , pp. 127 -
    206
  5. W.B. Heinzelman; A.L. Murphy; H.S. Carvalho; M.A. Perillo,
    Middleware to Support Sensor Network Applications,
    in «IEEE NETWORK»,
    vol. 18,
    n. 1,
    2004
    , pp. 6 -
    14
  6. 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
    , (ICSOC,
    New York City, NY, USA,
    15/11/2004-18/11/2004)
  7. P. Bertoli; A. Cimatti; P. Traverso,
    Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains,
    Proceedings of 16th Eureopean Conference on Artificial Intelligence,
    2004
    , pp. 657-
    661
    , (ECAI'2004,
    Valencia, Spain,
    22/08/2004 - 27/08/2004)
  8. R. Kazhamiakin; M. Pistore; M. Roveri,
    A Framework for Integrating Business Processes and Business Requirements,
    Proceedings of 8th Int. Conference Enterprise Distributed Object Computing,
    Washington, DC,
    2004
    , pp. 9-
    20
    , (EDOC,
    Monterey, California, USA,
    20/09/2004-24/09/2004)
  9. 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
    , (SEFM,
    Beijing, China,
    28/09/2004-30/09/2004)
  10. A. Cimatti; M. Roveri; D. Sheridan,
    Bounded Verification of Past LTL,
    Proceedings of 5th Int. Conference on Formal Methods in Computer-Aided Design,
    Springer,
    vol.3312,
    2004
    , pp. 245-
    259
    , (FMCAD,
    Austin, Texas, USA,
    14/11/2004-17/11/2004)

Pages