Lucas Lima

According to our database, Lucas Lima authored at least 14 papers between 2009 and 2023.

Collaborative distances:

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

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