Donato Clun

Orcid: 0000-0001-5190-8957

According to our database¹, Donato Clun authored at least 4 papers between 2015 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Rigorous Assessment of Model Inference Accuracy using Language Cardinality.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., May, 2024

2020

Improving Symbolic Automata Learning with Concolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Chapter Five - Advances in Symbolic Execution.

[BibT_eX]

[DOI]

Adv. Comput., 2019

2015

Towards Executing Dynamically Updating Finite-State Controllers on a Robot System.

[BibT_eX]

[DOI]

Valerio Panzica La Manna

Joel Greenyer

Donato Clun

Carlo Ghezzi

Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015

Donato Clun

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...