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

Research output

Research output per year 2019 2021 2022 2023 2024

• 90 Conference Article in proceeding
• 57 Article
• 10 Technical report
• 6 Chapter
• 25 More
  • 6 Paper
  • 4 Conference Article in journal
  • 3 Conference Abstract/Poster in proceeding
  • 3 Preprint
  • 2 Poster
  • 2 Editorial
  • 1 Commissioned report
  • 1 Foreword/postscript
  • 1 Abstract
  • 1 Special issue
  • 1 Software

Research output per year

Research output per year

Search results

• 2023

  Collaborative Private Classifiers Construction

  Alishahi, M. & Moghtadaiee, V., Jan 2023, Collaborative Approaches for Cyber Security in Cyber-Physical Systems. Dimitrakos, T., Lopez, J. & Martinelli, F. (eds.). Springer, p. 15-45 31 p. (Advanced Sciences and Technologies for Security Applications).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Classifier 100%
  • Privacy 87%
  • Classifiers 51%
  • privacy 43%
  • Cyber Physical System 32%
• 2022

  Reasoning About Active Objects: A Sound and Complete Assertional Proof Method

  Boer, F. S. D. & Gouw, S. D., 4 Jul 2022, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Ahrendt, W., Beckert, B., Bubel, R. & Johnsen, E. B. (eds.). 1 ed. Cham: Springer, Vol. 13360. p. 173-192 20 p. (Lecture Notes in Computer Science, Vol. 13360).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Specification languages 100%
  • Reasoning 83%
  • Sound 82%
  • Acoustic waves 68%
  • Specification Languages 62%

• State Identification and Verification with Satisfaction

  Moerman, J. & Wißmann, T., 7 Sept 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Nils Jansen, Mariëlle Stoelinga & Petra van den Bos (eds.). 1 ed. Springer, Vol. 13560. p. 450-466 17 p. (Lecture Notes in Computer Science, Vol. 13560).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Flavors 100%
  • Finite automata 84%
  • Experiments 27%
• 2021

  Attribuut-gebaseerde elektronische handtekeningen en de eIDAS-verordening

  Translated title of the contribution: Attribute-based electronic signatures and the eIDAS-regulationHu, Y. Y., van den Broek, F. M. J., Jacobs, B. & Wolters, P., 23 Dec 2021, Digitalisering en conflictoplossing: Serie onderneming en recht, 130. Kortmann, S. C. J. J., Faber, N. E. D., Jansen, C. J. H. & Schuijling, B. A. (eds.). 2021-1 ed. Deventer: Wolters Kluwer , p. 293-315

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

• Teachers noticing chemical thinking while students plan and draw designs

  Stammes, H., Henze, I., Barendsen, E. & De Vries, M. J., 25 Feb 2021, Design-Based Concept Learning in Science and Technology Education. Henze, I. & De Vries, M. J. (eds.). Brill|Sense, Vol. 17. p. 311-343 33 p. (International Technology Education Studies; No. 17, Vol. 1879-8748).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

• Teachers' reported practice of verbal scaffolding during design activities

  Sheoratan, S., Henze, I., Barendsen, E. & De Vries, M. J., 11 Feb 2021, Design-Based Concept Learning in Science and Technology Education. Henze, I. & De Vries, M. J. (eds.). Brill|Sense, Vol. 17. p. 344-371 28 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review