 | 2012 |
| 29 |  | Alessio Di Mauro,
Davide Papini,
Nicola Dragoni:
Security Challenges for Energy-harvesting Wireless Sensor Networks.
PECCS 2012: 422-425 |
| 2011 |
| 28 |  | Nicola Dragoni,
Eduardo Lostal,
Davide Papini,
Javier Fabra:
SC 2: Secure Communication over Smart Cards - How to Secure Off-Card Matching in Security-by-Contract for Open Multi-application Smart Cards.
FPS 2011: 32-48 |
| 27 |  | Xenofon Fafoutis,
Nicola Dragoni:
ODMAC: an on-demand MAC protocol for energy harvesting - wireless sensor networks.
PE-WASUN 2011: 49-56 |
| 26 |  | Nicola Dragoni,
Eduardo Lostal,
Olga Gadyatskaya,
Fabio Massacci,
Federica Paci:
A Load Time Policy Checker for Open Multi-application Smart Cards.
POLICY 2011: 153-156 |
| 25 |  | Nicola Dragoni,
Eduardo Lostal,
Davide Papini:
(SC)²: A System to Secure Off-Card Contract-Policy Matching in Security-by-Contract for Open Multi-application Smart Cards.
POLICY 2011: 186-187 |
| 24 |  | Manuel Mazzara,
Faisal Abouzaid,
Nicola Dragoni,
Anirban Bhattacharyya:
Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective.
WS-FM 2011: 64-78 |
| 2010 |
| 23 |  | Gabriele Costa,
Nicola Dragoni,
Aliaksandr Lazouski,
Fabio Martinelli,
Fabio Massacci,
Ilaria Matteucci:
Extending Security-by-Contract with Quantitative Trust on Mobile Devices.
CISIS 2010: 872-877 |
| 22 |  | Nicola Dragoni,
Olga Gadyatskaya,
Fabio Massacci:
Can We Support Applications' Evolution in Multi-application Smart Cards by Security-by-Contract?
WISTP 2010: 221-228 |
| 21 |  | Michele Mazzucco,
Manuel Mazzara,
Nicola Dragoni:
Design of QoS-aware Provisioning Systems
CoRR abs/1012.0522: (2010) |
| 2009 |
| 20 |  | Nicola Dragoni:
Where Are All the Agents? On the Gap between Theory and Practice of Agent-Based Referral Networks.
PRIMA 2009: 508-515 |
| 19 |  | Nicola Dragoni,
Manuel Mazzara:
A Formal Semantics for the WS-BPEL Recovery Framework - The pi-Calculus Way.
WS-FM 2009: 92-109 |
| 18 |  | Nicola Dragoni:
Toward Trustworthy Web Services - Approaches, Weaknesses and Trust-By-Contract Framework.
Web Intelligence/IAT Workshops 2009: 599-606 |
| 17 |  | Nicola Dragoni,
Fabio Massacci,
Ayda Saïdane:
A self-protecting and self-healing framework for negotiating services and trust in autonomic communication systems.
Computer Networks 53(10): 1628-1648 (2009) |
| 16 |  | Nicola Dragoni,
Fabio Massacci,
Thomas Walter,
Christian Schaefer:
What the heck is this application doing? - A security-by-contract architecture for pervasive services.
Computers & Security 28(7): 566-577 (2009) |
| 15 |  | Nataliia Bielova,
Nicola Dragoni,
Fabio Massacci,
Katsiaryna Naliuka,
Ida Siahaan:
Matching in security-by-contract for mobile code.
J. Log. Algebr. Program. 78(5): 340-358 (2009) |
| 2008 |
| 14 |  | Nataliia Bielova,
Marco Dalla Torre,
Nicola Dragoni,
Ida Siahaan:
Matching Policies with Security Claims of Mobile Applications.
ARES 2008: 128-135 |
| 2007 |
| 13 |  | Nicola Dragoni,
Fabio Massacci,
Katsiaryna Naliuka,
Ida Siahaan:
Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code.
EuroPKI 2007: 297-312 |
| 12 |  | Nicola Dragoni,
Fabio Massacci:
Security-by-contract for web services.
SWS 2007: 90-98 |
| 11 |  | Nicola Dragoni,
Mauro Gaspari,
Davide Guidi:
An ACL for Specifying Fault-Tolerant Protocols.
Applied Artificial Intelligence 21(4&5): 361-381 (2007) |
| 2006 |
| 10 |  | Nicola Dragoni,
Mauro Gaspari,
Davide Guidi:
A Fault Tolerant Agent Communication Language for Supporting Web Agent Interaction.
AC 2006: 273-288 |
| 9 |  | Nicola Dragoni,
Mauro Gaspari:
Performative Patterns for Designing Verifiable ACLs.
CIA 2006: 375-387 |
| 8 |  | Nicola Dragoni:
Fault tolerant knowledge level inter-agent communication in open Multi-Agent Systems.
AI Commun. 19(4): 385-387 (2006) |
| 7 |  | Nicola Dragoni,
Mauro Gaspari,
Davide Guidi:
An infrastructure to support cooperation of knowledge-level agents on the semantic Grid.
Appl. Intell. 25(2): 159-180 (2006) |
| 6 |  | Nicola Dragoni,
Mauro Gaspari:
Crash failure detection in asynchronous agent communication languages.
Autonomous Agents and Multi-Agent Systems 13(3): 355-390 (2006) |
| 2005 |
| 5 |  | Nicola Dragoni,
Mauro Gaspari,
Davide Guidi:
An ACL for Specifying Fault-Tolerant Protocols.
AI*IA 2005: 237-248 |
| 4 |  | Nicola Dragoni,
Mauro Gaspari,
Davide Guidi:
Integrating Knowledge-Level Agents in the (Semantic) Web: An Agent-based Open Service Architecture.
FLAIRS Conference 2005: 320-325 |
| 3 |  | Nicola Dragoni,
Mauro Gaspari,
Davide Guidi:
NOWHERE - An Open Service Architecture to support Agents and Services within the Semantic Web.
SWAP 2005 |
| 2 |  | Nicola Dragoni,
Mauro Gaspari,
Davide Guidi:
A Peer-to-Peer Knowledge Level Open Service Architecture.
Wissensmanagement 2005: 195-201 |
| 1 |  | Nicola Dragoni,
Mauro Gaspari:
An object based algebra for specifying a fault tolerant software architecture.
J. Log. Algebr. Program. 63(2): 271-297 (2005) |