Ulf Nilsson

Orcid: 0000-0003-0269-9268

Affiliations:
  • Linköping University, Sweden


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks.
Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2009
Service Selection for Mobile IPv4.
RFC, February, 2009

2008
Service Selection for Mobile IPv6.
RFC, February, 2008

A Comparative Study of Industrial Static Analysis Tools.
Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

2005
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems.
Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

2003
Fault isolation in discrete event systems by observational abstraction.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002
A Logic Based Asynchronous Multi-Agent System.
Proceedings of the Computational Logic in Multi-Agent Systems, 2002

2001
Unavoidable Configurations of Parameterized Rings of Processes.
Proceedings of the CONCUR 2001, 2001

2000
Constraint Logic Programming for Local and Symbolic Model-Checking.
Proceedings of the Computational Logic, 2000

1999
On-the-Fly Model Checking of CTL Formulas Using Constraint Logic Programming.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998
Detailed Design of Avionics Control Software.
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

1995
Abstract Interpretation: A Kind of Magic.
Theor. Comput. Sci., 1995

1994
Magic Computation for Wll-founded Semantics.
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.
J. Log. Program., 1993

Goal-directed Bottom-up Evaluation of Normal Logic Programs.
Proceedings of the Logic Programming, 1993

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

1991
A Simple Fixed Point Characterization of Three-Valued Stable Model Semantics.
Inf. Process. Lett., 1991

1990
Systematic Semantic Approximations of Logic Programs.
Proceedings of the Programming Language Implementation and Logic Programming, 1990

Logic, programming and Prolog.
Wiley, ISBN: 978-0-471-92625-2, 1990

1988
Towards a Framework for the Abstract Interpretation of Logic Programs.
Proceedings of the Programming Language Implementation and Logic Programming, 1988

1986
AID: An Alternative Implementation of DCGs.
New Gener. Comput., 1986


  Loading...