A
Alessandro Aldini
12 works on record
Works

A process algebraic approach to software architecture design

Foundations of Security Analysis and Design VI

Foundations of Security Analysis and Design V

Foundations of Security Analysis and Design III

Data Privacy Management, and Security Assurance

User-Centric Networking

Foundations of Security Analysis and Design VIII
Formal Methods for Quantitative Aspects of Programming Languages
Formal Methods for Quantitative Aspects of Programming Languages
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
Computer Performance Engineering
Computer Performance Engineering
Foundations of Security Analysis and Design VII
Foundations of Security Analysis and Design VII
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops