Search the dblp DataBase

Publications of Author

1. Paolo Corsini, Paolo Masci, Alessio Vecchio
   Configuration and tuning of sensor network applications through virtual sensors. [Citation Graph (0, 0)][DBLP]
   PerCom Workshops, 2006, pp:316-320 [Conf]
   
2. Paolo Corsini, Paolo Masci, Alessio Vecchio
   Experiences with the TinyOS Communication Library. [Citation Graph (0, 0)][DBLP]
   Wireless Information Systems, 2006, pp:47-55 [Conf]
   
3. Paolo Corsini, Paolo Masci, Alessio Vecchio
   VirtuS: a configurable layer for post-deployment adaptation of sensor network. [Citation Graph (0, 0)][DBLP]
   ICWMC, 2006, pp:8- [Conf]
   
4. Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
   Using Control Dependencies for Space-Aware Bytecode Verification. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2006, v:49, n:2, pp:234-248 [Journal]
   
5. Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
   A Space-Aware Bytecode Verifier for Java Cards. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:141, n:1, pp:237-254 [Journal]
   
6. Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
   Using postdomination to reduce space requirements of data flow analysis. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 2006, v:98, n:1, pp:11-18 [Journal]
   
7. Cinzia Bernardeschi, Luca Martini, Paolo Masci
   Java bytecode verification with dynamic structures. [Citation Graph (0, 0)][DBLP]
   IASTED Conf. on Software Engineering and Applications, 2004, pp:559-564 [Conf]
   
8. 
   Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities. [Citation Graph (, )][DBLP]
   
   
9. 
   Early Prototyping of Wireless Sensor Network Algorithms in PVS. [Citation Graph (, )][DBLP]
   
   
10. 
    Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. [Citation Graph (, )][DBLP]