According to our database1, Marco Bernardo authored at least 90 papers between 1994 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Constructive logical characterizations of bisimilarity for reactive probabilistic systems.
Theor. Comput. Sci., 2019
Multidimensional context modeling applied to non-functional analysis of software.
Software and Systems Modeling, 2019
Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, Metaresults.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
ULTraS at work: Compositionality metaresults for bisimulation and trace semantics.
J. Log. Algebr. Meth. Program., 2018
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
On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi.
Theor. Comput. Sci., 2015
Editorial for the Special Issue on Open Problems in Concurrency Theory.
J. Log. Algebr. Meth. Program., 2015
Expected-Delay-Summing Weak Bisimilarity for Markov Automata.
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 Inf., 2015
Relating strong behavioral equivalences for processes with nondeterminism and probabilities.
Theor. Comput. Sci., 2014
Report on OPCT 2014.
Bulletin of the EATCS, 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
Timed process calculi: from durationless actions to durational ones.
Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014
On the discriminating power of passivation and higher-order interaction.
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
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences.
Inf. Comput., 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
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013
Encoding Timed Models as Uniform Labeled Transition Systems.
Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013
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
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.
Proceedings of the Foundations of Software Science and Computational Structures, 2012
Component-oriented verification of noninterference.
Journal of Systems Architecture - Embedded Systems Design, 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
Performability Measure Specification: Combining CSRL and MSL.
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
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation.
Journal of Systems and Software, 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
A Process Algebraic Approach to Software Architecture Design.
Springer, ISBN: 978-1-84800-222-7, 2010
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes.
Electr. Notes Theor. Comput. Sci., 2009
Markovian Testing Equivalence and Exponentially Timed Internal Actions
Proceedings of the Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, 2009
PADL2Java: A Java code generator for process algebraic architectural descriptions.
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
A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems.
Mathematical Structures in Computer Science, 2008
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems.
Proceedings of the Architecting Dependable Systems VI, 2008
Towards State Space Reduction Based on T-Lumpability-Consistent Relations.
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
Mixing logics and rewards for the component-oriented specification of performance measures.
Theor. Comput. Sci., 2007
A formal approach to the integrated analysis of security and QoS.
Rel. Eng. & Sys. Safety, 2007
Non-bisimulation-based Markovian behavioral equivalences.
J. Log. Algebr. Program., 2007
Modal Logic Characterization of Markovian Testing and Trace Equivalences.
Electr. Notes Theor. Comput. Sci., 2007
A Survey of Markovian Behavioral Equivalences.
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
Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity.
Electr. Notes Theor. Comput. Sci., 2006
Component-Oriented Specification of Performance Measures.
Electr. Notes Theor. Comput. Sci., 2006
Synthesizing Concurrency Control Components from Process Algebraic Specifications.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006
On the usability of process algebra: An architectural view.
Theor. Comput. Sci., 2005
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management.
Proceedings of the Formal Methods for Mobile Computing, 2005
Preserving Architectural Properties in Multithreaded Code Generation.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005
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
Performance measure sensitive congruences for Markovian process algebras.
Theor. Comput. Sci., 2003
Performance Evaluation at the Software Architecture Level.
Proceedings of the Formal Methods for Software Architectures, 2003
TwoTowers 3.0: Enhancing Usability.
Proceedings of the 11th International Workshop on Modeling, 2003
A General Approach to Deadlock Freedom Verification for Software Architectures.
Proceedings of the FME 2003: Formal Methods, 2003
Architecting families of software systems with process algebras.
ACM Trans. Softw. Eng. Methodol., 2002
Integrating TwoTowers and GreatSPN through a compact net semantics.
Perform. Eval., 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
Architectural Types Revisited: Extensible And/Or Connections.
Proceedings of the Fundamental Approaches to Software Engineering, 2002
Exogenous and Endogenous Extensions of Architectural Types.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002
Comparing the QoS of Internet audio mechanisms via formal methods.
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
Reward Based Congruences: Can We Aggregate More?
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
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time.
Electr. Notes Theor. Comput. Sci., 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
On the formalization of architectural types with process algebras.
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
Implementing Symbolic Models for Value Passing in TwoTowers.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000
A Theory of Testing for Markovian Processes.
Proceedings of the CONCUR 2000, 2000
Let's Evaluate Performance Algebraically.
ACM Comput. Surv., 1999
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 Asp. Comput., 1998
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998
Towards Performance Evaluation with General Distributions in Process Algebras.
Proceedings of the CONCUR '98: Concurrency Theory, 1998
An Algebra-Based Method to Associate Rewards with EMPA Terms.
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997
Extended Markovian Process Algebra.
Proceedings of the CONCUR '96, 1996
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets.
Comput. J., 1995
Giving a net semantics to Markovian process algebra.
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995
Integrated analysis of concurrent distributed systems using Markovian process algebra.
Proceedings of the Formal Description Techniques VII, 1994