default search action
Cinzia Bernardeschi
Person information
- affiliation: University of Pisa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j41]Cinzia Bernardeschi
, Andrea Domenici, Adriano Fagiolini
Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case. IEEE Access 12: 1064-1075 (2024) - [j40]Federico Rossi
Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover. Eng. Appl. Artif. Intell. 137: 109238 (2024) - [c64]Cinzia Bernardeschi, Giuseppe Lettieri, Alessio Vivani, Alessio Bechini, Alessio Vecchio, Federico Rossi, Christian Quadri, Alessia Galdeman, Adriano Fagiolini, Salvatore Pedone, Antonella Santone, Vittoria Nardone, Francesco Mercaldo, Simona Correra, Giulia Varriano:
Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project. ACSOS-C 2024: 176-177 - [c63]Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Alessio Vivani:
Attacks detection in Cyber-Physical Systems with Neural Networks: a case study. ISCC 2024: 1-6 - [c62]Cinzia Bernardeschi
Statistical Model Checking of Cooperative Autonomous Driving Systems. ISoLA (2) 2024: 316-332 - [c61]Federico Rossi
Towards Formal Verification of Neural Networks in Cyber-Physical Systems. NFM 2024: 207-222 - 2023
- [j39]Cinzia Bernardeschi, Andrea Domenici
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications. Comput. J. 66(2): 295-317 (2023) - [j38]Maurizio Palmieri
Co-simulated digital twin on the network edge: A vehicle platoon. Comput. Commun. 212: 35-47 (2023) - [c60]Carmelo Aparo, Cinzia Bernardeschi, Giuseppe Lettieri
An Analysis System to Test Security of Software on Continuous Integration-Continuous Delivery Pipeline. EuroS&P Workshops 2023: 58-67 - [e1]Paolo Masci
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13765, Springer 2023, ISBN 978-3-031-26235-7 [contents] - 2022
- [c59]Cinzia Bernardeschi
Do-it-Yourself FMU Generation. SEFM Workshops 2022: 210-227 - [c58]Maurizio Palmieri
Demo: An On-line Supervisor for the Line Follower Robot. SMARTCOMP 2022: 180-182 - [c57]Maurizio Palmieri
A Workflow for Designing an On-line Supervisor for Cyber-Physical Systems: a Case Study. SMARTCOMP 2022: 323-328 - [c56]Maurizio Palmieri
Co-simulated Digital Twin on the Network Edge: the case of platooning. WoWMoM 2022: 613-618 - 2021
- [j37]Luca Frosini
ReLock: a resilient two-phase locking RESTful transaction model. Serv. Oriented Comput. Appl. 15(1): 75-92 (2021) - [j36]Cinzia Bernardeschi
A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks. J. Comput. Virol. Hacking Tech. 17(3): 249-263 (2021) - [c55]Cinzia Bernardeschi
Co-simulation of a Model Predictive Control System for Automotive Applications. SEFM Workshops 2021: 204-220 - [c54]Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri:
A Prototyping Process for Medical Devices and Systems. STAF Workshops 2021: 115-124 - [c53]Andrea Domenici
A Logic Theory Pattern for Linearized Control Systems. F-IDE@NFM 2021: 46-52 - 2020
- [j35]Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri
Block-Based Models and Theorem Proving in Model-Based Development. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 79 (2020) - [j34]Maurizio Palmieri
A framework for FMI-based co-simulation of human-machine interfaces. Softw. Syst. Model. 19(3): 601-623 (2020) - [j33]Cinzia Bernardeschi
Formalization and co-simulation of attacks on cyber-physical systems. J. Comput. Virol. Hacking Tech. 16(1): 63-77 (2020) - [c52]Cinzia Bernardeschi
Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia. ICISSP 2020: 815-824 - [c51]Cinzia Bernardeschi, Andrea Domenici
Identify Potential Attacks from Simulated Log Analysis. IJCNN 2020: 1-6 - [c50]Cinzia Bernardeschi, Andrea Domenici
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor. SEFM 2020: 263-279
2010 – 2019
- 2019
- [j32]Cinzia Bernardeschi, Andrea Domenici
Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-physical Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 77 (2019) - [j31]Cinzia Bernardeschi
The benefits of using interactive device simulations as training material for clinicians: an experience report with a contrast media injector used in CT. SIGBED Rev. 16(2): 41-45 (2019) - [c49]Cinzia Bernardeschi
Application of Model Checking to Fault Tolerance Analysis. From Software Engineering to Formal Methods and Tools, and Back 2019: 531-547 - [c48]Cinzia Bernardeschi
Modeling and Simulation of Attacks on Cyber-physical Systems. ICISSP 2019: 700-708 - [c47]Cinzia Bernardeschi
Exploiting Model Checking for Mobile Botnet Detection. KES 2019: 963-972 - [c46]Cinzia Bernardeschi, Dini Pierpaolo
Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors. SEFM Workshops 2019: 3-19 - [p1]Cinzia Bernardeschi
Logic-Based Formalization of System Requirements for Integrated Clinical Environments. Automated Reasoning for Systems Biology and Medicine 2019: 215-242 - 2018
- [j30]Dario Cozzi, Sebastian Korf, Luca Cassano
OLT(RE)2: An On-Line On-Demand Testing Approach for Permanent Radiation Effects in Reconfigurable Systems. IEEE Trans. Emerg. Top. Comput. 6(4): 511-523 (2018) - [j29]Cinzia Bernardeschi
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems. IEEE Trans. Software Eng. 44(6): 512-533 (2018) - [j28]Cinzia Bernardeschi
Verifying data secure flow in AUTOSAR models. J. Comput. Virol. Hacking Tech. 14(4): 269-289 (2018) - [c45]Cinzia Bernardeschi, Paolo Masci, Antonella Santone:
Data Leakage in Java Applets with Exception Mechanism. ITASEC 2018 - [c44]Cinzia Bernardeschi
ROS/Gazebo Based Simulation of Co-operative UAVs. MESAS 2018: 321-334 - [c43]Ludovica Bozzoli, Corrado De Sio
PyXEL: An Integrated Environment for the Analysis of Fault Effects in SRAM-Based FPGA Routing. RSP 2018: 70-75 - [c42]Maurizio Palmieri
A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems. STAF Workshops 2018: 21-33 - [c41]Cinzia Bernardeschi
Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator. STAF Workshops 2018: 34-44 - [c40]Maurizio Palmieri
Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web. STAF Workshops 2018: 52-57 - 2017
- [c39]Cinzia Bernardeschi
Verifying Data Secure Flow in AUTOSAR Models by Static Analysis. ICISSP 2017: 704-713 - [c38]Cinzia Bernardeschi
Modeling and generation of secure component communications in AUTOSAR. SAC 2017: 1473-1480 - [c37]Maurizio Palmieri
Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study. SEFM Workshops 2017: 423-437 - 2016
- [j27]Marco Avvenuti, Cinzia Bernardeschi, Luca Cassano, Alessio Vecchio:
Adapting the Duty Cycle to Traffic Load in a Preamble Sampling MAC for WSNs: Formal Specification and Performance Evaluation. Ad Hoc Sens. Wirel. Networks 31(1-4): 101-129 (2016) - [j26]Cinzia Bernardeschi
UA2TPG: An untestability analyzer and test pattern generator for SEUs in the configuration memory of SRAM-based FPGAs. Integr. 55: 85-97 (2016) - [j25]Cinzia Bernardeschi
Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System. Inf. Process. Lett. 116(6): 409-415 (2016) - [j24]Cinzia Bernardeschi
Towards a Formalization of System Requirements for an Integrated Clinical Environment. EAI Endorsed Trans. Self Adapt. Syst. 2(6): e3 (2016) - [c36]Cinzia Bernardeschi
Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System. ISCC 2016: 135-140 - [c35]Cinzia Bernardeschi
Using AUTOSAR High-Level Specifications for the Synthesis of Security Components in Automotive Systems. MESAS 2016: 101-117 - [c34]Cinzia Bernardeschi
Using Smartwatch Sensors to Support the Acquisition of Sleep Quality Data for Supervised Machine Learning. MobiHealth 2016: 251-259 - [c33]Marco Avvenuti, Cinzia Bernardeschi
Detecting Elderly Behavior Shift via Smart Devices and Stigmergic Receptive Fields. MobiHealth 2016: 398-405 - [c32]Gioacchino Mauro, Harold Thimbleby, Andrea Domenici
Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation. F-IDE@FM 2016: 53-66 - 2015
- [j23]Cinzia Bernardeschi
SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies. J. Comput. Sci. Technol. 30(2): 373-390 (2015) - 2014
- [j22]Cinzia Bernardeschi
ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-Based FPGAs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33(9): 1342-1355 (2014) - [j21]Federico Baronti
Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-Ion Batteries. IEEE Trans. Ind. Informatics 10(2): 1003-1011 (2014) - [c31]Domenico G. Sorrenti, Dario Cozzi, Sebastian Korf, Luca Cassano
Exploiting dynamic partial reconfiguration for on-line on-demand testing of permanent faults in reconfigurable systems. DFT 2014: 203-208 - [c30]Luca Cassano
An inter-processor communication interface for data-flow centric heterogeneous embedded multiprocessor systems. DTIS 2014: 1-6 - [c29]Paolo Masci
Combining PVSio with Stateflow. NASA Formal Methods 2014: 209-214 - 2013
- [j20]Cinzia Bernardeschi
GABES: A genetic algorithm based environment for SEU testing in SRAM-FPGAs. J. Syst. Archit. 59(10-D): 1243-1254 (2013) - [c28]Cinzia Bernardeschi
Formal approaches to SEU testing in FPGAs. AHS 2013: 209-216 - [c27]Cinzia Bernardeschi
Unexcitability analysis of SEus affecting the routing structure of SRAM-based FPGAs. ACM Great Lakes Symposium on VLSI 2013: 7-12 - [c26]Federico Baronti
Mitigation of Single Event Upsets in the control logic of a charge equalizer for Li-ion batteries. IECON 2013: 6758-6763 - 2012
- [j19]Marco Avvenuti
JCSI: A tool for checking secure information flow in Java Card applications. J. Syst. Softw. 85(11): 2479-2493 (2012) - [c25]Cinzia Bernardeschi
Accurate simulation of SEUs in the configuration memory of SRAM-based FPGAs. DFT 2012: 115-120 - [c24]Cinzia Bernardeschi
SEU-X: A SEu un-excitability prover for SRAM-FPGAs. IOLTS 2012: 25-30 - 2011
- [c23]Cinzia Bernardeschi
Failure probability of SRAM-FPGA systems with Stochastic Activity Networks. DDECS 2011: 293-296 - [c22]Cinzia Bernardeschi
Failure Probability and Fault Observability of SRAM-FPGA Systems. FPL 2011: 385-388
2000 – 2009
- 2009
- [c21]Cinzia Bernardeschi
Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. SSS 2009: 105-119 - 2008
- [j18]Cinzia Bernardeschi
Decomposing bytecode verification by abstract interpretation. ACM Trans. Program. Lang. Syst. 31(1): 3:1-3:63 (2008) - [c20]Cinzia Bernardeschi
Early Prototyping of Wireless Sensor Network Algorithms in PVS. SAFECOMP 2008: 346-359 - 2006
- [j17]Cinzia Bernardeschi
Using Control Dependencies for Space-Aware Bytecode Verification. Comput. J. 49(2): 234-248 (2006) - [j16]Cinzia Bernardeschi
Using postdomination to reduce space requirements of data flow analysis. Inf. Process. Lett. 98(1): 11-18 (2006) - 2005
- [c19]Cinzia Bernardeschi, Gianluca Dini, Andrea Domenici:
FACT: A Tool for Code Generation from Communicating Automata. IASTED Conf. on Software Engineering 2005: 313-318 - [c18]Cinzia Bernardeschi
A Space-Aware Bytecode Verifier for Java Cards. Bytecode@ETAPS 2005: 237-254 - 2004
- [j15]Roberto Barbuti, Cinzia Bernardeschi
Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. Comput. J. 47(1): 25-45 (2004) - [j14]Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri:
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs. Fundam. Informaticae 60(1-4): 81-98 (2004) - [j13]Cinzia Bernardeschi
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification. Softw. Pract. Exp. 34(13): 1225-1255 (2004) - [c17]Cinzia Bernardeschi, Luca Martini:
Enforcement of applet boundaries in Java card systems. IASTED Conf. on Software Engineering and Applications 2004: 96-101 - [c16]Cinzia Bernardeschi, Luca Martini, Paolo Masci:
Java bytecode verification with dynamic structures. IASTED Conf. on Software Engineering and Applications 2004: 559-564 - 2003
- [j12]Marco Avvenuti, Cinzia Bernardeschi
Java bytecode verification for secure information flow. ACM SIGPLAN Notices 38(12): 20-27 (2003) - [c15]Cinzia Bernardeschi, Nicoletta De Francesco, Luca Martini:
Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract. OTM Workshops 2003: 425-436 - 2002
- [j11]Roberto Barbuti, Cinzia Bernardeschi
Abstract interpretation of operational semantics for secure information flow. Inf. Process. Lett. 83(2): 101-108 (2002) - [j10]Cinzia Bernardeschi
An abstract semantics tool for secure information flow of stack-based assembly programs. Microprocess. Microsystems 26(8): 391-398 (2002) - [j9]Cinzia Bernardeschi
Model checking fault tolerant systems. Softw. Test. Verification Reliab. 12(4): 251-275 (2002) - [c14]Cinzia Bernardeschi
Using Standard Verifier to Check Secure Information Flow in Java Bytecode. COMPSAC 2002: 850-855 - [c13]Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco:
Checking security of Java bytecode by abstract interpretation. SAC 2002: 229-236 - [c12]Roberto Barbuti, Luca Tesei
Fixing the Java bytecode verifier by a suitable type domain. SEKE 2002: 377-382 - [c11]Cinzia Bernardeschi, Nicoletta De Francesco:
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode. VMCAI 2002: 1-15 - 2001
- [j8]Cinzia Bernardeschi
An approach to system design based on P/T net simulation. Inf. Softw. Technol. 43(10): 591-605 (2001) - [j7]Cinzia Bernardeschi
Formal validation of fault-tolerance mechanisms inside GUARDS. Reliab. Eng. Syst. Saf. 71(3): 261-270 (2001) - 2000
- [j6]Cinzia Bernardeschi
Formally Verifying Fault Tolerant System Designs. Comput. J. 43(3): 191-205 (2000)
1990 – 1999
- 1999
- [c10]Cinzia Bernardeschi
Formal Validation of the GUARDS Inter-Consistency Mechanism. SAFECOMP 1999: 420-430 - 1998
- [j5]Cinzia Bernardeschi
Temporal analysis of data flow control systems. Autom. 34(2): 169-182 (1998) - [j4]Cinzia Bernardeschi
A Formal Verification Environment for Railway Signaling System Design. Formal Methods Syst. Des. 12(2): 139-161 (1998) - [c9]Cinzia Bernardeschi
Validating the Design of Dependable Systems. ISORC 1998: 364-372 - 1997
- [j3]Cinzia Bernardeschi
An industrial application for the JACK environment. J. Syst. Softw. 39(3): 249-264 (1997) - 1996
- [c8]Cinzia Bernardeschi
Proving Safety Properties for Embedded Control Systems. EDCC 1996: 321-332 - [c7]Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
Formal Verification of Safety Requirements on Complex Systems. SAFECOMP 1996: 21-30 - 1995
- [j2]Cinzia Bernardeschi
A Petri Nets Semantics for Data Flow Networks. Acta Informatica 32(4): 347-374 (1995) - [j1]Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini:
Using Process Algebras for the Semantic Analysis of Data Flow Networks. IEICE Trans. Inf. Syst. 78-D(8): 959-968 (1995) - [c6]A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli:
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System. SAFECOMP 1995: 474-488 - [c5]Cinzia Bernardeschi, Alessandro Fantechi, Fabio Paternò:
Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications. SEKE 1995: 234-243 - 1994
- [c4]Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini:
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study. EDCC 1994: 77-94 - 1993
- [c3]Cinzia Bernardeschi, Andrea Bondavalli
From Data Flow Networks to Process Algebras. PARLE 1993: 740-743 - [c2]Cinzia Bernardeschi, Luca Simoncini, Andrea Bondavalli:
Data Flow Control Systems: an Example of Safety Validation. SAFECOMP 1993: 9-20 - 1992
- [c1]Andrea Bondavalli, Luca Simoncini, Cinzia Bernardeschi:
The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm. NATO ASI RTC 1992: 527-529
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 19:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: