×

zbMATH — the first resource for mathematics

Bernardo, Marco

Compute Distance To:
Author ID: bernardo.marco Recent zbMATH articles by "Bernardo, Marco"
Published as: Bernardo, Marco; Bernardo, M.
External Links: ORCID
Documents Indexed: 58 Publications since 1997, including 14 Books

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 159 times in 98 Documents Cited by Year
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Zbl 0902.68075
Bernardo, Marco; Gorrieri, Roberto
42
1998
Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time. Zbl 0970.68114
Bravetti, Mario; Bernardo, Marco
12
2000
Performance measure sensitive congruences for Markovian process algebras. Zbl 1019.68065
Bernardo, Marco; Bravetti, Mario
9
2003
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Zbl 1358.68210
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
8
2013
A process algebraic approach to software architecture design. Zbl 1255.68004
Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio
8
2010
A survey of Markovian behavioral equivalences. Zbl 1323.68402
Bernardo, Marco
7
2007
A theory of testing for Markovian processes. Zbl 0999.68144
Bernardo, Marco; Cleaveland, Rance
6
2000
A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems. Zbl 0909.68074
Bernardo, Marco; Donatiello, Lorenzo; Gorrieri, Roberto
6
1998
Non-bisimulation-based Markovian behavioral equivalences. Zbl 1121.68077
Bernardo, Marco
6
2007
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. Zbl 1326.68197
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
5
2012
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Zbl 1360.68626
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
5
2014
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Zbl 1331.68147
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
4
2015
Reward based congruences: Can we aggregate more? Zbl 1007.68132
Bernardo, Marco; Bravetti, Mario
4
2001
A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems. Zbl 1141.68044
Bernardo, Marco; Botta, Stefania
4
2008
On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi. Zbl 1302.68199
Bernardo, Marco
3
2015
An algebra-based method to associate rewards with EMPA terms. Zbl 1401.68222
Bernardo, Marco
3
1997
Stochastic process algebra: From an algebraic formalism to an architectural description language. Zbl 1017.68579
Bernardo, Marco; Donatiello, Lorenzo; Ciancarini, Paolo
3
2002
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. Zbl 1325.68159
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
3
2014
Modal logic characterization of Markovian testing and trace equivalences. Zbl 1276.68119
Bernardo, Marco; Botta, Stefania
3
2007
Group-by-group probabilistic bisimilarities and their logical characterizations. Zbl 1348.68156
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
2
2014
On the usability of process algebra: An architectural view. Zbl 1080.68071
Aldini, Alessandro; Bernardo, Marco
2
2005
The discrete Painlevé I equations: transcendental integrability and asymptotic solutions. Zbl 1057.39009
Bernardo, M.; Truong, T. T.; Rollet, G.
2
2001
Formal performance modelling and evaluation of an adaptive mechanism for packetised audio over the internet. Zbl 1111.68453
Bernardo, Marco; Gorrieri, Roberto; Roccetti, Marco
2
1998
Formal methods for performance evaluation. 7th international school on formal methods for the design of computer, communication, and software systems, SFM 2007, Bertinoro, Italy, May 28 – June 2, 2007. Advanced lectures. Zbl 1118.68001
Bernardo, Marco (ed.); Hillston, Jane (ed.)
2
2007
On the discriminating power of passivation and higher-order interaction. Zbl 1392.68283
Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria
1
2014
Integrating TwoTowers and GreatSPN through a compact net semantics. Zbl 1159.68513
Bernardo, Marco; Busi, Nadia; Ribaudo, Marina
1
2002
Exogenous and endogenous extensions of architectural types. Zbl 1053.68560
Bernardo, Marco; Franzè, Francesco
1
2002
Architectural types revisited: Extensible and/or connections. Zbl 1059.68539
Bernardo, Marco; Franzè, Francesco
1
2002
Formal methods for software architectures. Third international school on formal methods for the design of computer communication and software systems: Software architectures, SFM 2003, Bertinoro, Italy, September 22–27, 2003. Advanced lectures. Zbl 1044.68889
Bernardo, Marco (ed.); Inverardi, Paola (ed.)
1
2003
Corrigendum to “A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time”. Zbl 0973.68179
Bernardo, Marco; Gorrieri, Roberto
1
2001
Mixing logics and rewards for the component-oriented specification of performance measures. Zbl 1159.68020
Aldini, Alessandro; Bernardo, Marco
1
2007
Towards state space reduction based on T-lumpability-consistent relations. Zbl 1180.68186
Bernardo, Marco
1
2008
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Zbl 1331.68147
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
4
2015
On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi. Zbl 1302.68199
Bernardo, Marco
3
2015
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Zbl 1360.68626
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
5
2014
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. Zbl 1325.68159
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
3
2014
Group-by-group probabilistic bisimilarities and their logical characterizations. Zbl 1348.68156
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
2
2014
On the discriminating power of passivation and higher-order interaction. Zbl 1392.68283
Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria
1
2014
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Zbl 1358.68210
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
8
2013
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. Zbl 1326.68197
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
5
2012
A process algebraic approach to software architecture design. Zbl 1255.68004
Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio
8
2010
A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems. Zbl 1141.68044
Bernardo, Marco; Botta, Stefania
4
2008
Towards state space reduction based on T-lumpability-consistent relations. Zbl 1180.68186
Bernardo, Marco
1
2008
A survey of Markovian behavioral equivalences. Zbl 1323.68402
Bernardo, Marco
7
2007
Non-bisimulation-based Markovian behavioral equivalences. Zbl 1121.68077
Bernardo, Marco
6
2007
Modal logic characterization of Markovian testing and trace equivalences. Zbl 1276.68119
Bernardo, Marco; Botta, Stefania
3
2007
Formal methods for performance evaluation. 7th international school on formal methods for the design of computer, communication, and software systems, SFM 2007, Bertinoro, Italy, May 28 – June 2, 2007. Advanced lectures. Zbl 1118.68001
Bernardo, Marco; Hillston, Jane
2
2007
Mixing logics and rewards for the component-oriented specification of performance measures. Zbl 1159.68020
Aldini, Alessandro; Bernardo, Marco
1
2007
On the usability of process algebra: An architectural view. Zbl 1080.68071
Aldini, Alessandro; Bernardo, Marco
2
2005
Performance measure sensitive congruences for Markovian process algebras. Zbl 1019.68065
Bernardo, Marco; Bravetti, Mario
9
2003
Formal methods for software architectures. Third international school on formal methods for the design of computer communication and software systems: Software architectures, SFM 2003, Bertinoro, Italy, September 22–27, 2003. Advanced lectures. Zbl 1044.68889
Bernardo, Marco; Inverardi, Paola
1
2003
Stochastic process algebra: From an algebraic formalism to an architectural description language. Zbl 1017.68579
Bernardo, Marco; Donatiello, Lorenzo; Ciancarini, Paolo
3
2002
Integrating TwoTowers and GreatSPN through a compact net semantics. Zbl 1159.68513
Bernardo, Marco; Busi, Nadia; Ribaudo, Marina
1
2002
Exogenous and endogenous extensions of architectural types. Zbl 1053.68560
Bernardo, Marco; Franzè, Francesco
1
2002
Architectural types revisited: Extensible and/or connections. Zbl 1059.68539
Bernardo, Marco; Franzè, Francesco
1
2002
Reward based congruences: Can we aggregate more? Zbl 1007.68132
Bernardo, Marco; Bravetti, Mario
4
2001
The discrete Painlevé I equations: transcendental integrability and asymptotic solutions. Zbl 1057.39009
Bernardo, M.; Truong, T. T.; Rollet, G.
2
2001
Corrigendum to “A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time”. Zbl 0973.68179
Bernardo, Marco; Gorrieri, Roberto
1
2001
Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time. Zbl 0970.68114
Bravetti, Mario; Bernardo, Marco
12
2000
A theory of testing for Markovian processes. Zbl 0999.68144
Bernardo, Marco; Cleaveland, Rance
6
2000
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Zbl 0902.68075
Bernardo, Marco; Gorrieri, Roberto
42
1998
A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems. Zbl 0909.68074
Bernardo, Marco; Donatiello, Lorenzo; Gorrieri, Roberto
6
1998
Formal performance modelling and evaluation of an adaptive mechanism for packetised audio over the internet. Zbl 1111.68453
Bernardo, Marco; Gorrieri, Roberto; Roccetti, Marco
2
1998
An algebra-based method to associate rewards with EMPA terms. Zbl 1401.68222
Bernardo, Marco
3
1997
all top 5

