| 2008 |
|---|
| 10 | EE | Cinzia Bernardeschi,
Paolo Masci,
Holger Pfeifer:
Early Prototyping of Wireless Sensor Network Algorithms in PVS.
SAFECOMP 2008: 346-359 |
| 9 | EE | 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 |
|---|
| 8 | EE | 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 | EE | Paolo Corsini,
Paolo Masci,
Alessio Vecchio:
VirtuS: a configurable layer for post-deployment adaptation of sensor network.
ICWMC 2006: 8 |
| 6 | EE | 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 | EE | Cinzia Bernardeschi,
Giuseppe Lettieri,
Luca Martini,
Paolo Masci:
Using Control Dependencies for Space-Aware Bytecode Verification.
Comput. J. 49(2): 234-248 (2006) |
| 3 | EE | 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 | EE | 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 |
