Marco Bernardo
Orcid: 0000-0003-0267-6170Affiliations:
- University of Urbino, Department of Pure and Applied Sciences, Italy
- University of Bologna, Italy (former)
According to our database1,
Marco Bernardo
authored at least 108 papers
between 1994 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
On csauthors.net:
Bibliography
2023
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach.
Log. Methods Comput. Sci., 2023
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity.
CoRR, 2023
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities.
Proceedings of the Fourteenth International Symposium on Games, 2023
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023
Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023
Proceedings of the Foundations of Software Science and Computation Structures, 2023
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023
2022
Found. Trends Program. Lang., 2022
Bridging Causal Consistent and Time Reversibility: A Stochastic Process Algebraic Approach.
CoRR, 2022
2020
Proceedings of the Recent Trends in Algebraic Development Techniques, 2020
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism.
Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020
Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020
2019
Constructive logical characterizations of bisimilarity for reactive probabilistic systems.
Theor. Comput. Sci., 2019
Softw. Syst. Model., 2019
Proceedings of the Computer Performance Engineering - 16th European Workshop, 2019
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
2018
J. Log. Algebraic Methods Program., 2018
Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications.
CoRR, 2018
2016
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions.
Theor. Comput. Sci., 2016
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems.
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016
2015
On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi.
Theor. Comput. Sci., 2015
J. Log. Algebraic Methods Program., 2015
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes.
Acta Informatica, 2015
2014
Relating strong behavioral equivalences for processes with nondeterminism and probabilities.
Theor. Comput. Sci., 2014
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.
Log. Methods Comput. Sci., 2014
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems.
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014
Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
2013
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences.
Inf. Comput., 2013
A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities"
CoRR, 2013
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes.
Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013
Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013
2012
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes
Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012
2011
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
Proceedings of the Proceedings First International Workshop on Process Algebra and Coordination, 2011
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes.
Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011
Proceedings of the Formal Methods for Industrial Critical Systems, 2011
TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks.
Proceedings of the Computer Performance Engineering, 2011
2010
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation.
J. Syst. Softw., 2010
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions
Proceedings of the Proceedings First Symposium on Games, 2010
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010
Springer, ISBN: 978-1-84800-222-7, 2010
2009
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes.
Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009
Proceedings of the Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, 2009
Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference.
Proceedings of the Foundations and Applications of Security Analysis, 2009
2008
A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems.
Math. Struct. Comput. Sci., 2008
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems.
Proceedings of the Architecting Dependable Systems VI, 2008
Proceedings of the Computer Performance Engineering, 2008
Non-synchronous Communications in Process Algebraic Architectural Description Languages.
Proceedings of the Software Architecture, Second European Conference, 2008
2007
Mixing logics and rewards for the component-oriented specification of performance measures.
Theor. Comput. Sci., 2007
Reliab. Eng. Syst. Saf., 2007
J. Log. Algebraic Methods Program., 2007
Proceedings of the Formal Methods for Performance Evaluation, 2007
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions.
Proceedings of the Theoretical Computer Science, 10th Italian Conference, 2007
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007
2006
Proceedings of the Workshop on Logic, Models and Computer Science, 2006
Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006
2005
Theor. Comput. Sci., 2005
Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity.
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management.
Proceedings of the Formal Methods for Mobile Computing, 2005
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005
2004
Symbolic semantic rules for producing compact STGLAs from value passing process descriptions.
ACM Trans. Comput. Log., 2004
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions.
Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth.
Proceedings of the Computer Safety, 2004
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
2003
Theor. Comput. Sci., 2003
Proceedings of the Formal Methods for Software Architectures, 2003
Proceedings of the 11th International Workshop on Modeling, 2003
Proceedings of the FME 2003: Formal Methods, 2003
2002
ACM Trans. Softw. Eng. Methodol., 2002
Perform. Evaluation, 2002
Combining stochastic process algebras and queueing networks for software architecture analysis.
Proceedings of the Third International Workshop on Software and Performance, 2002
A scalable approach to the design of SW architectures with dynamically create/destroyed components.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language.
Proceedings of the Performance Evaluation of Complex Systems: Techniques and Tools, 2002
Proceedings of the Fundamental Approaches to Software Engineering, 2002
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002
2001
ACM Trans. Model. Comput. Simul., 2001
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., 2001
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems.
Proceedings of the 2001 Working IEEE / IFIP Conference on Software Architecture (WICSA 2001), 2001
Proceedings of the Process Algebra and Probabilistic Methods, 2001
A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services.
Proceedings of the 9th International Workshop on Modeling, 2001
2000
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time.
Proceedings of the International Workshop on Models for Time-Critical Systems, 2000
ÆMPA: a process algebraic description language for the performance analysis of software architectures.
Proceedings of the Second International Workshop on Software and Performance, 2000
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000
Integrating Two Towers and GreatSPN.
Proceedings of the ICALP Workshops 2000, 2000
Compact Net Semantics for Process Algebras.
Proceedings of the Formal Techniques for Distributed System Development, 2000
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000
1999
1998
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time.
Theor. Comput. Sci., 1998
A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems.
Inf. Comput., 1998
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet.
Formal Aspects Comput., 1998
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998
1997
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997
1996
1995
Comput. J., 1995
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995
1994
Integrated analysis of concurrent distributed systems using Markovian process algebra.
Proceedings of the Formal Description Techniques VII, 1994