Lucas Lima

According to our database, Lucas Lima authored at least 20 papers between 2009 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

An Agent-Oriented Twinning Architecture for Complex Event-Driven Anomaly Detection in Distributed CPS.

Hussein Marah, Lucas Lima, Hans Vangheluwe, Moharram Challenger

Proceedings of the 22nd IEEE International Conference on Software Architecture, 2025

2024

A formal component model for UML based on CSP aiming at compositional verification.

Flávia Falcão, Lucas Lima, Augusto Sampaio, Pedro Antonino

Softw. Syst. Model., June, 2024

Selected papers from the 25th Brazilian Symposium on Formal Methods - SBMF 2022.

Lucas Lima, Vince Molnár

Sci. Comput. Program., 2024

Model management to support systems engineering workflows using ontology-based knowledge graphs.

Arkadiusz Rys, Lucas Lima, Joeri Exelmans, Dennis Janssens, Hans Vangheluwe

J. Ind. Inf. Integr., 2024

Verifying Integrated Designs of UML State Machines and Activities Using CSP.

Diego Ferreira, Lucas Lima

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024

A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods Verification.

Diego Ferreira, Lucas Lima

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024

2023

Towards an Ontological Framework for Validity Frames.

Rakshit Mittal, Raheleh Eslampanah, Lucas Lima, Hans Vangheluwe, Dominique Blouin

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Towards Ontology Enabled Agent-Based Twinning for Cyber-Physical Systems.

Hussein Marah, Lucas Lima, Moharram Challenger, Hans Vangheluwe

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering.

Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Hans Vangheluwe

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2021

Visual Specification of Properties for Robotic Designs.

Waldeck Lindoso, Sidney C. Nogueira, Renato Domingues, Lucas Lima

Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021

2020

A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP.

Lucas Lima, Amaury Tavares, Sidney C. Nogueira

Sci. Comput. Program., 2020

2019

Verifying Deadlock and Nondeterminism in Activity Diagrams.

Lucas Lima, Amaury Tavares

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Initial findings on the evaluation of a model-based testing tool in the test design process.

Larissa Ferreira, Sidney C. Nogueira, Lucas Lima, Liliane Fonseca, Waldemar Ferreira

Proceedings of the 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2019

2018

Safe and Constructive Design with UML Components.

Flávia Falcão, Lucas Lima, Augusto Sampaio

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

2017

An integrated semantics for reasoning about SysML design models using refinement.

Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis

Softw. Syst. Model., 2017

2016

Refinement Verification of Sequence Diagrams Using CSP.

Lucas Lima, Juliano Iyoda, Augusto Sampaio

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

2014

A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis.

Lucas Lima, Juliano Iyoda, Augusto Sampaio

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

2013

A Formal Semantics for SysML Activity Diagrams.

Lucas Lima, André Didier, Márcio Cornélio

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

Formal Models of SysML Blocks.

Alvaro Miyazawa, Lucas Lima, Ana Cavalcanti

Proceedings of the Formal Methods and Software Engineering, 2013

2009

Test case prioritization based on data reuse an experimental study.

Lucas Lima, Juliano Iyoda, Augusto Sampaio, Eduardo Aranha

Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, 2009