| 2026 |
B |
conf |
REFSQ
Giovanna Broccia, Lucio Lelii, Roberto Cirillo, Dario Di Nucci, Samuel Fricker, Fabio Palomba, Giorgio Oronzo Spagnolo, Alessio Ferrari
|
| 2025 |
J |
jnl |
ERCIM News
Giulia Millitarì, Alessio Ferrari, Giorgio Oronzo Spagnolo
|
| 2024 |
— |
conf |
RE Workshops
Raihana Ferdous, Giorgio Oronzo Spagnolo, Alessandro Borselli, Lucio Rota, Alessio Ferrari
|
| 2024 |
— |
conf |
RE Workshops
Chiara Mannari, Manlio Bacco, Giorgio Oronzo Spagnolo, Alessio Malizia, Alessio Ferrari
|
| 2023 |
— |
conf |
REFSQ Workshops
Chiara Mannari, Giorgio Oronzo Spagnolo, Manlio Bacco, Alessio Malizia
|
| 2022 |
C |
conf |
ICSOFT
Giuseppe Lami, Giorgio Oronzo Spagnolo
|
| 2022 |
J |
jnl |
ERCIM News
Alessio Bechini, Giulio Masetti, Giorgio Oronzo Spagnolo, Carlo Vallati
|
| 2022 |
B |
conf |
SEAA
Giuseppe Lami, Giorgio Oronzo Spagnolo
|
| 2021 |
C |
conf |
FMICS
Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo
|
| 2020 |
— |
conf |
ISoLA (1)
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo
|
| 2019 |
— |
conf |
From Software Engineering to Formal Methods and Tools, and Back
Alessio Ferrari, Giorgio Oronzo Spagnolo, Antonella Fiscella, Guido Parente
|
| 2019 |
J |
jnl |
ERCIM News
Felicita Di Giandomenico, Stefania Gnesi, Giorgio Oronzo Spagnolo, Alessandro Fantechi
|
| 2018 |
J |
jnl |
Data Knowl. Eng.
Flavio Corradini, Alessio Ferrari, Fabrizio Fornari, Stefania Gnesi, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo
|
| 2018 |
J |
jnl |
Bus. Process. Manag. J.
Alessio Ferrari, Hans Friedrich Witschel, Giorgio Oronzo Spagnolo, Stefania Gnesi
|
| 2018 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo
|
| 2017 |
J |
jnl |
ERCIM News
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo
|
| 2017 |
— |
conf |
BPM (Demos)
Fabrizio Fornari, Stefania Gnesi, Marcello La Rosa, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo
|
| 2017 |
A |
conf |
RE
Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi
|
| 2017 |
J |
jnl |
ERCIM News
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo
|
| 2017 |
— |
conf |
REFSQ Workshops
Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi
|
| 2017 |
— |
conf |
SWQD
Antonello Calabrò, Eda Marchetti, Giorgio Oronzo Spagnolo, Pierangela Cempini, Luca Mancini, Serena Paoletti
|
| 2016 |
— |
— |
Giorgio Oronzo Spagnolo
|
| 2016 |
— |
conf |
SWQD
Giorgio Oronzo Spagnolo, Eda Marchetti, Alessandro Coco, Paolo Scarpellini, Antonella Querci, Fabrizio Fabbrini, Stefania Gnesi
|
| 2016 |
Misc |
conf |
QUATIC
Antonello Calabrò, Francesca Lonetti, Eda Marchetti, Giorgio Oronzo Spagnolo
|
| 2016 |
— |
conf |
ISoLA (2)
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo
|
| 2016 |
J |
jnl |
ERCIM News
Giorgio Oronzo Spagnolo, Eda Marchetti, Alessandro Coco, Stefania Gnesi
|
| 2015 |
B |
conf |
SPLC
Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi, Felice Dell'Orletta
|
| 2014 |
C |
conf |
FMICS
Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari
|
| 2014 |
— |
conf |
NASA Formal Methods
Franco Mazzanti, Giorgio Oronzo Spagnolo, Alessio Ferrari
|
| 2014 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Alessio Ferrari, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni
|
| 2014 |
B |
conf |
REFSQ
Alessio Ferrari, Felice Dell'Orletta, Giorgio Oronzo Spagnolo, Stefania Gnesi
|
| 2014 |
— |
conf |
AIRE
Alessio Ferrari, Giuseppe Lipari, Stefania Gnesi, Giorgio Oronzo Spagnolo
|
| 2013 |
B |
conf |
SPLC
Alessio Ferrari, Giorgio Oronzo Spagnolo, Felice Dell'Orletta
|
| 2012 |
— |
conf |
SERENE
Alessio Ferrari, Massimiliano Leone Itria, Silvano Chiaradonna, Giorgio Oronzo Spagnolo
|
| 2012 |
— |
conf |
ISoLA (2)
Alessio Ferrari, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni
|