Concepedia

Martin Strecker

MS

8

Publications

126

Citations

8

H-Index

2003

Active since

Affiliations

Institut de Recherche en Informatique de Toulouse(Current)

Université Toulouse III - Paul Sabatier

Université Constantine 2

University of Jijel

University of Constantine 3

Martin Strecker is an author at Institut de Recherche en Informatique de Toulouse specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationSoftware AnalysisComputer EngineeringSoftware EngineeringSoftware DesignProgram Analysis

Publications per year

2003–2019

8

Publications

8

Modeling and Verifying Graph Transformations in Proof Assistants

Martin Strecker · Electronic Notes in Theoretical Computer Science · 2008 · 29 citations · Full text

Engineering, Graph Theory, Automated Reasoning +14

Extracting a formally verified, fully executable compiler from a proof assistant

Stefan Berghofer, Martin Strecker · Electronic Notes in Theoretical Computer Science · 2004 · 18 citations · Full text

Engineering, Verification, Computer-aided Verification +22

Verification of Model Transformations Using Isabelle/HOL and Scala

Said Meghzili, Allaoua Chaoui, Martin Strecker et al. · Information Systems Frontiers · 2018 · 16 citations

Engineering, Automated Reasoning, Mechanical Verification +7

An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models

Said Meghzili, Allaoua Chaoui, Martin Strecker et al. · International Journal of Software Innovation · 2019 · 15 citations

Petri Net, Engineering, Industrial Engineering +20

CASE Tools for Embedded Systems

Bernhard Schätz, Tobias Hain, Frank Houdek et al. · 2003 · 13 citations

Automotive Engineering, Engineering, Computer Architecture +21

Rows per page

1–5 of 8