Person: Felix Klaedtke

DBLP: Klaedtke:Felix

Contributed to:

2013

2011

2010

2009

2007

2007

2006

2005

2004

2003

2001

2000

2017

Wrote 13 papers:

ICALP-v2-2013-FriedmannKL #automaton

Ramsey Goes Visibly Pushdown (OF, FK, ML), pp. 224–237.

FoSSaCS-2011-DaxK #automaton #word

Alternation Elimination for Automata over Nested Words (CD, FK), pp. 168–183.

CAV-2010-BasinKM #first-order #logic #monitoring #policy

Policy Monitoring in First-Order Temporal Logic (DAB, FK, SM), pp. 1–18.

ICALP-v2-2009-DaxKL #logic #on the

On Regular Temporal Logics with Past, (CD, FK, ML), pp. 175–187.

CAV-2007-BeckerDEK #constraints #integer #linear #named

LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals (BB, CD, JE, FK), pp. 307–310.

VMCAI-2007-KlaedtkeRS #abstraction #hybrid #refinement #verification

Language-Based Abstraction Refinement for Hybrid System Verification (FK, SR, ZS), pp. 151–166.

CAV-2006-EisingerK #approach #word

Don’t Care Words with an Application to the Automata-Based Approach for Real Addition (JE, FK), pp. 67–80.

VMCAI-2005-AbrahamBKS #bound #hybrid #linear #model checking #optimisation

Optimizing Bounded Model Checking for Linear Hybrid Systems (EÁ, BB, FK, MS), pp. 396–412.

LICS-2004-Klaedtke #automaton #on the

On the Automata Size for Presburger Arithmetic (FK), pp. 110–119.

ICALP-2003-KlaedtkeR #higher-order #logic #monad

Monadic Second-Order Logics with Cardinalities (FK, HR), pp. 681–696.

CSL-2001-Klaedtke

Decision Procedure for an Extension of WS1S (FK), pp. 384–398.

CAV-2000-AyariBK #automaton #induction

Decision Procedures for Inductive Boolean Functions Based on Alternating Automata (AA, DAB, FK), pp. 170–185.

CAV-2017-BasinKZ #data type #runtime #verification

Runtime Verification of Temporal Properties over Out-of-Order Data Streams (DAB, FK, EZ), pp. 356–376.