BERNARDESCHI, CINZIA Statistiche
BERNARDESCHI, CINZIA
DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE
A flexible framework for FMI-based co-simulation of human-centred cyber-physical systems
2018-01-01 Palmieri, Maurizio; Bernardeschi, Cinzia; Masci, Paolo
A Formal Verification Environment for Railway Signalling System Design
1998-01-01 Bernardeschi, Cinzia; Fantechi, A; Gnesi, S; Larosa, S; Mongardi, G; Romano, D.
A framework for FMI-based co-simulation of human–machine interfaces
2020-01-01 Palmieri, M.; Bernardeschi, C.; Masci, P.
A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks
2021-01-01 Bernardeschi, C.; Dini, G.; Palmieri, M.; Racciatti, F.
A logic theory pattern for linearized control systems
2021-01-01 Domenici, A.; Bernardeschi, C.
A Partial Order Semantics for FIFO-Nets
1998-01-01 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
A Petri Nets Semantics for Data Flow Networks
1995-01-01 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
A prototyping process for medical devices and systems
2021-01-01 Bernardeschi, C.; Domenici, A.; Palmieri, M.
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems
2018-01-01 Bernardeschi, Cinzia; Domenici, Andrea; Masci, Paolo
A Space-Aware Bytecode Verifier for Java Cards
2005-01-01 Bernardeschi, Cinzia; Lettieri, Giuseppe; Martini, L; Masci, PAOLO MANUEL
A Tool for Checking Secure Interaction in Java Cards
2009-01-01 Avvenuti, Marco; Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Masci, P.
A Tool for Signal Probability Analysis of FPGA-Based Systems
2011-01-01 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
2022-01-01 Palmieri, M.; Vallati, C.; Anastasi, G.; Bernardeschi, C.
Abstract Interpretation of Operational Semantics for Secure Information Flow
2002-01-01 Barbuti, Roberto; Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta
Accurate Simulation of SEUs in the Configuration Memory of SRAM-based FPGAs
2012-01-01 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
2016-01-01 Avvenuti, Marco; Bernardeschi, Cinzia; Cassano, L; Vecchio, Alessio
An Abstract Semantics Tool for Secure Information Flow of Stack-based Assembly Programs
2002-01-01 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Lettieri, Giuseppe
An approach to system design based on P/T net simulation
2001-01-01 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
An approach to the Analysis of Dataflow Networks by LOTOS
1993-01-01 Bernardeschi, Cinzia
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System
1995-01-01 A., Anselmi; Bernardeschi, Cinzia; A., Fantechi; S., Gnesi; S., Larosa; G., Mongardi; F., Torielli
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 |