Marco Bernardo
TitleCited byYear
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
M Bernardo, R Gorrieri
Theoretical Computer Science 202 (1-2), 1-54, 1998
3951998
Performance evaluation of software architectures
LG Williams, CU Smith
WOSP 98, 164-177, 1998
1771998
Architecting families of software systems with process algebras
M Bernardo, P Ciancarini, L Donatiello
ACM Transactions on Software Engineering and Methodology (TOSEM) 11 (4), 386-426, 2002
1532002
Extended Markovian process algebra
M Bernardo, R Gorrieri
International Conference on Concurrency Theory, 315-330, 1996
1171996
Theory and application of extended Markovian process algebra
M Bernardo
BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 68, 239-244, 1999
881999
Towards performance evaluation with general distributions in process algebras
M Bravetti, M Bernardo, R Gorrieri
International Conference on Concurrency Theory, 405-422, 1998
811998
Performance measure sensitive congruences for Markovian process algebras
M Bernardo, M Bravetti
Theoretical Computer Science 290 (1), 117-160, 2003
692003
A process algebraic approach to software architecture design
A Aldini, M Bernardo, F Corradini
Springer Science & Business Media, 2010
682010
TwoTowers: A tool integrating functional and performance analysis of concurrent systems
M Bernardo, WR Cleaveland, ST Sims, WJ Stewart
Formal Description Techniques and Protocol Specification, Testing and …, 1998
681998
On the formalization of architectural types with process algebras
M Bernardo, P Ciancarini, L Donatiello
ACM SIGSOFT Software Engineering Notes 25 (6), 140-148, 2000
652000
Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time
M Bravetti, M Bernardo
Electronic Notes in Theoretical Computer Science 39 (3), 197-230, 2000
632000
Stochastic process algebra: From an algebraic formalism to an architectural description language
M Bernardo, L Donatiello, P Ciancarini
IFIP International Symposium on Computer Performance Modeling, Measurement …, 2002
602002
AEMPA: A process algebraic description language for the performance analysis of software architectures
M Bernardo, P Ciancarini, L Donatiello
Workshop on software and performance, 1-11, 2000
572000
A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems
M Bernardo, L Donatiello, R Gorrieri
Information and Computation 144 (2), 83-154, 1998
561998
An algebra-based method to associate rewards with EMPA terms
M Bernardo
International Colloquium on Automata, Languages, and Programming, 358-368, 1997
491997
Combining stochastic process algebras and queueing networks for software architecture analysis
S Balsamo, M Bernardo, M Simeoni
Proceedings of the 3rd International Workshop on Software and Performance …, 2002
472002
A theory of testing for Markovian processes
M Bernardo, R Cleaveland
International Conference on Concurrency Theory, 305-319, 2000
472000
MPA: a stochastic process algebra
M Bernardo, L Donatiello, R Gorrieri
University of Bologna, 1994
471994
On the usability of process algebra: An architectural view
A Aldini, M Bernardo
Theoretical Computer Science 335 (2-3), 281-329, 2005
462005
Performance evaluation at the software architecture level
S Balsamo, M Bernardo, M Simeoni
International School on Formal Methods for the Design of Computer …, 2003
402003
The system can't perform the operation now. Try again later.
Articles 1–20