Integrated analysis of concurrent distributed systems using Markovian process algebra. - Marco Bernardo 001; Lorenzo Donatiello; Roberto Gorrieri (FORTE, 1994)

Giving a net semantics to Markovian process algebra. - Marco Bernardo 001; Lorenzo Donatiello; Roberto Gorrieri (PNPM, 1995)

A Distributed Semantics for EMPA Based on Stochastic Contextual Nets. - Marco Bernardo 001; Nadia Busi; Roberto Gorrieri (Comput. J., 1995)

Extended Markovian Process Algebra. - Marco Bernardo 001; Roberto Gorrieri (CONCUR, 1996)

An Algebra-Based Method to Associate Rewards with EMPA Terms. - Marco Bernardo 001 (ICALP, 1997)

Towards Performance Evaluation with General Distributions in Process Algebras. - Mario Bravetti; Marco Bernardo 001; Roberto Gorrieri (CONCUR, 1998)

TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. - Marco Bernardo 001; Rance Cleaveland; Steve Sims; W. Stewart (FORTE, 1998)

Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet. - Marco Bernardo 001; Roberto Gorrieri; Marco Roccetti (Formal Aspects Comput., 1998)

A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems. - Marco Bernardo 001; Lorenzo Donatiello; Roberto Gorrieri (Inf. Comput., 1998)

A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. - Marco Bernardo 001; Roberto Gorrieri (Theor. Comput. Sci., 1998)

Let's Evaluate Performance Algebraically. - Marco Bernardo 001 (ACM Comput. Surv., 1999)

A Theory of Testing for Markovian Processes. - Marco Bernardo 001; Rance Cleaveland (CONCUR, 2000)

Implementing Symbolic Models for Value Passing in TwoTowers. - Marco Bernardo 001 (Computer Performance Evaluation / TOOLS, 2000)

Compact Net Semantics for Process Algebras. - Marco Bernardo 001; Marina Ribaudo; Nadia Busi (FORTE, 2000)

Integrating Two Towers and GreatSPN. - Marco Bernardo 001; Nadia Busi; Marina Ribaudo (ICALP Satellite Workshops, 2000)

On the formalization of architectural types with process algebras. - Marco Bernardo 001; Paolo Ciancarini; Lorenzo Donatiello (SIGSOFT FSE, 2000)

ÆMPA: a process algebraic description language for the performance analysis of software architectures. - Marco Bernardo 001; Paolo Ciancarini; Lorenzo Donatiello (Workshop on Software and Performance, 2000)

Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time. - Mario Bravetti; Marco Bernardo 001 (MTCS, 2000)

A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services. - Marco Bernardo 001 (MASCOTS, 2001)

Reward Based Congruences: Can We Aggregate More? - Marco Bernardo 001; Mario Bravetti (PAPM-PROBMIV, 2001)

Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems. - Marco Bernardo 001; Paolo Ciancarini; Lorenzo Donatiello (WICSA, 2001)

Corrigendum to "A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time" - [TCS 202 (1998) 1-54]. - Marco Bernardo 001; Roberto Gorrieri (Theor. Comput. Sci., 2001)

Comparing the QoS of Internet audio mechanisms via formal methods. - Alessandro Aldini; Marco Bernardo 001; Roberto Gorrieri; Marco Roccetti (ACM Trans. Model. Comput. Simul., 2001)

Exogenous and Endogenous Extensions of Architectural Types. - Marco Bernardo 001; Francesco Franzè (COORDINATION, 2002)

Architectural Types Revisited: Extensible And/Or Connections. - Marco Bernardo 001; Francesco Franzè (FASE, 2002)

Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. - Marco Bernardo 001; Lorenzo Donatiello; Paolo Ciancarini (Performance, 2002)

A scalable approach to the design of SW architectures with dynamically create/destroyed components. - Pietro Abate; Marco Bernardo 001 (SEKE, 2002)

Combining stochastic process algebras and queueing networks for software architecture analysis. - Simonetta Balsamo; Marco Bernardo 001; Marta Simeoni (Workshop on Software and Performance, 2002)

