Marco Bernardo

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 25

Top Venues

Publications

Andrea Esposito, Alessandro Aldini, Marco Bernardo
Noninterference Analysis of Reversible Probabilistic Systems. FORTE (2024)
Marco Bernardo, Andrea Esposito
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities. GandALF (2023)
Marco Bernardo, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi, Claudio Sacerdoti Coen
Causal Reversibility Implies Time Reversibility. QEST (2023)
Marco Bernardo, Sabina Rossi
Reverse Bisimilarity vs. Forward Bisimilarity. FoSSaCS (2023)
Andrea Esposito, Alessandro Aldini, Marco Bernardo
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems. FORTE (2023)
Marco Bernardo, Andrea Esposito
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity. ICTCS (2023)
Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity. CoRR (2023)
Marco Bernardo, Claudio Antares Mezzina
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach. Log. Methods Comput. Sci. 19 (2) (2023)
Marco Bernardo, Claudio Antares Mezzina
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity. FORMATS (2023)
Marco Bernardo, Claudio Antares Mezzina
Bridging Causal Consistent and Time Reversibility: A Stochastic Process Algebraic Approach. CoRR (2022)
Marco Bernardo
Probabilistic Trace and Testing Semantics: The Importance of Being Coherent. Found. Trends Program. Lang. 7 (4) (2022)
Marco Bernardo
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism. QEST (2020)
Marco Bernardo
Extending Backward Compatibility of Probabilistic Testing via Coherent Resolutions. ICTCS (2020)
Marco Bernardo
Towards General Axiomatizations for Bisimilarity and Trace Semantics. WADT (2020)
Marco Bernardo, Claudio Antares Mezzina
Towards Bridging Time and Causal Reversibility. FORTE (2020)
Alessandro Aldini, Marco Bernardo
The Italian Conference on Theoretical Computer Science. Theor. Comput. Sci. 815 (2020)
Marco Bernardo
Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, Metaresults. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Marco Bernardo, Marino Miculan
Constructive logical characterizations of bisimilarity for reactive probabilistic systems. Theor. Comput. Sci. 764 (2019)
Marco Bernardo
Coherent Resolutions of Nondeterminism. EPEW (2019)
Luca Berardinelli, Marco Bernardo, Vittorio Cortellessa, Antinisca Di Marco
Multidimensional context modeling applied to non-functional analysis of software. Softw. Syst. Model. 18 (3) (2019)
Marco Bernardo, Edoardo Bontà, Alessandro Aldini
Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications. CoRR (2018)
Marco Bernardo
ULTraS at work: Compositionality metaresults for bisimulation and trace semantics. J. Log. Algebraic Methods Program. 94 (2018)
Marco Bernardo, Marino Miculan
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems. ICTCS (2016)
Marco Bernardo, Flavio Corradini, Luca Tesei
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions. Theor. Comput. Sci. 629 (2016)
Marco Bernardo, Marino Miculan
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems. CoRR (2016)
Alessandro Aldini, Marco Bernardo
Expected-Delay-Summing Weak Bisimilarity for Markov Automata. QAPL (2015)
Marco Bernardo, Rocco De Nicola, Michele Loreti
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica 52 (1) (2015)
Marco Bernardo
On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi. Theor. Comput. Sci. 563 (2015)
Marco Bernardo, Daniel Gebler, Michele Loreti
Editorial for the Special Issue on Open Problems in Concurrency Theory. J. Log. Algebraic Methods Program. 84 (6) (2015)
Marco Bernardo, Daniel Gebler, Michele Loreti
Report on OPCT 2014. Bull. EATCS 114 (2014)
Marco Bernardo, Rocco De Nicola, Michele Loreti
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theor. Comput. Sci. 546 (2014)
Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems. QEST (2014)
Marco Bernardo, Rocco De Nicola, Michele Loreti
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Log. Methods Comput. Sci. 10 (1) (2014)
Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli
On the discriminating power of passivation and higher-order interaction. CSL-LICS (2014)
Marco Bernardo, Flavio Corradini, Luca Tesei
Timed process calculi: from durationless actions to durational ones. ICTCS (2014)
Marco Bernardo, Rocco De Nicola, Michele Loreti
A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities" CoRR (2013)
Marco Bernardo, Rocco De Nicola, Michele Loreti
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Inf. Comput. 225 (2013)
Marco Bernardo, Luca Tesei
Encoding Timed Models as Uniform Labeled Transition Systems. EPEW (2013)
Marco Bernardo, Rocco De Nicola, Michele Loreti
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. TGC (2013)
Marco Bernardo, Rocco De Nicola, Michele Loreti
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. QAPL (2013)
Marco Bernardo, Rocco De Nicola, Michele Loreti
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. FoSSaCS (2012)
Marco Bernardo
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes QAPL (2012)
Marco Bernardo, Vittorio Cortellessa, Mirko Flamminj
TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks. EPEW (2011)
Alessandro Aldini, Marco Bernardo, Jeremy Sproston
Performability Measure Specification: Combining CSRL and MSL. FMICS (2011)
Marco Bernardo, Rocco De Nicola, Michele Loreti
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi PACO (2011)
Alessandro Aldini, Marco Bernardo
Component-oriented verification of noninterference. J. Syst. Archit. 57 (3) (2011)
Marco Bernardo
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes. TGC (2011)
Marco Bernardo
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions GANDALF (2010)
Marco Bernardo, Edoardo Bontà, Alessandro Aldini
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation. J. Syst. Softw. 83 (8) (2010)
Marco Bernardo, Rocco De Nicola, Michele Loreti
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. TGC (2010)
Marco Bernardo
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes. Electron. Notes Theor. Comput. Sci. 253 (3) (2009)
Edoardo Bontà, Marco Bernardo
PADL2Java: A Java code generator for process algebraic architectural descriptions. WICSA/ECSA (2009)
Alessandro Aldini, Marco Bernardo
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. ARSPA-WITS (2009)
Marco Bernardo
Markovian Testing Equivalence and Exponentially Timed Internal Actions QFM (2009)
Marco Bernardo
Towards State Space Reduction Based on T-Lumpability-Consistent Relations. EPEW (2008)
Marco Bernardo, Stefania Botta
A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems. Math. Struct. Comput. Sci. 18 (1) (2008)
Marco Bernardo, Edoardo Bontà
Non-synchronous Communications in Process Algebraic Architectural Description Languages. ECSA (2008)
Alessandro Aldini, Marco Bernardo
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. WADS (2008)
Alessandro Aldini, Marco Bernardo
A formal approach to the integrated analysis of security and QoS. Reliab. Eng. Syst. Saf. 92 (11) (2007)
Marco Bernardo
A Survey of Markovian Behavioral Equivalences. SFM (2007)
Marco Bernardo, Alessandro Aldini
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions. ICTCS (2007)
Marco Bernardo, Luca Padovani
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. FMOODS (2007)
Marco Bernardo, Stefania Botta
Modal Logic Characterization of Markovian Testing and Trace Equivalences. Electron. Notes Theor. Comput. Sci. 169 (2007)
Marco Bernardo
Non-bisimulation-based Markovian behavioral equivalences. J. Log. Algebraic Methods Program. 72 (1) (2007)
Alessandro Aldini, Marco Bernardo
Mixing logics and rewards for the component-oriented specification of performance measures. Theor. Comput. Sci. 382 (1) (2007)
Alessandro Aldini, Marco Bernardo
Component-Oriented Specification of Performance Measures. Electron. Notes Theor. Comput. Sci. 164 (3) (2006)
Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer
Synthesizing Concurrency Control Components from Process Algebraic Specifications. COORDINATION (2006)
Marco Bernardo
Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity. Electron. Notes Theor. Comput. Sci. 162 (2006)
Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management. SFM (2005)
Marco Bernardo, Edoardo Bontà
Preserving Architectural Properties in Multithreaded Code Generation. COORDINATION (2005)
Alessandro Aldini, Marco Bernardo
On the usability of process algebra: An architectural view. Theor. Comput. Sci. 335 (2-3) (2005)
Alessandro Aldini, Marco Bernardo
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. QEST (2004)
Marco Bernardo, Edoardo Bontà
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions. WICSA (2004)
Marco Bernardo
Symbolic semantic rules for producing compact STGLAs from value passing process descriptions. ACM Trans. Comput. Log. 5 (3) (2004)
Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances. DSN (2004)
Alessandro Aldini, Marco Bernardo
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. SAFECOMP (2004)
Simonetta Balsamo, Marco Bernardo, Marta Simeoni
Performance Evaluation at the Software Architecture Level. SFM (2003)
Marco Bernardo
TwoTowers 3.0: Enhancing Usability. MASCOTS (2003)
Alessandro Aldini, Marco Bernardo
A General Approach to Deadlock Freedom Verification for Software Architectures. FME (2003)
Marco Bernardo, Mario Bravetti
Performance measure sensitive congruences for Markovian process algebras. Theor. Comput. Sci. 290 (1) (2003)
Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello
Architecting families of software systems with process algebras. ACM Trans. Softw. Eng. Methodol. 11 (4) (2002)
Simonetta Balsamo, Marco Bernardo, Marta Simeoni
Combining stochastic process algebras and queueing networks for software architecture analysis. Workshop on Software and Performance (2002)
Marco Bernardo, Lorenzo Donatiello, Paolo Ciancarini
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. Performance (2002)
Pietro Abate, Marco Bernardo
A scalable approach to the design of SW architectures with dynamically create/destroyed components. SEKE (2002)
Marco Bernardo, Francesco Franzè
Exogenous and Endogenous Extensions of Architectural Types. COORDINATION (2002)
Marco Bernardo, Francesco Franzè
Architectural Types Revisited: Extensible And/Or Connections. FASE (2002)
Marco Bernardo, Nadia Busi, Marina Ribaudo
Integrating TwoTowers and GreatSPN through a compact net semantics. Perform. Evaluation 50 (2/3) (2002)
Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems. WICSA (2001)
Alessandro Aldini, Marco Bernardo, Roberto Gorrieri, Marco Roccetti
Comparing the QoS of Internet audio mechanisms via formal methods. ACM Trans. Model. Comput. Simul. 11 (1) (2001)
Marco Bernardo, Mario Bravetti
Reward Based Congruences: Can We Aggregate More? PAPM-PROBMIV (2001)
Marco Bernardo, Roberto Gorrieri
Corrigendum to "A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time" - [TCS 202 (1998) 1-54]. Theor. Comput. Sci. 254 (1-2) (2001)
Marco Bernardo
A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services. MASCOTS (2001)
Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello
ÆMPA: a process algebraic description language for the performance analysis of software architectures. Workshop on Software and Performance (2000)
Marco Bernardo, Marina Ribaudo, Nadia Busi
Compact Net Semantics for Process Algebras. FORTE (2000)
Marco Bernardo, Rance Cleaveland
A Theory of Testing for Markovian Processes. CONCUR (2000)
Marco Bernardo, Nadia Busi, Marina Ribaudo
Integrating Two Towers and GreatSPN. ICALP Satellite Workshops (2000)
Mario Bravetti, Marco Bernardo
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time. Electron. Notes Theor. Comput. Sci. 39 (3) (2000)
Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello
On the formalization of architectural types with process algebras. SIGSOFT FSE (2000)
Marco Bernardo
Implementing Symbolic Models for Value Passing in TwoTowers. Computer Performance Evaluation / TOOLS (2000)
Marco Bernardo
Let's Evaluate Performance Algebraically. ACM Comput. Surv. 31 (3es) (1999)

Marco Bernardo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marco Bernardo