default search action
Martin Strecker
Person information
- affiliation: Paul Sabatier University of Toulouse III, IRIT, France
- affiliation: TU München, Department of Informatics, Germany
- affiliation: University of Ulm, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c45]How Khang Lim, Avishkar Mahajan, Martin Strecker, Meng Weng Wong:
Automating Defeasible Reasoning in Law with Answer Set Programming. ICLP Workshops 2022 - [c44]Avishkar Mahajan, Martin Strecker
, Meng Weng Wong:
User Guided Abductive Proof Generation for Answer Set Programming Queries. PPDP 2022: 10:1-10:14 - [i5]How Khang Lim, Avishkar Mahajan, Martin Strecker
Automating Defeasible Reasoning in Law. CoRR abs/2205.07335 (2022) - [i4]Avishkar Mahajan, Martin Strecker
User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended Version). CoRR abs/2209.07948 (2022) - 2020
- [j8]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): 17-49 (2020)
2010 – 2019
- 2019
- [j7]Said Meghzili
Verification of Model Transformations Using Isabelle/HOL and Scala. Inf. Syst. Frontiers 21(1): 45-65 (2019) - [j6]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): 1-21 (2019) - [j5]Maxim Kolomeets
Reference architecture for social networks graph analysis. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 10(4): 109-125 (2019) - [c43]Jon Haël Brenas, Rachid Echahed
Reasoning Formally About Database Queries and Updates. FM 2019: 556-572 - 2018
- [j4]Jon Haël Brenas
Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance. IEEE Access 6: 64728-64741 (2018) - [j3]Martin Strecker:
Interactive and automated proofs for graph transformations. Math. Struct. Comput. Sci. 28(8): 1333-1362 (2018) - [c42]Martin Strecker
Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving. AISC 2018: 119-135 - [c41]Jon Haël Brenas, Rachid Echahed, Martin Strecker
Verifying Graph Transformation Systems with Description Logics. ICGT 2018: 155-170 - [c40]Jon Haël Brenas, Rachid Echahed, Martin Strecker
Verifying Graph Transformations with Guarded Logics. TASE 2018: 124-131 - [i3]Jon Haël Brenas, Rachid Echahed, Martin Strecker:
On the Verification of Logically Decorated Graph Transformations. CoRR abs/1803.02776 (2018) - 2017
- [c39]Said Meghzili, Allaoua Chaoui
On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. IRI 2017: 419-426 - [c38]Maxim Kolomeets
Voronoi Maps for Planar Sensor Networks Visualization. MobiSec 2017: 96-109 - [c37]Jon Haël Brenas, Rachid Echahed, Martin Strecker:
C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions. SCSS 2017: 29-41 - 2016
- [c36]Jon Haël Brenas, Rachid Echahed, Martin Strecker:
On the Closure of Description Logics under Substitutions. Description Logics 2016 - [c35]Said Meghzili, Allaoua Chaoui
Transformation and validation of BPMN models to Petri nets models using GROOVE. ICAASE 2016: 22-29 - [c34]Jon Haël Brenas, Rachid Echahed, Martin Strecker
Ensuring Correctness of Model Transformations While Remaining Decidable. ICTAC 2016: 315-332 - [c33]Jon Haël Brenas, Rachid Echahed, Martin Strecker:
Proving Correctness of Logically Decorated Graph Rewriting Systems. FSCD 2016: 14:1-14:15 - [c32]Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker:
Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations. TAP@STAF 2016: 183-190 - 2015
- [c31]Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran:
Provably Correct Graph Transformations with Small-tALC. ICTERI 2015: 78-93 - [c30]Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
Abstracting an Operational Semantics to Finite Automata. ICTERI (Revised Selected Papers) 2015: 109-123 - [c29]Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker:
Abstracting an Operational Semantics to Finite Automata. ICTERI 2015: 354-365 - 2014
- [j2]Selma Djeddai, Martin Strecker, Mohamed Mezghiche:
Integrating a Formal Development for DSLs into Meta-Modeling. J. Data Semant. 3(3): 143-155 (2014) - [c28]Jon Haël Brenas, Rachid Echahed, Martin Strecker
A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs. IFIP TCS 2014: 164-178 - [i2]Jon Haël Brenas, Rachid Echahed, Martin Strecker:
SROIQsigma is decidable. CoRR abs/1406.6605 (2014) - [i1]Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker:
Abstracting an operational semantics to finite automata. CoRR abs/1409.7841 (2014) - 2013
- [c27]Mohamed Chaabani, Rachid Echahed, Martin Strecker:
Logical Foundations for Reasoning about Transformations of Knowledge Bases. Description Logics 2013: 616-627 - [c26]Mohamed Chaabani, Rachid Echahed, Martin Strecker:
Logical Foundations for Reasoning about Transformations of Knowledge Bases. ICTERI 2013: 521-532 - [c25]Nadezhda Baklanova, Martin Strecker:
A Formal Model of Resource Sharing Conicts in Multithreaded Java. ICTERI 2013: 550-564 - [c24]Christian Percebois, Martin Strecker, Hanh Nhi Tran:
Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure. SEFM 2013: 106-121 - 2012
- [c23]Mathieu Giorgino, Martin Strecker:
Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction. FM 2012: 202-216 - [c22]Nadezhda Baklanova, Martin Strecker:
Abstraction and Verification of Properties of a Real-Time Java. ICTERI (Revised Selected Papers) 2012: 1-18 - [c21]Martin Strecker:
Abstraction and Verification of Properties of a Real-Time Java. ICTERI 2012: 13 - [c20]Selma Djeddai, Mohamed Mezghiche, Martin Strecker:
Combining Verification and MDE Illustrated by a Formal Java Development. ICTERI (Revised Selected Papers) 2012: 131-148 - [c19]Selma Djeddai, Mohamed Mezghiche, Martin Strecker:
A Case Study in Combining Formal Verification and Model-Driven Engineering. ICTERI 2012: 275-289 - [c18]Selma Djeddai, Martin Strecker, Mohamed Mezghiche:
Integrating a Formal Development for DSLs into Meta-modeling. MEDI 2012: 55-66 - [c17]Mohamed Chaabani
Formal verification of a proof procedure for the description logic ALC. SCSS 2012: 51-61 - 2011
- [c16]Martin Strecker:
Locality in Reasoning about Graph Transformations. AGTIVE 2011: 169-181 - [c15]Olivier Gasquet, François Schwarzentruber
Satoulouse: The Computational Power of Propositional Logic Shown to Beginners. TICTTL 2011: 77-84 - [c14]Olivier Gasquet, François Schwarzentruber
Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students. TICTTL 2011: 85-92 - 2010
- [c13]Mathieu Giorgino, Martin Strecker
Verification of the Schorr-Waite Algorithm - From Trees to Graphs. LOPSTR 2010: 67-83 - [p1]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
Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software. Synthesis of Embedded Software 2010: 79-119
2000 – 2009
- 2009
- [c12]Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software. FMA 2009: 80-87 - 2007
- [c11]Ralph Matthes, Martin Strecker:
Verification of the Redecoration Algorithm for Triangular Matrices. TYPES 2007: 125-141 - [c10]Martin Strecker:
Modeling and Verifying Graph Transformations in Proof Assistants. TERMGRAPH@ETAPS 2007: 135-148 - 2005
- [c9]Jean-Paul Bodeveix, David Chemouil
Towards formalising AADL in Proof Assistants. FESCA@ETAPS 2005: 153-169 - 2004
- [j1]Gerwin Klein
Verified bytecode verification and type-certifying compilation. J. Log. Algebraic Methods Program. 58(1-2): 27-60 (2004) - [c8]Bernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker:
CASE Support and Model-Based Development. Modellierung 2004: 283-284 - 2003
- [c7]Stefan Berghofer, Martin Strecker:
Extracting a formally verified, fully executable compiler from a proof assistant. COCV@ETAPS 2003: 377-394 - 2002
- [c6]Martin Strecker:
Formal Verification of a Java Compiler in Isabelle. CADE 2002: 63-77 - [c5]Martin Strecker:
Investigating Type-Certifying Compilation with Isabelle. LPAR 2002: 403-417
1990 – 1999
- 1999
- [b1]Martin Strecker:
Construction and deduction in type theories. University of Ulm, Germany, 1999 - 1997
- [c4]Martin Strecker, Maria Sorea:
Integrating an Equality Prover into a Software Development System Based on Type Theory. KI 1997: 147-158 - [c3]Friedrich W. von Henke, Marko Luther, Martin Strecker:
Typelab: An Environment for Modular Program Development. TAPSOFT 1997: 851-854 - 1996
- [c2]Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner:
The TYPELAB Specification and Verification Environment. AMAST 1996: 604-607 - 1991
- [c1]Udo Bär, Martin Strecker, Willi Stoll, Wolfgang Effelsberg:
Presentation Layer Conformance Testing with TTCN. PSTV 1991: 283-298
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: