BC Lab
BC Lab
About
News
Team
Publications
Contact
thesis
Reasoning About Emergent Behaviors at Runtime
As Autonomous Vehicles (AVs) become more common in the market, the development of new technologies and solutions for them advances …
Caio Batista de Melo
Cite
Download
Characterization of implied scenarios as families of Common Behavior
Concurrent systems face a threat to their reliability in emergent behaviors, which are not included in the specification but can happen …
Caio Batista de Melo
Cite
Download
Cite
×