| 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 |
