Marco Bernardo
Cited by
Cited by
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
Performance evaluation of software architectures
LG Williams, CU Smith
Proceedings of the 1st international workshop on Software and performance …, 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
Extended Markovian process algebra
M Bernardo, R Gorrieri
International Conference on Concurrency Theory, 315-330, 1996
Theory and application of extended Markovian process algebra
M Bernardo
Bulletin-European Association for Theoretical Computer Science 68, 239-244, 1999
Towards performance evaluation with general distributions in process algebras
M Bravetti, M Bernardo, R Gorrieri
International Conference on Concurrency Theory, 405-422, 1998
A process algebraic approach to software architecture design
A Aldini, M Bernardo, F Corradini
Springer Science & Business Media, 2010
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
Performance measure sensitive congruences for Markovian process algebras
M Bernardo, M Bravetti
Theoretical Computer Science 290 (1), 117-160, 2003
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
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
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
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
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
On the usability of process algebra: An architectural view
A Aldini, M Bernardo
Theoretical Computer Science 335 (2-3), 281-329, 2005
An algebra-based method to associate rewards with EMPA terms
M Bernardo
International Colloquium on Automata, Languages, and Programming, 358-368, 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
A theory of testing for Markovian processes
M Bernardo, R Cleaveland
International Conference on Concurrency Theory, 305-319, 2000
MPA: a stochastic process algebra
M Bernardo, L Donatiello, R Gorrieri
University of Bologna, 1994
A novel framework for dynamic spectrum management in multicell OFDMA networks based on reinforcement learning
F Bernardo, R Agustí, J Pérez-Romero, O Sallent
2009 IEEE Wireless Communications and Networking Conference, 1-6, 2009
The system can't perform the operation now. Try again later.
Articles 1–20