• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 109 matches

• 2025
• 
  Cinzia Bernardeschi, Giuseppe Lami, Francesco Merola, Federico Rossi:
  Verifying Robustness of Neural Networks in Vision-Based End-to-End Autonomous Driving. IEEE Access 13: 71688-71704 (2025)
• 2024
• 
  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)
• 
  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)
• 
  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
• 
  Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Alessio Vivani:
  Attacks detection in Cyber-Physical Systems with Neural Networks: a case study. ISCC 2024: 1-6
• 
  Cinzia Bernardeschi, Giuseppe Lettieri, Federico Rossi:
  Statistical Model Checking of Cooperative Autonomous Driving Systems. ISoLA (2) 2024: 316-332
• 
  Federico Rossi, Cinzia Bernardeschi, Marco Cococcioni, Maurizio Palmieri:
  Towards Formal Verification of Neural Networks in Cyber-Physical Systems. NFM 2024: 207-222
• 
  Lorenzo Mirabella, Cinzia Bernardeschi, Giuseppe Lettieri, Fabio Lucattini, Salvatore Montanarella:
  A Portable Research Honeypot for Corporate Networks. STM 2024: 128-139
• 2023
• 
  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)
• 
  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)
• 
  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
• 
  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
• 
  Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri, Sergio Saponara:
  Do-it-Yourself FMU Generation. SEFM Workshops 2022: 210-227
• 
  Maurizio Palmieri, Carlo Vallati, Giuseppe Anastasi, Cinzia Bernardeschi:
  Demo: An On-line Supervisor for the Line Follower Robot. SMARTCOMP 2022: 180-182
• 
  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
• 
  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
• 
  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)
• 
  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)
• 
  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
• 
  Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri:
  A Prototyping Process for Medical Devices and Systems. STAF Workshops 2021: 115-124
• 
  Andrea Domenici, Cinzia Bernardeschi:
  A Logic Theory Pattern for Linearized Control Systems. F-IDE@NFM 2021: 46-52
• 2020
• 
  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)
• 
  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)
• 
  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)
• 
  Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti:
  Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia. ICISSP 2020: 815-824
• 
  Cinzia Bernardeschi, Andrea Domenici, Francesco Mercaldo, Antonella Santone:
  Identify Potential Attacks from Simulated Log Analysis. IJCNN 2020: 1-6
• 
  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
• 2019
• 
  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)
• 
  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)
• 
  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

skipping 79 more matches