Concepedia

Stephan Merz

SM

18

Publications

709

Citations

15

H-Index

1992

Active since

Affiliations

Ludwig-Maximilians-Universität München(Current)

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Institut national de recherche en sciences et technologies du numérique

Microsoft Research (United Kingdom)

Computer Algorithms for Medicine

Stephan Merz is an author at Ludwig-Maximilians-Universität München specializing in engineering, formal methods, and verification.

Top concepts

EngineeringFormal MethodsVerificationAutomated ReasoningFormal VerificationComputer ScienceSoftware AnalysisProgram AnalysisSoftware DesignSystems Engineering

Publications per year

1992–2023

18

Publications

18

Model Checking UML State Machines and Collaborations

Timm Schäfer, Alexander Knapp, Stephan Merz · Electronic Notes in Theoretical Computer Science · 2001 · 202 citations · Full text

Model Checking and Code Generation for UML State Machines and Collaborations

Alexander Knapp, Stephan Merz · OPUS (Augsburg University) · 2002 · 88 citations · Full text

State Machine View, Engineering, Object-oriented Modeling +29

Type checking higher-order polymorphic multi-methods

François Bourdoncle, Stephan Merz · 1997 · 71 citations

Ml≤ Type System, Engineering, Generic Programming +14

Decidability and incompleteness results for first-order temporal logics of linear time

Stephan Merz · Journal of Applied Non-Classical Logics · 1992 · 48 citations

Engineering, Classical Logic, Verification +17

Model checking: a tutorial overview

Stephan Merz · 2001 · 46 citations

Engineering, Automated Reasoning, Software Testing +8

Rows per page

1–5 of 18