Detlef Plump

Detlef Plump

Dr, Habilitation

Former affiliation
 https://orcid.org/0000-0002-1148-822X

Accepting PhD Students

Filter
Conference contribution

Search results

  • 2024

    Linear-Time Graph Programs for Unbounded-Degree Graphs

    Ismaili Alaoui, Z. & Plump, D., 11 Jul 2024, Proceedings, 17th International Conference on Graph Transformation (ICGT 2024). Springer, p. 3-20 18 p. (Lecture Notes in Computer Science; vol. 14774).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Random Graph Generation in Context-Free Graph Languages

    Vastarini, F. & Plump, D., 1 Oct 2024, Proc. 13th International Workshop on Developments in Computational Models (DCM 2023). Open Publishing Association, p. 107-120 14 p. (Electronic Proceedings in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2023

    Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem

    Soeldner, R. & Plump, D., 12 Jul 2023, Proceedings 16th International Conference on Graph Transformation (ICGT 2023). Fernandez, M. & Poskitt, C. (eds.). Springer, p. 123-142 20 p. (Lecture Notes in Computer Science; vol. 13961).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2022

    Time and Space Measures for a Complete Graph Computation Model

    Courtehoute, B. & Plump, D., 22 Dec 2022, Proceedings of the Thirteenth International Workshop on Graph Computation Models. Open Publishing Association, p. 23-44 22 p. (Electronic Proceedings in Theoretical Computer Science; vol. 374).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Towards Mechanised Proofs in Double-Pushout Graph Transformation

    Soeldner, R. & Plump, D., 22 Dec 2022, Proceedings of the Thirteenth International Workshop on Graph Computation Models. Open Publishing Association, p. 59-75 17 p. (Electronic Proceedings in Theoretical Computer Science; vol. 374).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2021

    A Small-Step Operational Semantics for GP 2

    Courtehoute, B. & Plump, D., 21 Dec 2021, Graph Computation Models (GCM 2021), Revised Selected Papers. Hofmann, B. & Minas, M. (eds.). Open Publishing Association, p. 89–110 22 p. (Electronic Proceedings in Theoretical Computer Science ; vol. 350).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Verifying Graph Programs with Monadic Second-Order Logic

    Wulandari, G. & Plump, D., 18 Jun 2021, Proceedings 14th International Conference on Graph Transformation (ICGT 2021). Gadducci, F. & Kehrer, T. (eds.). Springer, p. 240-261 22 p. (Lecture Notes in Computer Science; vol. 12741).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2020

    A Fast Graph Program for Computing Minimum Spanning Trees

    Courtehoute, B. & Plump, D., 3 Dec 2020, Graph Computation Models (GCM 2020), Revised Selected Papers. Open Publishing Association, p. 163-180 18 p. (Electronic Proceedings in Theoretical Computer Science; vol. 330).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Confluence up to Garbage

    Plump, D. & Campbell, G., 25 Jun 2020, Proceedings 13th International Conference on Graph Transformation (ICGT 2020). Gadducci, F. & Kehrer, T. (eds.). Springer, Vol. 12150. p. 20-37 18 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • The Improved GP 2 Compiler

    Campbell, G., Romo, J. & Plump, D., 1 Jun 2020, GCM 2020 Graph Computation Models: 11th International Workshop pre-proceedings. Hoffmann, B. & Minas, M. (eds.). GCM, p. 206-217 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Verifying Graph Programs with First-Order Logic

    Wulandari, G. & Plump, D., 3 Dec 2020, Graph Computation Models (GCM 2020), Revised Selected Papers. Open Publishing Association, p. 181-200 20 p. (Electronic Proceedings in Theoretical Computer Science; vol. 330).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2019

    Evolving Graphs with Horizontal Gene Transfer

    Plump, D., Atkinson, T. & Stepney, S., Jul 2019, Proceedings Genetic and Evolutionary Computation Conference (GECCO 2019). ACM, p. 968-976

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Linear-Time Graph Algorithms in GP 2

    Campbell, G., Courtehoute, B. & Plump, D., 25 Nov 2019, Proceedings 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 16:1-16:23 (Leibniz International Proceedings in Informatics (LIPICS); vol. 139).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2018

    Checking Graph Programs for Confluence

    Plump, D. & Hristakiev, I., 23 Jan 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Seidl, M. & Zschaler, S. (eds.). Springer, p. 92-108 16 p. (Lecture Notes in Computer Science; vol. 10748).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Evolving Graphs by Graph Programming

    Atkinson, T., Plump, D. & Stepney, S., 2018, Genetic Programming - 21st European Conference, EuroGP 2018, Proceedings. Cagnoni, S., Zhang, M., Garcia-Sanchez, P., Castelli, M. & Sekanina, L. (eds.). Springer, p. 35-51 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10781 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Probabilistic Graph Programs for Randomised and Evolutionary Algorithms

    Atkinson, T., Plump, D. & Stepney, S., 19 Jun 2018, Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Proceedings. Weber, J. & Lambers, L. (eds.). Springer, p. 63-78 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10887 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Verifying a Copying Garbage Collector in GP 2

    Plump, D. & Wulandari, G., 6 Dec 2018, Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers. Mazzara, M., Salaün, G. & Ober, I. (eds.). Springer, p. 479-494 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11176 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2017

    Probabilistic Graph Programming

    Plump, D., Atkinson, T. & Stepney, S., Jun 2017, Proceedings 8th International Workshop on Graph Computation Models (GCM 2017). Corradini, A. (ed.). p. 1-16 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Towards Critical Pair Analysis for the Graph Programming Language GP 2

    Plump, D. & Hristakiev, I., Dec 2017, Recent Trends in Algebraic Development Techniques (WADT 2016), Revised Selected Papers. James, P. & Roggenbach, M. (eds.). Springer, p. 153-169 17 p. (Lecture Notes in Computer Science; vol. 10644).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2016

    Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem

    Plump, D. & Hristakiev, I., 3 Dec 2016, Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops, Revised Selected Papers. Milazzo, P., Wimmer, M. & Varró, D. (eds.). Springer, Vol. 9946. p. 145-160 16 p. (Lecture Notes in Computer Science; vol. 9946).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Compiling Graph Programs to C

    Bak, C. P. & Plump, D., 2016, Proceedings 9th International Conference on Graph Transformation (ICGT 2016). Echahed, R. & Minas, M. (eds.). Springer, p. 102-117 16 p. (Lecture Notes in Computer Science; vol. 9761).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Reasoning about Graph Programs

    Plump, D., 2016, Proceedings 9th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2016). Corradini, A. & Zantema, H. (eds.). Open Publishing Association, Vol. 225. p. 35-44 10 p. (Electronic Proceedings in Theoretical Computer Science; vol. 225).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2015

    A Reference Interpreter for the Graph Programming Language GP 2

    Bak, C., Faulkner, G., Plump, D. & Runciman, C., 2015, Proceedings 1st Workshop Graphs as Models (GaM 2015). Rensink, A. & Zambon, E. (eds.). Electronic Proceedings in Theoretical Computer Science, Vol. 181. p. 48-64 17 p. (Electronic Proceedings in Theoretical Computer Science; vol. 181).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2014

    A Unification Algorithm for GP

    Plump, D. & Hristakiev, I., 2014, Proceedings 5th International Workshop Graph Computation Models (GCM 2014). Echahed, R., Habel, A. & Mosbah, M. (eds.). GCM, p. 60-75 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • From Imperative to Rule-based Graph Programs (Extended Abstract)

    Plump, D., 2014, Proceedings 26th Nordic Workshop on Programming Theory (NWPT 2014). 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Verifying Monadic Second-Order Properties of Graph Programs

    Poskitt, C. & Plump, D., 2014, Proceedings 7th International Conference on Graph Transformation (ICGT 2014). Giese, H. & Koenig, B. (eds.). Springer, p. 33-48 16 p. (Lecture Notes in Computer Science; vol. 8571).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2012

    M,N-Adhesive Transformation Systems

    Habel, A. & Plump, D., 2012, Proc. 6th International Conference on Graph Transformations . Ehrig, H., Engels, G., Kreowski, H.-J. & Rozenberg, G. (eds.). Springer, p. 218-233 16 p. (Lecture Notes in Computer Science; vol. 7562).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Rooted Graph Programs

    Plump, D. & Bak, C., 2012, Proceedings 7th International Workshop on Graph Based Tools (GraBaTs 2012). Krause, C. & Westfechtel, B. (eds.). Berlin, 12 p. (Electronic Communications of the EASST; vol. 54).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • The Design of GP 2

    Plump, D., 2012, Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2011). Escobar, S. (ed.). p. 1-12 (Electronic Proceedings in Theoretical Computer Science ; vol. 82).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Verifying Total Correctness of Graph Programs

    Poskitt, C. & Plump, D., 2012, Proceedings 4th International Workshop on Graph Computation Models (GCM 2012). Echahed, R., Habel, A. & Mosbah, M. (eds.). p. 1-15

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2010

    A Hoare Calculus for Graph Programs

    Poskitt, C. M. & Plump, D., 2010, Proceedings 5th International Conference on Graph Transformation (ICGT 2010). Ehrig, H., Rensink, A., Rozenberg, G. & Schürr, A. (eds.). Springer, Vol. 6372 . p. 139-154 (Lecture Notes in Computer Science; vol. 6372).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Graph Programs

    Plump, D., 2010, Pre-Proceedings 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010). Kirchner, H. & Munoz, C. (eds.). p. 39-44 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Hoare Logic for Graph Programs

    Plump, D. & Poskitt, C. M., 2010, Proceedings THEORY Workshop at Verified Software: Theories, Tools and Experiments (VS-THEORY 2010). Naumann, D. & Yang, H. (eds.). 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • The Semantics of Graph Programs

    Plump, D. & Steinert, S., 2010, Proceedings 10th International Workshop on Rule-Based Programming (RULE 2009). Mackie, I. & Martins Moreira, A. (eds.). Open Publishing Association, p. 27-38 (Electronic Proceedings in Theoretical Computer Science ; vol. 21).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2009

    The Graph Programming Language GP

    Plump, D., 2009, Algebraic Informatics : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings. Springer, p. 99-122 24 p. (Lecture Notes in Computer Science; vol. 5725).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2008

    Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools

    Plump, D., Taentzer, G., Biermann, E., Bisztray, D., Bohnet, B., Boneva, I., Boronat, A., Geiger, L., Geiß, R., Horvath, Á., Kniemeyer, O., Mens, T., Ness, B. & Vajk, T., 2008, Applications of Graph Transformation with Industrial Relevance (AGTIVE 2007): Revised Selected and Invited Papers. Springer, p. 514-539 (Lecture Notes in Computer Science; vol. 5088).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • The GP Programming System

    Manning, G. & Plump, D., 2008, Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008). p. 1-13 (Electronic Communications of the EASST; vol. 10).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2006

    Extending C for Checking Shape Safety

    Plump, D. & Dodds, M., 2006, Proc. Graph Transformation for Verification and Concurrency (GT-VC 2005). Elsevier, p. 95-112 (Electronic Notes in Theoretical Computer Science; vol. 154, no. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Graph Transformation in Constant Time

    Dodds, M. & Plump, D., 2006, Proceedings 3rd International Conference on Graph Transformation (ICGT 2006). Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L. & Rozenberg, G. (eds.). Berlin: Springer, p. 367-382 16 p. (Lecture Notes in Computer Science; vol. 4178).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2004

    Checking the shape safety of pointer manipulations

    Plump, D., Bakewell, A. & Runciman, C., 2004, Relational Methods in Computer Science (RelMiCS 7), Revised Selected Papers. Berghammer, R., Moller, B. & Struth, G. (eds.). Berlin: Springer, p. 48-61 14 p. (Lecture Notes in Computer Science; vol. 3051).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Specifying pointer structures by graph reductions

    Plump, D., Bakewell, A. & Runciman, C., 2004, Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003): Revised Selected and Invited Papers. Pfaltz, J., Nagl, M. & Bohlen, B. (eds.). Berlin: Springer, p. 30-44 15 p. (Lecture Notes in Computer Science; vol. 3062).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Towards Graph Programs for Graph Algorithms

    Plump, D. & Steinert, S., 2004, Proceedings 2nd International Conference on Graph Transformation (ICGT 2004). Ehrig, H., Engels, G., ParisiPresicce, F. & Rozenberg, G. (eds.). Berlin: Springer, p. 128-143 16 p. (Lecture Notes in Computer Science; vol. 3256).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2003

    Diagrams for meaning preservation

    Wells, J. B., Plump, D. & Kamareddine, F., 2003, Proceedings Rewriting Techniques and Applications (RTA 2003). Nieuwenhuis, R. (ed.). Berlin: Springer, p. 88-106 19 p. (Lecture Notes in Computer Science; vol. 2706).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2002

    Relabelling in Graph Transformation

    Habel, A. & Plump, D., 2002, Proceedings 1st International Conference on Graph Transformation (ICGT 2002). Corradini, A., Ehrig, H., Kreowski, H. & Rozenberg, G. (eds.). Berlin: Springer, p. 135-147 13 p. (Lecture Notes in Computer Science; vol. 2505).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • TERMGRAPH 2002 Workshop Survey

    Plump, D., 2002, Proceedings 1st International Conference on Graph Transformation (ICGT 2002). Corradini, A., Ehrig, H., Kreowski, H. & Rozenberg, G. (eds.). Berlin: Springer, p. 435-439 5 p. (Lecture Notes in Computer Science; vol. 2505).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2001

    Computational Completeness of Programming Languages Based on Graph Transformation

    Habel, A., Plump, D., Honsell, F. (Editor) & Miculan, M. (Editor), 2001, Foundations of Software Science and Computation Structures : 4th International Conference (FOSSACS 2001) . Springer, p. 230-245 15 p. (Lecture Notes in Computer Science; vol. 2030).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2000

    Double-Pushout Approach with Injective Matching

    Plump, D., Habel, A. & Müller, J., 2000, 6th International Workshop on Theory and Application of Graph Transformations (TAGT 98), Selected Papers. Springer, p. 103-116 (Lecture Notes in Computer Science; vol. 1764).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Hierarchical Graph Transformation

    Plump, D., Drewes, F. & Hoffmann, B., 2000, Proceedings Foundations of Software Science and Computation Structures (FOSSACS 2000). Springer, p. 98-113 16 p. (Lecture Notes in Computer Science; vol. 1784).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 1999

    Complete Strategies for Term Graph Narrowing

    Plump, D. & Habel, A., 1999, Recent Trends in Algebraic Development Techniques (WADT 1998), Selected Papers. Springer, p. 152-167 16 p. (Lecture Notes in Computer Science; vol. 1589).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 1997

    Simplification Orders for Term Graph Rewriting

    Plump, D., 1997, Proceedings Mathematical Foundations of Computer Science (MFCS 1997). Springer, p. 458-467 (Lecture Notes in Computer Science; vol. 1295).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File