Research Program Innovating for Resilience (IFR)

Research output

Research output per year 1989 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2024

• 1247 Article
• 475 Conference Article in proceeding
• 285 Paper
• 181 Chapter
• 602 More
  • 79 Abstract
  • 73 Doctoral Thesis
  • 71 Commissioned report
  • 46 Review article
  • 42 Poster
  • 35 Book
  • 34 Editorial
  • 32 Technical report
  • 31 Web publication/site
  • 29 Conference Abstract/Poster in proceeding
  • 18 Book editing
  • 14 Inaugural speech
  • 14 Conference Abstract/Poster in journal
  • 14 Conference Article in journal
  • 10 Comment/Letter to the editor
  • 9 Working paper
  • 8 Special issue
  • 8 Preprint
  • 7 Foreword/postscript
  • 7 Book/Film/Article review
  • 6 Entry for encyclopedia/dictionary
  • 4 Other report (internal)
  • 2 Deliverable
  • 2 Erratum / corrigendum / retractions
  • 2 Literature review
  • 2 Digital or Visual Products
  • 1 Special Issue editing
  • 1 Software
  • 1 Discussion paper

Research output per year

Research output per year

Search results

• 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

• 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

• 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

  • Primitive Operation 100%
  • Abstract Method 50%

• 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 Access

  File

  • Multiparty Session Types 100%
  • Scala 3 100%
  • API Generation 100%
  • Design for Assembly 100%
  • Protocol Compliance 100%
  81 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 Access

  File

  • Choreographic Programming 100%
  • Time Construction 49%
  • Construction Approach 49%
  • Functional Correctness 49%
  75 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 Access

  File

  • Calculus 100%
  • Predicate Transformer 100%
  • Technical Report 100%
  • Non-blocking 50%
  • Reference Dependence 50%
  32 Downloads (Pure)

• 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

  File
  43 Downloads (Pure)

• 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

  • Complex Task 100%
  • Computer Science 100%
  • Task Programming 100%
  • Refactoring 100%
  • Object-Oriented Languages 100%

• 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 Access

  File

  • Technical Report 100%
  • Compact Representation 100%
  • Concurrent Action 100%
  • Partial Order 100%
  • Automaton 100%
  38 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 Access

  File

  • Knowledge Level 100%
  • Open Access Repositories 100%
  • Programming Exercises 100%
  • Teaching Approaches 100%
  • Interactive Online Tool 100%
  62 Downloads (Pure)

• EduVerse: Interactive Technology Showcase

  Iren, Y. D., 2023, Open Universiteit.

  Research output: Book/Report › Technical report › Academic

  File
  44 Downloads (Pure)

• 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 Access

  File

  • Deadlock Freedom 100%
  • Practical Result 100%
  • model checker 100%
  • Parallel Composition 100%
  • Biosimilarity 100%
  76 Downloads (Pure)

• Eyes on the prize: eye tracking for business value

  Hermens, F. & Iren, Y. D., Feb 2023, Open Universiteit. 5 p. (Actionable Data Science Whitepaper Series; No. 1, Vol. 2).

  Research output: Book/Report › Technical report › Academic

  Open Access

  • Small Section 100%
  • Object of Interest 100%
  • Human Visual Field 100%
  • Visible World 100%
  • Rapid Movement 100%

• 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 Access

  File
  90 Downloads (Pure)

• 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

• 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 Access

  File

  • Formal Education 100%
  • Structured Interview 100%
  • No-code 100%
  • Natural Attitude 100%
  • Black-box Testing 100%
  103 Downloads (Pure)

• 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

• 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 Access

  File
  30 Downloads (Pure)

• 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

• 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 Access

  File
  15 Downloads (Pure)

• 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

  • Solar Panel 100%
  • Transition Indicators 100%
  • Satellite Images 100%
  • Sustainability Indicators 100%
  • Energy Sustainability 100%

• 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 Access

  File
  28 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 Access

  File

  • Evaluation Framework 100%
  • Mobile ICT 100%
  • Framework Assessment 100%
  • IT Systems 100%
  • Intangible Impact 100%
  47 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 Access

  File
  65 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 Access

  File

  • Pomsets 100%
  • Realisability 100%
  • Communication Protocol 100%
  • Technical Report 100%
  • Well-formedness 50%
  71 Downloads (Pure)

• 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 Access

  File

  • Design Patterns 100%
  • Java 100%
  • OO Design 50%
  205 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 Access

  File
  57 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 Access

  File
  81 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

  • Knowledge Space 100%
  • Automatic Generation 100%
  • Technical Report 50%

• 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