PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Raimondi, Franco"

Author of the publication

copydeleteadd this publication to your clipboard
A Model to Design and Verify Context-Aware Adaptive Service Composition.

, , , and . JISBD, page 259-259. IBERGARCETA Pub. S.L., (2010)

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.

No persons found for author name Raimondi, Franco
add a person with the name Raimondi, Franco
 

Other publications of authors with the same name

Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams., and . J. Applied Logic, 5 (2): 235-251 (2007)A Model to Design and Verify Context-Aware Adaptive Service Composition., , , and . IEEE SCC, page 184-191. IEEE Computer Society, (2009)Reasoning about memoryless strategies under partial observability and unconditional fairness constraints., , , and . Inf. Comput., (2015)Formal Analysis of Multiple Coordinated HMI Systems., , , , , and . Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, (2017)Combinatorial Optimization Based Recommender Systems., , and . CTW, page 175-179. (2009)Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's., and . ECAI, page 53-57. IOS Press, (2004)Using multi-agent systems to go beyond temporal patterns verification.. SIGLOG News, 3 (2): 69-77 (2016)From Raw Data to Agent Perceptions for Simulation, Verification, and Monitoring., , , and . Intelligent Environments (Workshops), volume 21 of Ambient Intelligence and Smart Environments, page 66-75. IOS Press, (2016)vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments., , , , , , , , and . Intelligent Environments, page 92-99. IEEE, (2017)Domain Types: Abstract-Domain Selection Based on Variable Usage., , , , and . Haifa Verification Conference, volume 8244 of Lecture Notes in Computer Science, page 262-278. Springer, (2013)