Software Engineering and Formal Methods. SEFM 2023 Collocated WorkshopsAlessandro Aldini · First published 2024Open the Tome
Data Privacy Management, and Security AssuranceJoaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Alessandro Aldini, Fabio Martinelli, Neeraj Suri · First published 2016Open the Tome
Foundations of Security Analysis and Design VIIIAlessandro Aldini, Javier Lopez, Fabio Martinelli · First published 2016Open the Tome
Data Privacy Management, Autonomous Spontaneous Security, and Security AssuranceJoaquin Garcia-Alfaro, Jordi Herrera-Joancomartí, Emil Lupu, Joachim Posegga, Alessandro Aldini · First published 2015Open the Tome
Foundations of Security Analysis and Design VIIAlessandro Aldini, Javier Lopez, Fabio Martinelli · First published 2014Open the Tome
A process algebraic approach to software architecture designAlessandro Aldini · First published 2010Open the Tome
Computer Performance EngineeringAlessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa · First published 2010Open the Tome
Formal Methods for Quantitative Aspects of Programming LanguagesAlessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky · First published 2010Open the Tome
