| 2022 | ICLP | Automating Defeasible Reasoning in Law with Answer Set Programming. | How Khang Lim, Avishkar Mahajan, Martin Strecker, Meng Weng Wong |
| 2022 | PPDP | User Guided Abductive Proof Generation for Answer Set Programming Queries. | Avishkar Mahajan, Martin Strecker, Meng Weng Wong |
| 2019 | FM | Reasoning Formally About Database Queries and Updates. | Jon Hal Brenas, Rachid Echahed, Martin Strecker |
| 2018 | AISC | Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving. | Martin Strecker |
| 2018 | TASE | Verifying Graph Transformations with Guarded Logics. | Jon Hal Brenas, Rachid Echahed, Martin Strecker |
| 2017 | IRI | On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. | Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche |
| 2016 | ICTAC | Ensuring Correctness of Model Transformations While Remaining Decidable. | Jon Hal Brenas, Rachid Echahed, Martin Strecker |
| 2016 | TAP | Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations. | Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker |
| 2015 | ICTERI | Provably Correct Graph Transformations with Small-tALC. | Nadezhda Baklanova, Jon Hal Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran |
| 2015 | ICTERI | Abstracting an Operational Semantics to Finite Automata. | Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker |
| 2015 | ICTERI | Abstracting an Operational Semantics to Finite Automata. | Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker |
| 2013 | ICTERI | A Formal Model of Resource Sharing Conicts in Multithreaded Java. | Nadezhda Baklanova, Martin Strecker |
| 2013 | ICTERI | Logical Foundations for Reasoning about Transformations of Knowledge Bases. | Mohamed Chaabani, Rachid Echahed, Martin Strecker |
| 2013 | SEFM | Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure. | Christian Percebois, Martin Strecker, Hanh Nhi Tran |
| 2012 | FM | Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction. | Mathieu Giorgino, Martin Strecker |
| 2012 | ICTERI | Abstraction and Verification of Properties of a Real-Time Java. | Nadezhda Baklanova, Martin Strecker |
| 2012 | ICTERI | A Case Study in Combining Formal Verification and Model-Driven Engineering. | Selma Djeddai, Mohamed Mezghiche, Martin Strecker |
| 2012 | ICTERI | Combining Verification and MDE Illustrated by a Formal Java Development. | Selma Djeddai, Mohamed Mezghiche, Martin Strecker |
| 2012 | ICTERI | Abstraction and Verification of Properties of a Real-Time Java. | Martin Strecker |
| 2012 | MEDI | Integrating a Formal Development for DSLs into Meta-modeling. | Selma Djeddai, Martin Strecker, Mohamed Mezghiche |
| 2010 | LOPSTR | Verification of the Schorr-Waite Algorithm - From Trees to Graphs. | Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel |
| 2002 | CADE | Formal Verification of a Java Compiler in Isabelle. | Martin Strecker |
| 2002 | LPAR | Investigating Type-Certifying Compilation with Isabelle. | Martin Strecker |
| 1997 | KI | Integrating an Equality Prover into a Software Development System Based on Type Theory. | Martin Strecker, Maria Sorea |