Distributed, Embedded and Intelligent Systems

Søgeresultater

• Repeatability Package for "Differential Testing of Pushdown Reachability with a Formally Verified Oracle"

  Schlichtkrull, A. (Ophavsperson), Schou, M. K. (Ophavsperson), Srba, J. (Ophavsperson) & Traytel, D. (Ophavsperson), Zenodo, 2 aug. 2022

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

  Datasæt

• Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems"

  Jensen, P. G. (Ophavsperson), Schmid, S. (Ophavsperson), Schou, M. K. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 1 aug. 2022

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

  Datasæt

• Data for domains without generator for the ICAPS 2021 paper "Automatic Instance Generation for Classical Planning"'

  Torralba, A. (Ophavsperson), Seipp, J. (Ophavsperson) & Sievers, S. (Ophavsperson), Zenodo, 22 jun. 2022

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

  Datasæt

• Models for "Optimal Control Strategies for Stormwater Detention Ponds"

  Goorden, M. (Ophavsperson), Larsen, K. G. (Ophavsperson), Nielsen, J. E. (Ophavsperson), Nielsen, T. D. (Ophavsperson), Qian, W. (Ophavsperson), Rasmussen, M. R. (Ophavsperson), Srba, J. (Ophavsperson) & Zhao, G. (Ophavsperson), Zenodo, 30 maj 2022

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

  Datasæt

• Repeatability package for: Methods for Efficient Unfolding of Colored Petri Nets

  Kristensen, A. B. (Ophavsperson), Jensen, P. G. (Ophavsperson), Pedersen, T. (Ophavsperson), Srba, J. (Ophavsperson) & Taankvist, P. H. (Ophavsperson), Zenodo, 6 apr. 2022

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

  Datasæt

• Artefact for Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games

  Johansen, N. S. (Ophavsperson), Kær, L. B. (Ophavsperson), Madsen, A. L. (Ophavsperson), Nielsen, K. Ø. (Ophavsperson), Srba, J. (Ophavsperson) & Tollund, R. G. (Ophavsperson), Zenodo, 27 mar. 2022

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

  Datasæt

• PDDL Generators

  Seipp, J. (Ophavsperson), Torralba, A. (Ophavsperson) & Hoffmann, J. (Ophavsperson), Zenodo, 24 mar. 2022

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

  Datasæt

• Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks"

  Schmid, S. (Ophavsperson), Schou, M. K. (Ophavsperson), Srba, J. (Ophavsperson) & Vanerio, J. (Ophavsperson), Zenodo, 2022

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

  Datasæt

• Artifact for "NetStack: A Game Approach to Synthesizing Consistent Network Updates"

  Schmid, S. (Ophavsperson), Schrenk, B. C. (Ophavsperson) & Torralba, A. (Ophavsperson), Zenodo, 2022

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

  Datasæt

• Evaluation Artifacts for: Solving String Theories involving Regular Membership Predicates Using SAT

  Kulczynski, M. (Ophavsperson), Lotz, K. (Ophavsperson), Nowotka, D. (Ophavsperson) & Poulsen, D. B. (Ophavsperson), Zenodo, 2022

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

  Datasæt

• Artefact for "Playing Wordle with Uppaal Stratego"

  Jensen, P. G. (Ophavsperson), Larsen, K. G. (Ophavsperson) & Mikucionis, M. (Ophavsperson), Zenodo, 2022

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

  Datasæt

• Artefact for "End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego"

  Hasrat, I. R. (Ophavsperson), Jensen, P. G. (Ophavsperson), Larsen, K. G. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 2022

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

  Datasæt

• A Survey of European Cybersecurity in Higher Education Programs

  Dragoni, N. (Ophavsperson), Massacci, F. (Ophavsperson), Lluch-Lafuente, A. (Ophavsperson) & Schlichtkrull, A. (Ophavsperson), IEEE DataPort, 15 jul. 2021

  DOI: 10.21227/b5y0-4243, https://ieee-dataport.org/open-access/survey-european-cybersecurity-higher-education-programs

  Datasæt

