Mosharaka for Research and Studies
Login/Sign Up
Main Menu
Users Menu
Quick Links
Next Congress

All Forthcoming Congresses


All Forthcoming Conferences

Update on Tuesday, 9 July 2019: Dr. Rami Saeed becomes Track Chairperson of FMA@MIC-Mechanical 2020.
  • Summary
  • Papers
  • Chairings
  • Committees
  • Reviews
  • Talks
Summary Information of Dr. Paolo Masci
Name Dr. Paolo Masci
Affiliation University of Pisa, Pisa, Italy
Biography The research activity of the candidate has been carried out in the context of national and international research projects. During his master degree thesis, he focused on Java bytecode verification, and his work gave the basis to a novel approach for Java bytecode verification. After graduating, his research interests included also the analysis of security properties Java Card applications. In 2005, he started his Ph.D. studies on wireless sensor networks. He developed a middleware to reconfigure wireless sensor network applications, and a battery-aware communication protocol. During his Ph.D. studies, he participated to the European Network of Excellence ReSIST, and he gained experience and skills on the formal modelling and analysis of wireless sensor networks in the Prototype Verification System (PVS) tool. He defended his Ph.D. thesis entitled "Software solutions for battery-aware reconfiguration of Wireless Sensor Networks" in 2008. In March 2009, he gained a post-doctoral research grant from the Institute of Science and Technologies - Italian National Research Council, Pisa, and he started to work on approaches for on-line dependability analysis of interoperable networked systems. Since November 2009, he has a Post-Doctoral Research Position at the University of Pisa, Department of Information Engineering, on the theme "Dependability assurance of evolvable systems". He is currently involved in the FP7 EU Project "Connect: Emergent Connectors for Eternal Software Intensive Networked Systems".
User Since Sunday, 15 August 2010
User Page Views 267
Published Papers of Dr. Paolo Masci
Paper IDPaper TitleConferenceDates and Location
1.Cnf-8Increasing the Efficiency of Preamble Sampling Protocols for Wireless Sensor NetworksMIC-MCWC 200617-20 September 2006 in Amman, Jordan
18.Cnf-39Analysis of FPGAs Using the SAN FormalismMIC-CNIT 20103-5 December 2010 in Amman, Jordan
Conference Chairings of Dr. Paolo Masci
Conference Committees of Dr. Paolo Masci
Program Committees
TrackConferenceDates and Location
()MIC- 196931-30 December 1969 in ,
()MIC- 196931-30 December 1969 in ,
Paper Reviews by Dr. Paolo Masci
Mosharaka appreciates highly that Dr. Paolo Masci has provided paper reviews at the tracks and conferences shown in the following table

Track Conference
Conference Talks by Dr. Paolo Masci