Journal Papers

Copyright Notice: The material below is 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 material below may not be reposted without explicit permission of the copyright holder.

18:   A. Aldini and M. Bernardo

"Component-Oriented Verification of Noninterference",

in Journal of Systems Architecture 57:282-293, March 2011.

17:   M. Bernardo, E. Bontà, and A. Aldini,

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

in Journal of Systems and Software 83:1404-1429, August 2010.

16:   M. Bernardo and S. Botta,

"A Survey of Modal Logics Characterizing Behavioral Equivalences for Nondeterministic and Stochastic Systems",

in Mathematical Structures in Computer Science 18:29-55, February 2008.

15:   A. Aldini and M. Bernardo,

"A Formal Approach to the Integrated Analysis of Security and QoS",

in Reliability Engineering & System Safety 92:1503-1520, November 2007.

14:   A. Aldini and M. Bernardo,

"Mixing Logics and Rewards for the Component-Oriented Specification of Performance Measures",

in Theoretical Computer Science 382:3-23, August 2007.

13:   M. Bernardo,

"Non-Bisimulation-Based Markovian Behavioral Equivalences",

in Journal of Logic and Algebraic Programming 72:3-49, May 2007.

12:   A. Aldini and M. Bernardo,

"On the Usability of Process Algebra: An Architectural View",

in Theoretical Computer Science 335:281-329, May 2005.

11:   M. Bernardo,

"Symbolic Semantic Rules for Producing Compact STGLA from Value Passing Process Descriptions",

in ACM Trans. on Computational Logic 5:436-469, July 2004.

10:   M. Roccetti, A. Aldini, M. Bernardo, and R. Gorrieri,

"QoS Evaluation of IP Telephony Services: A Specification Language Based Simulation Software Tool",

in Systems Analysis Modelling Simulation 43:1747-1759, December 2003.

09:   M. Bernardo and M. Bravetti,

"Performance Measure Sensitive Congruences for Markovian Process Algebras",

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

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

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

in Performance Evaluation 50:153-187, November 2002.

07:   M. Bernardo, P. Ciancarini, and L. Donatiello,

"Architecting Families of Software Systems with Process Algebras",

in ACM Trans. on Software Engineering and Methodology 11:386 - 426, October 2002.

06:   A. Aldini, M. Bernardo, R. Gorrieri, and M. Roccetti,

"Comparing the QoS of Internet Audio Mechanisms via Formal Methods",

in ACM Trans. on Modeling and Computer Simulation 11:1-42, January 2001.

05:   M. Bernardo,

"Let's Evaluate Performance, Algebraically",

in ACM Computing Surveys 31, September 1999.

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

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

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

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

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

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

02:   M. Bernardo and R. Gorrieri,

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

in Theoretical Computer Science 202:1-54, July 1998.

Corrigendum.

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

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

in Computer Journal 38:492-509, December 1995.