| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alessandro Aldini |
Approximating Markovian testing equivalence.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo |
Component-oriented verification of noninterference. |
Journal of Systems Architecture - Embedded Systems Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo, Jeremy Sproston |
Performability Measure Specification: Combining CSRL and MSL. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Roberto Gorrieri (eds.) |
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures |
FOSAD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Edoardo Bontà, Alessandro Aldini |
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation. |
Journal of Systems and Software |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini |
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior |
QAPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo, Flavio Corradini |
A Process Algebraic Approach to Software Architecture Design. |
|
2010 |
DOI RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.) |
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 |
SFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa (eds.) |
Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings |
EPEW |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo |
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.) |
Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures |
FOSAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Alessandra Di Pierro |
Estimating the maximum information leakage. |
Int. J. Inf. Sec. |
2008 |
DBLP DOI BibTeX RDF |
Approximate noninterference, Bisimulation semantics, Process algebra, Probabilistic models, Covert channels |
| 1 | Alessandro Aldini, Christel Baier |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo |
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. |
WADS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo |
Mixing logics and rewards for the component-oriented specification of performance measures. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Franck van Breugel |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Alessandro Aldini |
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Aldini, Roberto Gorrieri (eds.) |
Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures |
FOSAD |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Aldini |
Classification of security properties in a Linda-like process algebra. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo |
Component-Oriented Specification of Performance Measures. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo |
On the usability of process algebra: An architectural view. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Alessandra Di Pierro |
On Quantitative Analysis of Probabilistic Protocols. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.) |
Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures |
FOSAD |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Mario Bravetti, Roberto Gorrieri |
A process-algebraic approach for the analysis of probabilistic noninterference. |
Journal of Computer Security |
2004 |
DBLP BibTeX RDF |
|
| 1 | Angelo Troina, Alessandro Aldini, Roberto Gorrieri |
Approximating Imperfect Cryptography in a Formal Model. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Alessandra Di Pierro |
A Quantitative Approach to Noninterference for Probabilistic Systems. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo |
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Troina, Alessandro Aldini, Roberto Gorrieri |
Towards a Formal Treatment of Secrecy Against Computational Adversaries. |
Global Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo |
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Roccetti, Roberto Gorrieri |
On Securing Real-Time Speech Transmission over the Internet: An Experimental Study. |
EURASIP J. Adv. Sig. Proc. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Alessandro Aldini |
Discrete time generative-reactive probabilistic processes with different advancing speeds. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini |
Coordination Model and Noninterference. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Roberto Gorrieri |
A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism. |
Global Computing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo |
A General Approach to Deadlock Freedom Verification for Software Architectures. |
FME |
2003 |
DBLP DOI BibTeX RDF |
software architecture, process algebra, deadlock |
| 1 | Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky |
Two Formal Approaches for Approximating Noninterference Properties. |
FOSAD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Roberto Gorrieri |
Security Analysis of a Probabilistic Non-repudiation Protocol. |
PAPM-PROBMIV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo, Roberto Gorrieri, Marco Roccetti |
Comparing the QoS of Internet audio mechanisms via formal methods. |
ACM Trans. Model. Comput. Simul. |
2001 |
DBLP DOI BibTeX RDF |
Internet audio mechanisms, quality of service, software tools, case studies, discrete event simulation, stochastic process algebras |
| 1 | Mario Bravetti, Alessandro Aldini |
Non-determinism in Probabilistic Timed Systems with General Distributions. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini |
Probabilistic Information Flow in a Process Algebra. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Alessandro Aldini |
Expressing Processes with Different Action Durations through Probabilities. |
PAPM-PROBMIV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Mario Bravetti |
An Asynchronous Calculus for Generative-Reactive Probalistic Systems. |
ICALP Satellite Workshops |
2000 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")