Marco Bernardo

144 papers A* 1A 1B 12C 17Misc 1Journal 44Unranked 51
YearRankTypeTitle / Venue / Authors
2026 J jnl
Causal reversibility in nondeterministic process calculi extended with time or probabilities.
Theor. Comput. Sci.
Marco Bernardo, Claudio Antares Mezzina, Andrea Esposito
2025 C conf
Algorithmic Stablecoins: A Simulator for the Dual-Token Model in Normal and Panic Scenarios.
ICBC
Federico Calandra, Francesco P. Rossi, Francesco Fabris, Marco Bernardo
2025 B conf
Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets.
FoSSaCS
Marco Bernardo, Andrea Esposito, Claudio Antares Mezzina
2025 C conf
An Entropy-Based Approach to Evaluating the Economic Efficiency of Cryptocurrencies.
DLT
Vincenzo P. Di Perna, Michele Foderaro, Francesco Fabris, Marco Bernardo
2025 C conf
Blockchain Energy Consumption: Unveiling the Impact of Network Topologies.
ICBC
Vincenzo P. Di Perna, Valerio Schiavoni, Francesco Fabris, Marco Bernardo
2025 J jnl
Formal Modeling and Verification of the Algorand Consensus Protocol in CADP.
CoRR
Andrea Esposito, Francesco P. Rossi, Marco Bernardo, Francesco Fabris, Hubert Garavel
2025 J jnl
Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets.
CoRR
Marco Bernardo, Andrea Esposito, Claudio Antares Mezzina
2025 — conf
Impact of Network Topologies on Blockchain Performance.
DEBS
Vincenzo P. Di Perna, Marco Bernardo, Francesco Fabris, Sebastião Amaro, Miguel Matos, Valerio Schiavoni
2025 — conf
Noninterference Analysis of Deterministically Timed Reversible Systems.
QEST+FORMATS
Andrea Esposito, Alessandro Aldini, Marco Bernardo
2025 J jnl
Noninterference Analysis of Irreversible or Reversible Systems with Nondeterminism and Probabilities.
CoRR
Andrea Esposito, Alessandro Aldini, Marco Bernardo
2025 J jnl
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity.
Log. Methods Comput. Sci.
Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi
2025 C conf
Noninterference Analysis ofStochastically Timed Reversible Systems.
FORTE
Andrea Esposito, Alessandro Aldini, Marco Bernardo
2025 J jnl
On the Operational Resilience of CBDC: Threats and Prospects of Formal Validation for Offline Payments.
CoRR
Marco Bernardo, Federico Calandra, Andrea Esposito, Francesco Fabris
2025 J jnl
Redactable Blockchains: An Overview.
CoRR
Federico Calandra, Marco Bernardo, Andrea Esposito, Francesco Fabris
2024 — conf
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings.
EXPRESS/SOS
Marco Bernardo, Andrea Esposito, Claudio Antares Mezzina
2024 C conf
Making Algorithmic Stablecoins More Stable: The Terra-Luna Case Study.
DLT
Federico Calandra, Francesco P. Rossi, Francesco Fabris, Marco Bernardo
2024 C conf
Noninterference Analysis of Reversible Probabilistic Systems.
FORTE
Andrea Esposito, Alessandro Aldini, Marco Bernardo
2024 C conf
Reversibility in Process Calculi with Nondeterminism and Probabilities.
ICTAC
Marco Bernardo, Claudio Antares Mezzina
2023 C conf
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems.
FORTE
Andrea Esposito, Alessandro Aldini, Marco Bernardo
2023 J jnl
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach.
Log. Methods Comput. Sci.
Marco Bernardo, Claudio Antares Mezzina
2023 — conf
Causal Reversibility Implies Time Reversibility.
QEST
Marco Bernardo, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi, Claudio Sacerdoti Coen
2023 — conf
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity.
FORMATS
Marco Bernardo, Claudio Antares Mezzina
2023 — conf
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities.
GandALF
Marco Bernardo, Andrea Esposito
2023 J jnl
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity.
CoRR
Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi
2023 — conf
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity.
ICTCS
Marco Bernardo, Andrea Esposito
2023 B conf
Reverse Bisimilarity vs. Forward Bisimilarity.
FoSSaCS
Marco Bernardo, Sabina Rossi
2022 J jnl
Bridging Causal Consistent and Time Reversibility: A Stochastic Process Algebraic Approach.
CoRR
Marco Bernardo, Claudio Antares Mezzina
2022 J jnl
Probabilistic Trace and Testing Semantics: The Importance of Being Coherent.
Found. Trends Program. Lang.
Marco Bernardo
2020 — conf
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism.
QEST
Marco Bernardo
2020 — conf
Extending Backward Compatibility of Probabilistic Testing via Coherent Resolutions.
ICTCS
Marco Bernardo
2020 J jnl
The Italian Conference on Theoretical Computer Science.
Theor. Comput. Sci.
Alessandro Aldini, Marco Bernardo
2020 C conf
Towards Bridging Time and Causal Reversibility.
FORTE
Marco Bernardo, Claudio Antares Mezzina
2020 — conf
Towards General Axiomatizations for Bisimilarity and Trace Semantics.
WADT
Marco Bernardo
2019 — conf
Coherent Resolutions of Nondeterminism.
EPEW
Marco Bernardo
2019 J jnl
Constructive logical characterizations of bisimilarity for reactive probabilistic systems.
Theor. Comput. Sci.
Marco Bernardo, Marino Miculan
2019 — conf
Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, Metaresults.
Models, Languages, and Tools for Concurrent and Distributed Programming
Marco Bernardo
2019 J jnl
Multidimensional context modeling applied to non-functional analysis of software.
Softw. Syst. Model.
Luca Berardinelli, Marco Bernardo, Vittorio Cortellessa, Antinisca Di Marco
2018 — ed.
Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018.
ICTCS
Alessandro Aldini, Marco Bernardo
2018 J jnl
Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications.
CoRR
Marco Bernardo, Edoardo Bontà, Alessandro Aldini
2018 J jnl
ULTraS at work: Compositionality metaresults for bisimulation and trace semantics.
J. Log. Algebraic Methods Program.
Marco Bernardo
2016 — conf
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems.
ICTCS
Marco Bernardo, Marino Miculan
2016 J jnl
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems.
CoRR
Marco Bernardo, Marino Miculan
2016 — ed.
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
SFM
Marco Bernardo, Rocco De Nicola, Jane Hillston
2016 J jnl
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions.
Theor. Comput. Sci.
Marco Bernardo, Flavio Corradini, Luca Tesei
2015 J jnl
Editorial for the Special Issue on Open Problems in Concurrency Theory.
J. Log. Algebraic Methods Program.
Marco Bernardo, Daniel Gebler, Michele Loreti
2015 — conf
Expected-Delay-Summing Weak Bisimilarity for Markov Automata.
QAPL
Alessandro Aldini, Marco Bernardo
2015 — ed.
Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
SFM
Marco Bernardo, Einar Broch Johnsen
2015 J jnl
On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi.
Theor. Comput. Sci.
Marco Bernardo
2015 J jnl
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes.
Acta Informatica
Marco Bernardo, Rocco De Nicola, Michele Loreti
2014 — ed.
Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
SFM
Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer
2014 — conf
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems.
QEST
Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli
2014 — conf
On the discriminating power of passivation and higher-order interaction.
CSL-LICS
Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli
2014 J jnl
Relating strong behavioral equivalences for processes with nondeterminism and probabilities.
Theor. Comput. Sci.
Marco Bernardo, Rocco De Nicola, Michele Loreti
2014 J jnl
Report on OPCT 2014.
Bull. EATCS
Marco Bernardo, Daniel Gebler, Michele Loreti
2014 J jnl
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.
Log. Methods Comput. Sci.
Marco Bernardo, Rocco De Nicola, Michele Loreti
2014 — conf
Timed process calculi: from durationless actions to durational ones.
ICTCS
Marco Bernardo, Flavio Corradini, Luca Tesei
2013 J jnl
A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities"
CoRR
Marco Bernardo, Rocco De Nicola, Michele Loreti
2013 J jnl
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences.
Inf. Comput.
Marco Bernardo, Rocco De Nicola, Michele Loreti
2013 — conf
Encoding Timed Models as Uniform Labeled Transition Systems.
EPEW
Marco Bernardo, Luca Tesei
2013 — ed.
Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
SFM
Marco Bernardo, Erik P. de Vink, Alessandra Di Pierro, Herbert Wiklicky
2013 — conf
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations.
TGC
Marco Bernardo, Rocco De Nicola, Michele Loreti
2013 — conf
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes.
QAPL
Marco Bernardo, Rocco De Nicola, Michele Loreti
2012 — ed.
Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
SFM
Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio
2012 B conf
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.
FoSSaCS
Marco Bernardo, Rocco De Nicola, Michele Loreti
2012 — conf
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes
QAPL
Marco Bernardo
2011 J jnl
Component-oriented verification of noninterference.
J. Syst. Archit.
Alessandro Aldini, Marco Bernardo
2011 — ed.
Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
SFM
Marco Bernardo, Valérie Issarny
2011 C conf
Performability Measure Specification: Combining CSRL and MSL.
FMICS
Alessandro Aldini, Marco Bernardo, Jeremy Sproston
2011 — conf
TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks.
EPEW
Marco Bernardo, Vittorio Cortellessa, Mirko Flamminj
2011 — conf
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
PACO
Marco Bernardo, Rocco De Nicola, Michele Loreti
2011 — conf
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes.
TGC
Marco Bernardo
2010 — book
A Process Algebraic Approach to Software Architecture Design.
Alessandro Aldini, Marco Bernardo, Flavio Corradini
2010 — ed.
Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
EPEW
Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa
2010 — ed.
Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
SFM
Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
2010 J jnl
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation.
J. Syst. Softw.
Marco Bernardo, Edoardo Bontà, Alessandro Aldini
2010 — conf
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions
GANDALF
Marco Bernardo
2010 — conf
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes.
TGC
Marco Bernardo, Rocco De Nicola, Michele Loreti
2009 — conf
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference.
ARSPA-WITS
Alessandro Aldini, Marco Bernardo
2009 — ed.
Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
SFM
Marco Bernardo, Luca Padovani, Gianluigi Zavattaro
2009 — conf
Markovian Testing Equivalence and Exponentially Timed Internal Actions
QFM
Marco Bernardo
2009 — conf
PADL2Java: A Java code generator for process algebraic architectural descriptions.
WICSA/ECSA
Edoardo Bontà, Marco Bernardo
2009 — conf
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes.
QAPL
Marco Bernardo
2008 J jnl
A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems.
Math. Struct. Comput. Sci.
Marco Bernardo, Stefania Botta
2008 — ed.
Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures
SFM
Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
2008 B conf
Non-synchronous Communications in Process Algebraic Architectural Description Languages.
ECSA
Marco Bernardo, Edoardo Bontà
2008 — conf
Towards State Space Reduction Based on T-Lumpability-Consistent Relations.
EPEW
Marco Bernardo
2008 B conf
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems.
WADS
Alessandro Aldini, Marco Bernardo
2007 — conf
A Survey of Markovian Behavioral Equivalences.
SFM
Marco Bernardo
2007 J jnl
A formal approach to the integrated analysis of security and QoS.
Reliab. Eng. Syst. Saf.
Alessandro Aldini, Marco Bernardo
2007 — ed.
Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
SFM
Marco Bernardo, Jane Hillston
2007 J jnl
Mixing logics and rewards for the component-oriented specification of performance measures.
Theor. Comput. Sci.
Alessandro Aldini, Marco Bernardo
2007 J jnl
Non-bisimulation-based Markovian behavioral equivalences.
J. Log. Algebraic Methods Program.
Marco Bernardo
2007 — conf
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders.
FMOODS
Marco Bernardo, Luca Padovani
2007 — conf
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions.
ICTCS
Marco Bernardo, Alessandro Aldini
2006 — conf
Component-Oriented Specification of Performance Measures.
QAPL
Alessandro Aldini, Marco Bernardo
2006 — ed.
Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
SFM
Marco Bernardo, Alessandro Cimatti
2006 — conf
Modal Logic Characterization of Markovian Testing and Trace Equivalences.
LMCS
Marco Bernardo, Stefania Botta
2006 C conf
Synthesizing Concurrency Control Components from Process Algebraic Specifications.
COORDINATION
Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer
2005 — conf
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management.
SFM
Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi
2005 — ed.
Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
SFM
Marco Bernardo, Alessandro Bogliolo
2005 — conf
Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity.
APC 25
Marco Bernardo
2005 J jnl
On the usability of process algebra: An architectural view.
Theor. Comput. Sci.
Alessandro Aldini, Marco Bernardo
2005 C conf
Preserving Architectural Properties in Multithreaded Code Generation.
COORDINATION
Marco Bernardo, Edoardo Bontà
2004 B conf
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth.
SAFECOMP
Alessandro Aldini, Marco Bernardo
2004 A conf
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances.
DSN
Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi
2004 — ed.
Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
SFM
Marco Bernardo, Flavio Corradini
2004 — conf
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions.
WICSA
Marco Bernardo, Edoardo Bontà
2004 J jnl
Symbolic semantic rules for producing compact STGLAs from value passing process descriptions.
ACM Trans. Comput. Log.
Marco Bernardo
2004 — conf
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation.
QEST
Alessandro Aldini, Marco Bernardo
2003 — conf
A General Approach to Deadlock Freedom Verification for Software Architectures.
FME
Alessandro Aldini, Marco Bernardo
2003 — ed.
Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures
SFM
Marco Bernardo, Paola Inverardi
2003 — conf
Performance Evaluation at the Software Architecture Level.
SFM
Simonetta Balsamo, Marco Bernardo, Marta Simeoni
2003 J jnl
Performance measure sensitive congruences for Markovian process algebras.
Theor. Comput. Sci.
Marco Bernardo, Mario Bravetti
2003 B conf
TwoTowers 3.0: Enhancing Usability.
MASCOTS
Marco Bernardo
2002 C conf
A scalable approach to the design of SW architectures with dynamically create/destroyed components.
SEKE
Pietro Abate, Marco Bernardo
2002 J jnl
Architecting families of software systems with process algebras.
ACM Trans. Softw. Eng. Methodol.
Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello
2002 B conf
Architectural Types Revisited: Extensible And/Or Connections.
FASE
Marco Bernardo, Francesco Franzè
2002 — conf
Combining stochastic process algebras and queueing networks for software architecture analysis.
Workshop on Software and Performance
Simonetta Balsamo, Marco Bernardo, Marta Simeoni
2002 C conf
Exogenous and Endogenous Extensions of Architectural Types.
COORDINATION
Marco Bernardo, Francesco Franzè
2002 J jnl
Integrating TwoTowers and GreatSPN through a compact net semantics.
Perform. Evaluation
Marco Bernardo, Nadia Busi, Marina Ribaudo
2002 Misc conf
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language.
Performance
Marco Bernardo, Lorenzo Donatiello, Paolo Ciancarini
2001 B conf
A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services.
MASCOTS
Marco Bernardo
2001 J jnl
Comparing the QoS of Internet audio mechanisms via formal methods.
ACM Trans. Model. Comput. Simul.
Alessandro Aldini, Marco Bernardo, Roberto Gorrieri, Marco Roccetti
2001 J jnl
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.
Marco Bernardo, Roberto Gorrieri
2001 — conf
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems.
WICSA
Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello
2001 — conf
Reward Based Congruences: Can We Aggregate More?
PAPM-PROBMIV
Marco Bernardo, Mario Bravetti
2000 B conf
A Theory of Testing for Markovian Processes.
CONCUR
Marco Bernardo, Rance Cleaveland
2000 C conf
Compact Net Semantics for Process Algebras.
FORTE
Marco Bernardo, Marina Ribaudo, Nadia Busi
2000 — conf
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time.
MTCS
Mario Bravetti, Marco Bernardo
2000 — conf
Implementing Symbolic Models for Value Passing in TwoTowers.
Computer Performance Evaluation / TOOLS
Marco Bernardo
2000 — conf
Integrating Two Towers and GreatSPN.
ICALP Satellite Workshops
Marco Bernardo, Nadia Busi, Marina Ribaudo
2000 — conf
On the formalization of architectural types with process algebras.
SIGSOFT FSE
Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello
2000 — conf
ÆMPA: a process algebraic description language for the performance analysis of software architectures.
Workshop on Software and Performance
Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello
1999 J jnl
Let's Evaluate Performance Algebraically.
ACM Comput. Surv.
Marco Bernardo
1998 J jnl
A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems.
Inf. Comput.
Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri
1998 J jnl
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time.
Theor. Comput. Sci.
Marco Bernardo, Roberto Gorrieri
1998 J jnl
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet.
Formal Aspects Comput.
Marco Bernardo, Roberto Gorrieri, Marco Roccetti
1998 B conf
Towards Performance Evaluation with General Distributions in Process Algebras.
CONCUR
Mario Bravetti, Marco Bernardo, Roberto Gorrieri
1998 C conf
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems.
FORTE
Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart
1997 A* conf
An Algebra-Based Method to Associate Rewards with EMPA Terms.
ICALP
Marco Bernardo
1996 B conf
Extended Markovian Process Algebra.
CONCUR
Marco Bernardo, Roberto Gorrieri
1995 J jnl
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets.
Comput. J.
Marco Bernardo, Nadia Busi, Roberto Gorrieri
1995 — conf
Giving a net semantics to Markovian process algebra.
PNPM
Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri
1994 C conf
Integrated analysis of concurrent distributed systems using Markovian process algebra.
FORTE
Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri