Martin Strecker

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Reasoning formally about database queries and updates2024-03-14Paper
Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving
Artificial Intelligence and Symbolic Computation
2023-06-30Paper
Interactive and automated proofs for graph transformations
Mathematical Structures in Computer Science
2018-09-05Paper
Verifying graph transformation systems with description logics2018-08-24Paper
Proving correctness of logically decorated graph rewriting systems2017-10-17Paper
Ensuring correctness of model transformations while remaining decidable
Theoretical Aspects of Computing – ICTAC 2016
2016-12-21Paper
A Hoare-like calculus using the \(\mathrm{SROIQ}^{\sigma }\) logic on transformations of graphs
Lecture Notes in Computer Science
2014-09-15Paper
Modeling and verifying graph transformations in proof assistants
Electronic Notes in Theoretical Computer Science
2014-01-17Paper
Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction
FM 2012: Formal Methods
2012-11-08Paper
Verification of the Schorr-Waite algorithm -- from trees to graphs
Logic-Based Program Synthesis and Transformation
2011-05-27Paper
Verification of the Redecoration Algorithm for Triangular Matrices
Lecture Notes in Computer Science
2008-06-03Paper
Verified bytecode verification and type-certifying compilation
The Journal of Logic and Algebraic Programming
2004-10-14Paper
scientific article; zbMATH DE number 2090288 (Why is no real title available?)2004-08-12Paper
scientific article; zbMATH DE number 1980940 (Why is no real title available?)2003-09-15Paper
scientific article; zbMATH DE number 1552510 (Why is no real title available?)2001-01-15Paper


Research outcomes over time


This page was built for person: Martin Strecker