Amanote Research
Register
Sign In
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
Modeling
Software
Simulation
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Encoding Timed Models as Uniform Labeled Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Component-Oriented Verification of Noninterference
Journal of Systems Architecture
Hardware
Architecture
Software
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
A General Approach to Deadlock Freedom Verification for Software Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science