Sven-Olof Nyström

Publication Activity (10 Years)

Years Active: 1988-2016
Publications (10 Years): 1

Top Topics

Model Based Testing

Sequence Diagrams

Training Process

Top Venues

Publications

Johan Blom, Bengt Jonsson, Sven-Olof Nyström
Industrial Evaluation of Test Suite Generation Strategies for Model-Based Testing. ICST Workshops (2016)
Sven-Olof Nyström
A soft-typing system for Erlang. Erlang Workshop (2003)
Johan Runeson, Sven-Olof Nyström
Retargetable Graph-Coloring Register Allocation for Irregular Architectures. SCOPES (2003)
Johan Runeson, Sven-Olof Nyström, Jan Sjödin
Optimizing Code Size through Procedural Abstraction. LCTES (2000)
Erik Johansson, Sven-Olof Nyström
Profile-guided optimization across process boundaries. Dynamo (2000)
Sven-Olof Nyström, Bengt Jonsson
A Fully Abstract Semantics for Concurrent Constraint Programming. Inf. Comput. 146 (2) (1998)
Sven-Olof Nyström
There is no Fully Abstract Fixpoint Semantics for Non-Deterministic Languages with Infinite Computations. Inf. Process. Lett. 60 (6) (1996)
Sven-Olof Nyström, Bengt Jonsson
Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations. ILPS (1993)
Sven-Olof Nyström
Variable-Free Execution of Concurrent Logic Languages. NACLP (1989)
Sven-Olof Nyström
Control Structures for Guarded Horn Clauses. ICLP/SLP (1988)