Ulf Nilsson

According to our database, Ulf Nilsson authored at least 21 papers between 1986 and 2024.

Collaborative distances:

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

2024

Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks.

Yiran Wang, José Antonio Hernández López, Ulf Nilsson, Dániel Varró

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2009

Service Selection for Mobile IPv4.

Jouni Korhonen, Ulf Nilsson

RFC, February, 2009

2008

Service Selection for Mobile IPv6.

Jouni Korhonen, Ulf Nilsson, Vijay Devarapalli

RFC, February, 2008

A Comparative Study of Industrial Static Analysis Tools.

Pär Emanuelsson, Ulf Nilsson

Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

2005

An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems.

Dan Lawesson, Ulf Nilsson, Inger Klein

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

2003

Fault isolation in discrete event systems by observational abstraction.

Dan Lawesson, Ulf Nilsson, Inger Klein

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

A Logic Based Asynchronous Multi-Agent System.

Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira

Proceedings of the Computational Logic in Multi-Agent Systems, 2002

2001

Unavoidable Configurations of Parameterized Rings of Processes.

Marie Duflot, Laurent Fribourg, Ulf Nilsson

Proceedings of the CONCUR 2001, 2001

2000

Constraint Logic Programming for Local and Symbolic Model-Checking.

Ulf Nilsson, Johan Lübcke

Proceedings of the Computational Logic, 2000

1999

On-the-Fly Model Checking of CTL Formulas Using Constraint Logic Programming.

J. Leubcke, Ulf Nilsson

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Detailed Design of Avionics Control Software.

Ulf Nilsson, S. Streiffert, Anders Törne

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

1995

Abstract Interpretation: A Kind of Magic.

Ulf Nilsson

Theor. Comput. Sci., 1995

1994

Magic Computation for Wll-founded Semantics.

Lars Degerstedt, Ulf Nilsson

Proceedings of the Non-Monotonic Extensions of Logic Programming (NMELP'94), 1994

1993

Towards a Methodology for the Design of Abstract Machines for Logic Programming Languages.

Ulf Nilsson

J. Log. Program., 1993

Goal-directed Bottom-up Evaluation of Normal Logic Programs.

Ulf Nilsson

Proceedings of the Logic Programming, 1993

1992

Abstract Interpretation & Abstract Machines: Contribution to a Methodology for the Implementation of Logic Programs.

Ulf Nilsson

PhD thesis, 1992

1991

A Simple Fixed Point Characterization of Three-Valued Stable Model Semantics.

Staffan Bonnier, Ulf Nilsson, Torbjörn Näslund

Inf. Process. Lett., 1991

1990

Systematic Semantic Approximations of Logic Programs.

Ulf Nilsson

Proceedings of the Programming Language Implementation and Logic Programming, 1990

Logic, programming and Prolog.

Ulf Nilsson, Jan Maluszynski

Wiley, ISBN: 978-0-471-92625-2, 1990

1988

Towards a Framework for the Abstract Interpretation of Logic Programs.

Ulf Nilsson

Proceedings of the Programming Language Implementation and Logic Programming, 1988

1986

AID: An Alternative Implementation of DCGs.

Ulf Nilsson

New Gener. Comput., 1986