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

Filter
Chapter

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 proceedingChapterAcademicpeer-review

  • 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 proceedingChapterAcademicpeer-review

  • 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 proceedingChapterAcademicpeer-review

  • 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 proceedingChapterAcademicpeer-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 proceedingChapterAcademicpeer-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 proceedingChapterAcademicpeer-review