Research output per year
Research output per year
- 30 results
Search results
-
2022
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Full Version)
Cledou, G., Edixhoven, L. J., Jongmans, S.-S. & Proença, J., Jun 2022, Heerlen: Open Universiteit Nederland. 31 p. (OUNL-CS (Technical Reports); No. 03, Vol. 2022).Research output: Book/Report › Technical report › Academic
Open AccessFile85 Downloads (Pure) -
A Predicate Transformer for Choreographies (Full Version)
Jongmans, S.-S. & van den Bos, P., 2022, Heerlen: Open Universiteit Nederland. 36 p. (OUNL-CS (Technical Reports); No. 01, Vol. 2022).Research output: Book/Report › Technical report › Academic
Open AccessFile75 Downloads (Pure) -
A Predicate Transformer for Choreographies (Technical Report)
Jongmans, S.-S. & van den Bos, P., 2022, Heerlen: Open Universiteit Nederland. 132 p. (OUNL-CS (Technical Reports); No. 02, Vol. 2022).Research output: Book/Report › Technical report › Academic
Open AccessFile34 Downloads (Pure) -
Branching pomsets for choreographies (technical report)
Edixhoven, L., Jongmans, S.-S., Cledou, G. & Proença, J., Jul 2022, Open Universiteit Nederland. 23 p. (OUNL-CS (Technical Reports); No. 04, Vol. 2022).Research output: Book/Report › Technical report › Academic
Open AccessFile41 Downloads (Pure) -
Realisability of branching pomsets (technical report)
Edixhoven, L. J. & Jongmans, S.-S., 2022, Heerlen: Open Universiteit Nederland. 28 p. (OUNL-CS (Technical Reports); No. 05, Vol. 2022).Research output: Book/Report › Technical report › Academic
Open AccessFile72 Downloads (Pure) -
Specification based OO development: Procedural Guidance
Passier, H. J. M., Bijlsma, A. & Kuiper, R., 2022, Heerlen: Open Universiteit Nederland. 72 p. (OUNL-CS (Technical Reports); No. 06, Vol. 2022).Research output: Book/Report › Technical report › Academic
Open AccessFile88 Downloads (Pure) -
2021
Balanced-by-construction regular and ω-regular languages (technical report)
Edixhoven, L. J. & Jongmans, S.-S., 2021, Heerlen: Open Universiteit Nederland. 26 p. (OUNL-CS (Technical Reports); No. 01, Vol. 2021).Research output: Book/Report › Technical report › Academic
File43 Downloads (Pure) -
Construction of a knowledge graph for exercise selection
Bijlsma, A., Huizing, C., Kok, A. J. F., Kuiper, R., Passier, H. J. M., Scheffers, E., Schivo, S. & Vos, T. E. J., 14 Oct 2021, Open Universiteit. 24 p. (OUNL-CS (Technical Reports); No. 2, Vol. 2021).Research output: Book/Report › Technical report › Academic
Open AccessFile64 Downloads (Pure) -
2020
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
Jongmans, S.-S. & Yoshida, N., 2020, Open Universiteit Nederland. 189 p. (Technical Report - Computer Science & Information Science (TR-OU-INF); No. 01, Vol. 2020).Research output: Book/Report › Technical report › Academic
Open AccessFile77 Downloads (Pure) -
Hoe stimuleer je circulair inkopen? 7 eenvoudige lessen om de transitie te maken
Neessen, P. C. M., 16 Nov 2020, Zeist: Nevi. 5 p.Research output: Book/Report › Technical report › Professional
-
How do students test software units? Part one: Their natural attitude diagnosed
Bijlsma, A., Doorn, N., Passier, H. J. M., Pootjes, H. J. & Stuurman, S., 27 May 2020, Heerlen: Open Universiteit Nederland. 46 p. (Technical Report - Computer Science & Information Science (TR-OU-INF), Vol. 2019).Research output: Book/Report › Technical report › Academic
Open AccessFile111 Downloads (Pure) -
2019
Restructering design patterns using functions in Java: An explorative study
Bijlsma, A., Kok, A. J. F., Passier, H. J. M., Pootjes, H. J. & Stuurman, S., 10 Jan 2019, Open Universiteit Nederland. 41 p.Research output: Book/Report › Technical report › Academic
Open AccessFile209 Downloads (Pure) -
2018
Integrated Test Development: Technical Report (TR-OU-ICA-2018-01)
Bijlsma, A., Passier, H. J. M., Pootjes, H. & Stuurman, S., 10 Oct 2018, Open Universiteit.Research output: Book/Report › Technical report › Academic
-
Monitoring spatial sustainable development: Semi-automated analysis of satellite and aerial images for energy transition and sustainability indicators
Curier, R. L., De Jong, T. J. A., Strauch, K., Cramer, K., Rosenski, N., Schartner, C., Debusschere, M., Ziemons, H., Iren, D. & Bromuri, S., 26 Sept 2018, 24 p. (arXiv).Research output: Book/Report › Technical report › Academic
Open Access -
2017
A Pattern to Test Instances of the Template Method
Bijlsma, A., Pootjes, H. J., Stuurman, S. & Passier, H. J. M., 12 Apr 2017, Open Universiteit Nederland. 11 p.Research output: Book/Report › Technical report › Academic
-
Non-Quantitative Modeling of Service-Oriented Architectures, Refactorings, and Performance
van Eekelen, M., Lamers, A. & Jongmans, S.-S., 2017, Open Universiteit Nederland. (Technical Report - Computer Science & Information Science (TR-OU-INF); No. 2, Vol. 2017).Research output: Book/Report › Technical report › Academic
Open AccessFile28 Downloads (Pure) -
On the validation of an Evaluation Framework: Assessment by Experts
Högler, T. & Versendaal, J. M., 11 Nov 2017, HBO Kennisbank, SURF. 58 p.Research output: Book/Report › Technical report › Professional
Open AccessFile47 Downloads (Pure) -
On the validation of the initial step of an upfront system implementation evaluation framework: The firebrigade case
Högler, T. & Versendaal, J. M., 11 Nov 2017, HBO Kennisbank, SURF. 26 p.Research output: Book/Report › Technical report › Professional
Open AccessFile65 Downloads (Pure) -
2016
Analysing energy consumption by software: Technical Report ICXIS-R16001
van Eekelen, M. C. J. D. & van Gastel, B. E., 2016, Institute for Computing and Information Sciences.Research output: Book/Report › Technical report › Professional
Open Access -
Analysing energy consumption by software: ICIS-R16001
van Eekelen, M. C. J. D. & van Gastel, B. E., Nov 2016, Institute for Computing and Information Sciences.Research output: Book/Report › Technical report › Professional
Open Access -
Generating hints and feedback for Hilbert-style axiomatic proofs
Lodder, J. S., Heeren, B. J. & Jeuring, J. T., Dec 2016, Utrecht: Utrecht University. 8 p. (Technical Report University Utrecht, Vol. UU-CS-2016-009).Research output: Book/Report › Technical report › Professional
Open AccessFile92 Downloads (Pure) -
Lecture notes on ‘Analysing energy consumption by software: for the TACLe Summerschool 2016, Yspertal, Austria
van Gastel, B. E. & van Eekelen, M. C. J. D., Sept 2016, Radboud University Nijmegen. 42 p.Research output: Book/Report › Technical report › Professional
Open AccessFile35 Downloads (Pure) -
The Automatic Generation of Knowledge Spaces From Problem Solving Strategies
Milovanovic', I. & Jeuring, J. T., Apr 2016, Utrecht: Utrecht University. 4 p.Research output: Book/Report › Technical report › Academic
Open Access -
Towards a Systematic Review of Automated Feedback Generation for Programming Exercises: Extended Version. (UU-CS-2016-001)
Keuning, H., Jeuring, J. T. & Heeren, B. J., Mar 2016, Utrecht: Utrecht University. 20 p. (Technical Report University Utrecht, Vol. UU-CS-2016-001).Research output: Book/Report › Technical report › Professional
Open Access -
2015
Beautiful JavaScript: How to create good and elegant code
Passier, H. J. M., Stuurman, S. & Pootjes, H. J., 11 May 2015, Open Universiteit Nederland. 26 p.Research output: Book/Report › Technical report › Academic
-
Methodical Concurrency Design in Education: Part I: Race Conditions.
Bijlsma, A., Passier, H. J. M., Pootjes, H. J. & Smetsers, S., 17 Dec 2015, Heerlen (NL): Open Universiteit Nederland.Research output: Book/Report › Technical report › Professional
Open Access -
Methodical Concurrency Design in Education, Part II: Deadlock.
Bijlsma, A., Bockisch, C. M., Passier, H. J. M. & Pootjes, H. J., 17 Dec 2015, (Submitted) Heerlen (NL): Open Universiteit Nederland.Research output: Book/Report › Technical report › Professional
-
2014
Haskell Communities and Activities Report: Bijdrage over Interactive Domain Reasoning
Heeren, B. J., Nov 2014, Haskell. 86 p.Research output: Book/Report › Technical report › Professional
Open Access -
Model solutions and properties for diagnosing student programs in Ask-Elle.
Jeuring, J. T., van Binsbergen, L. T., Heeren, B. J. & Gerdes, A., Sept 2014, Utrecht: Utrecht University.Research output: Book/Report › Technical report › Professional
Open AccessFile16 Downloads (Pure) -
Security of Online Banking Systems.
Kiljan, S. Z., Simoens, K., De Cock, D., van Eekelen, M. C. J. D. & Vranken, H. P. E., 2014, Open Universiteit Nederland. 55 p.Research output: Book/Report › Technical report › Professional
Open AccessFile61 Downloads (Pure)