| 2026 |
J |
jnl |
CoRR
Bruno Guindani, Matteo Camilli, Livia Lestingi, Marcello M. Bersani
|
| 2026 |
J |
jnl |
J. Syst. Softw.
Livia Lestingi, Marcello M. Bersani, Matteo Camilli, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
|
| 2025 |
J |
jnl |
IEEE Trans Autom. Sci. Eng.
Livia Lestingi, Nicla Frigerio, Marcello M. Bersani, Andrea Matta, Matteo G. Rossi
|
| 2025 |
J |
jnl |
CoRR
Marcello M. Bersani, Matteo G. Rossi, Pierluigi San Pietro
|
| 2025 |
J |
jnl |
J. Softw. Evol. Process.
Michele Chiari, Matteo Camilli, Marcello M. Bersani, Rutger van Beusekom, Damian A. Tamburri
|
| 2024 |
J |
jnl |
Softw. Syst. Model.
Livia Lestingi, Andrea Manglaviti, Davide Marinaro, Luca Marinello, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
|
| 2023 |
— |
conf |
REW
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
|
| 2023 |
B |
conf |
ECSA
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
|
| 2023 |
— |
conf |
FormaliSE
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi
|
| 2023 |
J |
jnl |
Robotics Auton. Syst.
Livia Lestingi, Davide Zerla, Marcello M. Bersani, Matteo Rossi
|
| 2023 |
— |
conf |
ICSA-C
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
|
| 2022 |
J |
jnl |
IEEE Trans. Serv. Comput.
Christos Tsigkanos, Marcello M. Bersani, Pantelis A. Frangoudis, Schahram Dustdar
|
| 2022 |
— |
conf |
ECSA (Tracks and Workshops)
Marcello M. Bersani, Chiara Braghin, Angelo Gargantini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
|
| 2022 |
J |
jnl |
Softw. Pract. Exp.
Francesco Alongi, Marcello M. Bersani, Nicolò Ghielmetti, Raffaela Mirandola, Damian A. Tamburri
|
| 2022 |
— |
conf |
FormaliSE@ICSE
Livia Lestingi, Cristian Sbrolli, Pasquale Scarmozzino, Giorgio Romeo, Marcello M. Bersani, Matteo Rossi
|
| 2022 |
J |
jnl |
IEEE Intell. Syst.
Livia Lestingi, Marcello M. Bersani, Matteo Rossi
|
| 2022 |
— |
conf |
ICSA Companion
Marcello M. Bersani, Chiara Braghin, Vittorio Cortellessa, Angelo Gargantini, Vincenzo Grassi, F. Lo Presti, Raffaela Mirandola, Alfonso Pierantonio, Elvinia Riccobene, Patrizia Scandurra
|
| 2021 |
J |
jnl |
IEEE Access
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
|
| 2021 |
B |
conf |
SERVICES
Christos Tsigkanos, Marcello M. Bersani, Pantelis A. Frangoudis, Schahram Dustdar
|
| 2021 |
— |
conf |
FormaliSE@ICSE
Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
|
| 2021 |
J |
jnl |
CoRR
Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
|
| 2021 |
— |
conf |
SEAMS@ICSE
Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio García, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues
|
| 2020 |
B |
conf |
SMC
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
|
| 2020 |
B |
conf |
SEFM
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
|
| 2020 |
— |
conf |
FormaliSE@ICSE
Mehrnoosh Askarpour, Claudio Menghi, Gabriele Belli, Marcello M. Bersani, Patrizio Pelliccione
|
| 2020 |
J |
jnl |
ACM Trans. Comput. Log.
Claudio Menghi, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
|
| 2020 |
J |
jnl |
Theor. Comput. Sci.
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
|
| 2020 |
J |
jnl |
Formal Aspects Comput.
Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione, Matteo Rossi
|
| 2020 |
— |
conf |
AREA@ECAI
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
|
| 2020 |
J |
jnl |
Formal Aspects Comput.
Luciano Baresi, Marcello M. Bersani, Francesco Marconi, Giovanni Quattrocchi, Matteo Rossi
|
| 2019 |
— |
conf |
FISEE
Mehrnoosh Askarpour, Marcello M. Bersani
|
| 2019 |
J |
jnl |
J. Big Data
Marcello M. Bersani, Francesco Marconi, Damian A. Tamburri, Andrea Nodari, Pooyan Jamshidi
|
| 2018 |
J |
jnl |
CoRR
Claudio Menghi, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
|
| 2018 |
— |
conf |
ESOCC
Damian A. Tamburri, Marcello M. Bersani, Raffaela Mirandola, Giorgio Pea
|
| 2018 |
— |
conf |
NFM
Francesco Marconi, Giovanni Quattrocchi, Luciano Baresi, Marcello M. Bersani, Matteo Rossi
|
| 2018 |
J |
jnl |
J. Softw. Evol. Process.
Marcello M. Bersani, Marisol García-Valls
|
| 2018 |
— |
conf |
ICPE Companion
Marcello M. Bersani, Francesco Marconi, Matteo Rossi
|
| 2017 |
J |
jnl |
Theor. Comput. Sci.
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
|
| 2017 |
— |
conf |
SPIN
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, Silvio Ghilardi
|
| 2017 |
Misc |
conf |
SAC
Francesco Marconi, Marcello M. Bersani, Matteo Rossi
|
| 2017 |
— |
conf |
ICPE Companion
Michele Guerriero, Damian A. Tamburri, Youssef Ridene, Francesco Marconi, Marcello M. Bersani, Matej Artac
|
| 2016 |
J |
jnl |
Acta Informatica
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
|
| 2016 |
— |
conf |
QUDOS@ISSTA
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu
|
| 2016 |
— |
conf |
WICSA
Marcello M. Bersani, Francesco Marconi, Damian A. Tamburri, Pooyan Jamshidi, Andrea Nodari
|
| 2016 |
A* |
conf |
ICSE
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
|
| 2016 |
— |
conf |
HASE
Marcello M. Bersani, Marisol García-Valls
|
| 2016 |
C |
conf |
ICFEM
Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi
|
| 2015 |
J |
jnl |
Inf. Comput.
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
|
| 2015 |
J |
jnl |
CoRR
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
|
| 2014 |
— |
conf |
MFCS (1)
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
|
| 2014 |
— |
conf |
ICSOFT (Selected Papers)
Marcello M. Bersani, Salvatore Distefano, Luca Ferrucci, Manuel Mazzara
|
| 2014 |
J |
jnl |
CoRR
Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara
|
| 2014 |
— |
conf |
ICSOFT PT
Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara
|
| 2014 |
J |
jnl |
J. Appl. Log.
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
|
| 2014 |
— |
conf |
PESOS
Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, Srdan Krstic
|
| 2013 |
C |
conf |
TIME
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
|
| 2013 |
— |
conf |
RP
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
|
| 2013 |
J |
jnl |
Int. J. Comput. Math.
Marcello M. Bersani, Achille Frigeri, Alessandra Cherubini
|
| 2012 |
— |
— |
Marcello M. Bersani
|
| 2012 |
J |
jnl |
CoRR
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
|
| 2011 |
— |
conf |
RP
Marcello M. Bersani, Achille Frigeri, Matteo Rossi, Pierluigi San Pietro
|
| 2011 |
C |
conf |
IWCIA
Marcello M. Bersani, Achille Frigeri, Alessandra Cherubini
|
| 2011 |
— |
conf |
FroCoS
Marcello M. Bersani, Stéphane Demri
|
| 2010 |
J |
jnl |
CoRR
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
|
| 2010 |
C |
conf |
TIME
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
|
| 2010 |
B |
conf |
SEFM
Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi
|
| 2010 |
J |
jnl |
CoRR
Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi
|
| 2009 |
J |
jnl |
CoRR
Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi
|
| 2009 |
B |
conf |
SEFM
Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi
|