CICCOZZI, FEDERICO
CICCOZZI, FEDERICO
Summary of the 5th International Workshop on Automated Andverifiable Software SYstem DEvelopment (ASYDE) Co-Located with the 38th IEEE/ACM ASE 2023
2024-01-01 Arbab, Farhad; Autili, Marco; Ciccozzi, Federico; Poizat, Pascal; Tivoli, Massimo
Thematic Series on Automated and Verifiable Internet Services and Applications Development
2022-01-01 Autili, Marco; Arbab, Farhad; Ciccozzi, Federico; Giannakopoulou, Dimitra; Poizat, Pascal; Tivoli, Massimo
Proceedings of the International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2020) - LNCS
2020-01-01 Autili, M.; Ciccozzi, F.; Gallo, F.; Sirjani, M.
Proceedings of the International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2019)
2019-01-01 Arbab, Farhad; Autili, Marco; Ciccozzi, Federico; Poizat, Pascal; Tivoli, Massimo
Contents for a Model-Based Software Engineering Body of Knowledge
2019-01-01 Burgueño, Loli; Ciccozzi, Federico; Famelis, Michalis; Kappel, Gerti; Lambers, Leen; Mosser, Sebastien; Paige, Richard F.; Pierantonio, Alfonso; Rensink, Arend; Salay, Rick; Taentzer, Gabriele; Vallecillo, Antonio; &, ; Wimmer, Manuel
MoVES: A model-driven methodology for vehicular embedded systems
2018-01-01 Bucaioni, A.; Addazi, L.; Cicchetti, A.; Ciccozzi, F.; Eramo, R.; Mubeen, S.; Sjodin, M.
Engineering the software of robotic systems
2017-01-01 Ciccozzi, Federico; Di Ruscio, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Tumova, Jana
Anticipating implementation level timing analysis for driving design level decisions in EAST-ADL
2015-01-01 Bucaioni, A.; Cicchetti, A.; Ciccozzi, F.; Eramo, R.; Mubeen, S.; Sjodin, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Summary of the 5th International Workshop on Automated Andverifiable Software SYstem DEvelopment (ASYDE) Co-Located with the 38th IEEE/ACM ASE 2023 | 1-gen-2024 | Arbab, Farhad; Autili, Marco; Ciccozzi, Federico; Poizat, Pascal; Tivoli, Massimo | |
| Thematic Series on Automated and Verifiable Internet Services and Applications Development | 1-gen-2022 | Autili, Marco; Arbab, Farhad; Ciccozzi, Federico; Giannakopoulou, Dimitra; Poizat, Pascal; Tivoli, Massimo | |
| Proceedings of the International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2020) - LNCS | 1-gen-2020 | Autili, M.; Ciccozzi, F.; Gallo, F.; Sirjani, M. | |
| Proceedings of the International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2019) | 1-gen-2019 | Arbab, Farhad; Autili, Marco; Ciccozzi, Federico; Poizat, Pascal; Tivoli, Massimo | |
| Contents for a Model-Based Software Engineering Body of Knowledge | 1-gen-2019 | Burgueño, Loli; Ciccozzi, Federico; Famelis, Michalis; Kappel, Gerti; Lambers, Leen; Mosser, Sebastien; Paige, Richard F.; Pierantonio, Alfonso; Rensink, Arend; Salay, Rick; Taentzer, Gabriele; Vallecillo, Antonio; &, ; Wimmer, Manuel | |
| MoVES: A model-driven methodology for vehicular embedded systems | 1-gen-2018 | Bucaioni, A.; Addazi, L.; Cicchetti, A.; Ciccozzi, F.; Eramo, R.; Mubeen, S.; Sjodin, M. | |
| Engineering the software of robotic systems | 1-gen-2017 | Ciccozzi, Federico; Di Ruscio, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Tumova, Jana | |
| Anticipating implementation level timing analysis for driving design level decisions in EAST-ADL | 1-gen-2015 | Bucaioni, A.; Cicchetti, A.; Ciccozzi, F.; Eramo, R.; Mubeen, S.; Sjodin, M. |