Marco Bernardo
Titolo
Citata da
Citata da
Anno
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
4131998
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
1742002
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
911999
Towards performance evaluation with general distributions in process algebras
M Bravetti, M Bernardo, R Gorrieri
International Conference on Concurrency Theory, 405-422, 1998
871998
A process algebraic approach to software architecture design
A Aldini, M Bernardo, F Corradini
Springer Science & Business Media, 2010
782010
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
731998
Performance measure sensitive congruences for Markovian process algebras
M Bernardo, M Bravetti
Theoretical Computer Science 290 (1), 117-160, 2003
712003
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
662000
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
642000
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
631998
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
622002
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
502005
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
50*2003
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
502002
An algebra-based method to associate rewards with EMPA terms
M Bernardo
International Colloquium on Automata, Languages, and Programming, 358-368, 1997
491997
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
Technical report, Laboratory of Computer Science, 1994
461994
Performance evaluation at the software architecture level
S Balsamo, M Bernardo, M Simeoni
International School on Formal Methods for the Design of Computer …, 2003
432003
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20