Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartin 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
Books and Theses
- 1999
[b1]Martin Strecker:
Construction and deduction in type theories. University of Ulm, Germany, 1999
Journal Articles
- 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) - 2019
- [j7]Said Meghzili
, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche:
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, 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): 109-125 (2019) - 2018
- [j4]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: 64728-64741 (2018) - [j3]Martin Strecker:
Interactive and automated proofs for graph transformations. Math. Struct. Comput. Sci. 28(8): 1333-1362 (2018) - 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) - 2004
- [j1]Gerwin Klein, Martin Strecker:
Verified bytecode verification and type-certifying compilation. J. Log. Algebraic Methods Program. 58(1-2): 27-60 (2004)
Conference and Workshop Papers
- 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 - 2019
- [c43]Jon Haël Brenas, Rachid Echahed, Martin Strecker:
Reasoning Formally About Database Queries and Updates. FM 2019: 556-572 - 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 - 2017
- [c39]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: 419-426 - [c38]Maxim Kolomeets, Andrey Chechulin, Igor V. Kotenko, Martin Strecker:
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, Martin Strecker, Elhillali Kerkouche:
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
- [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 - 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, Mohamed Mezghiche, Martin Strecker:
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, Martin Strecker:
Satoulouse: The Computational Power of Propositional Logic Shown to Beginners. TICTTL 2011: 77-84 - [c14]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: 85-92 - 2010
- [c13]Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel:
Verification of the Schorr-Waite Algorithm - From Trees to Graphs. LOPSTR 2010: 67-83 - 2009
- [c12]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:
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, Mamoun Filali, Martin Strecker:
Towards formalising AADL in Proof Assistants. FESCA@ETAPS 2005: 153-169 - 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 - 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
Parts in Books or Collections
- 2010
- [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, Jean-Pierre Talpin:
Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software. Synthesis of Embedded Software 2010: 79-119
Informal and Other Publications
- 2022
- [i5]How Khang Lim, Avishkar Mahajan, Martin Strecker, Meng Weng Wong:
Automating Defeasible Reasoning in Law. CoRR abs/2205.07335 (2022) - [i4]Avishkar Mahajan, Martin Strecker, Meng Weng Wong:
User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended Version). CoRR abs/2209.07948 (2022) - 2018
- [i3]Jon Haël Brenas, Rachid Echahed, Martin Strecker:
On the Verification of Logically Decorated Graph Transformations. CoRR abs/1803.02776 (2018) - 2014
- [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)
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-07-09 05:25 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:
