Department of Computer Science

Search results

  • Conference Article in proceeding

    Learning Parameters of Hybrid Time Bayesian Networks

    Liu, M., Hommersom, A., Heijden, M. V. D. & Lucas, P. J. F., 2016, Proceedings of the Eighth International Conference on Probabilistic Graphical Models: Volume 52 of the JMLR Workshop and Conference Proceedings: PGM 2016, Lugano, 6–9 September 201. Antonucci, A., Corani, G. & de Campos, C. P. (eds.). PMLR, Vol. 52. p. 287-298 12 p.

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

    Open Access

  • Lexicographic Entailment, Syntax Splitting and the Drowning Problem

    Heyninck, J. L. A., Kern-Isberner, G. & Meyer, T., 23 Jul 2022, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. Luc De Raedt (ed.). International Joint Conferences on Artificial Intelligence, p. 2662-2668 7 p.

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

    Open Access

  • Location-Private Interstellar Communication

    Jonker, H. L., Mauw, S. & Radomirović, S., 2015, Security Protocols XXIII: 23rd International Workshop, Cambridge, UK, March 31 - April 2, 2015, Revised Selected Papers. Christianson, B., Švenda, P., Matyáš, V., Malcolm, J., Stajano, F. & Anderson, J. (eds.). Cham: Springer International Publishing, p. 105-115 11 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9379). (Security and Cryptology (LNCS subseries), Vol. 9379).

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

  • Maintaining Unit Tests During Refactoring

    Passier, H. J. M., Bijlsma, A. & Bockisch, C. M., 2016, PPPJ '16: Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. New York, NY: Association for Computing Machinery (ACM), p. 1-6 6 p. 18

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

  • Making Continuous Time Bayesian Networks More Flexible

    Liu, M., Stella, F., Hommersom, A. & Lucas, P. J. F., 1 Nov 2018, Proceedings of the Ninth International Conference on Probabilistic Graphical Models. Kratochvíl, V. & Studený, M. (eds.). Prague, Czech Republic: PMLR, Vol. 72. p. 237-248 12 p. (Proceedings of Machine Learning Research).

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

    Open Access

  • Man-in-the-middle attacks evolved... but our security models didn’t

    Jonker, H., Mauw, S. & Trujillo-Rasua, R., 2017, Security Protocols XXIV: 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers. Anderson, J., Matyáš, V., Christianson, B. & Stajano, F. (eds.). Cham: Springer Nature Switzerland AG, p. 19-25 7 p. (Lecture Notes in Computer Science; No. 10368).

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

  • Man-in-the-Middle Attacks Evolved...but Our Security Models Didn’t (Transcript of Discussion)

    Jonker, H. L., 2017, Security Protocols XXIV: 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers. Anderson, J., Matyáš, V., Christianson, B. & Stajano, F. (eds.). Cham: Springer International Publishing AG, p. 26-34 9 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 10368).

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

  • Mining Hierarchical Pathology Data Using Inductive Logic Programming

    Op De Beéck, T., Hommersom, A., Van Haaren, J., van der Heijden, M., Davis, J., Lucas, P. J. F., Overbeek, L. & Nagtegaal, I., 2015, Artificial Intelligence in Medicine: 15th Conference on Artificial Intelligence in Medicine, AIME 2015, Pavia, Italy, June 17-20, 2015. Proceedings. Holmes, J. H., Bellazzi, R., Sacchi, L. & Peek, N. (eds.). Cham: Springer International Publishing AG, p. 76-85 10 p.

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

  • Modeling the Dynamics of Multiple Disease Occurrence by Latent States

    Bueno, M. L. P., Hommersom, A., Lucas, P. J. F., Lobo, M. & Rodrigues, P. P., 2018, Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. Ciucci, D., Pasi, G. & Vantaggi, B. (eds.). Cham: Springer International Publishing AG, p. 93-107 15 p. (Lecture Notes in Computer Science; No. 11142).

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

  • Modelling Responsible Digital Security Behaviour for Countering Social Media Manipulation

    Maathuis, C. & Chockalingam, S., 2023, Proceedings of the 10th European Conference on Social Media: ECSM 2023. Dr Iwona Lupa-Wójcik & Dr Marta Czyżewska (eds.). Academic Conferences Ltd, p. 144-152 9 p. (Proceedings of the European Conference on Social Media, ECSM).

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

    Open Access

  • Model solutions and properties for diagnosing student programs in Ask-Elle

    Jeuring, J. T., van Binsbergen, L. T., Gerdes, A. & Heeren, B. J., Nov 2014, CSERC '14: Proceedings of the Computer Science Education Research Conference. Barendsen, E. & Dagienė, V. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 31-40 10 p.

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

  • Modular Programming of Synchronization and Communication among Tasks in Parallel Programs

    van Veen, B. & Jongmans, S-S., 2018, 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). IEEE, p. 425-435 11 p.

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

    Open Access
    File
    112 Downloads (Pure)

  • Multiparty Session Typing in Java, Deductively

    Bouma, J., de Gouw, S. & Jongmans, S. S., Apr 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 19-27 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13994 LNCS).

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

    Open Access

  • Mutation Operators for UML Class Diagrams

    Granda, M. F., Condori Fernandez, N., Vos, T. E. J. & Pastor, O., 2016, Advanced Information Systems Engineering: 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings. Nurcan, S., Soffer, P., Bajec, M. & Eder, J. (eds.). Cham: Springer International Publishing AG, p. 325-341 17 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9694). (Information Systems and Applications, incl. Internet/Web, and HCI (LNISA), Vol. 9694).

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

  • Naturalistic Physical Adversarial Patch for Object Detectors

    Hu, Y-C-T., Kung, B-H., Tan, D. S., Chen, J-C., Hua, K-L. & Cheng, W-H., 2021, Proceedings - 2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021: ICCV 2021. IEEE, p. 7828-7837 10 p.

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

  • Non-formal Techniques for Early Assessment of Design Ideas for Services

    van der Veer, G. C. & Vyas, D., 2014, Building Bridges: HCI, Visualization, and Non-formal Modeling: IFIP WG 13.7 Workshops on Human–Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers. Ebert, A., van der Veer, G. C., Domik, G., Gershon, N. D. & Scheler, I. (eds.). Berlin: Springer, p. 135-149 15 p. (Lecture Notes in Computer Science (LNCS), Vol. 8345). (Information Systems and Applications, incl. Internet/Web, and HCI (LNISA), Vol. 8345).

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

    Open Access

  • Observing Abstraction in Young Children Solving Algorithmic Tasks

    Faber, H., Koning, J. I., Wierdsma, M., Steenbeek, H. & Barendsen, E., 11 Nov 2019, Informatics in Schools. New Ideas in School Informatics: 12th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2019, Larnaca, Cyprus, November 18–20, 2019, Proceedings. Pozdniakov, S. N. & Dagienė, V. (eds.). Cham: Springer Nature Switzerland AG, p. 95-106 12 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 11913).

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

  • Offline oracles for accessibility evaluation with the TESTAR tool

    de Gier, F., Kager, D., de Gouw, S. & Vos, T. E. J., 2019, IEEE RCIS 2019 Proceedings: Towards a design science for information systems: The IEEE Thirteen International Conference on Research Challenges in Information Science, May 29-31, Brussels, Belgium. Kolp, M., Vanderdonckt, J., Snoeck, M. & Wautelet, Y. (eds.). IEEE Canada, p. 129-140 12 p.

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

  • OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case

    Gouw, S. D., Rot, J., Boer, F. S. D., Bubel, R. & Hähnle, R., 2015, Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. D. K. & Păsăreanu, C. S. (eds.). Springer, p. 273-289 17 p.

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

  • Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata.

    Bojanczyk, M., Klin, B. & Moerman, J., 7 Jul 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, p. 1-13 13 p.

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

  • Perception or Pixels: Designing a Visual World from the User’s Point of View

    Rogier, E. S. M. H., van der Veer, G. C., Benvenuti, L. & Consiglio, T., 2014, Building Bridges: HCI, Visualization, and Non-formal Modeling: IFIP WG 13.7 Workshops on Human–Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers. Ebert, A., van der Veer, G. C., Domik, G., Gershon, N. D. & Scheler, I. (eds.). Berlin: Springer, p. 95-123 29 p. (Lecture Notes in Computer Science (LNCS), Vol. 8345). (Information Systems and Applications, incl. Internet/Web, and HCI (LNISA), Vol. 8345).

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

    Open Access

  • PrDK: Protocol Programming with Automata

    Jongmans, S-S. & Arbab, F., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Chechik, M. & Raskin, J-F. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, p. 547-552 6 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9636). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9636).

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

    Open Access

  • Presence Patterns and Privacy Analysis

    Roubtsova, E. E., Roubtsov, S. A. & Alpár, G., 30 Jun 2018, Business Modeling and Software Design: 8th International Symposium, BMSD 2018. Vienna, Austria, July 2-4, 2018. Proceedings. van der Aalst, W., Mylopoulos, J., Rosemann, M., Shaw, M. J. & Szyperski, C. (eds.). Cham: Springer, Vol. 319. p. 298-307 10 p. (Lecture Notes in Business Information Processing).

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

    Open Access
    File
    18 Downloads (Pure)

  • Principles to facilitate design-based learning environments for programming in secondary education while making learning visible in an authentic way

    van Zadelhoff, B., Rahimi, E. & Barendsen, E., 18 Nov 2021, Proceedings of 21st Koli Calling International Conference on Computing Education Research, Koli Calling 2021. Seppälä, O. & Petersen, A. (eds.). Association for Computing Machinery (ACM), 10 p. 12

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

    Open Access

  • Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction

    Lodder, J. S., Heeren, B. J. & Jeuring, J. T., 28 Feb 2020, Proceedings 8th International Workshop on Theorem Proving Components for Educational Software : EPTCS 313 Natal, Brazil, 25th August 2019. Quaresma, P., Neuper, W. & Marcos, J. (eds.). Cornell University, Vol. 313. p. 17–34 18 p. (Electronic proceedings in theoretical computer science, Vol. 313).

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

    Open Access
    File
    38 Downloads (Pure)

  • Prut4j - Protocol Unit Testing fo(u)r Java

    Slob, F. J. & Jongmans, S-S., 25 May 2021, 2021 IEEE 14th International Conference on Software Testing, Verification and Validation: ICST 2021. IEEE, p. 448-453 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Popular

  • Q-learning strategies for action selection in the TESTAR automated testing tool

    Esparcia-Alcazar, A., Almenar, F., Martınez, M., Rueda, U. & Vos, T. E. J., 2016, Proceedings of the 6TH International Conference on Metaheuristics and Nature Inspired Computing: META’2016. p. 174-180 8 p.

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

    Open Access

  • Realisability of Branching Pomsets

    Edixhoven, L. & Jongmans, S-S., 2 Nov 2022, Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings. S. L. T. T. & J. P. (eds.). Cham: Springer, Cham, Vol. 13712. p. 185-204 20 p. (Lecture Notes in Computer Science, Vol. 13712).

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

  • Realisability of Ranking-based Semantics

    Skiba, K., Thimm, M., Rienstra, T., Heyninck, J. L. A. & Kern-Isberner, G., Oct 2022, SAFA’22: Fourth International Workshop on Systems and Algorithms for Formal Argumentation 2022. S. A. G., J-G. M., M. T. & Johannes P. Wallner (eds.). CEUR-WS.org, Vol. 3236. p. 73-85 13 p.

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

    Open Access

  • Real-Time Multimodal Feedback with the CPR Tutor

    Di Mitri, D., Schneider Barnes, J., Trebing, K., Sopka, S., Specht, M. M. & Drachsler, H. J., 30 Jun 2020, Artificial Intelligence in Education: 21st International Conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part I. Bittencourt, I. I., Cukurova, M., Muldner, K., Luckin, R. & Millán, E. (eds.). Cham: Springer International Publishing, Vol. 1. p. 141-152 12 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12163). (Lecture Notes in Artificial Intelligence (subseries), Vol. 12163).

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

    Open Access

  • Relevance in the Computation of Non-monotonic Inferences

    Heyninck, J. L. A. & Meyer, T., 2022, Artificial Intelligence Research - Third Southern African Conference, SACAIR 2022, Proceedings. Anban Pillay, Edgar Jembere & Aurona Gerber (eds.). 1 ed. Cham: Springer, Cham, Vol. 1734. p. 202-214 13 p. (Communications in Computer and Information Science (CCIS), Vol. 1734).

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

  • Representation of abstract concepts: Differences across computing disciplines

    Benvenuti, L., Louwe Kooijmans, C. F. N., Versendaal, J. M. & van der Veer, G., 2015, 2015 IEEE Frontiers in Education Conference Proceedings: FIE 2015 . Washington: IEEE Computer Society, p. 1-9 9 p.

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

  • Representing Hypoexponential Distributions in Continuous Time Bayesian Networks

    Liu, M., Stella, F., Hommersom, A. & Lucas, P. J. F., 2018, Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications. Medina, J., Ojeda-Aciego, M., Verdegay, J. L., Perfilieva, I., Bouchon-Meunier, B. & Yager, R. R. (eds.). Cham: Springer International Publishing AG, Vol. 855. p. 565-577 13 p. (Communications in Computer and Information Science, Vol. 855).

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

  • Reproduction for Insight: Towards Better Understanding the Quality of Students Tests

    Lawende, M., Passier, H. J. M. & Alpár, G., 26 Jun 2021, ITiCSE 2021 - Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education. New York: ACM Digital Library, Vol. 1. p. 213-219 7 p.

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

  • Reverse Bayesian poisoning: how to use spam filters to manipulate online elections

    Jonker, H., Mauw, S. & Schmitz, T., 2017, Electronic Voting: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Krimmer, R., Volkamer, M., Braun Binder, N., Kersting, N., Pereira, O. & Schürmann, C. (eds.). Springer Nature Switzerland AG, p. 183-197 15 p. (Lecture Notes in Computer Science; No. 10615).

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

  • Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML

    Kandziora, J., Huisman, M., Bockisch, C. M. & Zaharieva-Stojanovski, M., Jul 2015, FTfJP '15: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs. New York, NY: Association for Computing Machinery (ACM), p. 1-6 6 p. 8

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

  • Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project

    Jongmans, S-S. & Hamers, R., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. Margaria, T. & Steffen, B. (eds.). Cham: Springer Nature Switzerland AG, p. 489-508 10 p. (Lecture Notes in Computer Science).

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

  • Scaffolding Open Text Input in a Scripted Communication Skills Learning Environment

    Lala, R., Jeuring, J. & van Geest, M., 1 Nov 2019, Games and Learning Alliance: 8th International Conference, GALA 2019, Athens, Greece, November 27–29, 2019, Proceedings. Liapis, A., Yannakakis, G. N., Gentile, M. & Ninaus, M. (eds.). Cham: Springer International Publishing AG, p. 169-179 11 p. (Lecture Notes in Computer Science, Vol. 11899).

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

    Open Access
    File
    50 Downloads (Pure)

  • Scheduling Games for Concurrent Systems

    Dokter, K., Jongmans, S-S. & Arbab, F., 2016, Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lafuente, A. L. & Proença, J. (eds.). Cham: Springer International Publishing, p. 84-100 17 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9686). (Programming and Software Engineering LNPSE, Vol. 9686).

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

    Open Access

  • Scriptless Testing at the GUI Level in an Industrial Setting

    Chahim, H., Duran, M., Vos, T. E. J., Aho, P. K. & Condori-Fernández, N., 25 Sept 2020, Research Challenges in Information Science: 14th International Conference, RCIS 2020. Dalpiaz, F., Zdravkovic, J. & Loucopoulos, P. (eds.). Cham: Springer Nature Switzerland AG, p. 267-284 18 p. (Lecture Notes in Business Information Processing).

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

  • Self-Encrypting Deception: Weaknesses in the Encryption of Solid State Drives

    Meijer, C. & van Gastel, B. E., 19 May 2019, 2019 IEEE Symposium on Security and Privacy SP 2019: Proceedings. IEEE, p. 72-87 16 p. (Ieee Security & Privacy).

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

    Open Access

  • Semantic Matching of Open Texts to Pre-scripted Answers in Dialogue-Based Learning

    Rușeți, Ș., Lala, R., Gutu-Robu, G., Dascălu, M., Jeuring, J. T. & Van Geest, M., 21 Jun 2019, Artificial Intelligence in Education: 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part II. Isotani, S., Millán, E., Ogan, A., Hastings, P., McLaren, B. & Luckin, R. (eds.). Cham: Springer, Vol. 2. p. 242-246 5 p. (Lecture Notes in Computer Science, Vol. 11626).

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

    Open Access
    File
    111 Downloads (Pure)

  • Set the right example when teaching programming: Test Informed Learning with Examples (TILE)

    Doorn, N., Vos, T., Marin, B. & Barendsen, E., May 2023, Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation, ICST 2023. Institute of Electrical and Electronics Engineers Inc., p. 269-280 12 p. (IEEE International Conference on Software Testing, Verification and Validation (ICST): Proceedings).

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

  • SHACL-based Ontology Design Patterns for Evidence-based Decision-making

    Verhaeg, M., Rutledge, L. W. & Heeren, B. J., 2021, Proceedings of the 11th Workshop on Ontology Design and Patterns: WOP 2020. IOS Press, Vol. 51. p. 292-298 7 p. (Studies on the Semantic Web).

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

  • Shared Memory Implementations of Protocol Programming Languages: Data-Race-Free

    Hergarden, M. & Jongmans, S-S., 17 Jul 2018, ICOOOLPS '18: Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. Millstein, T. (ed.). New York, NY: Association for Computing Machinery (ACM), p. 36-40 5 p.

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

    Open Access
    File
    175 Downloads (Pure)

  • Shepherd: A Generic Approach to Automating Website Login

    Jonker, H. L., Karsch, S., Krumnow, B. & Sleegers, M., 2020, Proceedings MADWeb 2020: Workshop on Measurements, Attacks, and Defenses for the Web, February 23, 2020, San Diego, California. Reston: Internet Society, 10 p.

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

    Open Access

  • Simpler Coordination of JavaScript Web Workers

    Krauweel, M. & Jongmans, S-S. T. Q., 2017, Coordination Models and Languages: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. Jacquet, J-M. & Massink, M. (eds.). Cham: Springer Nature Switzerland AG, p. 40-58 19 p. (Lecture Notes in Computer Science; No. 10319).

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

  • SOA and the Button Problem

    Jongmans, S-S., Lamers, A. & van Eekelen, M. C. J. D., 23 Sept 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Cham: Springer, p. 689-706 18 p. (Lecture Notes in Computer Science, Vol. 11800).

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

  • Softmax Recurrent Unit: A new type of RNN cell

    Vos, L. & van Laarhoven, T. M., Oct 2020, ESANN 2020 proceedings: 28th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Bruges, Belgium: European Symposium on Artificial Neural Networks, p. 309-314 6 p.

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

    Open Access

  • Software Testing Innovation Alliance: the SHIP project

    Vos, T. E. J. & Esparcia-Alcazar, A., 2016, STAF 2016 Doctoral Symposium and Projects Showcase: Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016). Dubois, C., Parisi-Presicce, F., Kolovos, D. & Matragkas, N. (eds.). RWTH Aachen, Vol. 1675. p. 65-71 7 p.

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

    Open Access