Ulf Nilsson

26 papers A 1B 1Journal 10Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
Runtime-Augmented LLMs for Crash Detection and Diagnosis in ML Notebooks.
CoRR
Yiran Wang, José Antonio Hernández López, Ulf Nilsson, Dániel Varró
2025 J jnl
JunoBench: A Benchmark Dataset of Crashes in Python Machine Learning Jupyter Notebooks.
CoRR
Yiran Wang, José Antonio Hernández López, Ulf Nilsson, Dániel Varró
2025 J jnl
Why Do Machine Learning Notebooks Crash? An Empirical Study on Public Python Jupyter Notebooks.
IEEE Trans. Software Eng.
Yiran Wang, Willem Meijer, José Antonio Hernández López, Ulf Nilsson, Dániel Varró
2024 — conf
Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks.
SIGSOFT FSE Companion
Yiran Wang, José Antonio Hernández López, Ulf Nilsson, Dániel Varró
2024 J jnl
Why do Machine Learning Notebooks Crash?
CoRR
Yiran Wang, Willem Meijer, José Antonio Hernández López, Ulf Nilsson, Dániel Varró
2009 J jnl
Service Selection for Mobile IPv4.
RFC
Jouni Korhonen, Ulf Nilsson
2008 — conf
A Comparative Study of Industrial Static Analysis Tools.
SSV
Pär Emanuelsson, Ulf Nilsson
2008 J jnl
Service Selection for Mobile IPv6.
RFC
Jouni Korhonen, Ulf Nilsson, Vijay Devarapalli
2005 — conf
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems.
MoChArt@CONCUR/SPIN
Dan Lawesson, Ulf Nilsson, Inger Klein
2003 — conf
Fault isolation in discrete event systems by observational abstraction.
CDC
Dan Lawesson, Ulf Nilsson, Inger Klein
2002 — conf
A Logic Based Asynchronous Multi-Agent System.
CLIMA
Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira
2001 B conf
Unavoidable Configurations of Parameterized Rings of Processes.
CONCUR
Marie Duflot, Laurent Fribourg, Ulf Nilsson
2000 — conf
Constraint Logic Programming for Local and Symbolic Model-Checking.
Computational Logic
Ulf Nilsson, Johan Lübcke
1999 — conf
On-the-Fly Model Checking of CTL Formulas Using Constraint Logic Programming.
ECOOP Workshops
J. Leubcke, Ulf Nilsson
1998 A conf
Detailed Design of Avionics Control Software.
RTSS
Ulf Nilsson, S. Streiffert, Anders Törne
1995 J jnl
Abstract Interpretation: A Kind of Magic.
Theor. Comput. Sci.
Ulf Nilsson
1994 — conf
Magic Computation for Wll-founded Semantics.
NMELP
Lars Degerstedt, Ulf Nilsson
1993 — conf
Goal-directed Bottom-up Evaluation of Normal Logic Programs.
ILPS
Ulf Nilsson
1993 J jnl
Towards a Methodology for the Design of Abstract Machines for Logic Programming Languages.
J. Log. Program.
Ulf Nilsson
1992 — —
Abstract Interpretation & Abstract Machines: Contribution to a Methodology for the Implementation of Logic Programs.
Ulf Nilsson
1991 J jnl
A Simple Fixed Point Characterization of Three-Valued Stable Model Semantics.
Inf. Process. Lett.
Staffan Bonnier, Ulf Nilsson, Torbjörn Näslund
1991 — conf
Abstract Interpretation: A Kind of Magic.
PLILP
Ulf Nilsson
1990 — book
Logic, programming and Prolog.
Ulf Nilsson, Jan Maluszynski
1990 — conf
Systematic Semantic Approximations of Logic Programs.
PLILP
Ulf Nilsson
1988 — conf
Towards a Framework for the Abstract Interpretation of Logic Programs.
PLILP
Ulf Nilsson
1986 J jnl
AID: An Alternative Implementation of DCGs.
New Gener. Comput.
Ulf Nilsson