Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Osvaldo S. F. Carvalho

Checking Unstable Properties in Distributed Testing of Communication Protocols

1996English

Related publications

Model Checking Indistinguishability of Randomized Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Performance Analysis of Distributed Intrusion Detection Protocols for Mobile Group Communication Systems

2009English

Verification of Concurrent Quantum Protocols by Equivalence Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Static Checking of Interprocess Communication in ECSP

ACM SIGPLAN Notices
1984English

Model Checking Cryptographic Protocols With Interval Temporal Logic

Journal of Convergence Information Technology
2010English

Checking Sequences for Distributed Test Architectures

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2008English

Smart Grid Communication Protocols

International Journal of Trend in Scientific Research and Development
2019English

State Space Reduction Techniques for Model Checking of MANET Protocols

International Journal of Networking and Computing
2017English

Automatic Completion of Distributed Protocols With Symmetry

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy