BERNARDESCHI, CINZIA Statistiche

BERNARDESCHI, CINZIA  

DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 125 (tempo di esecuzione: 0.019 secondi).
Titolo Data di pubblicazione Autore(i) File
A flexible framework for FMI-based co-simulation of human-centred cyber-physical systems 1-gen-2018 Palmieri, Maurizio; Bernardeschi, Cinzia; Masci, Paolo
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 framework for FMI-based co-simulation of human–machine interfaces 1-gen-2020 Palmieri, M.; Bernardeschi, C.; Masci, P.
A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks 1-gen-2021 Bernardeschi, C.; Dini, G.; Palmieri, M.; Racciatti, F.
A logic theory pattern for linearized control systems 1-gen-2021 Domenici, A.; Bernardeschi, C.
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 prototyping process for medical devices and systems 1-gen-2021 Bernardeschi, C.; Domenici, A.; Palmieri, M.
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems 1-gen-2018 Bernardeschi, Cinzia; Domenici, Andrea; Masci, Paolo
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
A Workflow for Designing an On-line Supervisor for Cyber-Physical Systems: a Case Study 1-gen-2022 Palmieri, M.; Vallati, C.; Anastasi, G.; Bernardeschi, C.
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