Follow
Nils Klarlund
Nils Klarlund
re-booting
Verified email at ieee.org
Title
Cited by
Cited by
Year
DART: Directed automated random testing
P Godefroid, N Klarlund, K Sen
Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005
33342005
Mona: Monadic second-order logic in practice
JG Henriksen, J Jensen, M Jørgensen, N Klarlund, R Paige, T Rauhe, ...
International Workshop on Tools and Algorithms for the Construction and …, 1995
4791995
Mona version 1.4: User manual
N Klarlund, A Møller
BRICS, Department of Computer Science, University of Aarhus, 2001
2162001
Graph types
N Klarlund, MI Schwartzbach
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
2071993
Keyboard for interacting on small devices
N Klarlund, MD Riley
US Patent 7,129,932, 2006
1432006
DSD: A schema language for XML
N Klarlund, A Møller, MI Schwartzbach
Proceedings of the third workshop on Formal methods in software practice …, 2000
1292000
Automatic verification of pointer programs using monadic second-order logic
JL Jensen, ME Jørgensen, MI Schwartzbach, N Klarlund
Proceedings of the ACM SIGPLAN 1997 conference on Programming language …, 1997
1231997
MONA implementation secrets
N Klarlund, A Møller, MI Schwartzbach
International Journal of Foundations of Computer Science 13 (04), 571-586, 2002
1142002
Mona & Fido: The logic-automaton connection in practice
N Klarlund
International Workshop on Computer Science Logic, 311-326, 1997
1141997
Mona 1. x: new techniques for WS1S and WS2S
J Elgaard, N Klarlund, A Møller
International Conference on Computer Aided Verification, 516-520, 1998
1111998
Method and apparatus for voice interaction over a network using parameterized interaction definitions
N Klarlund, JC Ramming
US Patent 6,125,376, 2000
1052000
MONA implementation secrets
N Klarlund, A Møller, MI Schwartzbach
International Conference on Implementation and Application of Automata, 182-194, 2000
972000
Progress measures for complementation omega-automata with applications to temporal logic
N Klarlund
[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science …, 1991
961991
Progress measures, immediate determinacy, and a subset construction for tree automata
N Klarlund
Annals of Pure and Applied Logic 69 (2-3), 243-268, 1994
871994
Hardware verification using monadic second-order logic
DA Basin, N Klarlund
International Conference on Computer Aided Verification, 31-41, 1995
721995
XML: model, schemas, types, logics, and queries
N Klarlund, T Schwentick, D Suciu
Logics for Emerging Applications of Databases, 1-41, 2004
662004
Formal design constraints
N Klarlund, J Koistinen, MI Schwartzbach
ACM SIGPLAN Notices 31 (10), 370-383, 1996
601996
Algorithms for guided tree automata
M Biehl, N Klarlund, T Rauhe
International Workshop on Implementing Automata, 6-25, 1996
581996
Automata based symbolic reasoning in hardware verification
D Basin, N Klarlund
Formal Methods In System Design 13 (3), 253-286, 1998
571998
Verification of a sliding window protocol using IOA and MONA
MA Smith, N Klarlund
Formal methods for distributed system development, 19-34, 2000
462000
The system can't perform the operation now. Try again later.
Articles 1–20