Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Koprubasi, K.
Daniel P. Kennedy
Kalyan Srinivas Abburu
Barbara Aquilani
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
David Scherer
Home
/
Author
/
LUCAS LIMA
Author Info
Open Visualization
Name
Affiliation
Papers
LUCAS LIMA
Univ Fed Pernambuco, Ctr Informat, Recife, PE, Brazil
10
Collaborators
Citations
PageRank
25
19
3.79
Referers
Referees
References
51
244
93
Search Limit
100
244
Publications (10 rows)
Collaborators (25 rows)
Referers (51 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Verifying Deadlock And Nondeterminism In Activity Diagrams
0
0.34
2019
Initial findings on the evaluation of a model-based testing tool in the test design process
0
0.34
2019
Inside the Right-Leaning Echo Chambers: Characterizing Gab, an Unmoderated Social System.
1
0.35
2018
Safe and Constructive Design with UML Components.
0
0.34
2018
An integrated semantics for reasoning about SysML design models using refinement
4
0.42
2017
Refinement Verification of Sequence Diagrams Using CSP.
0
0.34
2016
A formal semantics for Sequence Diagrams and a strategy for system analysis
2
0.39
2014
A Formal Semantics for SysML Activity Diagrams.
1
0.35
2013
Formal Models of SysML Blocks.
4
0.47
2013
Test case prioritization based on data reuse an experimental study
7
0.46
2009
1