Lucas Lima

25 papers A 2C 2Journal 8Unranked 12
YearRankTypeTitle / Venue / Authors
2025 — conf
A Research Agenda for the Living SysML V2 Blueprint: Toward Executable, Verifiable, and Navigable System Models.
SBMF
Ciprian Teodorov, Lucas Lima, Sidney C. Nogueira, Sylvain Guérin, Loïc Lagadec
2025 — conf
An Agent-Oriented Twinning Architecture for Complex Event-Driven Anomaly Detection in Distributed CPS.
ICSA Companion
Hussein Marah, Lucas Lima, Hans Vangheluwe, Moharram Challenger
2025 J jnl
Model management to support systems engineering workflows using ontology-based knowledge graphs.
CoRR
Arkadiusz Rys, Lucas Lima, Joeri Exelmans, Dennis Janssens, Hans Vangheluwe
2025 J jnl
Reasonable Experiments in Model-Based Systems Engineering.
CoRR
Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Rakshit Mittal, Hans Vangheluwe
2024 — conf
A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods Verification.
SBMF
Diego Ferreira, Lucas Lima
2024 J jnl
A formal component model for UML based on CSP aiming at compositional verification.
Softw. Syst. Model.
Flávia Falcão, Lucas Lima, Augusto Sampaio, Pedro Antonino
2024 J jnl
Model management to support systems engineering workflows using ontology-based knowledge graphs.
J. Ind. Inf. Integr.
Arkadiusz Rys, Lucas Lima, Joeri Exelmans, Dennis Janssens, Hans Vangheluwe
2024 J jnl
Selected papers from the 25th Brazilian Symposium on Formal Methods - SBMF 2022.
Sci. Comput. Program.
Lucas Lima, Vince Molnár
2024 — conf
Verifying Integrated Designs of UML State Machines and Activities Using CSP.
SBMF
Diego Ferreira, Lucas Lima
2023 — conf
Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering.
MoDELS (Companion)
Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Hans Vangheluwe
2023 — conf
Towards Ontology Enabled Agent-Based Twinning for Cyber-Physical Systems.
MoDELS (Companion)
Hussein Marah, Lucas Lima, Moharram Challenger, Hans Vangheluwe
2023 — conf
Towards an Ontological Framework for Validity Frames.
MoDELS (Companion)
Rakshit Mittal, Raheleh Eslampanah, Lucas Lima, Hans Vangheluwe, Dominique Blouin
2022 — ed.
Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
SBMF
Lucas Lima, Vince Molnár
2021 — conf
Visual Specification of Properties for Robotic Designs.
SBMF
Waldeck Lindoso, Sidney C. Nogueira, Renato Domingues, Lucas Lima
2020 J jnl
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP.
Sci. Comput. Program.
Lucas Lima, Amaury Tavares, Sidney C. Nogueira
2019 J jnl
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP.
CoRR
Lucas Lima, Amaury Tavares, Sidney C. Nogueira
2019 A conf
Initial findings on the evaluation of a model-based testing tool in the test design process.
ESEM
Larissa Ferreira, Sidney C. Nogueira, Lucas Lima, Liliane Fonseca, Waldemar Ferreira
2019 — conf
Verifying Deadlock and Nondeterminism in Activity Diagrams.
MoDELS (Companion)
Lucas Lima, Amaury Tavares
2018 — conf
Safe and Constructive Design with UML Components.
SBMF
Flávia Falcão, Lucas Lima, Augusto Sampaio
2017 J jnl
An integrated semantics for reasoning about SysML design models using refinement.
Softw. Syst. Model.
Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis
2016 — conf
Refinement Verification of Sequence Diagrams Using CSP.
SBMF
Lucas Lima, Juliano Iyoda, Augusto Sampaio
2014 C conf
A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis.
MODELSWARD
Lucas Lima, Juliano Iyoda, Augusto Sampaio
2013 — conf
A Formal Semantics for SysML Activity Diagrams.
SBMF
Lucas Lima, André Didier, Márcio Cornélio
2013 C conf
Formal Models of SysML Blocks.
ICFEM
Alvaro Miyazawa, Lucas Lima, Ana Cavalcanti
2009 A conf
Test case prioritization based on data reuse an experimental study.
ESEM
Lucas Lima, Juliano Iyoda, Augusto Sampaio, Eduardo Aranha