Daniel Alfredo Ciolek
Orcid: 0000-0001-7488-7386
According to our database1,
Daniel Alfredo Ciolek
authored at least 9 papers
between 2013 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
IEEE Trans. Autom. Control., 2020
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020
2017
IEEE Trans. Software Eng., 2017
Proceedings of the 2017 XLIII Latin American Computer Conference, 2017
2016
CoRR, 2016
Directed Controller Synthesis of discrete event systems: Taming composition with heuristics.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
2014
2013
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013