print · source · login   

2020

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