Ivan Di Pietro

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Linear Temporal Logic

Semantically Annotated

Verification Method

Top Venues

IEEE Trans. Software Eng.

Publications

Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi
Model Checking Semantically Annotated Services. IEEE Trans. Software Eng. 38 (3) (2012)
Ivan Di Pietro, Annapaola Marconi, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi
Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study. SEBD (2009)
Ivan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso
Semantic Annotation for Web Service Processes. SEBD (2008)
Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi, Annapaola Marconi, Marco Pistore
Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study. Web Intelligence (2008)