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,
   Specifying and Analyzing Early Requirements in Tropos,
   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