Martin Strecker

Available identifiers

Publication	Date of Publication	Type
Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving	2023-06-30	Paper
Interactive and automated proofs for graph transformations	2018-09-05	Paper
Verifying graph transformation systems with description logics	2018-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q5369479	2017-10-17	Paper
Ensuring Correctness of Model Transformations While Remaining Decidable	2016-12-21	Paper
A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs	2014-09-15	Paper
Modeling and Verifying Graph Transformations in Proof Assistants	2014-01-17	Paper
Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction	2012-11-08	Paper
Verification of the Schorr-Waite Algorithm – From Trees to Graphs	2011-05-27	Paper
Verification of the Redecoration Algorithm for Triangular Matrices	2008-06-03	Paper
Verified bytecode verification and type-certifying compilation	2004-10-14	Paper
https://portal.mardi4nfdi.de/entity/Q4809043	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4428314	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4524768	2001-01-15	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Martin Strecker