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