Francesco Pagliarecci

According to our database, Francesco Pagliarecci authored at least 22 papers between 2005 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Model checking grid security.

Francesco Pagliarecci, Luca Spalazzi, Francesco Spegni

Future Gener. Comput. Syst., 2013

Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL.

Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

Model Checking Semantically Annotated Services.

Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi

IEEE Trans. Software Eng., 2012

Application of SWSAL in Semantic Annotation of RESTful Web Services.

Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari

Proceedings of the Fifth Interop-Vlab.It Workshop on Complexity of Systems, 2012

2011

Business process design framework for B2B collaboration.

Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi

Proceedings of the 2011 International Conference on Collaboration Technologies and Systems, 2011

From Service Identification to Service Selection: An Interleaved Perspective.

Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010

Semantic Annotation for Web Service Processes in Pervasive Computing.

Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi

Proceedings of the Pervasive Computing, 2010

Semantic Model Checking Security Requirements for Web Services (Extended Abstract).

Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi

Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

Semantic model checking security requirements for web services.

Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi

Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010

2009

An IPS for Web Applications.

Angelo Biscotti, Gianluca Capuzzi, Egidio Cardinale, Francesco Pagliarecci, Luca Spalazzi

J. Comput., 2009

Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study.

Ivan Di Pietro, Annapaola Marconi, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi

Proceedings of the Seventeenth Italian Symposium on Advanced Database Systems, 2009

An anomaly-based system for parental control.

C. Cioffi, Francesco Pagliarecci, Luca Spalazzi

Proceedings of the 2009 International Conference on High Performance Computing & Simulation, 2009

JEAP - JAVA environment for Agent platform.

Francesco Pagliarecci, Luca Spalazzi, Fabrizio Spinelli

Proceedings of the IADIS International Conference Applied Computing 2009, 2009

2008

Semantic Annotation for Web Service Processes.

Ivan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso

Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

Formal specification of agent-object oriented programs.

Francesco Pagliarecci, Luca Spalazzi, Mark-Oliver Stehr, Carolyn L. Talcott

Proceedings of the 2008 International Symposium on Collaborative Technologies and Systems, 2008

2007

Web Service Discovery at Process-level Based on Semantic Annotation.

Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso

Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

From a Goal-Oriented Methodology to a BDI Agent Language: The Case of <i>Tropos</i> and Alan.

Francesco Pagliarecci, Loris Penserini, Luca Spalazzi

Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

2006

Semantics of Alan.

Francesco Pagliarecci

Proceedings of the STAIRS 2006, 2006

Formal Definition of an Agent-Object Programming Language.

Francesco Pagliarecci, Luca Spalazzi, Gianluca Capuzzi

Proceedings of the 2006 International Symposium on Collaborative Technologies and Systems, 2006

IRSS: Incident Response Support System.

Gianluca Capuzzi, Luca Spalazzi, Francesco Pagliarecci

Proceedings of the 2006 International Symposium on Collaborative Technologies and Systems, 2006

2005

Model checking the security of multi-protocol systems.

Maurizio Panti, Luca Spalazzi, Simone Tacconi, Francesco Pagliarecci

Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005

An agent-based supply-chain management.

Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi

Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005