Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers Aldini Alessandro Heftet / 2024 / Engelsk
Foundations of Security Analysis and Design FOSAD 2006/2007 Turtorial Lectures Aldini Alessandro Heftet / 2007 / Engelsk
Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures Aldini Alessandro Heftet / 2011 / Engelsk
Foundations of Security Analysis and Design VIII FOSAD 2014/2015/2016 Tutorial Lectures Aldini Alessandro Heftet / 2016 / Engelsk
Foundations of Security Analysis and Design VII FOSAD 2012 / 2013 Tutorial Lectures Aldini Alessandro Heftet / 2014 / Engelsk
Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures Aldini Alessandro Heftet / 2005 / Engelsk
Foundations of Security Analysis and Design V FOSAD 2008/2009 Tutorial Lectures Aldini Alessandro Heftet / 2009 / Engelsk
Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings Aldini Alessandro Heftet / 2010 / Engelsk
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 Aldini Alessandro Heftet / 2010 / Engelsk
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 Livraga Giovanni Heftet / 2016 / Engelsk
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 Garcia-Alfaro Joaquin Heftet / 2016 / Engelsk
Process Algebraic Approach to Software Architecture Design Aldini Alessandro Innbundet / 2009 / Engelsk
