BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × Greece
1 × Latvia
1 × The Netherlands
1 × United Kingdom
2 × Germany
2 × USA
3 × France
Collaborated with:
C.Dax D.A.Basin J.Eisinger M.Lange B.Becker H.Rueß O.Friedmann S.Müller S.Ratschan Z.She A.Ayari E.Zalinescu E.Ábrahám M.Steffen
Talks about:
automata (4) tempor (3) order (3) logic (3) base (3) procedur (2) arithmet (2) system (2) linear (2) hybrid (2)

Person: Felix Klaedtke

DBLP DBLP: Klaedtke:Felix

Contributed to:

ICALP (2) 20132013
FOSSACS 20112011
CAV 20102010
ICALP (2) 20092009
CAV 20072007
VMCAI 20072007
CAV 20062006
VMCAI 20052005
LICS 20042004
ICALP 20032003
CSL 20012001
CAV 20002000
CAV (1) 20172017

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 (, 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.