-
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
-
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
-
A. Fuxman; L. Liu; J. Mylopoulos; M. Pistore; M. Roveri; P. Traverso,
in «REQUIREMENTS ENGINEERING»,
vol. 9,
n. 2,
2004
, pp. 132 -
150
-
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
-
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
-
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)
-
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)
-
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)
-
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)
-
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)