Books by author

Alessandro Aldini

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

2010 · ENGLISH · PDF

View details

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

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

2016 · ENGLISH · PDF

View details

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

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

2016 · ENGLISH · PDF

View details

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

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

2016 · ENGLISH · PDF

View details

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, 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

2015 · ENGLISH · PDF

View details

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

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

2014 · ENGLISH · PDF

View details

User-Centric Networking: Future Perspectives

User-Centric Networking: Future Perspectives

2014 · ENGLISH · PDF

View details

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-26, 2010, Advanced 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-26, 2010, Advanced Lectures

2010 · ENGLISH · PDF

View details

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

2004 · ENGLISH · PDF

View details

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

2010 · ENGLISH · PDF

View details

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

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

2007 · ENGLISH · PDF

View details

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

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

2005 · ENGLISH · PDF

View details

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

2011 · ENGLISH · PDF

View details

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

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

2009 · ENGLISH · PDF

View details

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

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

2010 · ENGLISH · PDF

View details

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-26, 2010, Advanced 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-26, 2010, Advanced Lectures

2010 · ENGLISH · PDF

View details

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

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

2010 · ENGLISH · PDF

View details

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

2011 · ENGLISH · PDF

View details

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-26, 2010, Advanced 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-26, 2010, Advanced Lectures

2010 · ENGLISH · PDF

View details

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

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

2009 · ENGLISH · PDF

View details

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

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

2009 · ENGLISH · PDF

View details

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

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

2007 · ENGLISH · PDF

View details

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

2004 · ENGLISH · PDF

View details

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

2010 · ENGLISH · PDF

View details