Concepedia

Gerald Lüttgen

GL

22

Publications

535

Citations

14

H-Index

1996

Active since

Affiliations

University of Augsburg(Current)

University of York

University of Bamberg

Augsburg University

Stony Brook University

Gerald Lüttgen is an author at University of Augsburg specializing in computer science, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationParallel ProgrammingVerificationParallel ComputingSystems EngineeringSemantics

Publications per year

1996–2016

22

Publications

22

Compositional minimisation of finite state systems using interface specifications

Susanne Graf, Bernhard Steffen, Gerald Lüttgen · Formal Aspects of Computing · 1996 · 113 citations · Full text

A compositional approach to statecharts semantics

Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland · 2000 · 52 citations · Full text

The intuitionism behind Statecharts steps

Gerald Lüttgen, Michael Mendler · ACM Transactions on Computational Logic · 2002 · 40 citations

Engineering, Constructive Logic, Classical Logic +16

Exploiting interleaving semantics in symbolic state-space generation

Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner · Formal Methods in System Design · 2007 · 35 citations

Symbolic State-space Generation, Engineering, Automated Reasoning +10

Modal Interface Automata

Gerald Lüttgen, Walter Vogler · Logical Methods in Computer Science · 2013 · 28 citations · Full text

Logical Automaton, Engineering, Automated Reasoning +13

Rows per page

1–5 of 22