E-LIB Suche - Ergebnisse für: Domenici, Andrea

1

Design and Validation of Cyber-Physical Systems Through Co-..:

Bernardeschi, Cinzia ; Domenici, Andrea ; Fagiolini, Adriano.
IEEE Access. 12 (2024) - p. 1064-1075 , 2024

Link: https://doi.org/10.1109/..

2

Do-it-Yourself FMU Generation:

, In: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; Lecture Notes in Computer Science,

Bernardeschi, Cinzia ; Dini, Pierpaolo ; Domenici, Andrea.. - p. 210-227 , 2023

Link: https://doi.org/10.1007/..

3

Towards a Basic Theory for Partial Differentiation in the P..:

, In: Fundamentals of Software Engineering; Lecture Notes in Computer Science,

Domenici, Andrea - p. 18-24 , 2023

Link: https://doi.org/10.1007/..

4

Co-simulation of a Model Predictive Control System for Auto..:

, In: Lecture Notes in Computer Science; Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops,

Bernardeschi, Cinzia ; Dini, Pierpaolo ; Domenici, Andrea... - p. 204-220 , 2022

Link: https://doi.org/10.1007/..

5

Cross-level Co-simulation and Verification of an Automatic ..:

, In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops; Lecture Notes in Computer Science,

Bernardeschi, Cinzia ; Domenici, Andrea ; Palmieri, Maurizio... - p. 263-279 , 2021

Link: https://doi.org/10.1007/..

6

Co-simulation and Formal Verification of Co-operative Drone..:

Bernardeschi, Cinzia ; Domenici, Andrea ; Fagiolini, Adriano.
The Computer Journal. 66 (2021) 2 - p. 295-317 , 2021

Link: https://doi.org/10.1093/..

7

Co-simulation and Verification of a Non-linear Control Syst..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Bernardeschi, Cinzia ; Dini, Pierpaolo ; Domenici, Andrea. - p. 3-19 , 2020

Link: https://doi.org/10.1007/..

8

Identify Potential Attacks from Simulated Log Analysis:

, In: 2020 International Joint Conference on Neural Networks (IJCNN),

Bernardeschi, Cinzia ; Domenici, Andrea ; Mercaldo, Francesco. - p. 1-6 , 2020

Link: https://doi.org/10.1109/..

9

Co-simulation of bio-inspired multi-agent algorithms:

, In: Proceedings of the 2020 Summer Simulation Conference,

Bernardeschi, Cinzia ; Domenici, Andrea ; Palmieri, Maurizio. - p. 1-12 , 2020

Link: https://dl.acm.org/doi/1..

10

Formal Verification and Co-Simulation in the Design of a Sy..:

Bernardeschi, Cinzia ; Dini, Pierpaolo ; Domenici, Andrea..
Energies. 13 (2020) 16 - p. 4057 , 2020

Link: https://doi.org/10.3390/..

11

Formalization and co-simulation of attacks on cyber-physica..:

Bernardeschi, Cinzia ; Domenici, Andrea ; Palmieri, Maurizio
Journal of Computer Virology and Hacking Techniques. 16 (2020) 1 - p. 63-77 , 2020

Link: https://doi.org/10.1007/..

12

Logic-Based Formalization of System Requirements for Integr..:

, In: Computational Biology; Automated Reasoning for Systems Biology and Medicine,

Bernardeschi, Cinzia ; Domenici, Andrea ; Masci, Paolo - p. 215-242 , 2019

Link: https://doi.org/10.1007/..

13

Application of Model Checking to Fault Tolerance Analysis:

, In: From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science,

Bernardeschi, Cinzia ; Domenici, Andrea - p. 531-547 , 2019

Link: https://doi.org/10.1007/..

14

Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web:

, In: Software Technologies: Applications and Foundations; Lecture Notes in Computer Science,

Palmieri, Maurizio ; Bernardeschi, Cinzia ; Domenici, Andrea. - p. 52-57 , 2018

Link: https://doi.org/10.1007/..

15

OLT(RE)2: An On-Line On-Demand Testing Approach for Permane..:

Cozzi, Dario ; Korf, Sebastian ; Cassano, Luca...
IEEE Transactions on Emerging Topics in Computing. 6 (2018) 4 - p. 511-523 , 2018

Link: https://doi.org/10.1109/..