I agree that this site is using cookies. You can find further informations here.
X
Riccobene, Elvinia
93  results:
Search for persons X
?
1

Modeling and verification of smart contracts with Abstract ..:

, In: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing,
Braghin, Chiara ; Riccobene, Elvinia ; Valentini, Simone - p. 1425-1432 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Evaluation Framework for Autonomous Systems: The Case of Pr..:

Bombarda, Andrea ; Bonfanti, Silvia ; De Sanctis, Martina...
IEEE Transactions on Software Engineering.  50 (2024)  4 - p. 995-1014 , 2024
Link: https://doi.org/10.1109/..
 
?
3

A Modeling and Verification Framework for Ethereum Smart Co..:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
Valentini, Simone ; Braghin, Chiara ; Riccobene, Elvinia - p. 201-207 , 2024
Link: https://doi.org/10.1007/..
 
?
4

Rigorous State-Based Methods: 10th International Conference.. 

Lecture Notes in Computer Science, 14759
Bonfanti, Silvia ; Gargantini, Angelo ; Leuschel, Michael.. - 1st ed. 2024 . , 2024
Link: https://doi.org/10.1007/..
 
?
5

A journey with ASMETA from requirements to code: applicatio..:

Arcaini, Paolo ; Bonfanti, Silvia ; Gargantini, Angelo..
International Journal on Software Tools for Technology Transfer.  26 (2024)  3 - p. 379-401 , 2024
Link: https://doi.org/10.1007/..
 
?
6

A compositional simulation framework for Abstract State Mac..:

Bonfanti, Silvia ; Gargantini, Angelo ; Riccobene, Elvinia.
Formal Aspects of Computing.  , 2024
Link: https://doi.org/10.1145/..
 
?
7

Modeling the MVM-Adapt System by Compositional I/O Abstract..:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
Bonfanti, Silvia ; Riccobene, Elvinia ; Santandrea, Davide. - p. 107-115 , 2023
Link: https://doi.org/10.1007/..
 
?
8

Engineering of Trust Analysis-Driven Digital Twins for a Me..:

, In: Lecture Notes in Computer Science; Software Architecture. ECSA 2022 Tracks and Workshops,
Bersani, Marcello M. ; Braghin, Chiara ; Gargantini, Angelo... - p. 467-482 , 2023
Link: https://doi.org/10.1007/..
 
?
9

A component framework for the runtime enforcement of safety..:

Bonfanti, Silvia ; Riccobene, Elvinia ; Scandurra, Patrizia
Journal of Systems and Software.  198 (2023)  - p. 111605 , 2023
Link: https://doi.org/10.1016/..
 
?
10

A model-based approach for vulnerability analysis of IoT se..:

Braghin, Chiara ; Lilli, Mario ; Riccobene, Elvinia
Computers & Security.  127 (2023)  - p. 103037 , 2023
Link: https://doi.org/10.1016/..
 
?
11

Compositional Simulation of Abstract State Machines for Saf..:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,
Bonfanti, Silvia ; Gargantini, Angelo ; Riccobene, Elvinia. - p. 3-19 , 2022
Link: https://doi.org/10.1007/..
 
?
12

Towards an Evaluation Framework for Autonomous Systems:

, In: 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C),
Bombarda, Andrea ; Bonfanti, Silvia ; De Sanctis, Martina... - p. 43-48 , 2022
Link: https://doi.org/10.1109/..
 
?
13

Guidelines for the development of a critical software under..:

Bombarda, Andrea ; Bonfanti, Silvia ; Galbiati, Cristiano...
Information and Software Technology.  152 (2022)  - p. 107061 , 2022
Link: https://doi.org/10.1016/..
 
?
14

A Runtime Safety Enforcement Approach by Monitoring and Ada..:

, In: Software Architecture; Lecture Notes in Computer Science,
Bonfanti, Silvia ; Riccobene, Elvinia ; Scandurra, Patrizia - p. 20-36 , 2021
Link: https://doi.org/10.1007/..
 
?
15

Towards ASM-Based Automated Formal Verification of Security..:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
Braghin, Chiara ; Lilli, Mario ; Riccobene, Elvinia - p. 17-33 , 2021
Link: https://doi.org/10.1007/..
 
1-15