| 2026 |
J |
jnl |
Computing
Johannes Mäkelburg, Diego Perez-Palacin, Raffaela Mirandola, Maribel Acosta
|
| 2025 |
— |
conf |
SEAA (3)
Samuele Giussani, Mauro Caporuscio, Diego Perez-Palacin
|
| 2025 |
J |
jnl |
ACM Trans. Auton. Adapt. Syst.
Danny Weyns, Sara Mahdavi-Hezavehi, Paris Avgeriou, Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin
|
| 2025 |
— |
conf |
ACSOS
Vincenzo Scotti, Diego Perez-Palacin, Valerio Brauzi, Vincenzo Grassi, Raffaela Mirandola
|
| 2025 |
— |
conf |
SEAMS@ICSE
Farid Edrisi, Diego Perez-Palacin, Mauro Caporuscio, Raffaela Mirandola
|
| 2025 |
— |
conf |
MLOps@ECAI
Tibo Bruneel, Welf Löwe, Morgan Ericsson, Jonas Nordqvist, Diego Perez-Palacin
|
| 2025 |
— |
conf |
ICSA Companion
Samuele Giussani, Diego Perez-Palacin, Mauro Caporuscio, Farid Edrisi
|
| 2025 |
— |
conf |
FormaliSE
Vincenzo Grassi, Raffaela Mirandola, Diego Perez-Palacin
|
| 2025 |
— |
conf |
SAIS
Tibo Bruneel, Welf Löwe, Morgan Ericsson, Diego Perez-Palacin, Jonas Nordqvist
|
| 2025 |
J |
jnl |
CoRR
Johannes Mäkelburg, Diego Perez-Palacin, Raffaela Mirandola, Maribel Acosta
|
| 2025 |
— |
conf |
SIGSIM-PADS
Samuele Giussani, Rafael Messias Martins, Amílcar Soares, Mauro Caporuscio, Diego Perez-Palacin
|
| 2024 |
J |
jnl |
J. Syst. Softw.
Vincenzo Grassi, Raffaela Mirandola, Diego Perez-Palacin
|
| 2024 |
J |
jnl |
IEEE Access
Farid Edrisi, Diego Perez-Palacin, Mauro Caporuscio, Samuele Giussani
|
| 2024 |
— |
conf |
SEAMS@ICSE
Javier Cámara, Sebastian Hahner, Diego Perez-Palacin, Antonio Vallecillo, Maribel Acosta, Nelly Bencomo, Radu Calinescu, Simos Gerasimou
|
| 2023 |
A |
conf |
SEAMS
Farid Edrisi, Diego Perez-Palacin, Mauro Caporuscio, Samuele Giussani
|
| 2023 |
— |
conf |
ICSA-C
Vincenzo Grassi, Raffaela Mirandola, Diego Perez-Palacin
|
| 2023 |
J |
jnl |
ACM SIGSOFT Softw. Eng. Notes
Danny Weyns, Radu Calinescu, Raffaela Mirandola, Kenji Tei, Maribel Acosta, Amel Bennaceur, Nicolas Boltz, Tomás Bures, Javier Cámara, Ada Diaconescu, Gregor Engels, Simos Gerasimou, Ilias Gerostathopoulos, Sinem Getir Yaman, Vincenzo Grassi, Sebastian Hahner, Emmanuel Letier, Marin Litoiu, Lina Marsso, Angelika Musil, Juergen Musil, Genaína Nunes Rodrigues, Diego Perez-Palacin, Federico Quin, Patrizia Scandurra, Antonio Vallecillo, Andrea Zisman
|
| 2022 |
J |
jnl |
Autom. Softw. Eng.
Simona Bernardi, Abel Gómez, José Merseguer, Diego Perez-Palacin, José Ignacio Requeno
|
| 2022 |
J |
jnl |
CoRR
Danny Weyns, Paris Avergriou, Radu Calinescu, Sara Mahdavi-Hezavehi, Raffaela Mirandola, Diego Perez-Palacin
|
| 2021 |
J |
jnl |
Computing
Jesper Andersson, Vincenzo Grassi, Raffaela Mirandola, Diego Perez-Palacin
|
| 2021 |
— |
conf |
EDCC Workshops
Farid Edrisi, Diego Perez-Palacin, Mauro Caporuscio, Margrethe Hallberg, Anton Johannesson, Claudia Kopf, Johanna Sigvardsson
|
| 2021 |
— |
ch. |
Composing Model-Based Analysis Tools
Simona Bernardi, Michalis Famelis, Jean-Marc Jézéquel, Raffaela Mirandola, Diego Perez-Palacin, Fiona A. C. Polack, Catia Trubiani
|
| 2021 |
J |
jnl |
CoRR
Sara Mahdavi-Hezavehi, Danny Weyns, Paris Avgeriou, Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin
|
| 2021 |
B |
conf |
ICPE
Diego Perez-Palacin, José Merseguer
|
| 2020 |
B |
conf |
ECSA
Mauro Caporuscio, Farid Edrisi, Margrethe Hallberg, Anton Johannesson, Claudia Kopf, Diego Perez-Palacin
|
| 2020 |
J |
jnl |
ACM Trans. Auton. Adapt. Syst.
Sara Mahdavi-Hezavehi, Danny Weyns, Paris Avgeriou, Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin
|
| 2020 |
— |
conf |
ACSOS
Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin, Danny Weyns
|
| 2019 |
— |
conf |
UCC Companion
Luiz Fernando Bittencourt, Diego Perez-Palacin
|
| 2019 |
— |
conf |
SERENE
Jesper Andersson, Vincenzo Grassi, Raffaela Mirandola, Diego Perez-Palacin
|
| 2019 |
J |
jnl |
Softw. Syst. Model.
Diego Perez-Palacin, José Merseguer, José Ignacio Requeno, Michele Guerriero, Elisabetta Di Nitto, Damian A. Tamburri
|
| 2019 |
J |
jnl |
Dagstuhl Reports
Francisco Durán, Robert Heinrich, Diego Perez-Palacin, Carolyn L. Talcott, Steffen Zschaler
|
| 2019 |
J |
jnl |
Inf. Syst. Frontiers
José Ignacio Requeno, José Merseguer, Simona Bernardi, Diego Perez-Palacin, Giorgos Giotis, Vasilis K. Papanikolaou
|
| 2018 |
J |
jnl |
Empir. Softw. Eng.
Simona Bernardi, Juan L. Domínguez, Abel Gómez, Christophe Joubert, José Merseguer, Diego Perez-Palacin, José Ignacio Requeno, Alberto Romeu
|
| 2018 |
A |
conf |
ICSA
Matej Artac, Tadej Borovsak, Elisabetta Di Nitto, Michele Guerriero, Diego Perez-Palacin, Damian Andrew Tamburri
|
| 2018 |
J |
jnl |
J. Syst. Softw.
Marisol García-Valls, Diego Perez-Palacin, Raffaela Mirandola
|
| 2017 |
J |
jnl |
J. Syst. Softw.
Diego Perez-Palacin, Raffaela Mirandola, José Merseguer
|
| 2017 |
— |
conf |
ICPE Companion
Giuseppe Vergori, Damian A. Tamburri, Diego Perez-Palacin, Raffaela Mirandola
|
| 2017 |
— |
conf |
ICPE Companion
Diego Perez-Palacin, Youssef Ridene, José Merseguer
|
| 2016 |
B |
conf |
ECSA
Zoya Alexeeva, Diego Perez-Palacin, Raffaela Mirandola
|
| 2016 |
— |
conf |
QoSA
Lorenzo Pagliari, Raffaela Mirandola, Diego Perez-Palacin, Catia Trubiani
|
| 2016 |
C |
conf |
ICA3PP
Danilo Ardagna, Simona Bernardi, Eugenio Gianniti, Soroush Karimian Aliabadi, Diego Perez-Palacin, José Ignacio Requeno
|
| 2016 |
— |
conf |
ICPE Companion
Diego Perez-Palacin, Raffaela Mirandola, Marco Scoppetta
|
| 2015 |
— |
conf |
ESOCC
Raffaela Mirandola, Diego Perez-Palacin, Patrizia Scandurra, Michele Brignoli, Andrea Zonca
|
| 2015 |
Misc |
conf |
UCC
Diego Perez-Palacin, Raffaela Mirandola, Federico Monterisi, Andrea Montoli
|
| 2014 |
— |
conf |
QoSA
Diego Perez-Palacin, Raffaela Mirandola
|
| 2014 |
C |
conf |
INDIN
Marisol García-Valls, Diego Perez-Palacin, Raffaela Mirandola
|
| 2014 |
J |
jnl |
J. Syst. Softw.
Diego Perez-Palacin, Raffaela Mirandola, José Merseguer
|
| 2014 |
— |
conf |
QoSA
Raffaela Mirandola, Diego Perez-Palacin
|
| 2014 |
— |
conf |
EUROMICRO-SEAA
Diego Perez-Palacin, Raffaela Mirandola, Radu Calinescu
|
| 2014 |
B |
conf |
COMPSAC
Marisol García-Valls, Diego Perez-Palacin, Raffaela Mirandola
|
| 2014 |
B |
conf |
ICPE
Diego Perez-Palacin, Raffaela Mirandola
|
| 2013 |
Misc |
conf |
SAC
Diego Perez-Palacin, Radu Calinescu, José Merseguer
|
| 2012 |
B |
conf |
ICPE
Diego Perez-Palacin, José Merseguer, Raffaela Mirandola
|
| 2012 |
J |
jnl |
J. Syst. Softw.
Diego Perez-Palacin, Raffaela Mirandola, José Merseguer
|
| 2011 |
— |
conf |
QoSA/ISARCS
Diego Perez-Palacin, Raffaela Mirandola, José Merseguer
|
| 2011 |
J |
jnl |
SIGMETRICS Perform. Evaluation Rev.
Diego Perez-Palacin, José Merseguer
|
| 2011 |
B |
conf |
ICPE
Diego Perez-Palacin, José Merseguer
|
| 2011 |
— |
conf |
QoSA/ISARCS
Diego Perez-Palacin, Raffaela Mirandola, José Merseguer
|
| 2010 |
— |
conf |
WOSP/SIPEW
Diego Perez-Palacin, José Merseguer, Simona Bernardi
|
| 2010 |
— |
conf |
ICST Workshops
Diego Perez-Palacin, Raffaela Mirandola, José Merseguer, Vincenzo Grassi
|
| 2009 |
— |
conf |
PASM@MASCOTS
Diego Perez-Palacin, José Merseguer
|