BUCAIONI, ALESSIO

Nome completo

BUCAIONI, ALESSIO

Mostra records

Risultati 1 - 6 di 6 (tempo di esecuzione: 0.005 secondi).

Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) - ASYDE 2022 Organizers' Message

2022-01-01 Autili, Marco; Berardinelli, Luca; Bucaioni, Alessio; Pompilio, Claudio

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

2022-01-01 Cerone, Antonio; Autili, Marco; Bucaioni, Alessio; Gome, Claudio; Grazian, Pierluigi; Palmier, Maurizio; Temperini, Marco; Venture, Gentiane

Reference architectures modelling and compliance checking

2022-01-01 Bucaioni, A; Di Salle, A; Iovino, L; Malavolta, I; Pelliccione, P

Model-based generation of test scripts across product variants: An experience report from the railway industry

2022-01-01 Bucaioni, A; Di Silvestro, F; Singh, I; Saadatmand, M; Muccini, H

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.

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)
Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) - ASYDE 2022 Organizers' Message	1-gen-2022	Autili, Marco; Berardinelli, Luca; Bucaioni, Alessio; Pompilio, Claudio
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers	1-gen-2022	Cerone, Antonio; Autili, Marco; Bucaioni, Alessio; Gome, Claudio; Grazian, Pierluigi; Palmier, Maurizio; Temperini, Marco; Venture, Gentiane
Reference architectures modelling and compliance checking	1-gen-2022	Bucaioni, A; Di Salle, A; Iovino, L; Malavolta, I; Pelliccione, P
Model-based generation of test scripts across product variants: An experience report from the railway industry	1-gen-2022	Bucaioni, A; Di Silvestro, F; Singh, I; Saadatmand, M; Muccini, H
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.
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.