Presentation Layer Conformance Testing with TTCN. - Udo Bär; Martin Strecker; Willi Stoll; Wolfgang Effelsberg (PSTV, 1991)

The TYPELAB Specification and Verification Environment. - Friedrich W. von Henke; Marko Luther; Holger Pfeifer; Harald Rueß; Detlef Schwier; Martin Strecker; Matthias Wagner 001 (AMAST, 1996)

Integrating an Equality Prover into a Software Development System Based on Type Theory. - Martin Strecker; Maria Sorea (KI, 1997)

Typelab: An Environment for Modular Program Development. - Friedrich W. von Henke; Marko Luther; Martin Strecker (TAPSOFT, 1997)

Construction and deduction in type theories. - Martin Strecker (1999)

Formal Verification of a Java Compiler in Isabelle. - Martin Strecker (CADE, 2002)

Investigating Type-Certifying Compilation with Isabelle. - Martin Strecker (LPAR, 2002)

Extracting a formally verified, fully executable compiler from a proof assistant. - Stefan Berghofer; Martin Strecker (COCV@ETAPS, 2003)

CASE Support and Model-Based Development. - Bernhard Schätz; Jan Romberg; Oscar Slotosch; Martin Strecker (Modellierung, 2004)

Verified bytecode verification and type-certifying compilation. - Gerwin Klein; Martin Strecker (J. Log. Algebraic Methods Program., 2004)

Towards formalising AADL in Proof Assistants. - Jean-Paul Bodeveix; David Chemouil; Mamoun Filali; Martin Strecker (FESCA@ETAPS, 2005)

Verification of the Redecoration Algorithm for Triangular Matrices. - Ralph Matthes; Martin Strecker (TYPES, 2007)

Modeling and Verifying Graph Transformations in Proof Assistants. - Martin Strecker (TERMGRAPH@ETAPS, 2007)

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software - Loïc Besnard; Thierry Gautier; Julien Ouy; Jean-Pierre Talpin; Jean-Paul Bodeveix; Alexandre Cortier; Marc Pantel; Martin Strecker; Gérald Garcia; Ana-Elena Rugina; Jérémy Buisson; Fabien Dagnat (FMA, 2009)

Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software. - Alexandre Cortier; Loïc Besnard; Jean-Paul Bodeveix; Jérémy Buisson; Fabien Dagnat; Mamoun Filali; Gérald Garcia; Julien Ouy; Marc Pantel; Ana-Elena Rugina; Martin Strecker; Jean-Pierre Talpin (Synthesis of Embedded Software, 2010)

Verification of the Schorr-Waite Algorithm - From Trees to Graphs. - Mathieu Giorgino; Martin Strecker; Ralph Matthes; Marc Pantel (LOPSTR, 2010)

Locality in Reasoning about Graph Transformations. - Martin Strecker (AGTIVE, 2011)

Satoulouse: The Computational Power of Propositional Logic Shown to Beginners. - Olivier Gasquet; François Schwarzentruber; Martin Strecker (TICTTL, 2011)

Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students. - Olivier Gasquet; François Schwarzentruber; Martin Strecker (TICTTL, 2011)

Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction. - Mathieu Giorgino; Martin Strecker (FM, 2012)

Abstraction and Verification of Properties of a Real-Time Java. - Nadezhda Baklanova; Martin Strecker (ICTERI (Revised Selected Papers), 2012)

A Case Study in Combining Formal Verification and Model-Driven Engineering. - Selma Djeddai; Mohamed Mezghiche; Martin Strecker (ICTERI, 2012)

Combining Verification and MDE Illustrated by a Formal Java Development. - Selma Djeddai; Mohamed Mezghiche; Martin Strecker (ICTERI (Revised Selected Papers), 2012)

Abstraction and Verification of Properties of a Real-Time Java. - Martin Strecker (ICTERI, 2012)