Integrating TwoTowers and GreatSPN through a compact net semantics. - Marco Bernardo 001; Nadia Busi; Marina Ribaudo (Perform. Evaluation, 2002)

Architecting families of software systems with process algebras. - Marco Bernardo 001; Paolo Ciancarini; Lorenzo Donatiello (ACM Trans. Softw. Eng. Methodol., 2002)

A General Approach to Deadlock Freedom Verification for Software Architectures. - Alessandro Aldini; Marco Bernardo 001 (FME, 2003)

TwoTowers 3.0: Enhancing Usability. - Marco Bernardo 001 (MASCOTS, 2003)

Performance Evaluation at the Software Architecture Level. - Simonetta Balsamo; Marco Bernardo 001; Marta Simeoni (SFM, 2003)

Performance measure sensitive congruences for Markovian process algebras. - Marco Bernardo 001; Mario Bravetti (Theor. Comput. Sci., 2003)

Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances. - Andrea Acquaviva; Alessandro Aldini; Marco Bernardo 001; Alessandro Bogliolo; Edoardo Bontà; Emanuele Lattanzi (DSN, 2004)

TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. - Alessandro Aldini; Marco Bernardo 001 (QEST, 2004)

An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. - Alessandro Aldini; Marco Bernardo 001 (SAFECOMP, 2004)

Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions. - Marco Bernardo 001; Edoardo Bontà (WICSA, 2004)

Symbolic semantic rules for producing compact STGLAs from value passing process descriptions. - Marco Bernardo 001 (ACM Trans. Comput. Log., 2004)

Preserving Architectural Properties in Multithreaded Code Generation. - Marco Bernardo 001; Edoardo Bontà (COORDINATION, 2005)

A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management. - Andrea Acquaviva; Alessandro Aldini; Marco Bernardo 001; Alessandro Bogliolo; Edoardo Bontà; Emanuele Lattanzi (SFM, 2005)

Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity. - Marco Bernardo 001 (APC 25, 2005)

On the usability of process algebra: An architectural view. - Alessandro Aldini; Marco Bernardo 001 (Theor. Comput. Sci., 2005)

Synthesizing Concurrency Control Components from Process Algebraic Specifications. - Edoardo Bontà; Marco Bernardo 001; Jeff Magee; Jeff Kramer (COORDINATION, 2006)

Component-Oriented Specification of Performance Measures. - Alessandro Aldini; Marco Bernardo 001 (QAPL, 2006)

Modal Logic Characterization of Markovian Testing and Trace Equivalences. - Marco Bernardo 001; Stefania Botta (LMCS, 2006)

Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. - Marco Bernardo 001; Luca Padovani (FMOODS, 2007)

Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions. - Marco Bernardo 001; Alessandro Aldini (ICTCS, 2007)

A Survey of Markovian Behavioral Equivalences. - Marco Bernardo 001 (SFM, 2007)

Non-bisimulation-based Markovian behavioral equivalences. - Marco Bernardo 001 (J. Log. Algebraic Methods Program., 2007)

A formal approach to the integrated analysis of security and QoS. - Alessandro Aldini; Marco Bernardo 001 (Reliab. Eng. Syst. Saf., 2007)

Mixing logics and rewards for the component-oriented specification of performance measures. - Alessandro Aldini; Marco Bernardo 001 (Theor. Comput. Sci., 2007)

Non-synchronous Communications in Process Algebraic Architectural Description Languages. - Marco Bernardo 001; Edoardo Bontà (ECSA, 2008)

Towards State Space Reduction Based on T-Lumpability-Consistent Relations. - Marco Bernardo 001 (EPEW, 2008)

Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. - Alessandro Aldini; Marco Bernardo 001 (WADS, 2008)

A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems. - Marco Bernardo 001; Stefania Botta (Math. Struct. Comput. Sci., 2008)

A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. - Alessandro Aldini; Marco Bernardo 001 (ARSPA-WITS, 2009)

PADL2Java: A Java code generator for process algebraic architectural descriptions. - Edoardo Bontà; Marco Bernardo 001 (WICSA/ECSA, 2009)

Markovian Testing Equivalence and Exponentially Timed Internal Actions - Marco Bernardo 001 (QFM, 2009)

Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes. - Marco Bernardo 001 (QAPL, 2009)

A Process Algebraic Approach to Software Architecture Design. - Alessandro Aldini; Marco Bernardo 001; Flavio Corradini (Springer, 2010)

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (TGC, 2010)

On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions - Marco Bernardo 001 (GANDALF, 2010)

Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation. - Marco Bernardo 001; Edoardo Bontà; Alessandro Aldini (J. Syst. Softw., 2010)

TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks. - Marco Bernardo 001; Vittorio Cortellessa; Mirko Flamminj (EPEW, 2011)

Performability Measure Specification: Combining CSRL and MSL. - Alessandro Aldini; Marco Bernardo 001; Jeremy Sproston (FMICS, 2011)

Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes. - Marco Bernardo 001 (TGC, 2011)

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (PACO, 2011)

Component-oriented verification of noninterference. - Alessandro Aldini; Marco Bernardo 001 (J. Syst. Archit., 2011)

Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes - Marco Bernardo 001 (QAPL, 2012)

Encoding Timed Models as Uniform Labeled Transition Systems. - Marco Bernardo 001; Luca Tesei (EPEW, 2013)

Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (TGC, 2013)

The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (QAPL, 2013)

A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities" - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (CoRR, 2013)

A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (Inf. Comput., 2013)

On the discriminating power of passivation and higher-order interaction. - Marco Bernardo 001; Davide Sangiorgi; Valeria Vignudelli (CSL-LICS, 2014)

Timed process calculi: from durationless actions to durational ones. - Marco Bernardo 001; Flavio Corradini; Luca Tesei (ICTCS, 2014)

On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems. - Marco Bernardo 001; Davide Sangiorgi; Valeria Vignudelli (QEST, 2014)

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (Log. Methods Comput. Sci., 2014)

Report on OPCT 2014. - Marco Bernardo 001; Daniel Gebler; Michele Loreti (Bull. EATCS, 2014)

Relating strong behavioral equivalences for processes with nondeterminism and probabilities. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (Theor. Comput. Sci., 2014)

Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (Acta Informatica, 2015)

Expected-Delay-Summing Weak Bisimilarity for Markov Automata. - Alessandro Aldini; Marco Bernardo 001 (QAPL, 2015)

Editorial for the Special Issue on Open Problems in Concurrency Theory. - Marco Bernardo 001; Daniel Gebler; Michele Loreti (J. Log. Algebraic Methods Program., 2015)

On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi. - Marco Bernardo 001 (Theor. Comput. Sci., 2015)

Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems. - Marco Bernardo 001; Marino Miculan (ICTCS, 2016)

Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions. - Marco Bernardo 001; Flavio Corradini; Luca Tesei (Theor. Comput. Sci., 2016)

Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications. - Marco Bernardo 001; Edoardo Bontà; Alessandro Aldini (CoRR, 2018)

ULTraS at work: Compositionality metaresults for bisimulation and trace semantics. - Marco Bernardo 001 (J. Log. Algebraic Methods Program., 2018)

Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, Metaresults. - Marco Bernardo 001 (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Coherent Resolutions of Nondeterminism. - Marco Bernardo 001 (EPEW, 2019)

Multidimensional context modeling applied to non-functional analysis of software. - Luca Berardinelli; Marco Bernardo 001; Vittorio Cortellessa; Antinisca Di Marco (Softw. Syst. Model., 2019)

Constructive logical characterizations of bisimilarity for reactive probabilistic systems. - Marco Bernardo 001; Marino Miculan (Theor. Comput. Sci., 2019)

Towards Bridging Time and Causal Reversibility. - Marco Bernardo 001; Claudio Antares Mezzina (FORTE, 2020)

Extending Backward Compatibility of Probabilistic Testing via Coherent Resolutions. - Marco Bernardo 001 (ICTCS, 2020)

Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism. - Marco Bernardo 001 (QEST, 2020)

Towards General Axiomatizations for Bisimilarity and Trace Semantics. - Marco Bernardo 001 (WADT, 2020)

The Italian Conference on Theoretical Computer Science. - Alessandro Aldini; Marco Bernardo 001 (Theor. Comput. Sci., 2020)

Bridging Causal Consistent and Time Reversibility: A Stochastic Process Algebraic Approach. - Marco Bernardo 001; Claudio Antares Mezzina (CoRR, 2022)

Probabilistic Trace and Testing Semantics: The Importance of Being Coherent. - Marco Bernardo 001 (Found. Trends Program. Lang., 2022)

Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity. - Marco Bernardo 001; Claudio Antares Mezzina (FORMATS, 2023)

Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems. - Andrea Esposito 006; Alessandro Aldini; Marco Bernardo 001 (FORTE, 2023)

Reverse Bisimilarity vs. Forward Bisimilarity. - Marco Bernardo 001; Sabina Rossi (FoSSaCS, 2023)

On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity. - Marco Bernardo 001; Andrea Esposito 006 (ICTCS, 2023)

Causal Reversibility Implies Time Reversibility. - Marco Bernardo 001; Ivan Lanese; Andrea Marin; Claudio Antares Mezzina; Sabina Rossi; Claudio Sacerdoti Coen (QEST, 2023)

Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities. - Marco Bernardo 001; Andrea Esposito 006 (GandALF, 2023)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach. - Marco Bernardo 001; Claudio Antares Mezzina (Log. Methods Comput. Sci., 2023)

Making Algorithmic Stablecoins More Stable: The Terra-Luna Case Study. - Federico Calandra; Francesco P. Rossi; Francesco Fabris; Marco Bernardo 001 (DLT, 2024)

Noninterference Analysis of Reversible Probabilistic Systems. - Andrea Esposito 006; Alessandro Aldini; Marco Bernardo 001 (FORTE, 2024)

Reversibility in Process Calculi with Nondeterminism and Probabilities. - Marco Bernardo 001; Claudio Antares Mezzina (ICTAC, 2024)

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings. - Marco Bernardo 001; Andrea Esposito 006; Claudio Antares Mezzina (EXPRESS/SOS, 2024)

Impact of Network Topologies on Blockchain Performance. - Vincenzo P. Di Perna; Marco Bernardo 001; Francesco Fabris; Sebastiao Amaro; Miguel Matos; Valerio Schiavoni (DEBS, 2025)

Noninterference Analysis ofStochastically Timed Reversible Systems. - Andrea Esposito 006; Alessandro Aldini; Marco Bernardo 001 (FORTE, 2025)

Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets. - Marco Bernardo 001; Andrea Esposito 006; Claudio Antares Mezzina (FoSSaCS, 2025)

Algorithmic Stablecoins: A Simulator for the Dual-Token Model in Normal and Panic Scenarios. - Federico Calandra; Francesco P. Rossi; Francesco Fabris; Marco Bernardo 001 (ICBC, 2025)

Blockchain Energy Consumption: Unveiling the Impact of Network Topologies. - Vincenzo P. Di Perna; Valerio Schiavoni; Francesco Fabris; Marco Bernardo 001 (ICBC, 2025)

Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity. - Andrea Esposito 006; Alessandro Aldini; Marco Bernardo 001; Sabina Rossi (Log. Methods Comput. Sci., 2025)

Noninterference Analysis of Irreversible or Reversible Systems with Nondeterminism and Probabilities. - Andrea Esposito 006; Alessandro Aldini; Marco Bernardo 001 (CoRR, 2025)

On the Operational Resilience of CBDC: Threats and Prospects of Formal Validation for Offline Payments. - Marco Bernardo 001; Federico Calandra; Andrea Esposito 006; Francesco Fabris (CoRR, 2025)

Redactable Blockchains: An Overview. - Federico Calandra; Marco Bernardo 001; Andrea Esposito 006; Francesco Fabris (CoRR, 2025)