Login / Signup
Camila Araújo
ORCID
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 4
Top Topics
Metamodel
Formal Verification
Software Architecture
Reference Model
Top Venues
ECSA
ECSA (Companion)
ICCSA (3)
IEEE Access
</>
Publications
</>
Camila Araújo
A Model-Driven Approach for Formally Verifying SysML-Based Dynamic Software Architectures (short paper).
ECSA (Companion)
(2021)
Camila Araújo
,
Thaís Batista
,
Everton Cavalcante
,
Flávio Oquendo
Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven Approach.
ICCSA (3)
(2021)
Fagner Dias
,
Marcel Oliveira
,
Thaís Vasconcelos Batista
,
Everton Cavalcante
,
Jair C. Leite
,
Flávio Oquendo
,
Camila Araújo
Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP.
ECSA
(2020)
Camila Araújo
,
Everton Cavalcante
,
Thaís Batista
,
Marcel Oliveira
,
Flávio Oquendo
A Research Landscape on Formal Verification of Software Architecture Descriptions.
IEEE Access
7 (2019)