Formal verification of a proof procedure for the description logic ALC. - Mohamed Chaabani; Mohamed Mezghiche; Martin Strecker (SCSS, 2012)

A Formal Model of Resource Sharing Conicts in Multithreaded Java. - Nadezhda Baklanova; Martin Strecker (ICTERI, 2013)

Logical Foundations for Reasoning about Transformations of Knowledge Bases. - Mohamed Chaabani; Rachid Echahed; Martin Strecker (ICTERI, 2013)

Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure. - Christian Percebois; Martin Strecker; Hanh Nhi Tran (SEFM, 2013)

A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (IFIP TCS, 2014)

SROIQsigma is decidable. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (CoRR, 2014)

Integrating a Formal Development for DSLs into Meta-Modeling. - Selma Djeddai; Martin Strecker; Mohamed Mezghiche (J. Data Semant., 2014)

Provably Correct Graph Transformations with Small-tALC. - Nadezhda Baklanova; Jon Haël Brenas; Rachid Echahed; Christian Percebois; Martin Strecker; Hanh Nhi Tran (ICTERI, 2015)

Abstracting an Operational Semantics to Finite Automata. - Nadezhda Baklanova; Wilmer Ricciotti; Jan-Georg Smaus; Martin Strecker (ICTERI (Revised Selected Papers), 2015)

On the Closure of Description Logics under Substitutions. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (Description Logics, 2016)

Transformation and validation of BPMN models to Petri nets models using GROOVE. - Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche (ICAASE, 2016)

Ensuring Correctness of Model Transformations While Remaining Decidable. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (ICTAC, 2016)

Proving Correctness of Logically Decorated Graph Rewriting Systems. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (FSCD, 2016)

Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations. - Amani Makhlouf; Hanh Nhi Tran; Christian Percebois; Martin Strecker (TAP@STAF, 2016)

On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. - Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche (IRI, 2017)

Voronoi Maps for Planar Sensor Networks Visualization. - Maxim Kolomeets; Andrey Chechulin; Igor V. Kotenko; Martin Strecker (MobiSec, 2017)

C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (SCSS, 2017)

Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving. - Martin Strecker (AISC, 2018)

Verifying Graph Transformation Systems with Description Logics. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (ICGT, 2018)

Verifying Graph Transformations with Guarded Logics. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (TASE, 2018)

Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance. - Jon Haël Brenas; Martin Strecker; Rachid Echahed; Arash Shaban-Nejad (IEEE Access, 2018)

On the Verification of Logically Decorated Graph Transformations. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (CoRR, 2018)

Interactive and automated proofs for graph transformations. - Martin Strecker (Math. Struct. Comput. Sci., 2018)

Reasoning Formally About Database Queries and Updates. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (FM, 2019)

Verification of Model Transformations Using Isabelle/HOL and Scala. - Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche (Inf. Syst. Frontiers, 2019)

Reference architecture for social networks graph analysis. - Maxim Kolomeets; Amira Benachour; Didier El Baz; Andrey Chechulin; Martin Strecker; Igor V. Kotenko (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2019)

Identification of Attacks against Wireless Sensor Networks Based on Behaviour Analysis. - Viktoriia Korzhuk; Anton Groznykh; Alexander Menshikov; Martin Strecker (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2019)

An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models. - Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche (Int. J. Softw. Innov., 2020)

Automating Defeasible Reasoning in Law with Answer Set Programming. - How Khang Lim; Avishkar Mahajan; Martin Strecker; Meng Weng Wong (ICLP Workshops, 2022)

User Guided Abductive Proof Generation for Answer Set Programming Queries. - Avishkar Mahajan; Martin Strecker; Meng Weng Wong (PPDP, 2022)

Automating Defeasible Reasoning in Law. - How Khang Lim; Avishkar Mahajan; Martin Strecker; Meng Weng Wong (CoRR, 2022)

User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended Version). - Avishkar Mahajan; Martin Strecker; Meng Weng Wong (CoRR, 2022)