Nils Klarlund

According to our database, Nils Klarlund authored at least 41 papers between 1990 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2012

Reachability Problems in Piecewise FIFO Systems.

Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler

ACM Trans. Comput. Log., 2012

2007

Algorithmic Analysis of Piecewise FIFO Systems.

Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2005

Relativizations for the Logic-Automata Connection.

Nils Klarlund

High. Order Symb. Comput., 2005

DART: directed automated random testing.

Patrice Godefroid, Nils Klarlund, Koushik Sen

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Software Model Checking: Searching for Computations in the Abstract or the Concrete.

Patrice Godefroid, Nils Klarlund

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004

Regularity Results for FIFO Channels.

Nils Klarlund, Richard J. Trefler

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

2003

Editing by voice and the role of sequential symbol systems for improved human-to-computer information rates.

Nils Klarlund

Proceedings of the 2003 IEEE International Conference on Acoustics, 2003

XML: Model, Schemas, Types, Logics, and Queries.

Nils Klarlund, Thomas Schwentick, Dan Suciu

Proceedings of the Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar], 2003

2002

MONA Implementation Secrets.

Nils Klarlund, Anders Møller, Michael I. Schwartzbach

Int. J. Found. Comput. Sci., 2002

The DSD Schema Language.

Nils Klarlund, Anders Møller, Michael I. Schwartzbach

Autom. Softw. Eng., 2002

2001

Towards SMIL as a foundation for multimodal, multimedia applications.

Jennifer L. Beckham, Giuseppe Di Fabbrizio, Nils Klarlund

Proceedings of the EUROSPEECH 2001 Scandinavia, 2001

2000

Verification of a Sliding Window Protocol Using IOA and MONA.

Mark A. Smith, Nils Klarlund

Proceedings of the Formal Techniques for Distributed System Development, 2000

DSD: A schema language for XML.

Nils Klarlund, Anders Møller, Michael I. Schwartzbach

Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

1999

A Domain-Specific Language for Regular Sets of Strings and Trees.

Nils Klarlund, Michael I. Schwartzbach

IEEE Trans. Software Eng., 1999

An <i>n</i> log <i>n</i> Algorithm for Online BDD Refinement.

Nils Klarlund

J. Algorithms, 1999

Yakyak: parsing with logical side constraints.

Nils Klarlund, Niels Damgaard, Michael I. Schwartzbach

Proceedings of the Developments in Language Theory, 1999

A Theory of Restrictions for Logics and Automata.

Nils Klarlund

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

MONA 1.x: New Techniques for WS1S and WS2S.

Jacob Elgaard, Nils Klarlund, Anders Møller

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Automatic Verification of Pointer Programs using Monadic Second-Order Logic.

Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Michael I. Schwartzbach

Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

Mona & Fido: The Logic-Automaton Connection in Practice.

Nils Klarlund

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1996

Algorithms for Guided Tree Automata.

Morten Biehl, Nils Klarlund, Theis Rauhe

Proceedings of the Automata Implementation, 1996

Automated Logical Verification Based on Trace Abstractions.

Nils Klarlund, Mogens Nielsen, Kim Sunesen

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

Formal Design Constraints.

Nils Klarlund, Jari Koistinen, Michael I. Schwartzbach

Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

Mona: Decidable Arithmetic in Practice.

Morten Biehl, Nils Klarlund, Theis Rauhe

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

1995

Rabin Measures.

Nils Klarlund, Dexter Kozen

Chic. J. Theor. Comput. Sci., 1995

Mona: Monadic Second-Order Logic in Practice.

Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

Determinizing Büchi Asnchronous Automata.

Nils Klarlund, Madhavan Mukund, Milind A. Sohoni

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

Hardware Verification using Monadic Second-Order Logic.

David A. Basin, Nils Klarlund

Proceedings of the Computer Aided Verification, 1995

1994

Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata.

Nils Klarlund

Ann. Pure Appl. Log., 1994

Determinizing Asynchronous Automata.

Nils Klarlund, Madhavan Mukund, Milind A. Sohoni

Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

A Case Study in Verification Based on Trace Abstractions.

Nils Klarlund, Mogens Nielsen, Kim Sunesen

Proceedings of the Formal Systems Specification, 1994

A Homomorphism Concepts for omega-Regularity.

Nils Klarlund

Proceedings of the Computer Science Logic, 8th International Workshop, 1994

The Limit View of Infinite Computations.

Nils Klarlund

Proceedings of the CONCUR '94, 1994

Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract).

Nils Klarlund, Michael I. Schwartzbach

Proceedings of the Trees in Algebra and Programming, 1994

1993

Proving Nondeterministically Specified Safety Properties Using Progress Measures

Nils Klarlund, Fred B. Schneider

Inf. Comput., November, 1993

Graph Types.

Nils Klarlund, Michael I. Schwartzbach

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

1992

Progress Measures and Stack Assertions for Fair Termination.

Nils Klarlund

Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, 1992

1991

Liminf Progress Measures.

Nils Klarlund

Proceedings of the Mathematical Foundations of Programming Semantics, 1991

Rabin Measures and Their Applications to Fairness and Automata Theory

Nils Klarlund, Dexter Kozen

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

Progress Measures for Complementation of omega-Automata with Applications to Temporal Logic

Nils Klarlund

Proceedings of the 32nd Annual Symposium on Foundations of Computer Science, 1991

1990

Progress Measures and Finite Arguments for Infinite Computations.

Nils Klarlund

PhD thesis, 1990