Cinzia Bernardeschi

114 papers B 13C 14Misc 4Journal 42Unranked 39

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Validation of Neural Network-Based Controllers in Closed Loop Systems with UPPAAL SMC. ICARA Cinzia Bernardeschi, Marco Cococcioni, Dario Pagani
2025	—	`conf`	Statistical Model Checking for the Analysis of Attacks in Connected Autonomous Vehicles. CNS Cinzia Bernardeschi, Adriano Fagiolini, Dario Pagani, Christian Quadri
2025	J	`jnl`	Verifying Robustness of Neural Networks in Vision-Based End-to-End Autonomous Driving. IEEE Access Cinzia Bernardeschi, Giuseppe Lami, Francesco Merola, Federico Rossi
2024	—	`conf`	A Model-Based Approach for Analysis of Data-Alteration Attacks in Co-operative Vehicles. INTSYS Cinzia Bernardeschi, Maurizio Palmieri, Marta Sanguinetti, Alessio Vivani
2024	—	`conf`	A Portable Research Honeypot for Corporate Networks. STM Lorenzo Mirabella, Cinzia Bernardeschi, Giuseppe Lettieri, Fabio Lucattini, Salvatore Montanarella
2024	C	`conf`	Attacks detection in Cyber-Physical Systems with Neural Networks: a case study. ISCC Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Alessio Vivani
2024	J	`jnl`	Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case. IEEE Access Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri
2024	—	`conf`	Enhancing a Soft GPU IP Reliability Against SEUs in Space: Modelling Approach and Criticality Analysis on a Radiation-Tolerant FPGA. ICSRS Matteo Monopoli, Matteo Biondi, Giovanni Todaro, Pietro Nannipieri, Silvia Moranti, Cinzia Bernardeschi, Luca Fanucci
2024	—	`conf`	Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project. ACSOS-C 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
2024	—	`conf`	HARDNESS: Hardware-Supported Post Quantum Over-the-Air Software Update and Intrusion Detection System for Next Generation Secure Cars. ApplePies Cinzia Bernardeschi, Nicasio Canino, Gianluca Dini, Pierpaolo Dini, Daniele Rossi, Federico Rossi, Sergio Saponara
2024	J	`jnl`	Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover. Eng. Appl. Artif. Intell. Federico Rossi, Cinzia Bernardeschi, Marco Cococcioni
2024	—	`conf`	Statistical Model Checking of Cooperative Autonomous Driving Systems. ISoLA (2) Cinzia Bernardeschi, Giuseppe Lettieri, Federico Rossi
2024	—	`conf`	Towards Formal Verification of Neural Networks in Cyber-Physical Systems. NFM Federico Rossi, Cinzia Bernardeschi, Marco Cococcioni, Maurizio Palmieri
2023	—	`conf`	An Analysis System to Test Security of Software on Continuous Integration-Continuous Delivery Pipeline. EuroS&P Workshops Carmelo Aparo, Cinzia Bernardeschi, Giuseppe Lettieri, Fabio Lucattini, Salvatore Montanarella
2023	J	`jnl`	Co-simulated digital twin on the network edge: A vehicle platoon. Comput. Commun. Maurizio Palmieri, Christian Quadri, Adriano Fagiolini, Cinzia Bernardeschi
2023	J	`jnl`	Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications. Comput. J. Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri
2023	—	`ed.`	Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers SEFM Workshops Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri
2022	B	`conf`	A Workflow for Designing an On-line Supervisor for Cyber-Physical Systems: a Case Study. SMARTCOMP Maurizio Palmieri, Carlo Vallati, Giuseppe Anastasi, Cinzia Bernardeschi
2022	C	`conf`	Co-simulated Digital Twin on the Network Edge: the case of platooning. WoWMoM Maurizio Palmieri, Christian Quadri, Adriano Fagiolini, Gian Paolo Rossi, Cinzia Bernardeschi
2022	B	`conf`	Demo: An On-line Supervisor for the Line Follower Robot. SMARTCOMP Maurizio Palmieri, Carlo Vallati, Giuseppe Anastasi, Cinzia Bernardeschi
2022	—	`conf`	Do-it-Yourself FMU Generation. SEFM Workshops Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri, Sergio Saponara
2021	—	`conf`	A Logic Theory Pattern for Linearized Control Systems. F-IDE@NFM Andrea Domenici, Cinzia Bernardeschi
2021	—	`conf`	A Prototyping Process for Medical Devices and Systems. STAF Workshops Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri
2021	J	`jnl`	A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks. J. Comput. Virol. Hacking Tech. Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti
2021	—	`conf`	Co-simulation of a Model Predictive Control System for Automotive Applications. SEFM Workshops Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Ayoub Mouhagir, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Lilia Zaourar
2021	J	`jnl`	ReLock: a resilient two-phase locking RESTful transaction model. Serv. Oriented Comput. Appl. Luca Frosini, Pasquale Pagano, Leonardo Candela, Manuele Simi, Cinzia Bernardeschi
2020	J	`jnl`	A framework for FMI-based co-simulation of human-machine interfaces. Softw. Syst. Model. Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci
2020	C	`conf`	Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia. ICISSP Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti
2020	J	`jnl`	Block-Based Models and Theorem Proving in Model-Based Development. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri
2020	B	`conf`	Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor. SEFM Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Arief Wicaksana, Lilia Zaourar
2020	J	`jnl`	Formalization and co-simulation of attacks on cyber-physical systems. J. Comput. Virol. Hacking Tech. Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri
2020	B	`conf`	Identify Potential Attacks from Simulated Log Analysis. IJCNN Cinzia Bernardeschi, Andrea Domenici, Francesco Mercaldo, Antonella Santone
2019	—	`conf`	Application of Model Checking to Fault Tolerance Analysis. From Software Engineering to Formal Methods and Tools, and Back Cinzia Bernardeschi, Andrea Domenici
2019	—	`conf`	Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors. SEFM Workshops Cinzia Bernardeschi, Dini Pierpaolo, Andrea Domenici, Sergio Saponara
2019	B	`conf`	Exploiting Model Checking for Mobile Botnet Detection. KES Cinzia Bernardeschi, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2019	J	`jnl`	Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-physical Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Cinzia Bernardeschi, Andrea Domenici, Sergio Saponara
2019	—	`ch.`	Logic-Based Formalization of System Requirements for Integrated Clinical Environments. Automated Reasoning for Systems Biology and Medicine Cinzia Bernardeschi, Andrea Domenici, Paolo Masci
2019	C	`conf`	Modeling and Simulation of Attacks on Cyber-physical Systems. ICISSP Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri
2019	J	`jnl`	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. Cinzia Bernardeschi, Paolo Masci, Davide Caramella, Ruggero Dell'Osso
2018	—	`conf`	A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems. STAF Workshops Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci
2018	J	`jnl`	A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems. IEEE Trans. Software Eng. Cinzia Bernardeschi, Andrea Domenici, Paolo Masci
2018	—	`conf`	Data Leakage in Java Applets with Exception Mechanism. ITASEC Cinzia Bernardeschi, Paolo Masci, Antonella Santone
2018	—	`conf`	Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web. STAF Workshops Maurizio Palmieri, Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini
2018	J	`jnl`	OLT(RE) IEEE Trans. Emerg. Top. Comput. Dario Cozzi, Sebastian Korf, Luca Cassano, Jens Hagemeyer, Andrea Domenici, Cinzia Bernardeschi, Luca Sterpone, Mario Porrmann
2018	C	`conf`	PyXEL: An Integrated Environment for the Analysis of Fault Effects in SRAM-Based FPGA Routing. RSP Ludovica Bozzoli, Corrado De Sio, Luca Sterpone, Cinzia Bernardeschi
2018	—	`conf`	ROS/Gazebo Based Simulation of Co-operative UAVs. MESAS Cinzia Bernardeschi, Adriano Fagiolini, Maurizio Palmieri, Giulio Scrima, Fabio Sofia
2018	—	`conf`	Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator. STAF Workshops Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri
2018	J	`jnl`	Verifying data secure flow in AUTOSAR models. J. Comput. Virol. Hacking Tech. Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri
2017	—	`conf`	Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study. SEFM Workshops Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci
2017	Misc	`conf`	Modeling and generation of secure component communications in AUTOSAR. SAC Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Dario Varano
2017	C	`conf`	Verifying Data Secure Flow in AUTOSAR Models by Static Analysis. ICISSP Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri
2016	J	`jnl`	Adapting the Duty Cycle to Traffic Load in a Preamble Sampling MAC for WSNs: Formal Specification and Performance Evaluation. Ad Hoc Sens. Wirel. Networks Marco Avvenuti, Cinzia Bernardeschi, Luca Cassano, Alessio Vecchio
2016	—	`conf`	Detecting Elderly Behavior Shift via Smart Devices and Stigmergic Receptive Fields. MobiHealth Marco Avvenuti, Cinzia Bernardeschi, Mario G. C. A. Cimino, Guglielmo Cola, Andrea Domenici, Gigliola Vaglini
2016	—	`conf`	Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation. F-IDE@FM Gioacchino Mauro, Harold Thimbleby, Andrea Domenici, Cinzia Bernardeschi
2016	C	`conf`	Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System. ISCC Cinzia Bernardeschi, Andrea Domenici, Paolo Masci
2016	J	`jnl`	Towards a Formalization of System Requirements for an Integrated Clinical Environment. EAI Endorsed Trans. Self Adapt. Syst. Cinzia Bernardeschi, Andrea Domenici, Paolo Masci
2016	J	`jnl`	UA Integr. Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Luca Sterpone
2016	—	`conf`	Using AUTOSAR High-Level Specifications for the Synthesis of Security Components in Automotive Systems. MESAS Cinzia Bernardeschi, Gabriele Del Vigna, Marco Di Natale, Gianluca Dini, Dario Varano
2016	—	`conf`	Using Smartwatch Sensors to Support the Acquisition of Sleep Quality Data for Supervised Machine Learning. MobiHealth Cinzia Bernardeschi, Mario G. C. A. Cimino, Andrea Domenici, Gigliola Vaglini
2016	J	`jnl`	Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System. Inf. Process. Lett. Cinzia Bernardeschi, Andrea Domenici
2015	J	`jnl`	SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies. J. Comput. Sci. Technol. Cinzia Bernardeschi, Luca Cassano, Andrea Domenici
2014	J	`jnl`	ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-Based FPGAs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Luca Sterpone
2014	—	`conf`	An inter-processor communication interface for data-flow centric heterogeneous embedded multiprocessor systems. DTIS Luca Cassano, Dario Cozzi, Dirk Jungewelter, Sebastian Korf, Jens Hagemeyer, Mario Porrmann, Cinzia Bernardeschi
2014	—	`conf`	Combining PVSio with Stateflow. NASA Formal Methods Paolo Masci, Yi Zhang, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi, Paul Curzon, Harold Thimbleby
2014	J	`jnl`	Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-Ion Batteries. IEEE Trans. Ind. Informatics Federico Baronti, Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Roberto Roncella, Roberto Saletti
2014	—	`conf`	Exploiting dynamic partial reconfiguration for on-line on-demand testing of permanent faults in reconfigurable systems. DFT Domenico G. Sorrenti, Dario Cozzi, Sebastian Korf, Luca Cassano, Jens Hagemeyer, Mario Porrmann, Cinzia Bernardeschi
2013	—	`conf`	Formal approaches to SEU testing in FPGAs. AHS Cinzia Bernardeschi, Luca Cassano, Andrea Domenici
2013	J	`jnl`	GABES: A genetic algorithm based environment for SEU testing in SRAM-FPGAs. J. Syst. Archit. Cinzia Bernardeschi, Luca Cassano, Mario G. C. A. Cimino, Andrea Domenici
2013	C	`conf`	Mitigation of Single Event Upsets in the control logic of a charge equalizer for Li-ion batteries. IECON Federico Baronti, Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Roberto Roncella, Roberto Saletti
2013	—	`conf`	Unexcitability analysis of SEus affecting the routing structure of SRAM-based FPGAs. ACM Great Lakes Symposium on VLSI Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Luca Sterpone
2012	—	`conf`	Accurate simulation of SEUs in the configuration memory of SRAM-based FPGAs. DFT Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Luca Sterpone
2012	J	`jnl`	JCSI: A tool for checking secure information flow in Java Card applications. J. Syst. Softw. Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco, Paolo Masci
2012	C	`conf`	SEU-X: A SEu un-excitability prover for SRAM-FPGAs. IOLTS Cinzia Bernardeschi, Luca Cassano, Andrea Domenici
2011	B	`conf`	Failure Probability and Fault Observability of SRAM-FPGA Systems. FPL Cinzia Bernardeschi, Luca Cassano, Andrea Domenici
2011	C	`conf`	Failure probability of SRAM-FPGA systems with Stochastic Activity Networks. DDECS Cinzia Bernardeschi, Luca Cassano, Andrea Domenici
2009	C	`conf`	Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. SSS Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer
2008	J	`jnl`	Decomposing bytecode verification by abstract interpretation. ACM Trans. Program. Lang. Syst. Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci
2008	B	`conf`	Early Prototyping of Wireless Sensor Network Algorithms in PVS. SAFECOMP Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer
2006	J	`jnl`	Using Control Dependencies for Space-Aware Bytecode Verification. Comput. J. Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
2006	J	`jnl`	Using postdomination to reduce space requirements of data flow analysis. Inf. Process. Lett. Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
2005	—	`conf`	A Space-Aware Bytecode Verifier for Java Cards. Bytecode@ETAPS Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
2005	—	`conf`	FACT: A Tool for Code Generation from Communicating Automata. IASTED Conf. on Software Engineering Cinzia Bernardeschi, Gianluca Dini, Andrea Domenici
2004	J	`jnl`	Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. Comput. J. Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco
2004	J	`jnl`	Checking secure information flow in Java bytecode by code transformation and standard bytecode verification. Softw. Pract. Exp. Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
2004	J	`jnl`	Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs. Fundam. Informaticae Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri
2004	—	`conf`	Enforcement of applet boundaries in Java card systems. IASTED Conf. on Software Engineering and Applications Cinzia Bernardeschi, Luca Martini
2004	—	`conf`	Java bytecode verification with dynamic structures. IASTED Conf. on Software Engineering and Applications Cinzia Bernardeschi, Luca Martini, Paolo Masci
2003	—	`conf`	Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract. OTM Workshops Cinzia Bernardeschi, Nicoletta De Francesco, Luca Martini
2003	J	`jnl`	Java bytecode verification for secure information flow. ACM SIGPLAN Notices Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco
2002	J	`jnl`	Abstract interpretation of operational semantics for secure information flow. Inf. Process. Lett. Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco
2002	J	`jnl`	An abstract semantics tool for secure information flow of stack-based assembly programs. Microprocess. Microsystems Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri
2002	Misc	`conf`	Checking security of Java bytecode by abstract interpretation. SAC Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco
2002	B	`conf`	Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode. VMCAI Cinzia Bernardeschi, Nicoletta De Francesco
2002	C	`conf`	Fixing the Java bytecode verifier by a suitable type domain. SEKE Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco
2002	J	`jnl`	Model checking fault tolerant systems. Softw. Test. Verification Reliab. Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
2002	B	`conf`	Using Standard Verifier to Check Secure Information Flow in Java Bytecode. COMPSAC Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri
2001	J	`jnl`	An approach to system design based on P/T net simulation. Inf. Softw. Technol. Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini
2001	J	`jnl`	Formal validation of fault-tolerance mechanisms inside GUARDS. Reliab. Eng. Syst. Saf. Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
2000	J	`jnl`	Formally Verifying Fault Tolerant System Designs. Comput. J. Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini
1999	B	`conf`	Formal Validation of the GUARDS Inter-Consistency Mechanism. SAFECOMP Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
1998	J	`jnl`	A Formal Verification Environment for Railway Signaling System Design. Formal Methods Syst. Des. Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano
1998	J	`jnl`	Temporal analysis of data flow control systems. Autom. Cinzia Bernardeschi, Andrea Bondavalli, György Csertán, István Majzik, Luca Simoncini
1998	C	`conf`	Validating the Design of Dependable Systems. ISORC Cinzia Bernardeschi, Luca Simoncini, Alessandro Fantechi
1997	J	`jnl`	An industrial application for the JACK environment. J. Syst. Softw. Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
1996	B	`conf`	Formal Verification of Safety Requirements on Complex Systems. SAFECOMP Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
1996	Misc	`conf`	Proving Safety Properties for Embedded Control Systems. EDCC Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi
1995	J	`jnl`	A Petri Nets Semantics for Data Flow Networks. Acta Informatica Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini
1995	B	`conf`	An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System. SAFECOMP A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli
1995	C	`conf`	Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications. SEKE Cinzia Bernardeschi, Alessandro Fantechi, Fabio Paternò
1995	J	`jnl`	Using Process Algebras for the Semantic Analysis of Data Flow Networks. IEICE Trans. Inf. Syst. Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini
1994	Misc	`conf`	Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study. EDCC Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini
1993	B	`conf`	Data Flow Control Systems: an Example of Safety Validation. SAFECOMP Cinzia Bernardeschi, Luca Simoncini, Andrea Bondavalli
1993	—	`conf`	From Data Flow Networks to Process Algebras. PARLE Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini
1992	—	`conf`	The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm. NATO ASI RTC Andrea Bondavalli, Luca Simoncini, Cinzia Bernardeschi