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

COMPASTA = COMPASS + TASTE:

Bombardelli, Alberto ; Bonizzi, Alberto ; Bozzano, Marco...
CEAS Space Journal.  , 2023
Link: https://doi.org/10.1007/..
 
?
2

ADEPT 2022 workshop: a summary of strengths and weaknesses ..:

Singhoff, Frank ; Hugues, Jerome ; Nam Tran, Hai...
ACM SIGAda Ada Letters.  43 (2023)  1 - p. 37-41 , 2023
Link: https://doi.org/10.1145/..
 
?
3

Two formal methodologies of Model-Based Safety Assessment f..:

, In: 2023 7th International Conference on System Reliability and Safety (ICSRS),
Lanzani, Isabella ; Scattolini, Riccardo ; Zio, Enrico... - p. 376-383 , 2023
Link: https://doi.org/10.1109/..
 
?
4

RobDT: AI-enhanced Digital Twin for Space Exploration Robot..:

, In: Studies in Computational Intelligence; The Use of Artificial Intelligence for Space Applications,
Bozzano, Marco ; Bussola, Riccardo ; Cristoforetti, Marco... - p. 183-198 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Searching for Ribbon-Shaped Paths in Fair Transition System:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Bozzano, Marco ; Cimatti, Alessandro ; Tonetta, Stefano. - p. 543-560 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Analysis of Cyclic Fault Propagation via ASP:

, In: Logic Programming and Nonmonotonic Reasoning; Lecture Notes in Computer Science,
Bozzano, Marco ; Cimatti, Alessandro ; Griggio, Alberto.. - p. 470-483 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Diagnosability of fair transition systems:

Bittner, Benjamin ; Bozzano, Marco ; Cimatti, Alessandro...
Artificial Intelligence.  309 (2022)  - p. 103725 , 2022
Link: https://doi.org/10.1016/..
 
?
8

Efficient Analysis of Cyclic Redundancy Architectures via B..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Bozzano, Marco ; Cimatti, Alessandro ; Griggio, Alberto. - p. 273-291 , 2022
Link: https://doi.org/10.1007/..
 
?
9

COMPASTA: Extending TASTE with Formal Design and Verificati..:

, In: Model-Based Safety and Assessment; Lecture Notes in Computer Science,
Bombardelli, Alberto ; Bozzano, Marco ; Cavada, Roberto... - p. 21-27 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Formal Design and Validation of an Automatic Train Operatio..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,
Amendola, Arturo ; Barruffo, Lorenzo ; Bozzano, Marco... - p. 169-178 , 2022
Link: https://doi.org/10.1007/..
 
?
11

Efficient SMT-Based Analysis of Failure Propagation:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Bozzano, Marco ; Cimatti, Alessandro ; Fernandes Pires, Anthony... - p. 209-230 , 2021
Link: https://doi.org/10.1007/..
 
?
12

A Comprehensive Approach to On-board Autonomy Verification ..:

Bozzano, Marco ; Cimatti, Alessandro ; Roveri, Marco
ACM Transactions on Intelligent Systems and Technology.  12 (2021)  4 - p. 1-29 , 2021
Link: https://doi.org/10.1145/..
 
?
13

A Comprehensive Approach to On-board Autonomy Verification ..:

Bozzano, Marco ; Cimatti, Alessandro ; Roveri, Marco
ACM Transactions on Intelligent Systems and Technology (TIST).  12 (2021)  4 - p. 1-29 , 2021
Link: https://dl.acm.org/doi/1..
 
?
14

Model-based Safety Assessment of a Triple Modular Generator..:

Bozzano, Marco ; Cimatti, Alessandro ; Gario, Marco..
Formal Aspects of Computing.  33 (2021)  2 - p. 251-295 , 2021
Link: https://doi.org/10.1007/..
 
?
15

Model-Based Safety Analysis of Mode Transitions:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,
Bozzano, Marco ; Munk, Peter ; Schweizer, Markus.. - p. 99-114 , 2020
Link: https://doi.org/10.1007/..
 
1-15