VLDB 2026 Research / reviewers in the wild / expert
Camilo C. Almendra
dblp:252/8867 · also Camilo Camilo Almendra
· DBLP profile ↗
3ranked-venue papers
2as first author
2since 2021 · last 2023
0000-0002-2375-3828ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 2 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | ARCADE: A Framework for Integrated Management of Safety Assurance InformationabstractAssurance Case Development is an emerging approach for demonstrating that a system is safe. An assurance case includes top-level claims for a property of a system (e.g., safety) and a structured argumentation that breaks down claims into supporting evidence. Its production is an effortful activity that relies on project information and its associated traceability. It is challenging for developers to build assurance cases as they have to identify and gather the project information relevant to the argumentation and assess its consistency and completeness. However, regular project information (e.g. requirements, design, rationale) and assurance-related information (e.g. hazard, causes, mitigation strategies) are likely managed separately. In this context, we designed the ARCADE framework to support the integration of assurance information together with regular information inside project management tools, and to perform automated consistency/completeness analysis and generation of assurance cases. Thus, our approach promotes early and continuous review of traceability information needed to produce assurance cases, while automating their construction. In this work, we present the design of the framework and its current implementation. Camilo C. Almendra, Carla T. L. L. Silva |
RE | 1 |
| 2022 | How assurance case development and requirements engineering interplay: a study with practitioners
Camilo C. Almendra, Carla T. L. L. Silva, Luiz Eduardo Galvão Martins, Johnny Cardoso Marques |
Requir. Eng. | 1 |
| 2020 | Using empirical studies to mitigate symbol overload in iStar extensions
Enyo J. T. Gonçalves, Camilo C. Almendra, Miguel Goulão, João Araújo 0001, Jaelson Brelaz de Castro |
Softw. Syst. Model. | 2 |