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

Filter
Conference Article in proceeding

Search results

  • 2023

    Reinforcement Learning for Scriptless Testing: An Empirical Investigation of Reward Functions

    Rodríguez-Valdés, O., Vos, T. E. J., Marín, B. & Aho, P., May 2023, Research Challenges in Information Science: Information Science and the Connected World - 17th International Conference, RCIS 2023, Proceedings. Nurcan, S., Opdahl, A. L., Mouratidis, H. & Tsohou, A. (eds.). 1 ed. Springer Science and Business Media Deutschland GmbH, p. 136-153 18 p. (Lecture Notes in Business Information Processing, Vol. 476 LNBIP).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Revising Typical Beliefs: One Revision to Rule Them All

    Heyninck, J., Casini, G., Meyer, T. & Straccia, U., Sept 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. Marquis, P., Cao Son, T. & Kern-Isberner, G. (eds.). IJCAI Organization, p. 355-364 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Scriptless GUI Testing on Mobile Applications

    Jansen, T., Ricos, F. P., Luo, Y., Van Der Vlist, K., Van Dalen, R., Aho, P. & Vos, T. E. J., Mar 2023, Proceedings: 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security, QRS 2022. Institute of Electrical and Electronics Engineers Inc., p. 1103-1112 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Semantics for Logic Programs with Choice Constructs on the Basis of Approximation Fixpoint Theory (Preliminary Report)

    Heyninck, J., Sept 2023, Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023). Sauerwald, K. & Thimm, M. (eds.). CEUR-WS, Vol. 3464. p. 74-83 10 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • 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 proceedingConference Article in proceedingAcademicpeer-review

  • Shuffling Posets on Trajectories

    Edixhoven, L., 6 Nov 2023, iFM 2023 - 18th International Conference, iFM 2023, Proceedings: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. Herber, P. & Wijs, A. (eds.). Springer, p. 384-390 7 p. (Lecture Notes in Computer Science, Vol. 14300).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered Preferences

    Arieli, O. & Heyninck, J., Sept 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. Marquis, P., Cao Son, T. & Kern-Isberner, G. (eds.). IJCAI Organization, p. 55-64 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Splitting Techniques for Conditional Belief Bases in the Context of c-Representations.

    Wilhelm, M., Sezgin, M., Kern-Isberner, G., Haldimann, J., Beierle, C. & Heyninck, J., 24 Sept 2023, Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. Gaggl, S., Martinez, M. V., Ortiz, M. & Ortiz, M. (eds.). Springer, Cham, p. 462-477 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning

    Varricchione, G., Alechina, N., Dastani, M. & Logan, B., 7 Sept 2023, Multi-Agent Systems - 20th European Conference, EUMAS 2023, Proceedings. Malvone, V. & Murano, A. (eds.). p. 328–344 (Lecture Notes in Computer Science, Vol. 14282).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types

    Jongmans, S.-S. & Ferreira, F., Jul 2023, 37th European Conference on Object-Oriented Programming, ECOOP 2023. Ali, K. & Salvaneschi, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 263. 30 p. 42. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 263).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    28 Downloads (Pure)
  • Tackling uncertainty through probabilistic modelling of proportionality in military operations

    Maathuis, C. & Chockalingam, S., 19 Jun 2023, Proceedings of the 22nd European Conference on Cyber Warfare and Security. Andreatos, A. & Douligeris, C. (eds.). Curran Associates Inc., p. 276-284 9 p. (European Conference on Information Warfare and Security, ECCWS, Vol. 2023-June).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • The Logic of Separation Logic: Models and Proofs

    de Boer, F. S., Hiep, H. D. A. & de Gouw, S., 14 Sept 2023, Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings. Ramanayake, R. & Urban, J. (eds.). Springer, p. 407-426 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14278 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Towards Gradual Multiparty Session Typing

    Jongmans, S. S., 5 Jan 2023, ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering. Aehnelt, M. & Kirste, T. (eds.). Association for Computing Machinery, 3 p. 146

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Using GUI Change Detection for Delta Testing

    Ricós, F. P., Neeft, R., Marín, B., Vos, T. E. J. & Aho, P., May 2023, Research Challenges in Information Science: Information Science and the Connected World - 17th International Conference, RCIS 2023, Proceedings. Nurcan, S., Opdahl, A. L., Mouratidis, H. & Tsohou, A. (eds.). 1 ed. Springer, Cham, p. 509-517 9 p. (Lecture Notes in Business Information Processing, Vol. 476 LNBIP).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs

    van den Bos, P. & Jongmans, S. S., Mar 2023, Formal Methods: 25th International Symposium, FM 2023, Proceedings. Chechik, M., Katoen, J.-P. & Leucker, M. (eds.). 1 ed. Springer, Cham, p. 321-339 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14000 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 2022

    An agent-based approach to automated game testing: an experience report

    Prasetya, I. S. W. B., Ricós, F. P., Kifetew, F. M., Prandi, D., Shirzadehhajimahmood, S., Vos, T. E. J., Paska, P., Hovorka, K., Ferdous, R., Susi, A. & Davidson, J., 9 Nov 2022, A-TEST 2022: Proceedings of the 13th International Workshop on Automating Test Case Design, Selection and Evaluation. Akos Kiss, Beatriz Marin & Mehrdad Saadatmand (eds.). ACM Digital Library, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • An Integration of Computational Thinking and Language Arts: The Contribution of Digital Storytelling to Students' Learning

    Yeni, S., Nijenhuis-Voogt, J., Hermans, F. & Barendsen, E., 31 Oct 2022, WiPSCE 2022: Proceedings of the 17th Workshop in Primary and Secondary Computing Education. Grillenberger, M. & Berges, M. (eds.). Association for Computing Machinery, 10 p. 3

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

    Cledou, G., Edixhoven, L., Jongmans, S.-S. & Proença, J., Jun 2022, 36th European Conference on Object-Oriented Programming: ECOOP 2022., K. A. & , J. V. (eds.). Schloss Dagstuhl - LZI GmbH, Vol. 222. p. 27:1-27:28 28 p. 27. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 222).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Branching Pomsets for Choreographies

    Edixhoven, L., Jongmans, S.-S., Proença, J. & Cledou, G., 9 Aug 2022, Proceedings 15th Interaction and Concurrency Experience: ICE'22., C. A., , C. D. G. & , L. S. A. A. S. (eds.). Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 365. p. 37-52 16 p. (Electronic proceedings in theoretical computer science, Vol. 356).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Can Math Be a Bottleneck? Exploring the Mathematics Perceptions of Computer Science Students

    Alpár, G., Yeni, S., Aivaloglou, E. & Hermans, F., 11 May 2022, Proceedings of the IEEE Global Engineering Education Conference (EDUCON 2022). Kallel, I., Kammoun, H. & Hsairi, L. (eds.). IEEE, p. 217-225 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • CLIPCAM: A Simple Baseline For Zero-Shot Text-Guided Object And Action Localization

    Hsia, H.-A., Lin, C.-H., Kung, B.-H., Chen, J.-T., Tan, D. S., Chen, J.-C. & Hua, K.-L., May 2022, 2022 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2022 - Proceedings. IEEE, p. 4453-4457 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Comparing Neural Networks for Speech Emotion Recognition in Customer Service Interactions

    Henkel, A. P., Bromuri, S. & Waelbers, B. M. L., 30 Sept 2022, 2022 International Joint Conference on Neural Networks ( IJCNN). IEEE, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Conditional Independence for Iterated Belief Revision

    Kern-Isberner, G., Heyninck, J. L. A. & Beierle, C., 23 Jul 2022, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22)., L. D. R. (ed.). International Joint Conferences on Artificial Intelligence, p. 2690-2696 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect

    Heyninck, J., Kern-Isberner, G. & Meyer, T., 22 Aug 2022, Proceedings of the 20th International Workshop on Non-Monotonic Reasoning Part of the Federated Logic Conference (FLoC 2022). Arieli, O., Casini, G. & Giordana, L. (eds.). CEUR-WS, Vol. 3197. p. 61-69 9 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Elysium: Context-Aware Bytecode-Level Patching to Automatically Heal Vulnerable Smart Contracts

    Ferreira Torres, C., Jonker, H. L. & State, R., 26 Oct 2022, RAID '22: Proceedings of the 25th International Symposium on Research in Attacks, Intrusions and Defenses. Association for Computing Machinery (ACM), p. 115-128 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Evolutionary Scriptless Testing

    Hufkens, L. V., 14 May 2022, Research Challenges in Information Science. Guizzardi, R., Ralyté, J. & Franch, X. (eds.). 1 ed. Cham: Springer International Publishing, Vol. 446. p. 779-785 7 p. (Lecture Notes in Business Information Processing, Vol. 446).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Explaining Argument Acceptance in ADFs

    Rienstra, T., Heyninck, J. L. A., Kern-Isberner, G., Skiba, K. & Thimm, M., 2022, 1st International Workshop on Argumentation for eXplainable AI (ArgXAI, co-located with COMMA ’22). Kristijonas Čyras, Timotheus Kampik, Oana Cocarascu & Antonio Rago (eds.). CEUR-WS.org, Vol. 3209. 12 p. (CEUR Workshop Proceedings, Vol. 3209).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Footprint Logic for Object-Oriented Components

    Boer, F. S. D., Gouw, S. D., Hiep, H.-D. A. & Bian, J., 2 Nov 2022, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. Tarifa, S. L. T. & Proença, J. (eds.). 1 ed. cham: Springer, Vol. 13712. p. 141-160 20 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Formally verified lifting of C-compiled x86-64 binaries

    Verbeek, F., Bockenek, J., Fu, Z. & Ravindran, B., 9 Jun 2022, PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). Association for Computing Machinery, p. 934-949 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Formal Specification and Verification of JDK's Identity Hash Map Implementation

    Boer, M. D., Gouw, S. D., Klamroth, J., Jung, C., Ulbrich, M. & Weigl, A., 1 Jun 2022, Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings. Beek, M. H. T. & Monahan, R. (eds.). Cham: Springer, Vol. 13274. p. 45-62 18 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • GIPPY: Game for Introductory Programming Practice in Python

    Lapeña, A., Marin, B. & Vos, T., Mar 2022, INTED2022: 16th International Technology, Education and Development Conference Proceedings. Luis Gómez Chova, Agustín López Martínez & Ignacio Candel Torres (eds.). Valencia, Spain: IATED, p. 5598-5606 (INTED Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Gradient-Descent for Randomized Controllers Under Partial Observability

    Heck, L., Spel, J., Junges, S., Moerman, J. & Katoen, J.-P., 2022, Verification, model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022 Philadelphia, PA, USA, January 16–18, 2022 Proceedings. Finkbeiner, B. & Wies, T. (eds.). 1 ed. Springer, p. 127-150 24 p. (Lecture Notes in Computer Science, Vol. 13182). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 13182).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • How gullible are web measurement tools? a case study analysing and strengthening OpenWPM's reliability

    Krumnow, B., Jonker, H. L. & Karsch, S., 30 Nov 2022, CoNEXT '22: Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies. Giuseppe Bianchi & Alessandro Mei (eds.). New York: Association for Computing Machinery (ACM), p. 171-186 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • On the Road to Designing Responsible AI Systems in Military Cyber Operations

    Maathuis, C., 8 Jun 2022, Proceedings of the 21st European Conference on Cyber Warfare and Security. Eze, T., Khan, N. & Onwubiko, C. (eds.). Academic Conferences International Limited, p. 170-177 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-review

  • Responsible Digital Security Behaviour: Definition and Assessment Model

    Maathuis, C. & Chockalingam, S., 8 Jun 2022, Proceedings of the 21st European Conference on Cyber Warfare and Security. Eze, T., Khan, N. & Onwubiko, C. (eds.). 1 ed. Academic Conferences Ltd, Vol. 21. p. 178-187 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Semantic Equivalence of Task-Oriented Programs in TopHat

    Klijnsma, T. & Steenvoorden, T., 2022, Trends in Functional Programming - 23rd International Symposium, TFP 2022, Revised Selected Papers. Swierstra, W. & Wu, N. (eds.). Springer Nature, p. 100-125 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13401 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • So many brackets! An analysis of how SQL learners (mis)manage complexity during query formulation

    Miedema, D., Fletcher, G. & Aivaloglou, E., 20 Oct 2022, Proceedings: 30th IEEE/ACM International Conference on Program Comprehension, ICPC 2022. O'Conner, L. (ed.). IEEE Computer Society Press, p. 122-132 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

    Jongmans, S.-S. & Proença, J., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). 1 ed. Cham: Springer, Cham, p. 460-478 19 p. (Lecture Notes in Computer Science, Vol. 13701).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • State Model Inference Through the GUI Using Run-Time Test Generation

    Mulders, A., Valdes, O. R., Ricós, F. P., Aho, P., Marín, B. & Vos, T. E. J., 13 May 2022, Research Challenges in Information Science: 16th International Conference, RCIS 2022, Barcelona, Spain, May 17–20, 2022, Proceedings. Guizzardi, R., Ralyté, J. & Franch, X. (eds.). 1 ed. Cham: Springer, p. 546-563 18 p. (Lecture Notes in Business Information Processing, Vol. 446).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • TinyABE: Unrestricted Ciphertext-Policy Attribute-Based Encryption for Embedded Devices and Low-Quality Networks

    Venema, M. & Alpár, G., 6 Oct 2022, Progress in Cryptology - AFRICACRYPT 2022. Batina, L. & Daemen, J. (eds.). 1 ed. Cham: Springer, Cham, Vol. 13503. p. 103-129 27 p. (Lecture Notes in Computer Science, Vol. 13503).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Youth's Perspectives of Computational Design in Making-based Coding Activities

    Chytas, C., Brahms, E., Diethelm, I. & Barendsen, E., 17 Jun 2022, Proceedings of 6th FabLearn Europe / MakeEd Conference 2022. Association for Computing Machinery, p. 1-9 4. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • 2021

    30 Years of Automated GUI Testing: A Bibliometric Analysis

    Rodríguez-Valdés, O., Vos, T. E. J., Aho, P. K. & Marín, B., 25 Aug 2021, Quality of Information and Communications Technology: 14th International Conference. Ana C. R. Paiva, Ana Rosa Cavalli, Paula Ventura Martins & Ricardo Pérez-Castillo (eds.). 1 ed. Springer, Cham, p. 473-488 16 p. (Communications in Computer and Information Science, Vol. 1439).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • A Bunch of Broken Schemes: A Simple yet Powerful Linear Approach to Analyzing Security of Attribute-Based Encryption

    Venema, M. & Alpár, G., 11 May 2021, Topics in Cryptology - CT-RSA 2021: CT-RSA 2021. Paterson, K. G. (ed.). 1e ed. Switzerland: Springer, Vol. 12704. p. 100-125 26 p. (Lecture Notes in Computer Science, Vol. 12704).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Analysis of specifications of multiparty sessions with dcj-lint

    Horlings, E. & Jongmans, S.-S., Aug 2021, ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Spinellis, D., Gousios, G., Chechik, M. & Di Penta, M. (eds.). ACM Digital Library, p. 1590-1594 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Aplib: Tactical Agents for Testing Computer Games

    Prasetya, I. S. W. B., Dastani, M., Prada, R., Vos, T. E. J., Dignum, F. & Kifetew, F. M., 7 Jan 2021, Engineering Multi-Agent Systems: 8th International Workshop, EMAS 2020, Auckland, New Zealand, May 8–9, 2020, Revised Selected Papers. Cristina Baroglio, Jomi F. Hubner & Michael Winikoff (eds.). 1 ed. Springer, Vol. 12589. p. 21-41 21 p. (Lecture Notes in Computer Science, Vol. 12589).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • A preliminary study on the adoption and effectiveness of SameSite cookies as a CSRF defence

    Compagna, L., Jonker, H. L., Krochewski, J., Krumnow, B. & Sahin, M., 29 Oct 2021, IEEE European Symposium on Security and Privacy Workshops: (EuroS&PW). IEEE, p. 49-59 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review