Software Engineering

Search results

• Formal Specification and Testing for Reinforcement Learning (Supplementary Material )

  Varshosaz, M. (Creator), Ghaffari, M. (Creator), Johnsen, E. B. (Creator) & Wasowski, A. (Creator), ZENODO, 26 Jun 2023

  DOI: 10.5281/zenodo.8083298, https://zenodo.org/record/8083298

  Dataset: Software

• Artifact for Symbolic Semantics for Probabilistic Programs

  Voogd, E. (Creator), Johnsen, E. B. (Creator), Silva, A. (Creator), Susag, Z. J. (Creator) & Wąsowski, A. (Creator), ZENODO, 12 Jul 2023

  DOI: 10.5281/zenodo.8139552, https://zenodo.org/record/8139552

  Dataset: Software

• Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Accompanying Artifact)

  Rønneberg, R. C. (Creator), Pardo, R. (Creator) & Wąsowski, A. (Creator), ZENODO, 22 Jul 2023

  DOI: 10.5281/zenodo.8173905, https://zenodo.org/record/8173905

  Dataset: Software

• DaSEA - Dataset for Software Ecosystem Analysis 05-22-2022

  Hey Hinnerskov, J. (Creator), Olsen, K. (Creator) & Pfeiffer, H. (Creator), ZENODO, 22 May 2022

  DOI: 10.5281/zenodo.6570427, https://zenodo.org/record/6570427

  Dataset

• Free Open Source Communities Sustainability: Does It Make a Difference in Software Quality?

  Adam, A. (Creator), Raul, P. (Data Collector) & Johan, L. (Contributor), ZENODO, 26 Apr 2024

  DOI: 10.5281/zenodo.11069770, https://zenodo.org11069770 and one more link, https://zenodo.org/records/10625578 (show fewer)

  Dataset

• Model-Checking the Implementation of Consent (Accompanying Artifact)

  Pardo, R. (Creator) & Métayer, D. L. (Creator), ZENODO, 26 Jun 2024

  DOI: 10.5281/zenodo.12550375, https://zenodo.org/records/12550375

  Dataset: Software

• MPC combined Reinforcement Learning for minimizing CSO: A Case Study of the Stormwater Tunnel in Denmark

  Hahyeon Kim, E. (Creator), Dyhre Nielsen, T. (Creator), Ghaffari, M. (Creator), Goorden, M. (Creator), Holck Høeg-Petersen, A. (Creator), Guldstrand Larsen, K. (Creator) & Wasowski, A. (Creator), ZENODO, 14 Nov 2024

  DOI: 10.5281/zenodo.14160730, https://zenodo.org/records/14160730

  Dataset

• Minimizing Combined Sewer Overflows with Online Model-Predictive Reinforcement Learning: A Case Study of the Stormwater Tunnel in Denmark

  Hahyeon Kim, E. (Creator), Dyhre Nielsen, T. (Creator), Ghaffari, M. (Creator), Goorden, M. (Creator), Holck Høeg-Petersen, A. (Creator), Guldstrand Larsen, K. (Creator) & Wasowski, A. (Creator), ZENODO, 1 Jun 2025

  DOI: 10.5281/zenodo.14288652, https://zenodo.org/records/14288652

  Dataset: Software

• Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots

  Ghorbani, A. (Creator), Cassee, N. W. (Creator), Robinson, D. (Creator), Alami, A. (Creator), Ernst, N. (Creator), Serebrenik, A. (Creator) & Wasowski, A. (Creator), ZENODO, 1 Sept 2022

  DOI: 10.5281/zenodo.7040317, https://zenodo.org/records/7040317

  Dataset

• git-afsantos/haros: HAROS v3.10.16

  Santos, A. (Creator), Krichenbauer, M. (Contributor), Laezza, D. (Contributor), Bordignon, M. (Contributor), Hechtbauer, J. (Contributor), Rogleva, E. (Contributor), Arguedas, M. (Contributor), Wąsowski, A. (Contributor), García, N. H. (Contributor), Hoorn, G. A. V. (Contributor), Limpert, N. (Contributor), Paques, A. (Contributor), Deshpande, H. (Contributor) & Carvalho, R. (Contributor), ZENODO, 4 Sept 2021

  DOI: 10.5281/zenodo.5442452, https://zenodo.org/record/5442452

  Dataset: Software

• Artifacts for the VaMoS 2022 Paper - Unified Operations for Variability in Space and Time

  Ananieva, S. (Creator), Greiner, S. (Creator), Krüger, J. (Creator), Linsbauer, L. (Creator), Grüner, S. (Creator), Kehrer, T. (Creator), Kühn, T. (Creator), Seidl, C. (Creator) & Reussner, R. (Creator), ZENODO, 6 Jan 2022

  DOI: 10.5281/zenodo.5825135, https://zenodo.org/record/5825135

  Dataset

• Identifying Critical Projects via PageRank and Truck Factor - Reproduction Code and Data

  Pfeiffer, H. (Creator), ZENODO, 19 Mar 2021

  DOI: 10.5281/zenodo.4621650, https://zenodo.org/record/4621650

  Dataset: Software

• What constitutes software? An Empirical, Descriptive Study of Artifacts - Reproduction Dataset

  Pfeiffer, H. (Creator), ZENODO, 9 Mar 2020

  DOI: 10.5281/zenodo.3701443, https://zenodo.org/record/3701443

  Dataset

• DaSEA - Dataset for Software Ecosystem Analysis 03-18-2022

  Buchkova, P. (Creator), Hey Hinnerskov, J. (Creator), Olsen, K. (Creator) & Pfeiffer, H. (Creator), ZENODO, 18 Mar 2022

  DOI: 10.5281/zenodo.6369420, https://zenodo.org/record/6369420

  Dataset

• MPC combined Reinforcement Learning for minimizing CSO: A Case Study of the Stormwater Tunnel in Denmark

  Hahyeon Kim, E. (Creator), Dyhre Nielsen, T. (Creator), Ghaffari, M. (Creator), Goorden, M. (Creator), Høeg-Petersen, A. H. (Creator), Guldstrand Larsen, K. (Creator) & Wasowski, A. (Creator), ZENODO, 14 May 2024

  DOI: 10.5281/zenodo.11191543, https://zenodo.org/records/11191543

  Dataset: Software

• SeagrassFinder: An Underwater Eelgrass Image Classification Dataset

  Elsäßer, J. (Creator), Weihl, L. (Creator), Cheplygina, V. (Creator) & Tangaa Nielsen, L. (Creator), ZENODO, 8 Oct 2024

  DOI: 10.5281/zenodo.13904604, https://zenodo.org/records/13904604

  Dataset

• MarinaPipe

  Marnet, L. R. (Creator), Grasshof, S. (Creator), Brodskiy, Y. (Creator) & Wasowski, A. (Creator), ZENODO, 9 Apr 2024

  DOI: 10.5281/zenodo.10951362

  Dataset