- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Klinik, M."
Now showing items 1-13 of 13
-
Source code for the SECA symbolic execution engine Klinik, M.A.A. ; Gastel, Bernard van; Kop, C.L.M.; Eekelen, M.C.J.D. van2020, Dataset -
Source code for the TopHat implementation Steenvoorden, T.J. ; Naus, N.; Klinik, M.A.A.2020, Dataset
-
Source code for the genetic algorithm scheduler Klinik, M.A.A. ; Jansen, J.M.; Plasmeijer, M.J.2020, Dataset
-
Source code for the symbolic TopHat execution engine Naus, N.; Steenvoorden, T.J. ; Klinik, M.A.A.2020, Dataset
-
Source code of the resource analysis compiler Klinik, M.A.A. ; Hage, J.; Jansen, J.M.; Plasmeijer, M.J.2020, Dataset
-
Source code of the resource-time analysis compiler Klinik, M.A.A. ; Jansen, J.M.; Plasmeijer, M.J.2020, Dataset
-
Skylines for Symbolic Energy Consumption Analysis Klinik, M. ; Gastel, B.E. van; Kop, C.L.M.; Eekelen, M.C.J.D. van2020, Article in monograph or in proceedings (Beek, M.H. ter (ed.), Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings, pp. 93-112) -
Resource Scheduling with Computable Constraints for Maritime Command and Control 2019, Article in monograph or in proceedings (MAST Asia 2019, Makuhari Messe, Chiba, Tokyo, Japan 17-19 June 2019, pp. ?)
-
A symbolic execution semantics for TopHat Naus, N.; Steenvoorden, T.J. ; Klinik, M.A.A.2019, Article in monograph or in proceedings (Stutterheim, J. (ed.), IFL'19: The 31st Symposium on Implementationand Application of Functional Languages, National University of Singapore, 25th – 27th September 2019, pp. 15-44) -
TopHat: A formal foundation for task-oriented programming Steenvoorden, T.J. ; Naus, N.; Klinik, M.2019, Article in monograph or in proceedings (Komendantskaya, E. (ed.), PPDP '19: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019, Porto, Portugal — October 07 - 09, 2019, pp. 1-13)
-
Dynamic Resource and Task Management Klinik, M. ; Jansen, J.M. ; Bolderheij, F.2018, Part of book or chapter of book (Monsuur, H.; Jansen, J.M.; Marchal, F.J. (ed.), NL ARMS Netherlands Annual Review of Military Studies 2018: Coastal Border Control: From Data and Tasks to Deployment and Law Enforcement, pp. 91-105)
-
The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines Klinik, M. ; Jansen, J.M.; Plasmeijer, R.2017, Article in monograph or in proceedings (Wu, N. (ed.), IFL 2017: Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages, Bristol, United Kingdom — August 30 - September 01, 2017, pp. 8-1-8-12)
-
Predicting resource consumption of higher-order workflows Klinik, M. ; Hage, J.; Jansen, J.M. ; Plasmeijer, R.2017, Article in monograph or in proceedings (Schultz, U. (ed.), PEPM 2017: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, January 16-17, 2017, Paris, France, pp. 99-110)
Now showing items 1-13 of 13
Search Repository
Browse
-
All of Repository
Upload Full Text