default search action

combined dblp search
author search
venue search
publication search

ask others

Lucas Lima 0001

> Home > Persons

Person information

affiliation: Federal Rural University of Pernambuco, Recife, PE, Brazil

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/LimaM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LimaM24
Lucas Lima, Vince Molnár:
Selected papers from the 25th Brazilian Symposium on Formal Methods - SBMF 2022. Sci. Comput. Program. 238: 103133 (2024)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/FalcaoLSA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/FalcaoLSA24
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): 765-798 (2024)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/FerreiraL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/FerreiraL24
Diego Ferreira, Lucas Lima:
A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods Verification. SBMF 2024: 49-67
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/FerreiraL24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/FerreiraL24a
Diego Ferreira, Lucas Lima:
Verifying Integrated Designs of UML State Machines and Activities Using CSP. SBMF 2024: 68-85
2023
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/models/MarahLCV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/MarahLCV23
Hussein Marah, Lucas Lima, Moharram Challenger, Hans Vangheluwe:
Towards Ontology Enabled Agent-Based Twinning for Cyber-Physical Systems. MoDELS (Companion) 2023: 444-448
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/models/CederbladhCKLV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/CederbladhCKLV23
Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Hans Vangheluwe:
Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering. MoDELS (Companion) 2023: 721-725
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/models/MittalELVB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/MittalELVB23
Rakshit Mittal, Raheleh Eslampanah, Lucas Lima, Hans Vangheluwe, Dominique Blouin:
Towards an Ontological Framework for Validity Frames. MoDELS (Companion) 2023: 801-805
2022
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2022
Lucas Lima, Vince Molnár:
Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings. Lecture Notes in Computer Science 13768, Springer 2022, ISBN 978-3-031-22475-1 [contents]
2021
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/LindosoNDL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/LindosoNDL21
Waldeck Lindoso, Sidney C. Nogueira, Renato Domingues, Lucas Lima:
Visual Specification of Properties for Robotic Designs. SBMF 2021: 34-52
2020
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/LimaTN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LimaTN20
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: 102497 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/esem/FerreiraNLFF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esem/FerreiraNLFF19
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: 1-6
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/models/LimaT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LimaT19
Lucas Lima, Amaury Tavares:
Verifying Deadlock and Nondeterminism in Activity Diagrams. MoDELS (Companion) 2019: 764-768
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1910-13638
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-13638
Lucas Lima, Amaury Tavares, Sidney C. Nogueira:
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP. CoRR abs/1910.13638 (2019)
2018
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/FalcaoLS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/FalcaoLS18
Flávia Falcão, Lucas Lima, Augusto Sampaio:
Safe and Constructive Design with UML Components. SBMF 2018: 234-251
2017
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/LimaMCCISHLL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/LimaMCCISHLL17
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): 875-902 (2017)
2016
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/LimaIS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/LimaIS16
Lucas Lima, Juliano Iyoda, Augusto Sampaio:
Refinement Verification of Sequence Diagrams Using CSP. SBMF 2016: 235-252
2014
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/LimaIS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/LimaIS14
Lucas Lima, Juliano Iyoda, Augusto Sampaio:
A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis. MODELSWARD 2014: 317-324
2013
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/MiyazawaLC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/MiyazawaLC13
Alvaro Miyazawa, Lucas Lima, Ana Cavalcanti:
Formal Models of SysML Blocks. ICFEM 2013: 249-264
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/LimaDC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/LimaDC13
Lucas Lima, André Didier, Márcio Cornélio:
A Formal Semantics for SysML Activity Diagrams. SBMF 2013: 179-194

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/esem/LimaISA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esem/LimaISA09
Lucas Lima, Juliano Iyoda, Augusto Sampaio, Eduardo Aranha:
Test case prioritization based on data reuse an experimental study. ESEM 2009: 279-290

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.