Login / Signup
Johnny Marques
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
Information Retrieval And Extraction
Formal Model
Fault Tolerant
Systems Development
Top Venues
SBQS
ISSRE Workshops
WER
</>
Publications
</>
Everton Machado
,
Johnny Marques
ME-MPS: An MR-MPS-SW extension model for critical software in regulated environments.
SBQS
(2023)
Maria Lencastre
,
Graciela D. S. Hadad
,
Johnny Marques
Preface.
WER
(2021)
Lilian Barros
,
Celso M. Hirata
,
Johnny Marques
,
Ana Maria Ambrosio
Generating test cases to evaluate and improve processes of safety-critical systems development.
ISSRE Workshops
(2020)