 | 2012 |
|---|
| 45 |       | Alessandro Aldini:
Approximating Markovian testing equivalence.
Theor. Comput. Sci. 413(1): 73-86 (2012) |
| 2011 |
|---|
| 44 | | Alessandro Aldini,
Roberto Gorrieri:
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures
Springer 2011 |
| 43 | | Alessandro Aldini,
Marco Bernardo,
Jeremy Sproston:
Performability Measure Specification: Combining CSRL and MSL.
FMICS 2011: 165-179 |
| 42 | | Alessandro Aldini,
Marco Bernardo:
Component-oriented verification of noninterference.
Journal of Systems Architecture - Embedded Systems Design 57(3): 282-293 (2011) |
| 2010 |
|---|
| 41 | | Alessandro Aldini,
Marco Bernardo,
Flavio Corradini:
A Process Algebraic Approach to Software Architecture Design.
Springer 2010: I-XV, 1-304 |
| 40 | | Alessandro Aldini,
Marco Bernardo,
Alessandra Di Pierro,
Herbert Wiklicky:
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
Springer 2010 |
| 39 | | Alessandro Aldini,
Marco Bernardo,
Luciano Bononi,
Vittorio Cortellessa:
Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
Springer 2010 |
| 38 | | Alessandro Aldini:
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior
QAPL 2010: 1-15 |
| 37 | | Marco Bernardo,
Edoardo Bontà,
Alessandro Aldini:
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation.
Journal of Systems and Software 83(8): 1404-1429 (2010) |
| 2009 |
|---|
| 36 | | Alessandro Aldini,
Gilles Barthe,
Roberto Gorrieri:
Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures
Springer 2009 |
| 35 | | Alessandro Aldini,
Marco Bernardo:
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference.
ARSPA-WITS 2009: 18-33 |
| 34 | | Alessandro Aldini,
Maurice H. ter Beek,
Fabio Gadducci:
Preface.
Electr. Notes Theor. Comput. Sci. 236: 1-3 (2009) |
| 2008 |
|---|
| 33 | | Alessandro Aldini,
Marco Bernardo:
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems.
WADS 2008: 228-254 |
| 32 | | Alessandro Aldini,
Christel Baier:
Preface.
Electr. Notes Theor. Comput. Sci. 220(3): 1-3 (2008) |
| 31 | | Alessandro Aldini,
Alessandra Di Pierro:
Estimating the maximum information leakage.
Int. J. Inf. Sec. 7(3): 219-242 (2008) |
| 2007 |
|---|
| 30 |  | Alessandro Aldini,
Roberto Gorrieri:
Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures
Springer 2007 |
| 29 | | Marco Bernardo,
Alessandro Aldini:
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions.
ICTCS 2007: 39-56 |
| 28 | | Alessandro Aldini,
Franck van Breugel:
Preface.
Electr. Notes Theor. Comput. Sci. 190(3): 1-2 (2007) |
| 27 | | Alessandro Aldini,
Marco Bernardo:
A formal approach to the integrated analysis of security and QoS.
Rel. Eng. & Sys. Safety 92(11): 1503-1520 (2007) |
| 26 | | Alessandro Aldini,
Marco Bernardo:
Mixing logics and rewards for the component-oriented specification of performance measures.
Theor. Comput. Sci. 382(1): 3-23 (2007) |
| 2006 |
|---|
| 25 | | Alessandro Aldini,
Marco Bernardo:
Component-Oriented Specification of Performance Measures.
Electr. Notes Theor. Comput. Sci. 164(3): 27-43 (2006) |
| 24 | | Alessandro Aldini:
Classification of security properties in a Linda-like process algebra.
Sci. Comput. Program. 63(1): 16-38 (2006) |
| 2005 |
|---|
| 23 | | Alessandro Aldini,
Roberto Gorrieri,
Fabio Martinelli:
Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures
Springer 2005 |
| 22 | | Andrea Acquaviva,
Alessandro Aldini,
Marco Bernardo,
Alessandro Bogliolo,
Edoardo Bontà,
Emanuele Lattanzi:
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management.
SFM 2005: 155-189 |
| 21 | | Alessandro Aldini,
Alessandra Di Pierro:
On Quantitative Analysis of Probabilistic Protocols.
Electr. Notes Theor. Comput. Sci. 112: 131-148 (2005) |
| 20 | | Alessandro Aldini,
Marco Bernardo:
On the usability of process algebra: An architectural view.
Theor. Comput. Sci. 335(2-3): 281-329 (2005) |
| 2004 |
|---|
| 19 | | Andrea Acquaviva,
Alessandro Aldini,
Marco Bernardo,
Alessandro Bogliolo,
Edoardo Bontà,
Emanuele Lattanzi:
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances.
DSN 2004: 731- |
| 18 | | Angelo Troina,
Alessandro Aldini,
Roberto Gorrieri:
Towards a Formal Treatment of Secrecy Against Computational Adversaries.
Global Computing 2004: 77-92 |
| 17 | | Alessandro Aldini,
Marco Bernardo:
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation.
QEST 2004: 336-337 |
| 16 | | Alessandro Aldini,
Marco Bernardo:
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth.
SAFECOMP 2004: 283-296 |
| 15 | | Alessandro Aldini,
Alessandra Di Pierro:
A Quantitative Approach to Noninterference for Probabilistic Systems.
Electr. Notes Theor. Comput. Sci. 99: 155-182 (2004) |
| 14 | | Angelo Troina,
Alessandro Aldini,
Roberto Gorrieri:
Approximating Imperfect Cryptography in a Formal Model.
Electr. Notes Theor. Comput. Sci. 99: 183-203 (2004) |
| 13 | | Alessandro Aldini,
Mario Bravetti,
Roberto Gorrieri:
A process-algebraic approach for the analysis of probabilistic noninterference.
Journal of Computer Security 12(2): 191-245 (2004) |
| 2003 |
|---|
| 12 | | Alessandro Aldini,
Marco Bernardo:
A General Approach to Deadlock Freedom Verification for Software Architectures.
FME 2003: 658-677 |
| 11 | | Alessandro Aldini,
Roberto Gorrieri:
A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism.
Global Computing 2003: 203-228 |
| 10 | | Alessandro Aldini,
Marco Roccetti,
Roberto Gorrieri:
On Securing Real-Time Speech Transmission over the Internet: An Experimental Study.
EURASIP J. Adv. Sig. Proc. 2003(10): 1027-1042 (2003) |
| 9 | | Alessandro Aldini:
Coordination Model and Noninterference.
Electr. Notes Theor. Comput. Sci. 85(3): 37-53 (2003) |
| 8 | | Mario Bravetti,
Alessandro Aldini:
Discrete time generative-reactive probabilistic processes with different advancing speeds.
Theor. Comput. Sci. 290(1): 355-406 (2003) |
| 2002 |
|---|
| 7 | | Alessandro Aldini,
Mario Bravetti,
Alessandra Di Pierro,
Roberto Gorrieri,
Chris Hankin,
Herbert Wiklicky:
Two Formal Approaches for Approximating Noninterference Properties.
FOSAD 2002: 1-43 |
| 6 | | Alessandro Aldini,
Roberto Gorrieri:
Security Analysis of a Probabilistic Non-repudiation Protocol.
PAPM-PROBMIV 2002: 17-36 |
| 2001 |
|---|
| 5 | | Alessandro Aldini:
Probabilistic Information Flow in a Process Algebra.
CONCUR 2001: 152-168 |
| 4 | | Mario Bravetti,
Alessandro Aldini:
Expressing Processes with Different Action Durations through Probabilities.
PAPM-PROBMIV 2001: 168-183 |
| 3 | | Alessandro Aldini,
Marco Bernardo,
Roberto Gorrieri,
Marco Roccetti:
Comparing the QoS of Internet audio mechanisms via formal methods.
ACM Trans. Model. Comput. Simul. 11(1): 1-42 (2001) |
| 2 | | Mario Bravetti,
Alessandro Aldini:
Non-determinism in Probabilistic Timed Systems with General Distributions.
Electr. Notes Theor. Comput. Sci. 52(3): 246-274 (2001) |
| 2000 |
|---|
| 1 | | Alessandro Aldini,
Mario Bravetti:
An Asynchronous Calculus for Generative-Reactive Probalistic Systems.
ICALP Satellite Workshops 2000: 591-606 |
Data released under the ODC-BY 1.0 license — See also our legal information page