Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Lijun Wang
Tidjani Négadi
Stephan Saur
Jhonathan Pinzon
Liangliang Shang
Scott Leutenegger
Giovanni Venturelli
Chen Ma
Jing-Sheng Wong
Radu Timofte
Home
/
Author
/
LEVI LÚCIO
Author Info
Open Visualization
Name
Affiliation
Papers
LEVI LÚCIO
Universidade Nova de Lisboa, Portugal
12
Collaborators
Citations
PageRank
29
90
6.15
Referers
Referees
References
204
239
108
Search Limit
100
239
Publications (12 rows)
Collaborators (29 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Full contract verification for ATL using symbolic execution.
4
0.37
2018
ML + FV = ♡? A Survey on the Application of Machine Learning to Formal Verification.
0
0.34
2018
Process-Aware Model-driven Development Environments.
0
0.34
2017
EARS-CTRL: Generating Controllers for Dummies.
0
0.34
2017
Invariant preservation in iterative modeling
2
0.38
2012
Towards a model transformation intent catalog
18
0.78
2012
The FTG+PM framework for multi-paradigm modelling: an automotive case study
15
0.76
2012
DSLTrans: a turing incomplete transformation language
23
0.86
2010
A technique for automatic validation of model transformations
24
0.88
2010
MODEVVA 2010 workshop summary
1
0.35
2010
MoDeVVa workshop summary
0
0.34
2009
Formal test generation from UML models
3
0.42
2006
1