Francesco Pagliarecci

According to our database1, Francesco Pagliarecci
  • authored at least 25 papers between 2005 and 2013.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
Model checking grid security.
Future Generation Comp. Syst., 2013

Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012
Model Checking Semantically Annotated Services.
IEEE Trans. Software Eng., 2012

Application of SWSAL in Semantic Annotation of RESTful Web Services.
Proceedings of the Fifth Interop-Vlab.It Workshop on Complexity of Systems, 2012

2011
From Service Identification to Service Selection: an Interleaved Perspective.
Proceedings of the Sistemi Evoluti per Basi di Dati, 2011

Business process design framework for B2B collaboration.
Proceedings of the 2011 International Conference on Collaboration Technologies and Systems, 2011

From Service Identification to Service Selection: An Interleaved Perspective.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010
Semantic Annotation for Web Service Processes in Pervasive Computing.
Proceedings of the Pervasive Computing, 2010

Semantic Model Checking Security Requirements for Web Services (Extended Abstract).
Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

Semantic model checking security requirements for web services.
Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010

2009
An IPS for Web Applications.
JCP, 2009

Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study.
Proceedings of the Seventeenth Italian Symposium on Advanced Database Systems, 2009

An anomaly-based system for parental control.
Proceedings of the 2009 International Conference on High Performance Computing & Simulation, 2009

JEAP - JAVA environment for Agent platform.
Proceedings of the IADIS International Conference Applied Computing 2009, 2009

2008
Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study.
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008

Semantic Annotation for Web Service Processes.
Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

Formal specification of agent-object oriented programs.
Proceedings of the 2008 International Symposium on Collaborative Technologies and Systems, 2008

2007
Web Service Discovery at Process-level Based on Semantic Annotation.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

From a Goal-Oriented Methodology to a BDI Agent Language: The Case of Tropos and Alan.
Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

2006
Semantics of Alan.
Proceedings of the STAIRS 2006, 2006

Formal Definition of an Agent-Object Programming Language.
Proceedings of the 2006 International Symposium on Collaborative Technologies and Systems, 2006

IRSS: Incident Response Support System.
Proceedings of the 2006 International Symposium on Collaborative Technologies and Systems, 2006

2005
An Agent-Based Supply-Chain Management.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Model checking the security of multi-protocol systems.
Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005

An agent-based supply-chain management.
Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005


  Loading...