Published in: OASIcs, Volume 112, 4th International Computer Programming Education Conference (ICPEC 2023)
Anders Schlichtkrull. An Experience with and Reflections on Live Coding with Active Learning. In 4th International Computer Programming Education Conference (ICPEC 2023). Open Access Series in Informatics (OASIcs), Volume 112, pp. 14:1-14:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{schlichtkrull:OASIcs.ICPEC.2023.14, author = {Schlichtkrull, Anders}, title = {{An Experience with and Reflections on Live Coding with Active Learning}}, booktitle = {4th International Computer Programming Education Conference (ICPEC 2023)}, pages = {14:1--14:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-290-7}, ISSN = {2190-6807}, year = {2023}, volume = {112}, editor = {Peixoto de Queir\'{o}s, Ricardo Alexandre and Teixeira Pinto, M\'{a}rio Paulo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2023.14}, URN = {urn:nbn:de:0030-drops-185108}, doi = {10.4230/OASIcs.ICPEC.2023.14}, annote = {Keywords: Live coding, active learning, teaching programming} }
Published in: OASIcs, Volume 24, 6th International Workshop on Systems Software Verification (2012)
Jörg Brauer, René Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, and Mads Chr. Olesen. Adaptable Value-Set Analysis for Low-Level Code. In 6th International Workshop on Systems Software Verification. Open Access Series in Informatics (OASIcs), Volume 24, pp. 32-43, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{brauer_et_al:OASIcs.SSV.2011.32, author = {Brauer, J\"{o}rg and Hansen, Ren\'{e} Rydhof and Kowalewski, Stefan and Larsen, Kim G. and Olesen, Mads Chr.}, title = {{Adaptable Value-Set Analysis for Low-Level Code}}, booktitle = {6th International Workshop on Systems Software Verification}, pages = {32--43}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-36-1}, ISSN = {2190-6807}, year = {2012}, volume = {24}, editor = {Brauer, J\"{o}rg and Roveri, Marco and Tews, Hendrik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SSV.2011.32}, URN = {urn:nbn:de:0030-drops-35884}, doi = {10.4230/OASIcs.SSV.2011.32}, annote = {Keywords: Abstract interpretation, SAT solving, embedded systems} }
Published in: OASIcs, Volume 23, 12th International Workshop on Worst-Case Execution Time Analysis (2012)
Franck Cassez, René Rydhof Hansen, and Mads Chr. Olesen. What is a Timing Anomaly?. In 12th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 23, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{cassez_et_al:OASIcs.WCET.2012.1, author = {Cassez, Franck and Hansen, Ren\'{e} Rydhof and Olesen, Mads Chr.}, title = {{What is a Timing Anomaly?}}, booktitle = {12th International Workshop on Worst-Case Execution Time Analysis}, pages = {1--12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-41-5}, ISSN = {2190-6807}, year = {2012}, volume = {23}, editor = {Vardanega, Tullio}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2012.1}, URN = {urn:nbn:de:0030-drops-35521}, doi = {10.4230/OASIcs.WCET.2012.1}, annote = {Keywords: Timing anomalies, worst case execution time (WCET), abstractions} }
Published in: OASIcs, Volume 15, 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)
Andreas E. Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, and Kim Guldstrand Larsen. METAMOC: Modular Execution Time Analysis using Model Checking. In 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010). Open Access Series in Informatics (OASIcs), Volume 15, pp. 113-123, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{dalsgaard_et_al:OASIcs.WCET.2010.113, author = {Dalsgaard, Andreas E. and Olesen, Mads Chr. and Toft, Martin and Hansen, Ren\'{e} Rydhof and Larsen, Kim Guldstrand}, title = {{METAMOC: Modular Execution Time Analysis using Model Checking}}, booktitle = {10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)}, pages = {113--123}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-21-7}, ISSN = {2190-6807}, year = {2010}, volume = {15}, editor = {Lisper, Bj\"{o}rn}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.113}, URN = {urn:nbn:de:0030-drops-28319}, doi = {10.4230/OASIcs.WCET.2010.113}, annote = {Keywords: WCET analysis, timed automata, model checking, UPPAAL} }
Feedback for Dagstuhl Publishing