This page shows all presentations of this author published in EasyChair Smart Slide.
Comfort and Energy Optimization for Floor Heating Systems
Adrien Le Coent, Kim Guldstrand Larsen, Marco Muñiz and Jiri Srba
Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems
Frederik M. Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz and Jiri Srba