PaoLo MaSCi

Debugging PVS Specifications of Control Logics via Event-driven Simulation.
C. Bernardeschi, L. Cassano, A. Domenici, P. Masci
To appear in COMPTOOLS2010, the 1st Intl. Conf. on Computational Logics, Algebras, Programming, Tools, and Benchmarking
Lisbon, Portugal, 2010.
[bibtex]  [pdf]

Dependability Analysis and Verification for CONNECTed systems.
F. Di Giandomenico, M. Kwiatkowska, M. Martinucci, P. Masci, H. Qu
To appear in ISOLA2010, the 4th Intl. Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Crete, 2010.
[bibtex]  [pdf]

Metrics for QoS analysis in dynamic, evolving and heterogeneous CONNECTed systems.
A. Bertolino, F. Di Giandomenico, A. Di Marco, P. Masci, A. Sabetta
In WODA2010, the 8th international workshop on dynamic analysis
Trento, Italy, 2010.
[bibtex]  [pdf]

Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach.
A. Bertolino, F. Di Giandomenico, A. Di Marco, V. Issarny, F. Martinelli, P. Masci, I. Matteucci, R. Saadi, A. Sabetta
In SERENE2010, the 2nd International Workshop on Software Engineering for Resilient Systems
London, UK, 2010.
[bibtex]  [pdf]  

Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities.
P. Masci, F. Di Giandomenico, S. Chiaradonna
In EDCC2010, the 8th European Dependable Computing Conference
Valencia, Spain, 2010.
[bibtex]  [pdf]

Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios.
C. Bernardeschi, P. Masci, H. Pfeifer
In SSS09, the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Lyon, France, 2009.
[bibtex]  [pdf]

A tool for checking secure interaction in java cards.
M. Avvenuti, C. Bernardeschi, N. De Francesco, P. Masci
In EWDC09, the 12th European Workshop on Dependable Computing
Toulose, France, 2009.
[bibtex]  [pdf]

Modelling and Evaluation of a Game-Theory approach for Airborne Conflict Resolution in Omnet++.
P. Masci, A. Tedeschi
In DEPEND09, the 2nd International Conference on Dependability
Athens/Glyfada, Greece, 2009.
[bibtex]  [pdf]

Services for fault-tolerant conflict resolution in air traffic management.
P. Masci, H. Moniz, A. Tedeschi
In SERENE08, International Workshop on Software Engineering for Resilient Systems
Newcastle upon Tyne, UK, 2008.
[bibtex]  [pdf]

Decomposing Bytecode Verification by Abstract Interpretation.
C. Bernardeschi, N. De Francesco, G. Lettieri, L. Martini, P. Masci
ACM Transactions on Programming Languages and Systems (TOPLAS)
vol. 31(1), pp. 1-63, 2008, ISSN: 0164-0925.
[bibtex]  [pdf]

Early prototyping of wireless sensor network algorithms in PVS.
C. Bernardeschi, P. Masci, H. Pfeifer
In SAFECOMP08, the 27th International Conference on Computer Safety, Reliability and Security
Newcastle upon Tyne, UK, 2008.
[bibtex]  [pdf]

An Application Adaptation Layer for Wireless Sensor Networks.
M. Avvenuti, P. Corsini, P. Masci, A. Vecchio
Pervasive and Mobile Computing (PMC)
vol. 3(4), pp. 413-438, 2007, ISSN: 1574-1192.
[bibtex]  [pdf]

Energy Efficient Reception of Large Preambles in MAC Protocols for WSNs.
M. Avvenuti, P. Corsini, P. Masci, A. Vecchio
Electronic Letters (EL)
vol. 43(5), pp. 59-60, 2007, ISSN: 0013-5194.
[bibtex]  [pdf]  [B-MAC+ (implementation)]

Opportunistic Computing for Wireless Sensor Networks.
M. Avvenuti, P. Corsini, P. Masci, A. Vecchio
In SensorFusion07, The 2nd Intl. Workshop on Information Fusion and Dissemination in Wireless Sensor Networks
Pisa, Italy, 2007.
[bibtex]  [pdf]

Using Postdominators to Reduce Space Requirements in Dataflow Analysis.
C. Bernardeschi, G. Lettieri, L. Martini, P. Masci
Information Processing Letters 98(1): 11-18, 2006
[bibtex]  [pdf]

Using Control Dependencies for Space-Aware Bytecode Verification.
C. Bernardeschi, G. Lettieri, L. Martini, P. Masci
The Computer Journal 49(2): 234-248, 2006
[bibtex] [pdf]

Configuration and Tuning of Sensor Network Applications through Virtual Sensors.
P. Corsini, P. Masci, A. Vecchio
In PerSens06, the 4th IEEE International Conference on Pervasive Computing and Communications
Pisa, Italy, 2006.
[bibtex] [pdf]

VirtuS: a Configurable Layer for Post-deployment Adaptation of Sensor Networks.
P. Corsini, P. Masci, A. Vecchio
In ICWMC06, IEEE International Conference on Wireless and Mobile Communication
Bucharest, Romania, 2006.
[bibtex] [pdf] [VirtuS (implementation)]

Increasing the Efficiency of Preamble Sampling Protocols for Wireless Sensor Networks.
P. Corsini, P. Masci, A. Vecchio
In MCWC06, the 1st International Conference on Mobile Computing and Wireless Communications
Amman, Jordan, 2006.
[bibtex] [pdf] [B-MAC+ (implementation)]

Experiences with the TinyOS Communication Library.
P. Corsini, P. Masci, A. Vecchio
In ICEIS06, the 5th International Workshop on Wireless Information Systems
Paphos, Cyprus, 2006.
[bibtex] [pdf]

Detecting data leakage in malicious Java applets
P. Masci
In ReSIST Student Seminar
San Miniato, Italy, 2006.
[bibtex]  [pdf]

A Space-Aware Bytecode Verifier for Java Cards.
C. Bernardeschi, G. Lettieri, L. Martini, P. Masci
In BYTECODE05, the 1st Workshop on Bytecode Semantics, Verification, Analysis and Transformation
Edinburgh, Scotland, UK, 2005.
Electronic Notes in Theoretical Computer Science 141(1): 237-254, 2005
[bibtex] [pdf]

Java Bytecode Verification with Dynamic Structures.
C. Bernardeschi, L. Martini, P. Masci
In IASTED, International Conference on Software Engineering and Applications: 559-564
Edinburgh, Scotland, UK, 2004.
[bibtex] [pdf]