Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Marco Bernardo

Multidimensional Context Modeling Applied to Non-Functional Analysis of Software

Software and Systems Modeling
ModelingSoftwareSimulation
2017English

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2014English

On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Encoding Timed Models as Uniform Labeled Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Component-Oriented Verification of Noninterference

Journal of Systems Architecture
HardwareArchitectureSoftware
2011English

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi

Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
2011English

A General Approach to Deadlock Freedom Verification for Software Architectures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy