Copyright Notice: The preprints below are presented to ensure timely dissemination of research results. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In all cases, the preprints below may not be reposted without explicit permission of the copyright holder.
30: M. Bernardo, E. Bontà,
Journal of e-Learning and Knowledge Society 19:22-29, August 2023.
29: M. Bernardo, C.A. Mezzina,
"Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach",
Logical Methods in Computer Science 19(2:6):1-27, April 2023.
28: M. Bernardo,
"Probabilistic Trace and Testing Semantics: The Importance of Being Coherent",
Foundations and Trends in Programming Languages 7:244-332, August 2022.
27: L. Berardinelli, M. Bernardo, V. Cortellessa, A. Di Marco,
"Multidimensional Context Modeling Applied to Non-Functional Analysis of Software",
Software and Systems Modeling 18:2137-2176, June 2019.
26: M. Bernardo, M. Miculan,
"Constructive Logical Characterizations of Bisimilarity for Reactive Probabilistic Systems",
Theoretical Computer Science 764:80-99, April 2019.
25: M. Bernardo,
"ULTraS at Work: Compositionality Metaresults for Bisimulation and Trace Semantics",
Journal of Logical and Algebraic Methods in Programming 94:150-182, January 2018.
24: M. Bernardo, F. Corradini, L. Tesei,
Theoretical Computer Science 629:2-39, May 2016.
23: M. Bernardo, R. De Nicola, M. Loreti,
"Revisiting Bisimilarity and its Modal Logic for Nondeterministic and Probabilistic Processes",
Acta Informatica 52:61-106, February 2015.
22: M. Bernardo,
Theoretical Computer Science 563:99-143, January 2015.
21: M. Bernardo, R. De Nicola, M. Loreti,
"Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities",
Theoretical Computer Science 546:63-92, August 2014
[companion paper
appeared in arXiv:1305.0538, May 2013].
20: M. Bernardo, R. De Nicola, M. Loreti,
"Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes",
Logical Methods in Computer Science 10(1:16):1-42, March 2014.
19: M. Bernardo, R. De Nicola, M. Loreti,
Information and Computation 225:29-82, April 2013
[highly cited research
awarded in 2016].
18: A. Aldini, M. Bernardo,
"Component-Oriented Verification of Noninterference",
Journal of Systems Architecture 57:282-293, March 2011.
17: M. Bernardo, E. Bontà, A. Aldini,
Journal of Systems and Software 83:1404-1429, August 2010
[addendum
appeared in arXiv:1805.11676, May 2018].
16: M. Bernardo, S. Botta,
Mathematical Structures in Computer Science 18:29-55, February 2008.
15: A. Aldini, M. Bernardo,
"A Formal Approach to the Integrated Analysis of Security and QoS",
Reliability Engineering & System Safety 92:1503-1520, November 2007.
14: A. Aldini, M. Bernardo,
"Mixing Logics and Rewards for the Component-Oriented Specification of Performance Measures",
Theoretical Computer Science 382:3-23, August 2007.
13: M. Bernardo,
"Non-Bisimulation-Based Markovian Behavioral Equivalences",
Journal of Logic and Algebraic Programming 72:3-49, May 2007.
12: A. Aldini, M. Bernardo,
"On the Usability of Process Algebra: An Architectural View",
Theoretical Computer Science 335:281-329, May 2005.
11: M. Bernardo,
"Symbolic Semantic Rules for Producing Compact STGLAs from Value Passing Process Descriptions",
ACM Trans. on Computational Logic 5:436-469, July 2004.
10: M. Roccetti, A. Aldini, M. Bernardo, R. Gorrieri,
"QoS Evaluation of IP Telephony Services: A Specification Language Based Simulation Software Tool",
Systems Analysis Modelling Simulation 43:1747-1759, December 2003.
9: M. Bernardo, M. Bravetti,
"Performance Measure Sensitive Congruences for Markovian Process Algebras",
Theoretical Computer Science 290:117-160, January 2003.
8: M. Bernardo, N. Busi, M. Ribaudo,
"Integrating TwoTowers and GreatSPN through a Compact Net Semantics",
Performance Evaluation 50:153-187, November 2002.
7: M. Bernardo, P. Ciancarini, L. Donatiello,
"Architecting Families of Software Systems with Process Algebras",
ACM Trans. on Software Engineering and Methodology 11:386 - 426, October 2002.
6: A. Aldini, M. Bernardo, R. Gorrieri, M. Roccetti,
"Comparing the QoS of Internet Audio Mechanisms via Formal Methods",
ACM Trans. on Modeling and Computer Simulation 11:1-42, January 2001.
5: M. Bernardo,
"Let's Evaluate Performance, Algebraically",
ACM Computing Surveys 31, September 1999.
4: M. Bernardo, R. Gorrieri, M. Roccetti,
Formal Aspects of Computing 10:313-337, April 1999.
3: M. Bernardo, L. Donatiello, R. Gorrieri,
Information and Computation 144:83-154, August 1998.
2: M. Bernardo, R. Gorrieri,
Theoretical Computer Science 202:1-54, July 1998
[corrigendum
appeared in Theoretical Computer Science 254:691-694, March 2001].
1: M. Bernardo, N. Busi, R. Gorrieri,
"A Distributed Semantics for EMPA Based on Stochastic Contextual Nets",
Computer Journal 38:492-509, December 1995.