Filter
Conference Article in proceeding

Search results

  • 2023

    Program Synthesis Using Example Propagation

    Mulleners, N., Jeuring, J. & Heeren, B., Jan 2023, Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Proceedings. Hanus, M. & Inclezan, D. (eds.). 1 ed. Springer, Cham, p. 20-36 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13880 LNCS).

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

  • Ranking-based Argumentation Semantics Applied to Logical Argumentation

    Heyninck, J., Raddaoui, B. & Straßer, C., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 3268-3276 9 p. (IJCAI International Joint Conference on Artificial Intelligence, Vol. 2023-August).

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

    Open Access
  • Reconstructing Timelines: From NTFS Timestamps to File Histories

    Bouma, J., Jonker, H. L., van der Meer, V. & van den Aker, E., 29 Aug 2023, ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security. New York: Association for Computing Machinery (ACM), 9 p. 154

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

    Open Access
  • 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

  • Relationships between IT Project Portfolio risk and IT Project Portfolio health

    Wissenburg, R., Kusters, R. J. & Martin, H. H., Jul 2023, IEEE 25th Conference on Business Informatics (CBI). Pavlickova, P., Hacks, S. & Mira da Silva, M. (eds.). IEEE, p. 114-123 10 p.

    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
    36 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 a Governance Framework for Data Platform Ecosystems in the Construction Industry

    Bagheri, S., Apr 2023, Proceedings of the 25th International Conference on Enterprise Information Systems - (Volume 2) . Joaquim Filipe , Michał Śmiałek, Alexander Brodsky & Slimane Hammoudi (eds.). SciTePress, Vol. 2. p. 566-574 9 p.

    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
  • Towards Log-Driven Monitoring of Technical Degradation: An ERP Perspective

    van de Griend, P., Kusters, R. J. & Trienekens, J. J. M., 2 Jul 2023, Business Modeling and Software Design: 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3–5, 2023, Proceedings. Shishkov, B. (ed.). 1 ed. Cham: Springer, Vol. 483. p. 330-339 10 p. (Lecture Notes in Business Information Processing, Vol. 483).

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

  • Understanding the Challenges Surrounding Decentralized Applications: An Empirical Study

    Gurzhii, A., Islam, N. & Marella, V., 2023, New Sustainable Horizons in Artificial Intelligence and Digital Solutions - 22nd IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2023, Proceedings. Janssen, M., Matheus, R., Pinheiro, L., Frankenberger, F., Dwivedi, Y. K., Pappas, I. O. & Mäntymäki, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 277-293 17 p. (Lecture Notes in Computer Science (LNCS), Vol. 14316).

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

  • Understanding the Impact of Non-Fungible Tokens (NFTs) on Gaming

    Marella, V. M. S. G., 2023, ICIS 2023 TREOS. AIS Electronic Library, 73

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademic

  • 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

  • What Do Critical Success Factors of Collaboration Really Mean in the Context of DevOps?

    Van Belzen, M., Trienekens, J. J. M. & Kusters, R. J., 2023, ICSEA 2023: The Eighteenth International Conference on Software Engineering Advances . Mannaert, H. & Koci, R. (eds.). International Academy, Research, and Industry Association (IARIA), p. 7-13 7 p.

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

  • 2022

    Active Learning for Reducing Labeling Effort in Text Classification Tasks

    Jacobs, P. F., Maillette de Buy Wenniger, G., Wiering, M. & Schomaker, L., 12 Jan 2022, Artificial Intelligence and Machine Learning: 33rd Benelux Conference on Artificial Intelligence, BNAIC/Benelearn 2021, Esch-sur-Alzette, Luxembourg, November 10–12, 2021, Revised Selected Papers. Leiva, L. A., Pruski, C., Markovich, R., Najjar, A. & Schommer, C. (eds.). 1 ed. Springer, Cham, p. 3-29 27 p. (Communications in Computer and Information Science, Vol. 1530 CCIS).

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

  • Algorithmic Decision Making and Model Explainability Preferences in the Insurance Industry: A Delphi Study

    Schotman, E. & Iren, Y. D., 15 Nov 2022, 2022 IEEE 24th Conference on Business Informatics (CBI). IEEE, p. 235-242 8 p.

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

  • A Method for Integrated Modeling of KiPs and Contextual Goals

    Ozturk Yurt, Z., Eshuis, R., Aysolmaz, B., Wilbik, A. & Vanderfeesten, I., 25 Sept 2022, Cooperative Information Systems: 28th International Conference, CoopIS 2022, Bozen-Bolzano, Italy, October 4–7, 2022, Proceeding. Sellami, M., Ceravolo, P., Reijers, H. A., Gaaloul, W. & Panetto, H. (eds.). 1 ed. Springer, Cham, p. 322-332 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13591 LNCS).

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

  • 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
  • A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming.

    Jongmans, S.-S. & Bos, P. V. D., 2022, Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. Ilya Sergey (ed.). 1 ed. Springer, Vol. 13240. p. 520-547 (Lecture Notes in Computer Science, Vol. 13240).

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

    Open Access
  • Artificial Intelligence Ambidexterity, Adaptive Transformation Capability, and Their Impact on Performance Under Tumultuous Times

    van de Wetering, R., Mikalef, P. & Dennehy, D., Sept 2022, The Role of Digital Technologies in Shaping the Post-Pandemic World: 21st IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2022, Newcastle upon Tyne, UK, September 13–14, 2022, Proceedings. Springer, p. 25-37 13 p. (Lecture Notes in Computer Science, Vol. 13454).

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

  • A transfer learning approach to predict shipment description quality

    Chen, X., Bromuri, S. & Van Eekelen, M., Apr 2022, Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022. Association for Computing Machinery, p. 1144-1147 4 p. (Proceedings of the ACM Symposium on Applied Computing).

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

  • 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

  • Conceptualising immersive multimodal environments for psychomotor skills training

    Mat Sanusi, K. A., Iren, Y. D. & Klemke, R., 18 Jan 2022, European Association of Technology Enhanced Learning (EATEL) 2021: EC-TEL Doctoral Consortium. Fominykh, M. & Aristeidou, M. (eds.). CEUR-WS.org, p. 89-95 7 p.

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

    Open Access
  • 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
  • Constraint Formalization for Automated Assessment of Enterprise Models

    Joosten, S. M. M., Roubtsova, E. E. & Haddouchi, E. M., 25 Apr 2022, Proceedings of the 24th International Conference on Enterprise Information Systems . Filipe, J., Smialek, M., Brodsky, A. & Hammoudi, S. (eds.). SCITEPRESS-Science and Technology Publications, Lda., Vol. 2. p. 430-441 12 p.

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

    Open Access
    File
    70 Downloads (Pure)
  • Data analytics and SMEs: how maturity improves performance

    Baijens, J., Bollen, L. & Helms, R. W., 15 Nov 2022, Proceedings of IEEE 24th Conference on Business Informatics (CBI 2022). IEEE Computer Society Press, p. 31-39 9 p.

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

  • DVGAN: Stabilize Wasserstein GAN training for time-domain Gravitational Wave physics

    Dooney, T., Bromuri, S. & Curier, L., 2022, Proceedings: 2022 IEEE International Conference on Big Data, Big Data 2022. Tsumoto, S., Ohsawa, Y., Chen, L., Van den Poel, D., Hu, X., Motomura, Y., Takagi, T., Wu, L., Xie, Y., Abe, A. & Raghavan, V. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 5468-5477 10 p.

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

  • 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

  • Experts’ evaluation of a proposed taxonomy for immersive learning systems

    Mat Sanusi, K. A., Iren, Y. D. & Klemke, R., 22 Nov 2022, Games and Learning Alliance Conference, 2022: 11th International Conference, GALA 2022, Tampere, Finland, November 30 - December 2, 2022. Kiili, K., Antti, K., de Rosa, F., Dindar, M. & Kickmeier-Rust, M. (eds.). Springer International Publishing, p. 1-10 11 p. (Lecture Notes in Computer Science book series).

    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