Journal Papers

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.

27:   L. Berardinelli, M. Bernardo, V. Cortellessa, A. Di Marco,

"Multidimensional Context Modeling Applied to Non-Functional Analysis of Software",

to appear in Software and System Modeling.

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,

"Timed Process Calculi with Deterministic or Stochastic Delays: Commuting between Durational and Durationless Actions",

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,

"On the Tradeoff between Compositionality and Exactness in Weak Bisimilarity for Integrated-Time Markovian Process Calculi",

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,

"A Uniform Framework for Modeling Nondeterministic, Probabilistic, Stochastic, or Mixed Processes and their Behavioral Equivalences",

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,

"Handling Communications in Process Algebraic Architectural Description Languages: Modeling, Verification, and Implementation",

Journal of Systems and Software 83:1404-1429, August 2010 [addendum appeared in arXiv:1805.11676, May 2018].

16:   M. Bernardo, S. Botta,

"A Survey of Modal Logics Characterising Behavioural Equivalences for Non-deterministic and Stochastic Systems",

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.

09:   M. Bernardo, M. Bravetti,

"Performance Measure Sensitive Congruences for Markovian Process Algebras",

Theoretical Computer Science 290:117-160, January 2003.

08:   M. Bernardo, N. Busi, M. Ribaudo,

"Integrating TwoTowers and GreatSPN through a Compact Net Semantics",

Performance Evaluation 50:153-187, November 2002.

07:   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.

06:   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.

05:   M. Bernardo,

"Let's Evaluate Performance, Algebraically",

ACM Computing Surveys 31, September 1999.

04:   M. Bernardo, R. Gorrieri, M. Roccetti,

"Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet",

Formal Aspects of Computing 10:313-337, April 1999.

03:   M. Bernardo, L. Donatiello, R. Gorrieri,

"A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems",

Information and Computation 144:83-154, August 1998.

02:   M. Bernardo, R. Gorrieri,

"A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time",

Theoretical Computer Science 202:1-54, July 1998 [corrigendum appeared in Theoretical Computer Science 254:691-694, March 2001].

01:   M. Bernardo, N. Busi, R. Gorrieri,

"A Distributed Semantics for EMPA Based on Stochastic Contextual Nets",

Computer Journal 38:492-509, December 1995.