BERNARDESCHI, CINZIA Statistiche

BERNARDESCHI, CINZIA  

DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 122 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autore(i) File
A Formal Verification Environment for Railway Signalling System Design 1-gen-1998 Bernardeschi, Cinzia; Fantechi, A; Gnesi, S; Larosa, S; Mongardi, G; Romano, D.
A Partial Order Semantics for FIFO-Nets 1-gen-1998 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
A Petri Nets Semantics for Data Flow Networks 1-gen-1995 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
A Space-Aware Bytecode Verifier for Java Cards 1-gen-2005 Bernardeschi, Cinzia; Lettieri, Giuseppe; Martini, L; Masci, PAOLO MANUEL
A Tool for Checking Secure Interaction in Java Cards 1-gen-2009 Avvenuti, Marco; Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Masci, P.
A Tool for Signal Probability Analysis of FPGA-Based Systems 1-gen-2011 Bernardeschi, Cinzia; Cassano, LUCA MARIA; Domenici, Andrea; Masci, PAOLO MANUEL
Abstract Interpretation of Operational Semantics for Secure Information Flow 1-gen-2002 Barbuti, Roberto; Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta
Accurate Simulation of SEUs in the Configuration Memory of SRAM-based FPGAs 1-gen-2012 Bernardeschi, Cinzia; Cassano, LUCA MARIA; Domenici, Andrea; Luca, Sterpone
Adapting the duty cycle to traffic load in a preamble sampling MAC for WSNs: formal specification and performance evaluation 1-gen-2016 Avvenuti, Marco; Bernardeschi, Cinzia; Cassano, L; Vecchio, Alessio
An Abstract Semantics Tool for Secure Information Flow of Stack-based Assembly Programs 1-gen-2002 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Lettieri, Giuseppe
An approach to system design based on P/T net simulation 1-gen-2001 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
An approach to the Analysis of Dataflow Networks by LOTOS 1-gen-1993 Bernardeschi, Cinzia
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System 1-gen-1995 A., Anselmi; Bernardeschi, Cinzia; A., Fantechi; S., Gnesi; S., Larosa; G., Mongardi; F., Torielli
An Industrial Application for the JACK Environment 1-gen-1997 Bernardeschi, Cinzia; Fantechi, A; Gnesi, S.
Analysing Information Flow Properties in Assembly Code by Abstract Interpretation 1-gen-2004 Barbuti, Roberto; Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta
Analysis of security attacks in wireless sensor networks: From UPPAAL to Castalia 1-gen-2020 Bernardeschi, C.; Dini, G.; Palmieri, M.; Racciatti, F.
Analysis of Temporal Properties of Data Flow Control Systems 1-gen-1994 G., Csertan; Bernardeschi, Cinzia; A., Bondavalli; Simoncini, Luca
Analysis of wireless sensor network protocols in dynamic scenarios 1-gen-2009 Bernardeschi, Cinzia; Masci, PAOLO MANUEL; Pfeifer, H.
Analytical Verification of the Design of Fault Tolerant Systems 1-gen-1996 Bernardeschi, Cinzia; A., Fantechi; L., Simoncini
Application of a Genetic Algorithm for Testing SEUs in SRAM-FPGA Systems 1-gen-2012 Bernardeschi, Cinzia; Cassano, LUCA MARIA; Cimino, MARIO GIOVANNI COSIMO ANTONIO; Domenici, Andrea