Paolo Masci

	2012
22		Paolo Masci, Huayi Huang, Paul Curzon, Michael D. Harrison: Using PVS to Investigate Incidents through the Lens of Distributed Cognition. NASA Formal Methods 2012: 273-278
	2011
21		Paolo Masci, Marco Martinucci, Felicita Di Giandomenico: Towards Automated Dependability Analysis of Dynamically Connected Systems. ISADS 2011: 139-146
20		Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Marco Martinucci, Paolo Masci: Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems. ISADS 2011: 315-318
19		Paolo Masci, Nicola Nostro, Felicita Di Giandomenico: On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis. SERENE 2011: 78-92
18		Paolo Masci, Paul Curzon: Checking User-Centred Design Principles in Distributed Cognition Models: A Case Study in the Healthcare Domain. USAB 2011: 95-108
17		Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss: Modelling Distributed Cognition Systems in PVS. ECEASST 45: (2011)
16		Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Yunqiu Li, Paul Curzon, Harold W. Thimbleby: On formalising interactive number entry on infusion pumps. ECEASST 45: (2011)
	2010
15		Paolo Masci, Silvano Chiaradonna, Felicita Di Giandomenico: Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities. EDCC 2010: 145-154
14		Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu: Dependability Analysis and Verification for Connected Systems. ISoLA (2) 2010: 263-277
	2009
13		Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer: Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. SSS 2009: 105-119
	2008
12		Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer: Early Prototyping of Wireless Sensor Network Algorithms in PVS. SAFECOMP 2008: 346-359
11		Paolo Masci, Henrique Moniz, Alessandra Tedeschi: Services for fault-tolerant conflict resolution in air traffic management. SERENE 2008: 121-125
10		Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci: Decomposing bytecode verification by abstract interpretation. ACM Trans. Program. Lang. Syst. 31(1): (2008)
	2007
9		Marco Avvenuti, Paolo Corsini, Paolo Masci, Alessio Vecchio: Opportunistic computing for wireless sensor networks. MASS 2007: 1-6
8		Marco Avvenuti, Paolo Corsini, Paolo Masci, Alessio Vecchio: An application adaptation layer for wireless sensor networks. Pervasive and Mobile Computing 3(4): 413-438 (2007)
	2006
7		Paolo Corsini, Paolo Masci, Alessio Vecchio: VirtuS: a configurable layer for post-deployment adaptation of sensor network. ICWMC 2006: 8
6		Paolo Corsini, Paolo Masci, Alessio Vecchio: Configuration and tuning of sensor network applications through virtual sensors. PerCom Workshops 2006: 316-320
5		Paolo Corsini, Paolo Masci, Alessio Vecchio: Experiences with the TinyOS Communication Library. Wireless Information Systems 2006: 47-55
4		Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci: Using Control Dependencies for Space-Aware Bytecode Verification. Comput. J. 49(2): 234-248 (2006)
3		Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci: Using postdomination to reduce space requirements of data flow analysis. Inf. Process. Lett. 98(1): 11-18 (2006)
	2005
2		Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci: A Space-Aware Bytecode Verifier for Java Cards. Electr. Notes Theor. Comput. Sci. 141(1): 237-254 (2005)
	2004
1		Cinzia Bernardeschi, Luca Martini, Paolo Masci: Java bytecode verification with dynamic structures. IASTED Conf. on Software Engineering and Applications 2004: 559-564

Coauthor Index

1	Marco Avvenuti	[8] [9]
2	Cinzia Bernardeschi	[1] [2] [3] [4] [10] [12] [13]
3	Antonia Bertolino	[20]
4	Ann Blandford	[17]
5	Antonello Calabrò	[20]
6	Abigail Cauchi	[16]
7	Silvano Chiaradonna	[15]
8	Paolo Corsini	[5] [6] [7] [8] [9]
9	Paul Curzon	[16] [17] [18] [22]
10	Nicoletta De Francesco	[10]
11	Dominic Furniss	[17]
12	Felicita Di Giandomenico	[14] [15] [19] [20] [21]
13	Andy Gimblett	[16]
14	Michael D. Harrison	[22]
15	Huayi Huang	[22]
16	Marta Z. Kwiatkowska	[14]
17	Giuseppe Lettieri	[2] [3] [4] [10]
18	Yunqiu Li	[16]
19	Luca Martini	[1] [2] [3] [4] [10]
20	Marco Martinucci	[14] [20] [21]
21	Henrique Moniz	[11]
22	Nicola Nostro	[19]
23	Patrick Oladimeji	[16]
24	Holger Pfeifer	[12] [13]
25	Hongyang Qu	[14]
26	Rimvydas Ruksenas	[16]
27	Alessandra Tedeschi	[11]
28	Harold W. Thimbleby	[16]
29	Alessio Vecchio	[5] [6] [7] [8] [9]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page