Ilaria Matteucci

	2012
18		Gabriele Costa, Ilaria Matteucci: Gate automata-driven run-time enforcement. Computers & Mathematics with Applications 63(2): 518-524 (2012)
	2011
17		Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio, Luca Wiegand: A Design Phase for Data Sharing Agreements. DPM/SETOP 2011: 25-41
16		Gabriele Costa, Ilaria Matteucci: Trust-Driven Policy Enforcement through Gate Automata. IMIS 2011: 208-215
15		Gabriele Costa, Ilaria Matteucci: Elective temporal logic. QoSA/ISARCS 2011: 143-152
14		Gabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi: Security and Trust. SFM 2011: 393-416
	2010
13		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
12		Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio: CNL4DSA: a controlled natural language for data sharing agreements. SAC 2010: 616-620
	2009
11		Fabio Martinelli, Ilaria Matteucci: Idea: Action Refinement for Security Properties Enforcement. ESSoS 2009: 37-42
10		Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci: Towards Information Flow Properties for Distributed Systems. Electr. Notes Theor. Comput. Sci. 236: 65-84 (2009)
	2008
9		Fabio Martinelli, Ilaria Matteucci: Synthesis of Local Controller Programs for Enforcing Global Security Properties. ARES 2008: 1120-1127
8		Paolo Greci, Fabio Martinelli, Ilaria Matteucci: A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application. ISoLA 2008: 221-236
7		Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Ilaria Matteucci, Paolo Mori: Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. TrustBus 2008: 100-117
6		Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi: A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. WADS 2008: 172-201
	2007
5		Fabio Martinelli, Ilaria Matteucci: Synthesis of Web Services Orchestrators in a Timed Setting. WS-FM 2007: 124-138
4		Fabio Martinelli, Ilaria Matteucci: An Approach for the Specification, Verification and Synthesis of Secure Systems. Electr. Notes Theor. Comput. Sci. 168: 29-43 (2007)
3		Fabio Martinelli, Ilaria Matteucci: Through Modeling to Synthesis of Security Automata. Electr. Notes Theor. Comput. Sci. 179: 31-46 (2007)
2		Ilaria Matteucci: Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting. Electr. Notes Theor. Comput. Sci. 186: 101-120 (2007)
	2006
1		Ilaria Matteucci: A Tool for the Synthesis of Controller Programs. Formal Aspects in Security and Trust 2006: 112-126

Coauthor Index

1	Álvaro Enrique Arenas (Alvaro E. Arenas, Alvaro Arenas)	[7]
2	Benjamin Aziz	[7]
3	Gabriele Costa	[13] [14] [15] [16] [18]
4	Nicola Dragoni	[13]
5	Stefania Gnesi	[6]
6	Roberto Gorrieri	[10]
7	Paolo Greci	[8]
8	Valérie Issarny	[14]
9	Aliaksandr Lazouski	[13]
10	Gabriele Lenzini	[6]
11	Fabio Martinelli	[3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14]
12	Fabio Massacci	[13]
13	Paolo Mori	[7]
14	Marinella Petrocchi	[12] [17]
15	Rachid Saadi	[14]
16	Marco Luca Sbodio	[12] [17]
17	Luca Wiegand	[17]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page