Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. - Pablo Abad; Nazareno Aguirre; Valeria S. Bengolea; Daniel Alfredo Ciolek; Marcelo F. Frias; Juan P. Galeotti; Tom Maibaum; Mariano M. Moscato; Nicolás Rosner; Ignacio Vissani (ICST, 2013)

Practical JFSL verification using TACO. - Marcos Chicote; Daniel Alfredo Ciolek; Juan Pablo Galeotti (Softw. Pract. Exp., 2014)

Directed Controller Synthesis of discrete event systems: Taming composition with heuristics. - Daniel Alfredo Ciolek; Víctor A. Braberman; Nicolás D'Ippolito; Sebastián Uchitel (CDC, 2016)

Technical Report: Directed Controller Synthesis of Discrete Event Systems. - Daniel Alfredo Ciolek; Víctor A. Braberman; Nicolás D'Ippolito; Sebastián Uchitel (CoRR, 2016)

The GOBSTONES method for teaching computer programming. - Pablo E. Martínez López; Daniel Alfredo Ciolek; Gabriela Arévalo; Denise Pari (CLEI, 2017)

Interaction Models and Automated Control under Partial Observable Environments. - Daniel Alfredo Ciolek; Víctor A. Braberman; Nicolás D'Ippolito; Nir Piterman; Sebastián Uchitel (IEEE Trans. Software Eng., 2017)

Multi-Tier Automated Planning for Adaptive Behavior. - Daniel Alfredo Ciolek; Nicolás D'Ippolito; Alberto Pozanco; Sebastian Sardiña (ICAPS, 2020)

Multi-tier Automated Planning for Adaptive Behavior (Extended Version). - Daniel Alfredo Ciolek; Nicolás D'Ippolito; Alberto Pozanco; Sebastian Sardiña (CoRR, 2020)

Compositional Supervisory Control via Reactive Synthesis and Automated Planning. - Daniel Alfredo Ciolek; Víctor A. Braberman; Nicolás D'Ippolito; Sebastian Sardiña; Sebastián Uchitel (IEEE Trans. Autom. Control., 2020)