Concepedia

Daniel Ciolek

DC

Statistics

Publications

4

Citations

77

H-Index

4

Active since

2013

Affiliations

Universidad de Buenos Aires(Current)

Imperial College London

Daniel Ciolek is an author at Universidad de Buenos Aires specializing in computer science, formal methods, and software engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceSystems EngineeringSoftware EngineeringRoboticsAutomationRobot LearningFormal VerificationIntelligent Systems

Publications per year

2013–2020

4

Publications

4

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving

Pablo Garrido Abad, Nazareno Aguirre, Valeria Bengolea et al. · 2013 · 40 citations

Engineering, Verification, Test Data Generation +21

Multi-Tier Automated Planning for Adaptive Behavior

Daniel Ciolek, Nicolás D’Ippolito, Alberto Pozanco et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 2020 · 16 citations · Full text

Dual Fairness Assumptions, Engineering, Global Planning +19

Interaction Models and Automated Control under Partial Observable Environments

Daniel Ciolek, Vı́ctor Braberman, Nicolás D’Ippolito et al. · IEEE Transactions on Software Engineering · 2016 · 11 citations · Full text

Engineering, Interaction Model, Software Engineering +19

Directed Controller Synthesis of discrete event systems: Taming composition with heuristics

Daniel Ciolek, Vı́ctor Braberman, Nicolás D’Ippolito et al. · 2016 · 10 citations

1–4 of 4