Jan Henry Nystrom's Publications

2009

Analysing Fault Tolerance for ERLANG Applications (Cover-PDF, PDF)

Jan Henry Nyström

Acta Universitatis Upsaliensis 86, Uppsala Dissertations from the Faculty of Science and Technology

2008

High-level Distribution for the Rapid Production of Robust Telecoms Software: comparing C++ and Erlang (PDF, CCP&E20(8))

J. H. Nyström, P. W. Trinder, D. J. King

Concurrency and Computation: Practice & Experience. 20(8) (June 2008)

2007

Evaluating High-Level Distributed Language Constructs (PDF)

Nystrom J.H. Trinder P.W. King D.J.

Proc. ACM International Conference on Functional Programming (ICFP), Freiburg, Germany, pp 203-212.

Priority Messaging Made Easy (PDF)

Jan Henry Nystrom

Proc. sixth ACM SIGPLAN Erlang Workshop 2007 in Freiburg, Germany

2005

Are High-level Languages suitable for Robust Telecoms Software? (PostScript, PDF, LNCS 3688)

J.H. Nyström and P.W.Trinder, D.J. King

Proceedings of the 24th International Conference, SAFECOMP 2005, eds. R. Winther, B.A Gran and G. Dahll

LNCS 3688, Computer Safety, Reliability, and Security, Springer-Verlag

2004

Evaluating Erlang for Robust Telecoms Software

J.H. Nyström and P.W.Trinder, D.J. King

Motorola's 2004 Software, Systems, and Simulation Symposium

2003

Evaluating Distributed Functional Languages for Telecommunications Software (PostScript, PDF)

J.H. Nyström and P.W.Trinder, D.J. King

ACM SIGPLAN Erlang Workshop

Experiments with the Erlang Language for Distributed Telecommunication Applications

J.H. Nyström and P.W.Trinder, D.J. King

Motorola's 2003 Software, Systems, and Simulation Symposium

2001

Extracting the processes structure of Erlang applications (PostScript, PDF)

J. Nyström, B. Jonsson

Proceedings of Erlang Workshop in connection with Principles, Logics, and Implementations of high-level programming languages(PLI'01)

Incremental Requirement Specification for Evolving Systems (Abstract)

B. Jonsson, T. Margaria, G. Naeser, J. Nyström, B. Steffen

Nordic Journal of Computing, Vol.8, No.1

2000

A formalisation of the ITU-T Intelligent Network standard (PostScript, PDF)

J. Nyström

Licentiate thesis, Department of Information Technology, Uppsala University, Sweden

Incremental Requirement Specification for Evolving Systems (Abstract)

B. Jonsson, T. Margaria, G. Naeser, J. Nyström, B. Steffen

Feature Interactions in Telecommunications and Software Systems VI, eds. M. Calder and E. Magill, ISO Press

1999

On Modelling Feature Interactions in Telecommunications (Extended abstract) (PostScript)

B. Jonsson, T. Margaria, G. Naeser, J. Nyström, B. Steffen

Proceedings of Nordic Workshop on Programming Theory, eds. B. Victor and W. Yi

Building Tools for Creation and Analysis of Telephone Services (Abstract, PostScript, PDF)

G. Naeser, J. Nyström, B. Jonsson

Proceedings of RadioVetenskap och Kommunikation'99

A Case Study in Automated Detection of Service Interactions (PDF)

G. Naeser, J. Nyström, B. Jonsson

Proceedings of RadioVetenskap och Kommunikation'99

1996

Creation of Dependent Features (PostScript)

J. Blom, R. Bol, B. Jonsson, J. Nyström

Proceedings of RadioVetenskap och Kommunikation'96

A Formalization of Service Independent Building Blocks (Abstract, PostScript)

J. Nyström, B. Jonsson

Proceedings of Advanced Intelligent Networks'96 workshop, ed. T. Margaria

1995

The Sigma Language (Abstract, PostScript, PDF)

J. Nyström

Masters thesis in Computer Sience, Department of Computer Systems, Uppsala University, Sweden