Marco Bernardo

According to our database1, Marco Bernardo
  • authored at least 89 papers between 1994 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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.
CoRR, 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

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

2014
Relating strong behavioral equivalences for processes with nondeterminism and probabilities.
Theor. Comput. Sci., 2014

Report on OPCT 2014.
Bulletin of the EATCS, 2014

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.
Logical Methods in Computer Science, 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

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

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

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

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.
Proceedings of the Foundations of Software Science and Computational Structures, 2012

2011
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

2010
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

2009
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

2008
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

2007
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

2006
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

2005
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

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
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

2002
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.
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

2001
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

2000
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.
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.
ICALP Satellite Workshops, 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

1999
Let's Evaluate Performance Algebraically.
ACM Comput. Surv., 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 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

1997
An Algebra-Based Method to Associate Rewards with EMPA Terms.
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

1996
Extended Markovian Process Algebra.
Proceedings of the CONCUR '96, 1996

1995
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

1994
Integrated analysis of concurrent distributed systems using Markovian process algebra.
Proceedings of the Formal Description Techniques VII, 1994


  Loading...