Foundations of Security Analysis and Design : FOSAD 2006/2007 Turtorial Lectures

Published 2007

Foundations of Security Analysis and Design V : FOSAD 2008/2009 Tutorial Lectures

Published 2009

Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2...

Published 2010

Foundations of Security Analysis and Design VI : FOSAD Tutorial Lectures

Published 2011

A Process Algebraic Approach to Software Architecture Design

by Aldini, Alessandro, Bernardo, Marco, Corradini, Flavio
Published 2010

Foundations of Security Analysis and Design VIII : FOSAD 2014/2015/2016 Tutorial Lectures

Published 2016

Data Privacy Management and Security Assurance : 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, P...

Published 2016

Foundations of Security Analysis and Design VII : FOSAD 2012 / 2013 Tutorial Lectures

Published 2014

Data Privacy Management, and Security Assurance : 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised...

Published 2016

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

Published 2010

Foundations of Security Analysis and Design III : FOSAD 2004/2005 Tutorial Lectures

Published 2005