Francesco Pagliarecci

25 papers Journal 3Unranked 21
YearRankTypeTitle / Venue / Authors
2013 J jnl
Model checking grid security.
Future Gener. Comput. Syst.
Francesco Pagliarecci, Luca Spalazzi, Francesco Spegni
2013 — conf
Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL.
Description Logics
Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari
2012 — conf
Application of SWSAL in Semantic Annotation of RESTful Web Services.
INVIT
Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari
2012 J jnl
Model Checking Semantically Annotated Services.
IEEE Trans. Software Eng.
Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi
2011 — conf
Business process design framework for B2B collaboration.
CTS
Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi
2011 — conf
From Service Identification to Service Selection: An Interleaved Perspective.
Formal Modeling: Actors, Open Systems, Biological Systems
Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi
2011 — conf
From Service Identification to Service Selection: an Interleaved Perspective.
SEBD
Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi
2010 — ch.
Semantic Annotation for Web Service Processes in Pervasive Computing.
Pervasive Computing, Innovations in Intelligent Multimedia and Applications
Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi
2010 — conf
Semantic Model Checking Security Requirements for Web Services (Extended Abstract).
SEBD
Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi
2010 — conf
Semantic model checking security requirements for web services.
HPCS
Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi
2009 J jnl
An IPS for Web Applications.
J. Comput.
Angelo Biscotti, Gianluca Capuzzi, Egidio Cardinale, Francesco Pagliarecci, Luca Spalazzi
2009 — conf
An anomaly-based system for parental control.
HPCS
C. Cioffi, Francesco Pagliarecci, Luca Spalazzi
2009 — conf
JEAP - JAVA environment for Agent platform.
IADIS AC (1)
Francesco Pagliarecci, Luca Spalazzi, Fabrizio Spinelli
2009 — conf
Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study.
SEBD
Ivan Di Pietro, Annapaola Marconi, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi
2008 — conf
Formal specification of agent-object oriented programs.
CTS
Francesco Pagliarecci, Luca Spalazzi, Mark-Oliver Stehr, Carolyn L. Talcott
2008 — conf
Semantic Annotation for Web Service Processes.
SEBD
Ivan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso
2008 — conf
Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study.
Web Intelligence
Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi, Annapaola Marconi, Marco Pistore
2007 — conf
From a Goal-Oriented Methodology to a BDI Agent Language: The Case of
OTM Workshops (1)
Francesco Pagliarecci, Loris Penserini, Luca Spalazzi
2007 — conf
Web Service Discovery at Process-level Based on Semantic Annotation.
SEBD
Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso
2006 — conf
Formal Definition of an Agent-Object Programming Language.
CTS
Francesco Pagliarecci, Luca Spalazzi, Gianluca Capuzzi
2006 — conf
IRSS: Incident Response Support System.
CTS
Gianluca Capuzzi, Luca Spalazzi, Francesco Pagliarecci
2006 — conf
Semantics of Alan.
STAIRS
Francesco Pagliarecci
2005 — conf
An Agent-Based Supply-Chain Management.
SEBD
Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi
2005 — conf
An agent-based supply-chain management.
CTS
Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi
2005 — conf
Model checking the security of multi-protocol systems.
CTS
Maurizio Panti, Luca Spalazzi, Simone Tacconi, Francesco Pagliarecci