Theoretical Computer Science

Filter
Conference contribution

Search results

  • 2025

    A Framework for Model-Based Specification and Verification in Feature-Oriented Software Product Lines

    Kanwal, S. & Fokkink, W., 2025, Fundamentals of Software Engineering: 11th IFIP WG 2.2 International Conference, FSEN 2025, Proceedings. Hojjat, H. & Caltais, G. (eds.). Springer Nature, p. 61-79 19 p. (Lecture Notes in Computer Science; vol. 15593 LNCS)(FFSEN: International Conference on Fundamentals of Software Engineering; vol. 2025).

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

  • 2024

    A Vision on Open Science for the Evolution of Software Engineering Research and Practice

    OliveiraJr, E., Madeiral, F., Santos, A. R., von Flach, C. & Soares, S., 2024, FSE 2024: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering. d'Amorim, M. (ed.). Association for Computing Machinery, Inc, p. 512-516 5 p.

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

    Open Access
    File
    14 Downloads (Pure)

  • Block-Based Platform for Defining Adaptation Rules for Automotive Systems

    Altamirano, L., Merino, M. V. & Barosan, I., 2024, PAINT '24: Proceedings of the 3rd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments. Beckmann, T., Church, L., Hirschfeld, R. & Merino, M. V. (eds.). Association for Computing Machinery, Inc, p. 1-16 16 p.

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

    Open Access

  • Correspondence Between Composite Theories and Distributive Laws

    Rosset, A., Zwart, M., Hansen, H. H. & Endrullis, J., 2024, Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International Workshop, CMCS 2024 Colocated with ETAPS 2024 Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings. König, B. & Urbat, H. (eds.). Springer Nature Switzerland AG, p. 194-215 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14617 LNCS).

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

    Open Access
    File
    4 Downloads (Pure)

  • Generalized Weighted Type Graphs for Termination of Graph Transformation Systems

    Endrullis, J. & Overbeek, R., 2024, Graph Transformation : 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, Proceedings. Harmer, R. & Kosiol, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 39-58 20 p. (Lecture Notes in Computer Science; vol. 14774 LNCS)(ICGT: International Conference on Graph Transformation; vol. 2024).

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

    Open Access
    File
    7 Downloads (Pure)

  • Programming Smart Objects: How Young Learners’ Programming Skills, Attitudes, and Perception Are Influenced

    Seraj, M., Merino, M. V., Rahimi, E. & Venegas, L. O., 2024, SPLASH-E '24: Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E. Hermans, F. & Bohrer, R. (eds.). Association for Computing Machinery, Inc, p. 45-55 11 p.

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

    Open Access
  • 2023

    Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts

    Wang, Z., Mohr, G., von Gleissenthall, K., Reineke, J. & Guarnieri, M., 15 Nov 2023, CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, Inc, p. 2128-2142

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

  • PLAS: The 18th Workshop on Programming Languages and Analysis for Security

    Brown, F. & v. Gleissenthall, K., Nov 2023, CCS 2023: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, Inc, p. 3659-3659 1 p.

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

    Open Access
    File
    26 Downloads (Pure)

  • House of the Rising Flames: A Hands-on, Bug-centered Tutorial on Embedded Software Testing

    Silvis-Cividjian, N., Visser, G., Veltman, J., Althuisius, N., Limburg, R. & Molenaar, M., Jun 2023, ITiCSE 2023: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery, p. 581-582 2 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE; vol. 2).

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

    Open Access
    File
    13 Downloads (Pure)

  • Aesop: White-Box Best-First Proof Search for Lean

    Limperg, J. & From, A. H., Jan 2023, CPP 2023: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Krebbers, R., Traytel, D., Pientka, B. & Zdancewic, S. (eds.). Association for Computing Machinery, Inc, p. 253-266 14 p.

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

    Open Access

  • Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves

    Baanen, A., Best, A. J., Coppola, N. & Dahmen, S. R., Jan 2023, CPP 2023: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Krebbers, R., Traytel, D., Pientka, B. & Zdancewic, S. (eds.). Association for Computing Machinery, Inc, p. 47-62 16 p.

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

    Open Access

  • Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit

    Fokkink, W. J., Goorden, M. A., Hendriks, D., van Beek, D. A., Hofkamp, A. T., Reijnen, F. F. H., Etman, L. F. P., Moormann, L., van de Mortel-Fronczak, J. M., Reniers, M. A., Rooda, J. E., van der Sanden, L. J., Schiffelers, R. R. H., Thuijsman, S. B., Verbakel, J. J. & Vogel, J. A., 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 2023, Paris, France, April 22–27, 2023, Proceedings, Part II. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer Science and Business Media Deutschland GmbH, Vol. 2. p. 44-52 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 contribution › Academic › peer-review

    Open Access

  • Fuzzy Presheaves are Quasitoposes

    Rosset, A., Overbeek, R. & Endrullis, J., 2023, Graph Transformation: 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings. Fernández, M. & Poskitt, C. M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 102-122 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13961 LNCS).

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

    Open Access
    File
    18 Downloads (Pure)

  • Legend pattern calculation for dynamic traffic management using ILP

    Verbakel, J. J., van Meurs, J., van de Mortel-Fronczak, J. M., Fokkink, W. & Rooda, J. E., 2023, 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE): [Proceedings]. IEEE, 7 p.

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

    Open Access
    File

  • Recurrence-Driven Summations in Automated Deduction

    Nummelin, V., Blanchette, J. & Dahmen, S. R., 2023, Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings. Sattler, U. & Suda, M. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 23-40 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14279 LNAI).

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

    Open Access

  • Termination of Graph Transformation Systems Using Weighted Subgraph Counting

    Overbeek, R. & Endrullis, J., 2023, Graph Transformation: 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings. Fernández, M. & Poskitt, C. M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 81-101 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13961 LNCS).

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

    Open Access
    File
    13 Downloads (Pure)

  • The Art of Creating Code-Based Artworks

    Verano Merino, M. & Sáenz, J. P., 2023, CHI EA 2023: Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-7 7 p. 271. (Conference on Human Factors in Computing Systems - Proceedings).

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

    Open Access
    File
    85 Downloads (Pure)

  • Triereme: Speeding up hybrid fuzzing through efficient query scheduling

    Geretto, E., Hohnerlein, J., Giuffrida, C., Bos, H., Van Der Kouwe, E. & V. Gleissenthall, K., 2023, ACSAC 2023 : Proceedings of the 39th Annual Computer Security Applications Conference. Association for Computing Machinery, p. 56-70 15 p. (ACM International Conference Proceeding Series).

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

    Open Access
    File
    89 Downloads (Pure)

  • Validating communication of a dynamic traffic management system

    Verbakel, J., Fokkink, W., Van De Mortel-Fronczak, J. & Rooda, J., 2023, 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS): [Proceedings]. Institute of Electrical and Electronics Engineers Inc., p. 207-215 9 p. (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS).

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

    Open Access
    File
    9 Downloads (Pure)
  • 2022

    Workbench for Creating Block-Based Environments

    Verano Merino, M. & Van Wijk, K., 1 Dec 2022, SLE 2022: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering. Fischer, B., Burgueno, L. & Cazzola, W. (eds.). Association for Computing Machinery, Inc, p. 61-73 13 p.

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

  • A Language-Parametric Approach to Exploratory Programming Environments

    Van Binsbergen, L. T., Frölich, D., Merino, M. V., Lai, J., Jeanjean, P., Van Der Storm, T., Combemale, B. & Barais, O., Nov 2022, SLE 2022: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering. Fischer, B., Burgueno, L. & Cazzola, W. (eds.). Association for Computing Machinery, Inc, p. 175-188 14 p.

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

    Open Access
    File
    52 Downloads (Pure)

  • Suppose You Had Blocks within a Notebook

    Verano Merino, M., Sáenz, J. P. & Castillo, A. M. D., Nov 2022, PAINT 2022: Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments. Beckmann, T., Hirschfeld, R., Saenz, J. P. & Merino, M. V. (eds.). Association for Computing Machinery, Inc, p. 57-62 6 p.

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

  • Making the Invisible Visible in Computational Notebooks

    Merino, M. V., van Binsbergen, L. T. & Seraj, M., 12 Sept 2022, 2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). Bottoni, P., Costagliola, G., Brachman, M. & Minas, M. (eds.). IEEE, p. 1-3 3 p. (Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC; vol. 2022, no. September).

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

  • Algebraic Presentation of Semifree Monads

    Rosset, A., Hansen, H. H. & Endrullis, J., 2022, Coalgebraic Methods in Computer Science: 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings. Hansen, H. H. & Zanasi, F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 110-132 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13225 LNCS).

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

    Open Access
    File
    54 Downloads (Pure)

  • Seventeen Provers Under the Hammer

    Desharnais, M., Vukmirovic, P., Blanchette, J. & Wenzel, M., 2022, 13th International Conference on Interactive Theorem Proving (ITP 2022). Andronick, J. & de Moura, L. (eds.). Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-18 18 p. 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 237).

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

  • Use and Abuse of Instance Parameters in the Lean Mathematical Library

    Baanen, A., 2022, 13th International Conference on Interactive Theorem Proving (ITP 2022): [Proceedings]. Andronick, J. & de Moura, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-20 20 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 237).

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

    Open Access
  • 2021

    Solver-Aided Constant-Time Hardware Verification

    von Gleissenthall, K., Klcl, R. G., Stefan, D. & Jhala, R., Nov 2021, CCS 2021: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 429-444 16 p. (Proceedings of the ACM Conference on Computer and Communications Security; vol. 2021).

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

    Open Access

  • A configurator for supervisory controllers of roadside systems

    Verbakel, J. J., Vos De Wael, M. E. W., Van De Mortel-Fronczak, J. M., Fokkink, W. J. & Rooda, J. E., 5 Oct 2021, 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE). IEEE Computer Society, p. 784-791 8 p. (IEEE International Conference on Automation Science and Engineering; vol. 2021-August).

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

  • Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays

    Moormann, L., Schouten, R. H. J., Van De Mortel-Fronczak, J. M., Fokkink, W. J. & Rooda, J. E., 5 Oct 2021, 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE). IEEE Computer Society, p. 1268-1275 8 p. (IEEE International Conference on Automation Science and Engineering; vol. 2021-August).

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

  • SAT-Inspired Eliminations for Superposition

    Vukmirovic, P., Blanchette, J. & Heule, M. J. H., Oct 2021, Proceedings of the 21st Formal Methods in Computer-Aided Design - FMCAD 2021. Piskac, R., Whalen, M. W., Hunt, W. A. & Weissenbacher, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 231-240 10 p. (Conference Series: Formal Methods in Computer-Aided Design).

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

    Open Access

  • A modular Isabelle framework for verifying saturation provers

    Tourret, S. & Blanchette, J., Jan 2021, CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. Hritcu, C. & Popescu, A. (eds.). Association for Computing Machinery, Inc, p. 224-237 14 p.

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

    Open Access

  • A novice-friendly induction tactic for Lean

    Limperg, J., Jan 2021, CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. Hritcu, C. & Popescu, A. (eds.). Association for Computing Machinery, Inc, p. 199-211 13 p.

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

  • A formalization of Dedekind domains and class groups of global fields

    Baanen, A., Dahmen, S. R., Narayanan, A. & Di Capriglio, F. A. E. N. M. M., 2021, 12th International Conference on Interactive Theorem Proving (ITP 2021). Cohen, L. & Kaliszyk, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-19 19 p. 5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 193).

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

    Open Access

  • Are two binary operators necessary to finitely axiomatise parallel composition?

    Aceto, L., Castiglioni, V., Fokkink, W., Ingólfsdóttir, A. & Luttik, B., 2021, 29th EACSL Annual Conference on Computer Science Logic (CSL 2021). Baier, C. & Goubault-Larrecq, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-17 17 p. 8. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 183).

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

    Open Access

  • A Unifying Splitting Framework

    Ebner, G., Blanchette, J. & Tourret, S., 2021, Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 344-360 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12699 LNAI).

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

    Open Access

  • Fault-Tolerant Termination Detection with Safra’s Algorithm

    Karlos, G., Fokkink, W. & Fuchs, P., 2021, Networked Systems: 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings. Echihabi, K. & Meyer, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 71-87 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12754 LNCS).

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

    Open Access
    File
    92 Downloads (Pure)

  • Graph Rewriting and Relabeling with PBPO +

    Overbeek, R., Endrullis, J. & Rosset, A., 2021, Graph Transformation: 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings. Gadducci, F. & Kehrer, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 60-80 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12741 LNCS).

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

    Open Access
    File
    41 Downloads (Pure)

  • Making Higher-Order Superposition Work

    Vukmirović, P., Bentkamp, A., Blanchette, J., Cruanes, S., Nummelin, V. & Tourret, S., 2021, Automated Deduction – CADE 2021: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 415-432 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12699 LNAI).

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

    Open Access

  • Superposition for Full Higher-Order Logic

    Bentkamp, A., Blanchette, J., Tourret, S. & Vukmirović, P., 2021, Automated Deduction – CADE 2021: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 396-412 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12699 LNAI).

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

    Open Access

  • Superposition with First-Class Booleans and Inprocessing Clausification

    Nummelin, V., Bentkamp, A., Tourret, S. & Vukmirović, P., 2021, Automated Deduction – CADE 2021: 28th International Conference on Automated Deduction, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 378-395 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

  • 2020

    A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity

    Grabmayer, C. & Fokkink, W., Jul 2020, LICS'20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, p. 465-478 14 p. 3394744. (ACM International Conference Proceeding Series).

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

    Open Access
    File
    232 Downloads (Pure)

  • Constant-time foundations for the new spectre era

    Cauligi, S., Disselkoen, C., von Gleissenthal, K., Tullsen, D., Stefan, D., Rezk, T. & Barthe, G., Jun 2020, PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). ACM, p. 913-926 14 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

    Open Access

  • Formalizing determinacy of concurrent revisions

    Overbeek, R., Jan 2020, CPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. Blanchette, J. & Hritcu, C. (eds.). Association for Computing Machinery, Inc, p. 258-269 12 p.

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

    Open Access
    File
    29 Downloads (Pure)

  • A Comprehensive Framework for Saturation Theorem Proving

    Waldmann, U., Tourret, S., Robillard, S. & Blanchette, J., 2020, Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I. Peltier, N. & Sofronie-Stokkermans, V. (eds.). Springer, Vol. 1. p. 316-334 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12166 LNAI).

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

    Open Access
    File
    90 Downloads (Pure)

  • A Lean Tactic for Normalising Ring Expressions with Exponents (Short Paper)

    Baanen, A., 2020, Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II. Peltier, N. & Sofronie-Stokkermans, V. (eds.). Springer, Vol. 2. p. 21-27 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12167 LNAI).

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

    Open Access
    File
    39 Downloads (Pure)

  • Efficient Full Higher-Order Unification

    Vukmirovic, P., Bentkamp, A. & Nummelin, V., 2020, 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). Ariola, Z. M. (ed.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 1-17 17 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 167).

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

    Open Access

  • Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis

    Moormann, L., Van De Mortel-Fronczak, J. M., Fokkink, W. J. & Rooda, J. E., 2020, 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE): [Proceedings]. IEEE Computer Society, p. 659-666 8 p. 9216953. (IEEE International Conference on Automation Science and Engineering; vol. 2020-August).

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

    Open Access
    File
    29 Downloads (Pure)

  • Maintaining a library of formal mathematics

    van Doorn, F., Ebner, G. & Lewis, R. Y., 2020, Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings. Benzmüller, C. & Miller, B. (eds.). Springer, p. 251-267 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12236 LNAI).

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

  • Modeling Guidelines for Component-Based Supervisory Control Synthesis

    Goorden, M., van de Mortel-Fronczak, J., Reniers, M., Fokkink, W. & Rooda, J., 2020, Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings. Arbab, F. & Jongmans, S.-S. (eds.). Springer, p. 3-24 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12018 LNCS).

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

    Open Access
    File
    137 Downloads (Pure)

  • Patch Graph Rewriting

    Overbeek, R. & Endrullis, J., 2020, Graph Transformation: 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings. Gadducci, F. & Kehrer, T. (eds.). Springer, p. 128-145 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12150 LNCS).

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

    Open Access
    File
    39 Downloads (Pure)