Alessandro Aldini - Böcker

Process Algebraic Approach to Software Architecture Design

Process Algebraic Approach to Software Architecture Design

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops

CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers

User-Centric Networking

Future Perspectives

Foundations of Security Analysis and Design VII

FOSAD 2012 / 2013 Tutorial Lectures

Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance

9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers

Data Privacy Management, and Security Assurance

10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers

User-Centric Networking

Future Perspectives

Foundations of Security Analysis and Design VIII

FOSAD 2014/2015/2016 Tutorial Lectures

Data Privacy Management and Security Assurance

11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings

Foundations of Security Analysis and Design III

FOSAD 2004/2005 Tutorial Lectures

Foundations of Security Analysis and Design

FOSAD 2006/2007 Turtorial Lectures

Foundations of Security Analysis and Design V

FOSAD 2008/2009 Tutorial Lectures

Formal Methods for Quantitative Aspects of Programming Languages

10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

Computer Performance Engineering

7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings