Francesco Pagliarecci

Publication Activity (10 Years)

Years Active: 2005-2013
Publications (10 Years): 0

Top Topics

Linear Temporal Logic

Automated Verification

Semantically Annotated

Top Venues

Description Logics

Future Gener. Comput. Syst.

IEEE Trans. Software Eng.

Publications

Francesco Pagliarecci, Luca Spalazzi, Francesco Spegni
Model checking grid security. Future Gener. Comput. Syst. 29 (3) (2013)
Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari
Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL. Description Logics (2013)
Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi
Model Checking Semantically Annotated Services. IEEE Trans. Software Eng. 38 (3) (2012)
Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari
Application of SWSAL in Semantic Annotation of RESTful Web Services. INVIT (2012)
Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi
Business process design framework for B2B collaboration. CTS (2011)
Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi
From Service Identification to Service Selection: An Interleaved Perspective. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi
From Service Identification to Service Selection: an Interleaved Perspective. SEBD (2011)
Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi
Semantic model checking security requirements for web services. HPCS (2010)
Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi
Semantic Model Checking Security Requirements for Web Services (Extended Abstract). SEBD (2010)
Angelo Biscotti, Gianluca Capuzzi, Egidio Cardinale, Francesco Pagliarecci, Luca Spalazzi
An IPS for Web Applications. J. Comput. 4 (5) (2009)
C. Cioffi, Francesco Pagliarecci, Luca Spalazzi
An anomaly-based system for parental control. HPCS (2009)
Francesco Pagliarecci, Luca Spalazzi, Fabrizio Spinelli
JEAP - JAVA environment for Agent platform. IADIS AC (1) (2009)
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)
Francesco Pagliarecci, Luca Spalazzi, Mark-Oliver Stehr, Carolyn L. Talcott
Formal specification of agent-object oriented programs. CTS (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)
Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso
Web Service Discovery at Process-level Based on Semantic Annotation. SEBD (2007)
Francesco Pagliarecci, Loris Penserini, Luca Spalazzi
and Alan. OTM Workshops (1) (2007)
Francesco Pagliarecci
Semantics of Alan. STAIRS (2006)
Gianluca Capuzzi, Luca Spalazzi, Francesco Pagliarecci
IRSS: Incident Response Support System. CTS (2006)
Francesco Pagliarecci, Luca Spalazzi, Gianluca Capuzzi
Formal Definition of an Agent-Object Programming Language. CTS (2006)
Maurizio Panti, Luca Spalazzi, Simone Tacconi, Francesco Pagliarecci
Model checking the security of multi-protocol systems. CTS (2005)
Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi
An Agent-Based Supply-Chain Management. SEBD (2005)
Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi
An agent-based supply-chain management. CTS (2005)