Concepedia

Marco Bernardo

MB

34

Publications

1.1K

Citations

19

H-Index

1994

Active since

Affiliations

University of Urbino(Current)

University of Bologna

University of Turin

University of Florence

IMT School for Advanced Studies Lucca

Marco Bernardo is an author at University of Urbino specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringComputer ScienceFormal MethodsSystems EngineeringFormal VerificationSoftware DesignSoftware AnalysisSystem SoftwareProbabilityAutomated Reasoning

Publications per year

1994–2014

34

Publications

34

A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time

Marco Bernardo, Roberto Gorrieri · Theoretical Computer Science · 1998 · 285 citations

Engineering, Concurrent Programming, Concurrency Theory +8

Architecting families of software systems with process algebras

Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello · ACM Transactions on Software Engineering and Methodology · 2002 · 117 citations

Software Maintenance, Engineering, Software Systems +22

Performance measure sensitive congruences for Markovian process algebras

Marco Bernardo, Mario Bravetti · Theoretical Computer Science · 2002 · 58 citations

Integrable Probability, Markov Kernel, Markovian Process Algebras +2

Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time

Mario Bravetti, Marco Bernardo · Electronic Notes in Theoretical Computer Science · 2000 · 45 citations · Full text

Engineering, Computational Model Theory, Complex Systems +20

On the formalization of architectural types with process algebras

Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello · 2000 · 43 citations · Full text

Engineering, Architectural Engineering, Architectural Types +22

Rows per page

1–5 of 34