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
4051998
Performance evaluation of software architectures
LG Williams, CU Smith
Proceedings of the 1st international workshop on Software and performance …, 1998
1881998
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
1662002
Extended Markovian process algebra
M Bernardo, R Gorrieri
International Conference on Concurrency Theory, 315-330, 1996
1231996
Theory and application of extended Markovian process algebra
M Bernardo
Bulletin-European Association for Theoretical Computer Science 68, 239-244, 1999
901999
Towards performance evaluation with general distributions in process algebras
M Bravetti, M Bernardo, R Gorrieri
International Conference on Concurrency Theory, 405-422, 1998
861998
A process algebraic approach to software architecture design
A Aldini, M Bernardo, F Corradini
Springer Science & Business Media, 2010
752010
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
701998
Performance measure sensitive congruences for Markovian process algebras
M Bernardo, M Bravetti
Theoretical Computer Science 290 (1), 117-160, 2003
682003
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
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
642000
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
612002
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
591998
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
582000
On the usability of process algebra: An architectural view
A Aldini, M Bernardo
Theoretical Computer Science 335 (2-3), 281-329, 2005
492005
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
482002
A theory of testing for Markovian processes
M Bernardo, R Cleaveland
International Conference on Concurrency Theory, 305-319, 2000
482000
MPA: a stochastic process algebra
M Bernardo, L Donatiello, R Gorrieri
University of Bologna, 1994
481994
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
47*2009
The system can't perform the operation now. Try again later.
Articles 1–20