Donato Clun
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2015–2020
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FASE | Improving Symbolic Automata Learning with Concolic Execution. | Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser |
| 2015 | ICSE | Towards Executing Dynamically Updating Finite-State Controllers on a Robot System. | Valerio Panzica La Manna, Joel Greenyer, Donato Clun, Carlo Ghezzi |