Lucas Lima

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 10

Top Topics

Sequence Diagrams

Formal Semantics

Top Venues

Sci. Comput. Program.

Softw. Syst. Model.

Publications

Lucas Lima, Vince Molnár
Selected papers from the 25th Brazilian Symposium on Formal Methods - SBMF 2022. Sci. Comput. Program. 238 (2024)
Flávia Falcão, Lucas Lima, Augusto Sampaio, Pedro Antonino
A formal component model for UML based on CSP aiming at compositional verification. Softw. Syst. Model. 23 (3) (2024)
Waldeck Lindoso, Sidney C. Nogueira, Renato Domingues, Lucas Lima
Visual Specification of Properties for Robotic Designs. SBMF (2021)
Lucas Lima, Amaury Tavares, Sidney C. Nogueira
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP. Sci. Comput. Program. 197 (2020)
Lucas Lima, Amaury Tavares, Sidney C. Nogueira
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP. CoRR (2019)
Lucas Lima, Amaury Tavares
Verifying Deadlock and Nondeterminism in Activity Diagrams. MoDELS (Companion) (2019)
Larissa Ferreira, Sidney C. Nogueira, Lucas Lima, Liliane Fonseca, Waldemar Ferreira
Initial findings on the evaluation of a model-based testing tool in the test design process. ESEM (2019)
Flávia Falcão, Lucas Lima, Augusto Sampaio
Safe and Constructive Design with UML Components. SBMF (2018)
Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis
An integrated semantics for reasoning about SysML design models using refinement. Softw. Syst. Model. 16 (3) (2017)
Lucas Lima, Juliano Iyoda, Augusto Sampaio
Refinement Verification of Sequence Diagrams Using CSP. SBMF (2016)
Lucas Lima, Juliano Iyoda, Augusto Sampaio
A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis. MODELSWARD (2014)
Lucas Lima, André Didier, Márcio Cornélio
A Formal Semantics for SysML Activity Diagrams. SBMF (2013)
Alvaro Miyazawa, Lucas Lima, Ana Cavalcanti
Formal Models of SysML Blocks. ICFEM (2013)
Lucas Lima, Juliano Iyoda, Augusto Sampaio, Eduardo Aranha
Test case prioritization based on data reuse an experimental study. ESEM (2009)