Martin Strecker

ORCID

Publication Activity (10 Years)

Years Active: 1991-2022
Publications (10 Years): 23

Top Venues

CoRR

ICTERI

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.

Description Logics

University of Ulm, Germany (PHD)

Education History

University of Ulm, Germany

PHD

Publications

How Khang Lim, Avishkar Mahajan, Martin Strecker, Meng Weng Wong
Automating Defeasible Reasoning in Law with Answer Set Programming. ICLP Workshops (2022)
How Khang Lim, Avishkar Mahajan, Martin Strecker, Meng Weng Wong
Automating Defeasible Reasoning in Law. CoRR (2022)
Avishkar Mahajan, Martin Strecker, Meng Weng Wong
User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended Version). CoRR (2022)
Avishkar Mahajan, Martin Strecker, Meng Weng Wong
User Guided Abductive Proof Generation for Answer Set Programming Queries. PPDP (2022)
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models. Int. J. Softw. Innov. 8 (1) (2020)
Maxim Kolomeets, Amira Benachour, Didier El Baz, Andrey Chechulin, Martin Strecker, Igor V. Kotenko
Reference architecture for social networks graph analysis. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 10 (4) (2019)
Viktoriia Korzhuk, Anton Groznykh, Alexander Menshikov, Martin Strecker
Identification of Attacks against Wireless Sensor Networks Based on Behaviour Analysis. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 10 (2) (2019)
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
Verification of Model Transformations Using Isabelle/HOL and Scala. Inf. Syst. Frontiers 21 (1) (2019)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
Reasoning Formally About Database Queries and Updates. FM (2019)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
On the Verification of Logically Decorated Graph Transformations. CoRR (2018)
Jon Haël Brenas, Martin Strecker, Rachid Echahed, Arash Shaban-Nejad
Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance. IEEE Access 6 (2018)
Martin Strecker
Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving. AISC (2018)
Martin Strecker
Interactive and automated proofs for graph transformations. Math. Struct. Comput. Sci. 28 (8) (2018)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
Verifying Graph Transformations with Guarded Logics. TASE (2018)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
Verifying Graph Transformation Systems with Description Logics. ICGT (2018)
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. IRI (2017)
Maxim Kolomeets, Andrey Chechulin, Igor V. Kotenko, Martin Strecker
Voronoi Maps for Planar Sensor Networks Visualization. MobiSec (2017)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions. SCSS (2017)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
On the Closure of Description Logics under Substitutions. Description Logics (2016)
Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker
Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations. TAP@STAF (2016)
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
Transformation and validation of BPMN models to Petri nets models using GROOVE. ICAASE (2016)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
Proving Correctness of Logically Decorated Graph Rewriting Systems. FSCD (2016)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
Ensuring Correctness of Model Transformations While Remaining Decidable. ICTAC (2016)
Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
Abstracting an Operational Semantics to Finite Automata. ICTERI (Revised Selected Papers) (2015)
Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
Abstracting an Operational Semantics to Finite Automata. ICTERI (2015)
Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran
Provably Correct Graph Transformations with Small-tALC. ICTERI (2015)
Selma Djeddai, Martin Strecker, Mohamed Mezghiche
Integrating a Formal Development for DSLs into Meta-Modeling. J. Data Semant. 3 (3) (2014)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
SROIQsigma is decidable. CoRR (2014)
Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
Abstracting an operational semantics to finite automata. CoRR (2014)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs. IFIP TCS (2014)
Mohamed Chaabani, Rachid Echahed, Martin Strecker
Logical Foundations for Reasoning about Transformations of Knowledge Bases. ICTERI (2013)
Nadezhda Baklanova, Martin Strecker
A Formal Model of Resource Sharing Conicts in Multithreaded Java. ICTERI (2013)
Mohamed Chaabani, Rachid Echahed, Martin Strecker
Logical Foundations for Reasoning about Transformations of Knowledge Bases. Description Logics (2013)
Christian Percebois, Martin Strecker, Hanh Nhi Tran
Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure. SEFM (2013)
Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker
Formal verification of a proof procedure for the description logic ALC. SCSS (2012)
Selma Djeddai, Martin Strecker, Mohamed Mezghiche
Integrating a Formal Development for DSLs into Meta-modeling. MEDI (2012)
Nadezhda Baklanova, Martin Strecker
Abstraction and Verification of Properties of a Real-Time Java. ICTERI (Revised Selected Papers) (2012)
Mathieu Giorgino, Martin Strecker
Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction. FM (2012)
Selma Djeddai, Mohamed Mezghiche, Martin Strecker
A Case Study in Combining Formal Verification and Model-Driven Engineering. ICTERI (2012)
Selma Djeddai, Mohamed Mezghiche, Martin Strecker
Combining Verification and MDE Illustrated by a Formal Java Development. ICTERI (Revised Selected Papers) (2012)
Martin Strecker
Abstraction and Verification of Properties of a Real-Time Java. ICTERI (2012)
Martin Strecker
Locality in Reasoning about Graph Transformations. AGTIVE (2011)
Olivier Gasquet, François Schwarzentruber, Martin Strecker
Satoulouse: The Computational Power of Propositional Logic Shown to Beginners. TICTTL (2011)
Olivier Gasquet, François Schwarzentruber, Martin Strecker
Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students. TICTTL (2011)
Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel
Verification of the Schorr-Waite Algorithm - From Trees to Graphs. LOPSTR (2010)
Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, G. Garcia, A. Rugina, Jérémy Buisson, Fabien Dagnat
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software FMA (2009)
Martin Strecker
Modeling and Verifying Graph Transformations in Proof Assistants. Electron. Notes Theor. Comput. Sci. 203 (1) (2008)
Ralph Matthes, Martin Strecker
Verification of the Redecoration Algorithm for Triangular Matrices. TYPES (2007)
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker
Towards formalising AADL in Proof Assistants. Electron. Notes Theor. Comput. Sci. 141 (3) (2005)
Gerwin Klein, Martin Strecker
Verified bytecode verification and type-certifying compilation. J. Log. Algebraic Methods Program. 58 (1-2) (2004)
Bernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker
CASE Support and Model-Based Development. Modellierung (2004)
Stefan Berghofer, Martin Strecker
Extracting a formally verified, fully executable compiler from a proof assistant. Electron. Notes Theor. Comput. Sci. 82 (2) (2003)
Martin Strecker
Formal Verification of a Java Compiler in Isabelle. CADE (2002)
Martin Strecker
Investigating Type-Certifying Compilation with Isabelle. LPAR (2002)
Friedrich W. von Henke, Marko Luther, Martin Strecker
Typelab: An Environment for Modular Program Development. TAPSOFT (1997)
Martin Strecker, Maria Sorea
Integrating an Equality Prover into a Software Development System Based on Type Theory. KI (1997)
Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner
The TYPELAB Specification and Verification Environment. AMAST (1996)
Udo Bär, Martin Strecker, Willi Stoll, Wolfgang Effelsberg
Presentation Layer Conformance Testing with TTCN. PSTV (1991)

Martin Strecker.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Strecker