Follow
Marco Bernardo
Title
Cited by
Cited by
Year
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
4351998
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
1802002
Extended Markovian process algebra
M Bernardo, R Gorrieri
International Conference on Concurrency Theory, 315-330, 1996
1311996
Theory and application of extended Markovian process algebra
M Bernardo
Bulletin-European Association for Theoretical Computer Science 68, 239-244, 1999
1041999
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
931998
A process algebraic approach to software architecture design
A Aldini, M Bernardo, F Corradini
Springer Science & Business Media, 2010
882010
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
791998
Performance measure sensitive congruences for Markovian process algebras
M Bernardo, M Bravetti
Theoretical Computer Science 290 (1), 117-160, 2003
742003
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
722000
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
682002
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
652000
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
651998
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
632000
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
522005
A theory of testing for Markovian processes
M Bernardo, R Cleaveland
CONCUR 2000—Concurrency Theory: 11th International Conference University …, 2000
522000
An algebra-based method to associate rewards with EMPA terms
M Bernardo
International Colloquium on Automata, Languages, and Programming, 358-368, 1997
521997
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
512002
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
482013
MPA: a stochastic process algebra
M Bernardo, L Donatiello, R Gorrieri
Technical Report UBLCS-94-10, Laboratory of Computer Science, 1994
481994
The system can't perform the operation now. Try again later.
Articles 1–20