( en | de | ru )

 

Disambiguation of "Strecker, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
The TYPELAB Specification and Verification Environment.

, , , , , , and . AMAST, volume 1101 of Lecture Notes in Computer Science, page 604-607. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Martin Strecker

Julia Strecker

Katharina Strecker

Ulrich Strecker

Ivo Strecker

 

Other publications of authors with the same name

A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs., , and . IFIP TCS, volume 8705 of Lecture Notes in Computer Science, page 164-178. Springer, (2014)Towards formalising AADL in Proof Assistants., , , and . FESCA@ETAPS, volume 141 of Electronic Notes in Theoretical Computer Science, page 153-169. Elsevier, (2005)On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL., , , and . IRI, page 419-426. IEEE Computer Society, (2017)Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software., , , , , , , , , and 2 other author(s). Synthesis of Embedded Software, Springer, (2010)Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving.. AISC, volume 11110 of Lecture Notes in Computer Science, page 119-135. Springer, (2018)User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended Version)., , and . CoRR, (2022)Abstraction and Verification of Properties of a Real-Time Java.. ICTERI, volume 848 of CEUR Workshop Proceedings, page 13. CEUR-WS.org, (2012)Verifying Graph Transformations with Guarded Logics., , and . TASE, page 124-131. IEEE Computer Society, (2018)Transformation and validation of BPMN models to Petri nets models using GROOVE., , , and . ICAASE, page 22-29. IEEE, (2016)Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software, , , , , , , , , and 2 other author(s). FMA, volume 20 of EPTCS, page 80-87. (2009)