Cited by 143 Authors

16 Bernardo, Marco
10 Bravetti, Mario
9 Hermanns, Holger
8 Katoen, Joost-Pieter
6 Tarasyuk, Igor’ Valer’evich
5 Gorrieri, Roberto
5 Loreti, Michele
4 Aldini, Alessandro
4 Baier, Christel
4 Tini, Simone
4 Tribastone, Mirco
4 Tschaikowski, Max
3 Castiglioni, Valentina
3 D’Argenio, Pedro Rubén
3 De Nicola, Rocco
3 Hillston, Jane
3 Kwiatkowska, Marta Z.
2 Baeten, Jos C. M.
2 Bedford, Eric
2 Boreale, Michele
2 Buchholz, Peter
2 Corradini, Flavio
2 Ding, Jie
2 Gebler, Daniel E.
2 Harrison, Peter G.
2 Lanotte, Ruggero
2 Macià, Hermenegilda
2 Majster-Cederbaum, Mila E.
2 Marin, Andrea
2 Norman, Gethin
2 Priami, Corrado
2 Siegle, Markus
2 Valero, Valentín
2 Wolf, Verena
2 Zavattaro, Gianluigi
1 Ábrahám, Erika
1 Alzetta, Giacomo
1 Arbab, Farhad
1 Bachmann, Jens
1 Barrio-Solórzano, Manuel
1 Beato, M. Encarnación
1 Becker, Bernd
1 Bortolussi, Luca
1 Botta, Stefania
1 Busi, Nadia
1 Cao, Yongzhi
1 Cardelli, Luca
1 Chen, Taolue
1 Chen, Yixiang
1 Cuartero, Fernando
1 Cuesta, Carlos E.
1 de Alfaro, Luca
1 de Frutos, David
1 de la Fuente, Pablo
1 de Vink, Erik P.
1 Dehnert, Christian
1 Deng, Yuxin
1 Derisavi, Salem
1 Di Pierro, Alessandra
1 Diller, Jeffrey
1 Donatiello, Lorenzo
1 Durán, Francisco
1 Eisentraut, Christian
1 Fauser, Bertfried
1 Fecher, Harald
1 Ferrari, Gian Luigi
1 Forejt, Vojtěch
1 Garavel, Hubert
1 Gerhold, Marcus
1 Ghassemi, Fatemeh
1 Godskesen, Jens Chr.
1 Haddad, Serge
1 Hahn, Ernst Moritz
1 Han, Tingting
1 Haverkort, Boudewijn R.
1 Hennessy, Matthew C. B.
1 Hennicker, Rolf
1 Herescu, Oltea Mihaela
1 Herzog, Ulrich
1 Hierons, Robert Mark
1 Jansen, David N.
1 Jansen, Nils
1 Kim, Kyounghee
1 Klin, Bartek
1 Kloul, Leïla
1 Knapp, Alexander
1 Kofroň, Jan
1 Krause, Christian
1 Lee, Matias David
1 Li, Yongming
1 Lucchi, Roberto
1 Macià Soler, Hermenegilda
1 Maggiolo-Schettini, Andrea
1 Markovski, Jasen
1 Martens, Moritz
1 Merayo, Mercedes G.
1 Merro, Massimo
1 Miculan, Marino
1 Mitchell, John C.
1 Moon, Young-Joo
...and 43 more Authors

Citations by Year