Filter
Chapter

Search results

  • 2024

    Cyber Resilience for SDG Towards the Digitization: An Imperial Study

    Barik, K., Misra, S., Mishra, B., Maathuis, C. & Chockalingama, S., 2024, Artificial Intelligence of Things for Achieving Sustainable Development Goals. Misra, S., Siakas, K. & Lampropoulos, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 361-388 28 p. (Lecture Notes on Data Engineering and Communications Technologies, Vol. 192).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 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

  • 2020

    A Tutorial on Verifying LinkedList Using KeY

    Hiep, H.-D. A., Bian, J., Boer, F. S. D. & Gouw, S. D., 2020, Deductive Software Verification: Future Perspectives. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R. & Ulbrich, M. (eds.). Cham: Springer, p. 221-245 25 p. (Lecture Notes in Computer Science, Vol. 12345).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • Quantitative Molecular Models for Biological Processes: Modeling of Signal Transduction Networks with ANIMO

    Khurana, S., Huisman, J., Schivo, S. & Post, J. N., 27 Sept 2020, Osteoporosis and Osteoarthritis. van Wijnen, A. J. & Ganshina, M. S. (eds.). 2 ed. New York, NY: Humana Press, p. 141-161 21 p. (Methods in molecular biology, Vol. 2221).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2019

    ÆGIS: Smart Shielding of Smart Contracts

    Ferreira Torres, C., Baden, M., Norvill, R. & Jonker, H., 6 Nov 2019, CCS '19 Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. New York, NY: Association for Computing Machinery (ACM), p. 2589-2591 3 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • A virtual classroom for cybersecurity education

    Haag, J., Vranken, H. & van Eekelen, M., 27 Apr 2019, Transactions on Edutainment XV. Pan, Z., Cheok, A. D., Müller, W., Zhang, M., El Rhalibi, A. & Kifayat, K. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, p. 173-208 36 p. (Lecture Notes in Computer Science, Vol. 11345).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    160 Downloads (Pure)
  • Fingerprint Surface-Based Detection of Web Bot Detectors

    Jonker, H., Krumnow, B. & Vlot, G., 15 Sept 2019, Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II. Sako, K., Schneider, S. & Ryan, P. Y. A. (eds.). Cham: Springer, p. 586-605 20 p. (Lecture Notes in Computer Science (LNCS), Vol. 11736).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • The Refined Consensus Model of Pedagogical Content Knowledge in Science Education

    Carlson, J., Daehler, K. R., Alonzo, A., Barendsen, E., Berry, A., Borowski, A., Carpendale, J., Chan, K., Cooper, R., Friedrichsen, P., Gess-Newsome, J., Henze-Rietveld, I., Hume, A., Kirschner, S., Liepertz, S., Loughran, J., Mavhunga, E., Neumann, K., Nilsson, P. & Park, S. & 6 others, Rollnick, M., Sickel, A., Suh, J., Schneider, R., Driel, J. V. & Wilson, C., 29 Jan 2019, Repositioning Pedagogical Content Knowledge in Teachers' Knowledge for Teaching Science. Hume, A., Cooper, R. & Borowski, A. (eds.). 1 ed. Singapore: Springer Singapore, p. 77-92 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • Unravelling Student Teachers' pPCK Development and the Influence of Personal Factors Using Authentic Data Sources

    Henze, I. & Barendsen, E., 29 Jan 2019, Repositioning Pedagogical Content Knowledge in Teachers' Knowledge for Teaching Science. Hume, A., Cooper, R. & Borowski, A. (eds.). Singapore: Springer Singapore, p. 201-221 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2018

    Compositional Semantics for Concurrent Object Groups in ABS

    Boer, F. S. D. & Gouw, S. D., 1 Jan 2018, Principled Software Development : Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Müller, P. & Schaefer, I. (eds.). 1 ed. Cham: Springer, p. 87-98 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • Formalizing Propagation of Priorities in Reo, Using Eight Colors

    Jongmans, S.-S., 2018, It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. de Boer, F., Bonsangue, M. & Rutten, J. (eds.). Springer, p. 122-138 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    178 Downloads (Pure)
  • Investigating Fingerprinters and Fingerprinting-Alike Behaviour of Android Applications

    Ferreira Torres, C. & Jonker, H. L., 2018, Computer Security: 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part II. Lopez, J., Zhou, J. & Soriano, M. (eds.). 1 ed. Springer, Vol. 11099. p. 60-80 21 p. (Lecture Notes in Computer Science book series).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2017

    Run-Time Deadlock Detection

    Boer, F. S. D. & Gouw, S. D., 2017, Provably Correct Systems. Hinchey, M., P. Bowen, J. & Olderog, E.-R. (eds.). Springer, p. 245-264 20 p. (NASA Monographs in Systems and Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2016

    Statically and Dynamically Verifiable SLA Metrics

    Giachino, E., Gouw, S. D., Laneve, C. & Nobakht, B., 2016, Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. E. Á., M. B. & E. B. J. (eds.). Springer, p. 211-225 15 p. (Lecture Notes in Computer Science, Vol. 9660). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9660).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • Verification of Counting Sort and Radix Sort

    Gouw, S. D., Boer, F. S. D. & Rot, J., 2016, Deductive Software Verification - The KeY Book: From Theory to Practice. W. A., B. B., R. B., R. H., P. H. S. & M. U. (eds.). Springer, p. 609-618 10 p. (Lecture Notes in Computer Science, Vol. 10001).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2015

    A Hybrid Approach to the Verification of Computer Interpretable Guidelines

    Anselma, L., Bottrighi, A., Giordano, L., Hommersom, A. J., Molino, G., Montani, S., Terenziani, P. & Torchio, M., 2015, Foundations of Biomedical Knowledge Representation: Methods and Applications. Hommersom, A. & Lucas, P. (eds.). Cham: Springer International Publishing, p. 287-315 29 p. (Lecture Notes in Computer Science, Vol. 9521). (Lecture Notes in Artificial Intelligence (subseries), Vol. 9521).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • An Introduction to Knowledge Representation and Reasoning in Healthcare

    Hommersom, A. J. & Lucas, P. J. F., 2015, Foundations of Biomedical Knowledge Representation: Methods and Applications. Hommersom, A. & Lucas, P. J. F. (eds.). Cham: Springer International Publishing, p. 9-32 24 p. (Lecture Notes in Computer Science (LNCS), Vol. 9521). (Lecture Notes in Artificial Intelligence (subseries), Vol. 9521).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
  • ICT Support for Collaborative Learning—A Tale of Two Cities

    Consiglio, T. & van der Veer, G. C., 2015, E-Learning Systems, Environments and Approaches: Theory and Implementation. Isaías, P., Spector, J. M., Ifenthaler, D. & Sampson, D. G. (eds.). Cham: Springer International Publishing AG, p. 147-163 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2012

    Design guidelines for self-assessment support for adult academic distance learning

    Menendez Blanco, M., van der Veer, G., Benvenuti, L. & Kirschner, P. A., 2012, Constructing self-discovery learning spaces online: Scaffolding and decision making technologies. Hai-Jew, S. (ed.). 1 ed. IGI Global, p. 169-198 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    69 Downloads (Pure)
  • Een levenlang leren faciliteren met OpenU: Special Interest Group Open Educational Resources

    Translated title of the contribution: Facilitating lifelong learning with OpenURubens, W. & Counotte, A., Mar 2012, Trendrapport Open Educational Resources 2012: Special Interest Group Open Educational Resources. Jacobi, R. & van der Woert, N. (eds.). Utrecht, the Netherlands: Special Interest Group Open Educational Resources, p. 22-26 5 p. 3

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

    Open Access
    File
    34 Downloads (Pure)
  • Facilitating lifelong learning with OpenU

    Rubens, W. & Counotte, A., Mar 2012, Trend Report: Open Educational Resources. Jacobi, R. & van der Woert, N. (eds.). Utrecht, the Netherlands: Special Interest Group Open Educational Resources, p. 22-26 5 p. 3

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

    Open Access
    File
    22 Downloads (Pure)
  • 2011

    Quantitative Analysis of Services.

    Cappello, I., Clark, A., Gilmore, S., Latella, D., Loreti, M., Quaglia, P. & Schivo, S., 2011, Results of the SENSORIA Project. Springer-Verlag Berlin Heidelberg, p. 522-540 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
  • 2010

    Aspect-Oriented Development Using Protocol Modeling

    McNeile, A. T. & Roubtsova, E. E., 2010, Transactions on Aspect-Oriented Software Development VII. Katz, S., Mezini, M. & Kienzle, J. (eds.). Springer Heidelberg, Vol. 7. p. 115-150 36 p. (Lecture Notes in Computer Science (LNCS), Vol. 6210).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2009

    Virtuele Klas of face-to-face begeleiding: naar een hybride begeleidingsaanbod

    Translated title of the contribution: Virtual Class or face-to-face supervision: to a hybrid supervision offerPerez Salgado, F. & Wester, F., 2009, Een leven lang eigenwijs studeren: het onderwijs van de Open Universiteit Nederland. Schlusmans, K., van den Boom, G., van der Klink, M., Joosten-ten Brinke, D., Hoefakker, R. & Wessels, L. (eds.). Heerlen: Open Universiteit Nederland, p. 127-131 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

    Open Access
    File
    858 Downloads (Pure)