


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
, Maurizio Palmieri
:
Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case. IEEE Access 12: 1064-1075 (2024) - [j40]Federico Rossi
, Cinzia Bernardeschi, Marco Cococcioni
:
Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover. Eng. Appl. Artif. Intell. 137: 109238 (2024) - [c65]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 - [c64]Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Alessio Vivani:
Attacks detection in Cyber-Physical Systems with Neural Networks: a case study. ISCC 2024: 1-6 - [c63]Cinzia Bernardeschi
, Giuseppe Lettieri
, Federico Rossi
:
Statistical Model Checking of Cooperative Autonomous Driving Systems. ISoLA (2) 2024: 316-332 - [c62]Federico Rossi
, Cinzia Bernardeschi
, Marco Cococcioni
, Maurizio Palmieri
:
Towards Formal Verification of Neural Networks in Cyber-Physical Systems. NFM 2024: 207-222 - [c61]Lorenzo Mirabella, Cinzia Bernardeschi
, Giuseppe Lettieri
, Fabio Lucattini, Salvatore Montanarella:
A Portable Research Honeypot for Corporate Networks. STM 2024: 128-139 - 2023
- [j39]Cinzia Bernardeschi, Andrea Domenici
, Adriano Fagiolini, Maurizio Palmieri
:
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications. Comput. J. 66(2): 295-317 (2023) - [j38]Maurizio Palmieri
, Christian Quadri
, Adriano Fagiolini
, Cinzia Bernardeschi
:
Co-simulated digital twin on the network edge: A vehicle platoon. Comput. Commun. 212: 35-47 (2023) - [c60]Carmelo Aparo, Cinzia Bernardeschi, Giuseppe Lettieri
, Fabio Lucattini, Salvatore Montanarella:
An Analysis System to Test Security of Software on Continuous Integration-Continuous Delivery Pipeline. EuroS&P Workshops 2023: 58-67 - [e1]Paolo Masci
, Cinzia Bernardeschi
, Pierluigi Graziani
, Mario Koddenbrock
, Maurizio Palmieri
:
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
, Pierpaolo Dini
, Andrea Domenici
, Maurizio Palmieri
, Sergio Saponara
:
Do-it-Yourself FMU Generation. SEFM Workshops 2022: 210-227 - [c58]Maurizio Palmieri
, Carlo Vallati, Giuseppe Anastasi, Cinzia Bernardeschi:
Demo: An On-line Supervisor for the Line Follower Robot. SMARTCOMP 2022: 180-182 - [c57]Maurizio Palmieri
, Carlo Vallati, Giuseppe Anastasi, Cinzia Bernardeschi:
A Workflow for Designing an On-line Supervisor for Cyber-Physical Systems: a Case Study. SMARTCOMP 2022: 323-328 - [c56]Maurizio Palmieri
, Christian Quadri, Adriano Fagiolini, Gian Paolo Rossi, Cinzia Bernardeschi:
Co-simulated Digital Twin on the Network Edge: the case of platooning. WoWMoM 2022: 613-618 - 2021
- [j37]Luca Frosini
, Pasquale Pagano
, Leonardo Candela
, Manuele Simi
, Cinzia Bernardeschi
:
ReLock: a resilient two-phase locking RESTful transaction model. Serv. Oriented Comput. Appl. 15(1): 75-92 (2021) - [j36]Cinzia Bernardeschi
, Gianluca Dini
, Maurizio Palmieri
, Francesco Racciatti
:
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
, Pierpaolo Dini
, Andrea Domenici
, Ayoub Mouhagir
, Maurizio Palmieri
, Sergio Saponara
, Tanguy Sassolas
, Lilia Zaourar
:
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
, Cinzia Bernardeschi:
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
, Cinzia Bernardeschi
, Paolo Masci
:
A framework for FMI-based co-simulation of human-machine interfaces. Softw. Syst. Model. 19(3): 601-623 (2020) - [j33]Cinzia Bernardeschi
, Andrea Domenici
, Maurizio Palmieri
:
Formalization and co-simulation of attacks on cyber-physical systems. J. Comput. Virol. Hacking Tech. 16(1): 63-77 (2020) - [c52]Cinzia Bernardeschi
, Gianluca Dini, Maurizio Palmieri
, Francesco Racciatti:
Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia. ICISSP 2020: 815-824 - [c51]Cinzia Bernardeschi, Andrea Domenici
, Francesco Mercaldo, Antonella Santone:
Identify Potential Attacks from Simulated Log Analysis. IJCNN 2020: 1-6 - [c50]Cinzia Bernardeschi, Andrea Domenici
, Maurizio Palmieri
, Sergio Saponara
, Tanguy Sassolas, Arief Wicaksana, Lilia Zaourar:
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
, Sergio Saponara
:
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
, Paolo Masci, Davide Caramella
, Ruggero Dell'Osso:
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
, Andrea Domenici
:
Application of Model Checking to Fault Tolerance Analysis. From Software Engineering to Formal Methods and Tools, and Back 2019: 531-547 - [c48]Cinzia Bernardeschi
, Andrea Domenici
, Maurizio Palmieri
:
Modeling and Simulation of Attacks on Cyber-physical Systems. ICISSP 2019: 700-708 - [c47]Cinzia Bernardeschi
, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Exploiting Model Checking for Mobile Botnet Detection. KES 2019: 963-972 - [c46]Cinzia Bernardeschi, Dini Pierpaolo
, Andrea Domenici
, Sergio Saponara
:
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
, Andrea Domenici
, Paolo Masci:
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
, Jens Hagemeyer, Andrea Domenici
, Cinzia Bernardeschi
, Luca Sterpone
, Mario Porrmann
:
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
, Andrea Domenici
, Paolo Masci
:
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
, Marco Di Natale, Gianluca Dini, Maurizio Palmieri
:
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
, Adriano Fagiolini
, Maurizio Palmieri
, Giulio Scrima, Fabio Sofia:
ROS/Gazebo Based Simulation of Co-operative UAVs. MESAS 2018: 321-334 - [c43]Ludovica Bozzoli, Corrado De Sio
, Luca Sterpone, Cinzia Bernardeschi
:
PyXEL: An Integrated Environment for the Analysis of Fault Effects in SRAM-Based FPGA Routing. RSP 2018: 70-75 - [c42]Maurizio Palmieri
, Cinzia Bernardeschi
, Paolo Masci
:
A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems. STAF Workshops 2018: 21-33 - [c41]Cinzia Bernardeschi
, Andrea Domenici
, Maurizio Palmieri
:
Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator. STAF Workshops 2018: 34-44 - [c40]Maurizio Palmieri
, Cinzia Bernardeschi
, Andrea Domenici
, Adriano Fagiolini
:
Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web. STAF Workshops 2018: 52-57 - 2017
- [c39]Cinzia Bernardeschi
, Marco Di Natale, Gianluca Dini, Maurizio Palmieri:
Verifying Data Secure Flow in AUTOSAR Models by Static Analysis. ICISSP 2017: 704-713 - [c38]Cinzia Bernardeschi
, Marco Di Natale, Gianluca Dini, Dario Varano:
Modeling and generation of secure component communications in AUTOSAR. SAC 2017: 1473-1480 - [c37]Maurizio Palmieri
, Cinzia Bernardeschi
, Paolo Masci
:
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
, Luca Cassano
, Andrea Domenici
, Luca Sterpone
:
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
, Andrea Domenici
:
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
, Andrea Domenici
, Paolo Masci
:
Towards a Formalization of System Requirements for an Integrated Clinical Environment. EAI Endorsed Trans. Self Adapt. Syst. 2(6): e3 (2016) - [c36]Cinzia Bernardeschi
, Andrea Domenici
, Paolo Masci
:
Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System. ISCC 2016: 135-140 - [c35]Cinzia Bernardeschi
, Gabriele Del Vigna, Marco Di Natale, Gianluca Dini, Dario Varano:
Using AUTOSAR High-Level Specifications for the Synthesis of Security Components in Automotive Systems. MESAS 2016: 101-117 - [c34]Cinzia Bernardeschi
, Mario G. C. A. Cimino, Andrea Domenici
, Gigliola Vaglini:
Using Smartwatch Sensors to Support the Acquisition of Sleep Quality Data for Supervised Machine Learning. MobiHealth 2016: 251-259 - [c33]Marco Avvenuti, Cinzia Bernardeschi
, Mario G. C. A. Cimino, Guglielmo Cola
, Andrea Domenici
, Gigliola Vaglini:
Detecting Elderly Behavior Shift via Smart Devices and Stigmergic Receptive Fields. MobiHealth 2016: 398-405 - [c32]Gioacchino Mauro, Harold Thimbleby, Andrea Domenici
, Cinzia Bernardeschi
:
Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation. F-IDE@FM 2016: 53-66 - 2015
- [j23]Cinzia Bernardeschi
, Luca Cassano
, Andrea Domenici
:
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
, Luca Cassano
, Andrea Domenici
, Luca Sterpone
:
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
, Cinzia Bernardeschi
, Luca Cassano
, Andrea Domenici
, Roberto Roncella
, Roberto Saletti
:
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
, Jens Hagemeyer, Mario Porrmann
, Cinzia Bernardeschi
:
Exploiting dynamic partial reconfiguration for on-line on-demand testing of permanent faults in reconfigurable systems. DFT 2014: 203-208 - [c30]Luca Cassano
, Dario Cozzi, Dirk Jungewelter, Sebastian Korf, Jens Hagemeyer, Mario Porrmann
, Cinzia Bernardeschi
:
An inter-processor communication interface for data-flow centric heterogeneous embedded multiprocessor systems. DTIS 2014: 1-6 - [c29]Paolo Masci
, Yi Zhang
, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi
, Paul Curzon
, Harold Thimbleby:
Combining PVSio with Stateflow. NASA Formal Methods 2014: 209-214 - 2013
- [j20]Cinzia Bernardeschi
, Luca Cassano
, Mario G. C. A. Cimino
, Andrea Domenici
:
GABES: A genetic algorithm based environment for SEU testing in SRAM-FPGAs. J. Syst. Archit. 59(10-D): 1243-1254 (2013) - [c28]Cinzia Bernardeschi
, Luca Cassano
, Andrea Domenici
:
Formal approaches to SEU testing in FPGAs. AHS 2013: 209-216 - [c27]Cinzia Bernardeschi
, Luca Cassano
, Andrea Domenici
, Luca Sterpone
:
Unexcitability analysis of SEus affecting the routing structure of SRAM-based FPGAs. ACM Great Lakes Symposium on VLSI 2013: 7-12 - [c26]Federico Baronti
, Cinzia Bernardeschi
, Luca Cassano
, Andrea Domenici
, Roberto Roncella
, Roberto Saletti
:
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
, Cinzia Bernardeschi
, Nicoletta De Francesco, Paolo Masci
:
JCSI: A tool for checking secure information flow in Java Card applications. J. Syst. Softw. 85(11): 2479-2493 (2012) - [c25]Cinzia Bernardeschi
, Luca Cassano
, Andrea Domenici
, Luca Sterpone
:
Accurate simulation of SEUs in the configuration memory of SRAM-based FPGAs. DFT 2012: 115-120 - [c24]Cinzia Bernardeschi
, Luca Cassano
, Andrea Domenici
:
SEU-X: A SEu un-excitability prover for SRAM-FPGAs. IOLTS 2012: 25-30 - 2011
- [c23]Cinzia Bernardeschi
, Luca Cassano
, Andrea Domenici
:
Failure probability of SRAM-FPGA systems with Stochastic Activity Networks. DDECS 2011: 293-296 - [c22]Cinzia Bernardeschi
, Luca Cassano
, Andrea Domenici
:
Failure Probability and Fault Observability of SRAM-FPGA Systems. FPL 2011: 385-388
2000 – 2009
- 2009
- [c21]Cinzia Bernardeschi
, Paolo Masci
, Holger Pfeifer:
Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. SSS 2009: 105-119 - 2008
- [j18]Cinzia Bernardeschi
, Nicoletta De Francesco, Giuseppe Lettieri
, Luca Martini, Paolo Masci
:
Decomposing bytecode verification by abstract interpretation. ACM Trans. Program. Lang. Syst. 31(1): 3:1-3:63 (2008) - [c20]Cinzia Bernardeschi
, Paolo Masci
, Holger Pfeifer:
Early Prototyping of Wireless Sensor Network Algorithms in PVS. SAFECOMP 2008: 346-359 - 2006
- [j17]Cinzia Bernardeschi
, Giuseppe Lettieri
, Luca Martini, Paolo Masci
:
Using Control Dependencies for Space-Aware Bytecode Verification. Comput. J. 49(2): 234-248 (2006) - [j16]Cinzia Bernardeschi
, Giuseppe Lettieri
, Luca Martini, Paolo Masci
:
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
, Giuseppe Lettieri
, Luca Martini, Paolo Masci
:
A Space-Aware Bytecode Verifier for Java Cards. Bytecode@ETAPS 2005: 237-254 - 2004
- [j15]Roberto Barbuti, Cinzia Bernardeschi
, Nicoletta De Francesco:
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
, Nicoletta De Francesco, Giuseppe Lettieri
, Luca Martini:
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
, Nicoletta De Francesco:
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
, Nicoletta De Francesco:
Abstract interpretation of operational semantics for secure information flow. Inf. Process. Lett. 83(2): 101-108 (2002) - [j10]Cinzia Bernardeschi
, Nicoletta De Francesco, Giuseppe Lettieri
:
An abstract semantics tool for secure information flow of stack-based assembly programs. Microprocess. Microsystems 26(8): 391-398 (2002) - [j9]Cinzia Bernardeschi
, Alessandro Fantechi, Stefania Gnesi
:
Model checking fault tolerant systems. Softw. Test. Verification Reliab. 12(4): 251-275 (2002) - [c14]Cinzia Bernardeschi
, Nicoletta De Francesco, Giuseppe Lettieri
:
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
, Cinzia Bernardeschi
, Nicoletta De Francesco:
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
, Nicoletta De Francesco, Gigliola Vaglini:
An approach to system design based on P/T net simulation. Inf. Softw. Technol. 43(10): 591-605 (2001) - [j7]Cinzia Bernardeschi
, Alessandro Fantechi, Stefania Gnesi
:
Formal validation of fault-tolerance mechanisms inside GUARDS. Reliab. Eng. Syst. Saf. 71(3): 261-270 (2001) - 2000
- [j6]Cinzia Bernardeschi
, Alessandro Fantechi, Luca Simoncini:
Formally Verifying Fault Tolerant System Designs. Comput. J. 43(3): 191-205 (2000)
1990 – 1999
- 1999
- [c10]Cinzia Bernardeschi
, Alessandro Fantechi, Stefania Gnesi:
Formal Validation of the GUARDS Inter-Consistency Mechanism. SAFECOMP 1999: 420-430 - 1998
- [j5]Cinzia Bernardeschi
, Andrea Bondavalli
, György Csertán, István Majzik
, Luca Simoncini:
Temporal analysis of data flow control systems. Autom. 34(2): 169-182 (1998) - [j4]Cinzia Bernardeschi
, Alessandro Fantechi, Stefania Gnesi
, Salvatore Larosa, Giorgio Mongardi, Dario Romano:
A Formal Verification Environment for Railway Signaling System Design. Formal Methods Syst. Des. 12(2): 139-161 (1998) - [c9]Cinzia Bernardeschi
, Luca Simoncini, Alessandro Fantechi:
Validating the Design of Dependable Systems. ISORC 1998: 364-372 - 1997
- [j3]Cinzia Bernardeschi
, Alessandro Fantechi, Stefania Gnesi:
An industrial application for the JACK environment. J. Syst. Softw. 39(3): 249-264 (1997) - 1996
- [c8]Cinzia Bernardeschi
, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi:
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
, Nicoletta De Francesco, Gigliola Vaglini:
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
, Luca Simoncini:
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