Daniel Alfredo Ciolek

According to our database, Daniel Alfredo Ciolek authored at least 11 papers between 2013 and 2023.

Collaborative distances:

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

2023

Text Sanitization Beyond Specific Domains: Zero-Shot Redaction & Substitution with Large Language Models.

Federico Albanese, Daniel Ciolek, Nicolás D'Ippolito

CoRR, 2023

On-the-fly informed search of non-blocking directed controllers.

Daniel Ciolek, Matias Duran, Florencia Zanollo, Nicolas Pazos, Julián Braier, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel

Autom., 2023

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

Multi-tier Automated Planning for Adaptive Behavior (Extended Version).

Daniel Alfredo Ciolek, Nicolás D'Ippolito, Alberto Pozanco, Sebastian Sardiña

CoRR, 2020

Multi-Tier Automated Planning for Adaptive Behavior.

Daniel Alfredo Ciolek, Nicolás D'Ippolito, Alberto Pozanco, Sebastian Sardiña

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

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

The GOBSTONES method for teaching computer programming.

Pablo E. Martínez López, Daniel Alfredo Ciolek, Gabriela Arévalo, Denise Pari

Proceedings of the 2017 XLIII Latin American Computer Conference, 2017

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

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

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2014

Practical JFSL verification using TACO.

Marcos Chicote, Daniel Alfredo Ciolek, Juan Pablo Galeotti

Softw. Pract. Exp., 2014

2013

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

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013