Login / Signup
Raphael Julio Barcelos
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Petri Net
Cooperative
Formal Methods
Discrete Event Systems
Top Venues
Autom.
</>
Publications
</>
Raphael Julio Barcelos
,
João Carlos Basilio
Disjunctive fault prediction of decentralized discrete event systems: Verification, predictor design and K-copredictability.
Autom.
148 (2023)
Raphael Julio Barcelos
,
João Carlos Basilio
Enforcing current-state opacity through shuffle and deletions of event observations.
Autom.
133 (2021)