Ulf Nilsson

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 1

Top Venues

SIGSOFT FSE Companion

Linköping University, Department of Computer and Information Science (PHD)

Education History

Linköping University, Department of Computer and Information Science

PHD

Publications

Yiran Wang, José Antonio Hernández López, Ulf Nilsson, Dániel Varró
Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks. SIGSOFT FSE Companion (2024)
Jouni Korhonen, Ulf Nilsson
Service Selection for Mobile IPv4. RFC 5446 (2009)
Pär Emanuelsson, Ulf Nilsson
A Comparative Study of Industrial Static Analysis Tools. Electron. Notes Theor. Comput. Sci. 217 (2008)
Jouni Korhonen, Ulf Nilsson, Vijay Devarapalli
Service Selection for Mobile IPv6. RFC 5149 (2008)
Dan Lawesson, Ulf Nilsson, Inger Klein
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems. Electron. Notes Theor. Comput. Sci. 149 (2) (2006)
Dan Lawesson, Ulf Nilsson, Inger Klein
Fault isolation in discrete event systems by observational abstraction. CDC (2003)
Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira
A Logic Based Asynchronous Multi-Agent System. CLIMA (2002)
Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira
A Logic Based Asynchronous Multi-Agent System. Electron. Notes Theor. Comput. Sci. 70 (5) (2002)
Marie Duflot, Laurent Fribourg, Ulf Nilsson
Unavoidable Configurations of Parameterized Rings of Processes. CONCUR (2001)
Ulf Nilsson, Johan Lübcke
Constraint Logic Programming for Local and Symbolic Model-Checking. Computational Logic (2000)
J. Leubcke, Ulf Nilsson
On-the-Fly Model Checking of CTL Formulas Using Constraint Logic Programming. ECOOP Workshops (1999)
Ulf Nilsson, S. Streiffert, Anders Törne
Detailed Design of Avionics Control Software. RTSS (1998)
Ulf Nilsson
Abstract Interpretation: A Kind of Magic. Theor. Comput. Sci. 142 (1) (1995)
Lars Degerstedt, Ulf Nilsson
Magic Computation for Wll-founded Semantics. NMELP (1994)
Ulf Nilsson
Goal-directed Bottom-up Evaluation of Normal Logic Programs. ILPS (1993)
Ulf Nilsson
Towards a Methodology for the Design of Abstract Machines for Logic Programming Languages. J. Log. Program. 16 (1) (1993)
Staffan Bonnier, Ulf Nilsson, Torbjörn Näslund
A Simple Fixed Point Characterization of Three-Valued Stable Model Semantics. Inf. Process. Lett. 40 (2) (1991)
Ulf Nilsson
Abstract Interpretation: A Kind of Magic. PLILP (1991)
Ulf Nilsson
Systematic Semantic Approximations of Logic Programs. PLILP (1990)
Ulf Nilsson
Towards a Framework for the Abstract Interpretation of Logic Programs. PLILP (1988)
Ulf Nilsson
AID: An Alternative Implementation of DCGs. New Gener. Comput. 4 (4) (1986)

Ulf Nilsson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ulf Nilsson