print · login   

2022

Lubbers, M. (2022): Literate Haskell/lhs2TeX source code for the paper “Deep Embedding with Class”: TFP 2022. Zenodo. https://doi.org/10.5281/zenodo.6650880.

Lubbers, M. (2022): Code for the paper “First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming”: IFL 2022. Zenodo. 10.5281/zenodo.6416747.

2021

Lubbers, M., Koopman, P., Ramsingh, A. (University of Glasgow), Singer, J. (University of Glasgow), Trinder, P. (University of Glasgow) (2021): Source code, line counts and memory statistics for CRS, CWS, CRTS and CWTS. Zenodo. 10.5281/zenodo.5040754

Lubbers, M., Koopman, P., Ramsingh, A. (University of Glasgow), Singer, J. (University of Glasgow), Trinder, P. (University of Glasgow) (2021): Source code, line counts and memory stats for PRS, PWS, PRT and PWT. Zenodo. 10.5281/zenodo.5081386

Lubbers, M.; Koopman, P.; Plasmeijer, R. (2021): Source code for the interpreted mTask language. DANS. https://doi.org/10.17026/dans-zrn-2wv3.

Lubbers, M.; Koopman, P.; Ramsingh, A. (University of Glasgow); Singer, J. (University of Glasgow); Trinder, P. (University of Glasgow) (2021): Source code of the PRSS and CWSS applications. DANS. https://doi.org/10.17026/dans-zvf-4p9m.

Damasceno, C.; Strüber, D. (2021): Guidelines For Artifact Authoring, Sharing, and Reviewing in Model-Driven Engineering. Zenodo. https://zenodo.org/record/5109401

Vaandrager, F., Garhewal, B., Rot, J., & Wißmann, T. (2021). Artifact for (A New Approach for Active Automata Learning Based on Apartness) @ TACAS 2022 (0.1.0). Zenodo. https://doi.org/10.5281/zenodo.5735533

2020

Lubbers, M.; Koopman, P.; Plasmeijer, R. (2020): Source code for the multitasking mTask language integrated with the iTask system. DANS. https://doi.org/10.17026/dans-x2y-rtxx.

Lubbers, M.; Koopman, P.; Plasmeijer, R. (2020): Source code for a simplified mTask language integrated with the iTask system. DANS. https://doi.org/10.17026/dans-xv6-fvxd.

Koopman, P.; Lubbers, M.; Plasmeijer, R. (2020): Source code for the mTask language. DANS. https://doi.org/10.17026/dans-xx4-8zs9.

Strüber, D.; Anjorin, A.; Berger, T. (2020): Variability Representations in Class Models: An Empirical Assessment. Replication Package. FigShare. https://doi.org/10.6084/m9.figshare.12682220

Bos, MSc P. van den (Radboud University) (2020): Coverage-Based Testing with Symbolic Transition Systems: Code and Case Study Results. DANS. https://doi.org/10.17026/dans-xm5-vpdk

Bos, MSc P. van den (Radboud University) (2020): State Identification for Labeled Transition Systems with Inputs and Outputs: Software and Case Study Computation Results. DANS. https://doi.org/10.17026/dans-zyz-9gb9

Klinik, M.A.A.; Hage, J.; Jansen, J.M.; Plasmeijer, M.J. (2020). Source code of the resource analysis compiler. DANS EASY. https://doi.org/10.17026/dans-zdg-y4sg.

Klinik, M.A.A.; Jansen, J.M.; Plasmeijer, M.J. (2020). Source code of the resource-time analysis compiler. DANS EASY. https://doi.org/10.17026/dans-xvb-b9w9.

Klinik, M.A.A.; Gastel, B.E. van; Kop, C.L.M. (2020). Source code for the SECA symbolic execution engine. DANS EASY. https://doi.org/10.17026/dans-29u-kyh8.

Steenvoorden, T.J.; Naus, N.; Klinik, M.A.A. (2020). Source code for the TopHat implementation. DANS EASY. https://doi.org/10.17026/dans-zks-p82q.

Naus, N.; Steenvoorden, T.J.; Klinik, M.A.A. (2020). Source code for the symbolic TopHat execution engine. DANS EASY. https://doi.org/10.17026/dans-zub-xac3.

Klinik, M.A.A.; Jansen, J.M.; Plasmeijer, M.J. (2020). Source code for the genetic algorithm scheduler. DANS EASY. https://doi.org/10.17026/dans-xya-4urm.

Nägele, T.C. (Radboud University); Hooman, prof. dr. J.J.M. (Radboud University) (2020): Dataset belonging to CoHLA: Rapid Co-simulation Construction. DANS. https://doi.org/10.17026/dans-xu9-4wjm

2018

Fiterau-Brostean, P. (Radboud University); Poll, dr. ir. E. (Radboud University); Vaandrager, prof. dr. F.W. (Radboud University); Lenaerts, T.; Ruiter, dr. J.E.J. de (Radboud University); Verleg, P. (2018): Source code and data relevant for the paper 'Model Learning and Model Checking of SSH Implementations'. DANS. https://doi.org/10.17026/dans-z6n-dxq6

2017

Fiterau-Brostean, P. (Radboud University); Janssen, R. (Radboud University); Vaandrager, prof. dr. F.W. (Radboud University) (2017): Source code and data relevant for the paper 'Combining Model Learning and Model Checking to Analyze TCP Implementations'. DANS. https://doi.org/10.17026/dans-xhw-8tyc

Smetsers, R.H.A.M. (Radboud University); Fiterau-Brostean, P. (Radboud University); Vaandrager, prof. dr. F.W. (Radboud University) (2017): Source code and data relevant for the paper 'Model Learning as a Satisfiability Modulo Theories Problem'. DANS. https://doi.org/10.17026/dans-xn2-yewe

Aarts, MSc F. (Radboud University); Fiterau-Brostean, P. (Radboud University); Kuppens, drs. H.C.W. (Radboud University); Vaandrager, prof. dr. F.W. (Radboud University) (2017): Source code and data relevant for the paper 'Learning Register Automata with Fresh Value Generation'. DANS. https://doi.org/10.17026/dans-zkb-4ppm

2014

Vaandrager, Frits (2014): Supplementary material for publication "Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks". 4TU.ResearchData. Dataset. https://doi.org/10.4121/uuid:bfbd480d-1b49-4494-ad2c-0a5caa383354