Fingerprint
Dive into the research topics where J.M. Louro Neto is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Research output
- 2 Conference contribution
-
A Benchmark Framework for Byzantine Fault Tolerance Testing Algorithms
Louro Neto, J. M. & Kulahcioglu Ozkan, B., 2025, 6th International Workshop on Formal Methods for Blockchains, FMBC 2025. Marmsoler, D. & Xu, M. (eds.). Wadern: Schloss Dagstuhl, 11 p. 13Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile1 Link opens in a new tab Citation (Scopus)16 Downloads (Pure) -
Generalized Concurrency Testing Tool for Distributed Systems
Gulcan, E. B., Neto, J. & Ozkan, B. K., 2024, ISSTA 2024: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. Christakis, M. & Pradel, M. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 1861-1865 5 p.Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile1 Link opens in a new tab Citation (Scopus)84 Downloads (Pure)