MASCI, PAOLO MANUEL Statistiche

MASCI, PAOLO MANUEL  

DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 14 di 14 (tempo di esecuzione: 0.018 secondi).
Titolo Data di pubblicazione Autore(i) File
A Space-Aware Bytecode Verifier for Java Cards 1-gen-2005 Bernardeschi, Cinzia; Lettieri, Giuseppe; Martini, L; Masci, PAOLO MANUEL
A Tool for Signal Probability Analysis of FPGA-Based Systems 1-gen-2011 Bernardeschi, Cinzia; Cassano, LUCA MARIA; Domenici, Andrea; Masci, PAOLO MANUEL
Analysis of wireless sensor network protocols in dynamic scenarios 1-gen-2009 Bernardeschi, Cinzia; Masci, PAOLO MANUEL; Pfeifer, H.
Debugging PVS specifications of control logics via event-driven simulation 1-gen-2010 Bernardeschi, Cinzia; Cassano, LUCA MARIA; Domenici, Andrea; Masci, PAOLO MANUEL
Decomposing Bytecode Verification by Abstract Interpretation 1-gen-2008 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Martini, L; Masci, PAOLO MANUEL
Early prototyping of wireless sensor network algorithms in PVS 1-gen-2008 Bernardeschi, Cinzia; Masci, PAOLO MANUEL; Pfeifer, H.
Event-driven simulation of control logics from logical specifications, Technical Report DIIEIT-2010-05-01 1-gen-2010 Bernardeschi, Cinzia; Cassano, LUCA MARIA; Domenici, Andrea; Masci, PAOLO MANUEL
Java Bytecode Verification with Dynamic Structures 1-gen-2004 Bernardeschi, Cinzia; Martini, L; Masci, PAOLO MANUEL
Modeling and analysis of human memory load in multitasking scenarios 1-gen-2018 Broccia, Giovanna; Masci, Paolo; Milazzo, Paolo
Simulation and Test-Case Generation for PVS Specifications of Control Logics 1-gen-2011 Bernardeschi, Cinzia; Cassano, LUCA MARIA; Domenici, Andrea; Masci, PAOLO MANUEL
The mysterious case of an intracardiac mass 1-gen-2009 Gargani, L.; Pasanisi, E.; Aquaro, G. D.; Masci, P.; Neglia, D.; Rovai, D.
Usefulness of Delayed Enhancement by Magnetic Resonance Imaging in Hypertrophic Cardiomyopathy as a Marker of Disease and Its Severity 1-gen-2010 Aquaro, G. D.; Masci, P.; Formisano, F.; Barison, A.; Strata, E.; Pingitore, A.; Positano, V.; Spirito, P.; Lombardi, M.
Using Control Dependencies for Space-Aware Bytecode Verification 1-gen-2006 Bernardeschi, Cinzia; Lettieri, Giuseppe; Martini, L; Masci, PAOLO MANUEL
Using postdomination to reduce space requirements of data flow analysis 1-gen-2006 Bernardeschi, Cinzia; Lettieri, Giuseppe; Martini, L; Masci, PAOLO MANUEL