Marco Bernardo
Author
Alternate names M. Bernardo, Marco Bernardo
Institution University of Urbino
Past institutions University of Urbino, Ospedale San Pietro Fatebenefratelli, University of Bologna, University of Turin, Utrecht University +5 more
ORCID: Yes
H-index: 26
I10-index: 62
Works count: 192
Citations count: 2,482
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
1998 · Marco Bernardo, Roberto Gorrieri · Theoretical Computer Science
Formal Methods for Software Architectures
2003 · Marco Bernardo, Paola Inverardi · Lecture notes in computer science
Architecting families of software systems with process algebras
2002 · Marco Bernardo, Paolo Ciancarini, et al. · ACM Transactions on Software Engineering and Methodology