Lucas Leal

According to our database, Lucas Leal authored at least 5 papers between 2018 and 2020.

Collaborative distances:

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

2020

Using Metamodels to Improve Model-Based Testing of Service Orchestrations.

Lucas Leal, Leonardo Montecchi, Andrea Ceccarelli, Eliane Martins

Proceedings of the 25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020

AS-Path Prepending: there is no rose without a thorn.

Pedro de B. Marcos, Lars Prehn, Lucas Leal, Alberto Dainotti, Anja Feldmann, Marinho P. Barcellos

Proceedings of the IMC '20: ACM Internet Measurement Conference, 2020

2019

Exploiting MDE for Platform-Independent Testing of Service Orchestrations.

Lucas Leal, Leonardo Montecchi, Andrea Ceccarelli, Eliane Martins

Proceedings of the 15th European Dependable Computing Conference, 2019

The SAMBA Approach for Self-Adaptive Model-Based Online Testing of Services Orchestrations.

Lucas Leal, Andrea Ceccarelli, Eliane Martins

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

Uncovering Bugs in P4 Programs with Assertion-based Verification.

Lucas Freire, Miguel C. Neves, Lucas Leal, Kirill Levchenko, Alberto E. Schaeffer Filho, Marinho P. Barcellos

Proceedings of the Symposium on SDN Research, 2018