( en | de | ru )

 

Disambiguation of "Traverso, Paolo"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Specification and Validation of a Vital Communication Protocol.

, , , , and . World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1584-1604. Springer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Paola Traverso

Paola Traverso

Paola Traverso

Giordano Paolo

Paola Traverso

 

Other publications of authors with the same name

Learning Abstract Planning Domains and Mappings to Real World Perceptions., and . AI*IA, volume 11946 of Lecture Notes in Computer Science, page 461-476. Springer, (2019)Computational reflection via mechanized logical deduction., and . Int. J. Intell. Syst., 11 (5): 279-293 (1996)Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities.. SMARTGREENS, page IS-7. SciTePress, (2015)A dynamic logic for acting, sensing, and planning., and . J. Log. Comput., 10 (6): 787-821 (2000)Automated composition of Web services via planning in asynchronous domains., , and . Artif. Intell., 174 (3-4): 316-361 (2010)Service-Oriented Computing: State of the Art and Research Challenges., , , and . Computer, 40 (11): 38-45 (2007)Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World., , and . ATAL, volume 1037 of Lecture Notes in Computer Science, page 65-78. Springer, (1995)A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools., , , and . SAFECOMP, volume 1516 of Lecture Notes in Computer Science, page 221-230. Springer, (1998)A Provably Correct Embedded Verifier for the Certification of Safety Critical Software., , , , , , , and . CAV, volume 1254 of Lecture Notes in Computer Science, page 202-213. Springer, (1997)Automating Meta-Theory Creation and System Extension., , and . AI*IA, volume 549 of Lecture Notes in Computer Science, page 48-57. Springer, (1991)