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 | 435 | 1998 |
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 | 180 | 2002 |
Extended Markovian process algebra M Bernardo, R Gorrieri International Conference on Concurrency Theory, 315-330, 1996 | 131 | 1996 |
Theory and application of extended Markovian process algebra M Bernardo Bulletin-European Association for Theoretical Computer Science 68, 239-244, 1999 | 104 | 1999 |
Towards performance evaluation with general distributions in process algebras M Bravetti, M Bernardo, R Gorrieri CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998 | 93 | 1998 |
A process algebraic approach to software architecture design A Aldini, M Bernardo, F Corradini Springer Science & Business Media, 2010 | 88 | 2010 |
TwoTowers: A tool integrating functional and performance analysis of concurrent systems M Bernardo, WR Cleaveland, ST Sims, WJ Stewart International Conference on Protocol Specification, Testing and Verification …, 1998 | 78 | 1998 |
Performance measure sensitive congruences for Markovian process algebras M Bernardo, M Bravetti Theoretical Computer Science 290 (1), 117-160, 2003 | 72 | 2003 |
On the formalization of architectural types with process algebras M Bernardo, P Ciancarini, L Donatiello Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of …, 2000 | 71 | 2000 |
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 | 67 | 2002 |
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 | 65 | 1998 |
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 | 64 | 2000 |
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 | 63 | 2000 |
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures … M Bernardo, P Inverardi Springer, 2003 | 54* | 2003 |
On the usability of process algebra: An architectural view A Aldini, M Bernardo Theoretical Computer Science 335 (2-3), 281-329, 2005 | 52 | 2005 |
A theory of testing for Markovian processes M Bernardo, R Cleaveland CONCUR 2000—Concurrency Theory: 11th International Conference University …, 2000 | 52 | 2000 |
An algebra-based method to associate rewards with EMPA terms M Bernardo International Colloquium on Automata, Languages, and Programming, 358-368, 1997 | 52 | 1997 |
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 | 51 | 2002 |
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences M Bernardo, R De Nicola, M Loreti Information and Computation 225, 29-82, 2013 | 48 | 2013 |
MPA: a stochastic process algebra M Bernardo, L Donatiello, R Gorrieri Technical Report UBLCS-94-10, Laboratory of Computer Science, 1994 | 48 | 1994 |