Travelled to:1 × Cyprus
2 × Italy
Collaborated with:M.Bernardo ∅ A.D.Pierro A.Acquaviva A.Bogliolo E.Bontà E.Lattanzi
Talks about:quantit (2) base (2) probabilist (1) architectur (1) methodolog (1) bisimilar (1) protocol (1) deadlock (1) behavior (1) automata (1)
Person: Alessandro Aldini
DBLP: Aldini:Alessandro
Facilitated 4 volumes:
Ed
EdEdEdContributed to:
20152010200620052005
20032019Wrote 7 papers:
- QAPL-2015-AldiniB #automaton #markov #similarity
- Expected-Delay-Summing Weak Bisimilarity for Markov Automata (AA, MB), pp. 1–15.
- QAPL-2010-Aldini #approximate #behaviour #equivalence #probability #testing
- Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior (AA), pp. 1–15.
- QAPL-2006-AldiniB #component #metric #performance #specification
- Component-Oriented Specification of Performance Measures (AA, MB), pp. 27–43.
- SFM-2005-AcquavivaABBBL #formal method #impact analysis #power management #predict
- A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management (AA, AA, MB, AB, EB, EL), pp. 155–189.
- QAPL-2004-AldiniP05 #analysis #on the #probability #protocol
- On Quantitative Analysis of Probabilistic Protocols (AA, ADP), pp. 131–148.
- FME-2003-AldiniB #approach #architecture #concurrent #verification
- A General Approach to Deadlock Freedom Verification for Software Architectures (AA, MB), pp. 658–677.
- QAPL-2019-Aldini #aspect-oriented #programming language
- Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond (AA), pp. 1–19.