Research Program Towards High-Quality and Intelligent Software (THIS)

Research output

Research output per year 2019 2021 2022 2023

• 53 Conference Article in proceeding
• 40 Article
• 9 Technical report
• 7 Paper
• 17 More
  • 4 Chapter
  • 2 Conference Abstract/Poster in proceeding
  • 2 Poster
  • 2 Conference Article in journal
  • 2 Software
  • 1 Commissioned report
  • 1 Abstract
  • 1 Editorial
  • 1 Special issue
  • 1 Preprint

Research output per year

Research output per year

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 Access

  File

  • Application programming interfaces (API) 100%
  • Finite automata 28%
  • Explosions 24%
  • Computer programming languages 24%
  • Compliance 23%
  21 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

  • Decision making 100%
  39 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
  16 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 Access

  File

  • Semantics 100%
  12 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

  • Network protocols 100%
  • Communication 36%
  16 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
  33 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

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

  • Teaching 100%
  • Students 84%
  27 Downloads (Pure)
• 2020

  Het bevorderen van burgerschapscompetenties in de natuurwetenschappelijke vakken met behulp van zelfgemaakt actueel en innovatief lesmateriaal: Een onderzoek naar karakteristieken van effectief burgerschapsonderwijs in de natuurwetenschappelijke vakken en kenmerken van docenten die zelf actuele burgerschapslessen ontwerpen

  Henze, I., Bayram-Jacobs, D., Barendsen, E. & Platteel, ., 2020, Delft/Nijmegen/Leiden: Nationaal Regieorgaan Onderwijsonderzoek (NRO). 44 p.

  Research output: Book/Report › Technical report › Academic

  Open Access