• Reproducibility Package: Automata-Driven Partial Order Reduction and Guided Search for LTL

  Jensen, P. G. (Ophavsperson), Srba, J. (Ophavsperson), Jensen Ulrik, N. (Ophavsperson) & Mejlby Virenfeldt, S. (Ophavsperson), Zenodo, 2021

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

  Datasæt

• Artefact for: Automatic Synthesis of Transiently Correct Network Updates via Petri Games

  Didriksen, M. (Ophavsperson), Jensen, P. G. (Ophavsperson), Jønler, J. F. (Ophavsperson), Katona, A. (Ophavsperson), Lama, S. D. L. (Ophavsperson), Lottrup, F. B. (Ophavsperson), Shajarat, S. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 2021

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

  Datasæt

• Repeatability Package for: Improvements in Unfolding of Colored Petri Nets

  Bilgram, A. (Bidrager), Jensen, P. G. (Bidrager), Pedersen, T. (Bidrager), Srba, J. (Bidrager) & Taankvist, P. H. (Bidrager), Zenodo, 2021

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

  Datasæt

• Models for "Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds"

  Goorden, M. (Ophavsperson), Larsen, K. G. (Ophavsperson), Nielsen, J. E. (Ophavsperson), Nielsen, T. D. (Ophavsperson), Rasmussen, M. R. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 2021

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

  Datasæt

• Code and Benchmarks from the paper "Automatic Instance Generation for Classical Planning"'

  Torralba, A. (Ophavsperson), Seipp, J. (Ophavsperson), Sievers, S. (Ophavsperson), Torralba, A. (Bidrager), Seipp, J. (Bidrager) & Sievers, S. (Bidrager), Zenodo, 2021

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

  Datasæt

• Repeatability Package for "Faster Pushdown Reachability Analysis with Applications in Network Verification"

  Jensen, P. G. (Ophavsperson), Schmid, S. (Ophavsperson), Schou, M. K. (Ophavsperson), Srba, J. (Ophavsperson), Vanerio, J. (Ophavsperson) & Duijn, I. V. (Ophavsperson), Zenodo, 2021

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

  Datasæt

• Generating Instructions at Different Levels of Abstraction

  The, 2. I. C. O. C. L. 2. (Ophavsperson), Hoffmann, J. (Ophavsperson), Höller, D. (Ophavsperson), Köhn, A. (Ophavsperson), Koller, A. (Ophavsperson), Torralba, A. (Ophavsperson) & Wichlacz, J. (Ophavsperson), Underline Science Inc., 8 dec. 2020

  DOI: 10.48448/9ecx-eq63, https://underline.io/lecture/6296-generating-instructions-at-different-levels-of-abstraction

  Datasæt: Supplerende materiale

• Experiments for "It's Time to Play Safe: Shield Synthesis for Timed Systems"

  Palmisano, A. (Ophavsperson), Lorber, F. (Ophavsperson), Könighofer, B. (Ophavsperson), Jensen, P. G. (Ophavsperson), Bloem, R. (Ophavsperson) & Guldstrand, K. (Ophavsperson), Zenodo, 2020

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

  Datasæt

• MABRAVO: Multicast Algorithm for Broadcast and Routing over AoIs in Voronoi Overlays

  Albano, M. (Ophavsperson), Code Ocean, 2020

  DOI: 10.24433/co.1722184.v1, https://doi.org/10.24433%2Fco.1722184.v1

  Datasæt

• Artifact for "Partial Order Reduction for Reachability Games"

  Bønneland, F. M. (Ophavsperson), Jensen, P. G. (Ophavsperson), Larsen, K. G. (Ophavsperson), Mũniz, M. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 2020

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

  Datasæt

• Repetability for "Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction"

  Jensen, P. G. (Ophavsperson), Cassez, F. (Ophavsperson) & Larsen, K. G. (Ophavsperson), Zenodo, 2020

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

  Datasæt

• Artifact for "AalWiNes: A Fast and Quantitative What-If Analysis Tool for MPLS Networks"

  Jensen, P. G. (Ophavsperson), Kristiansen, D. (Ophavsperson), Schmid, S. (Ophavsperson), Schou, M. K. (Ophavsperson), Schrenk, B. C. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 2020

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

  Datasæt