Publication list of Lars-Henrik Eriksson

Scientific journal publications

M. Aronsson, L.-H. Eriksson, A. Gäredal, L. Hallnäs, P. Olin, The Programming Language GCLA -- A Definitional Approach to Logic Programming, New Generation Computing, Vol. 7 pp. 381-404, 1990.
L.-H. Eriksson, Synthesis of a Unification Algorithm in a Logic Programming Calculus, Journal of Logic Programming, Vol. 1 no. 1, 1984.

Reviewed scientific conference papers

(Including workshop papers that have been selected for publication after review.)

J. Parrow, J. Borgström, L.-H. Eriksson, R. Gutkovas and T. Weber, Modal Logics for Nominal Transition Systems, In L. Aceto, D. de Frutos Escrig (eds.), 26th International Conference on Concurrency Theory (CONCUR'15), Leibniz International Proceedings in Informatics 42, Schloß Dagstuhl Center for Informatics, 2015.
L.-H. Eriksson, The GTO Toolset and Method, In S. Merz, T. Nipkow (eds.), Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006), Electronic Notes in Theoretical Computer Science, Vol. 185, 2007.
L.-H. Eriksson, Using Formal Methods in a Retrospective Safety Case, In M. Heisel, P. Liggesmeyer, S. Wittman (eds.), Computer Safety, Reliability, and Security -- 23rd International Conference, SAFECOMP 2004, Lecture Notes in Computer Science 3219, Springer-Verlag, 2004.
L.-H. Eriksson, Specifying Railway Interlocking Requirements for Practical Use, In E. Schoitsch (ed.), SAFECOMP'96 -- Proceedings of the 15th International Conference on Computer Safety, Reliability and Security, Springer-Verlag, 1996.
L.-H. Eriksson, Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions, In A. Bundy (ed.), CADE-12 -- 12th International Conference on Automated Deduction, Proceedings, Lecture Notes in Computer Science 814, Springer-Verlag, 1994.
L.-H. Eriksson, Finitary Partial Inductive Definitions as a General Logic, In R. Dyckhoff (ed.), Extensions of Logic Programming, 4th International Workshop, ELP'93, Lecture Notes in Computer Science 798, Springer-Verlag, 1994.
L.-H. Eriksson, A Finitary Version of the Calculus of Partial Inductive Definitions, In L.-H. Eriksson, L. Hallnäs and P. Schroeder-Heister (eds.), Extensions of Logic Programming -- ELP'91, Lecture Notes in Computer Science 596, Springer-Verlag, 1992.
M. Aronsson, L.-H. Eriksson, The GCLA II Programming Language, In H. Boley, M.M. Richter (eds.), Processing Declarative Knowledge, International Workshop PDK-91, Lecture Notes in Computer Science 567, Springer-Verlag, 1991.
M. Aronsson, L.-H. Eriksson, L. Hallnäs, P. Kreuger, A Survey of GCLA: A Definitonal Approach to Logic Programming, In P. Schroeder-Heister (ed.), Extensions to Logic Programming, Lecture Notes in Computer Science 475, Springer-Verlag, 1991.
L.-H. Eriksson and M. Rayner, Incorporating Mutable Arrays into Logic Programming, In S.-Å. Tärnlund (ed.), Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala 1984.

Edited publications

L.-H. Eriksson and P.A. Lindsay (eds.), FME 2002: Formal Methods -- Getting IT Right, Lecture Notes in Computer Science 2391, Springer-Verlag, 2002.
L.-H. Eriksson and J. J. Moreno-Navarro (eds.), Extensions of Logic Programming, Special Issue, Computer Languages, Vol. 23, No. 2-4., 1997.
L.-H. Eriksson, L. Hallnäs and P. Schroeder-Heister (eds.), Extensions of Logic Programming -- ELP '91, Lecture Notes in Computer Science 596, Springer-Verlag, 1992.

Other publications

C. Trog and L.-H. Eriksson, Spezifikation von Stellwerkslogik mit formalen Methoden, Signal & Draht, No. 1+2, 2004.
L.-H. Eriksson and M. Fahlén, An Interlocking Specification Language, In ASPECT IRSE 99, Papers of the International Conference, Institute of Railway Signalling Engineers, London 1999.
L.-H. Eriksson and K. Johansson, Using Formal Methods for Quality Assurance of Interlocking Systems, In B. Mellit et.al. (eds.), Computers in Railways IV, Computational Mechanics publications, 1998.
M. Aronsson, L.-H. Eriksson, A. Gäredal, L. Hallnäs, P. Olin, Generalised Horn Clauses as a Programming Language, Proc. of the Second Scandinavian Conference on Artificial Intelligence, 1989.

Presentations

L.-H. Eriksson, Verification and Generation of Geographical Data Using a Domain Theory, TRain Workshop at the 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005. (Link to the extended abstract.)
L.-H. Eriksson, Adtranz Signal's Formal Verification Process part 2 -- The STERNOL Specification Tool (SST), The fourth FMERail workshop, Stockholm, 1999.
L.-H. Eriksson, Some technical aspects of an Interlocking Specification Language, The fourth FMERail workshop, Stockholm, 1999.
L.-H. Eriksson, Verification of Safety-Critical Systems using Fast Automated Theorem Proving, 4th International School and Symposium -- Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT), 1996.

Ph.D. thesis

L.-H. Eriksson, Finitary Partial Inductive Definitions and General Logic, Ph.D. thesis, Dept. of Computer and Systems Sciences, Royal Institute of Technology, Stockholm, 1993.

Technical reports

(Not also published.)

L.-H. Eriksson, Use of Domain Theories in Applied Formal Methods, Technical Report 2006-029, Uppsala University, Dept. of Information Technology, 2006.
L.-H. Eriksson, G. Finnie, I. Herrtua and N. König, Formal Methods Strategy Study Report, Report of a study carried out on behalf of the International Union of Railways (UIC), Project Euro-Interlocking, Zürich, 2000.
L.-H. Eriksson, A Comparison of Four Propositional Theorem Provers, Technical Report L4i-00/111, Industrilogik L4i AB, Stockholm, 2000.
L.-H. Eriksson, Formalising Railway Interlocking Requirements, Technical report 1997:3, The Swedish National Rail Administration (Banverket). (Also available in Swedish as Formalisering av krav på signalställverk, Technical report 1997:1.)
L.-H. Eriksson, Formal Verification of Railway Interlockings, Technical report 1997:4, The Swedish National Rail Administration (Banverket). (Also available in Swedish as Formell verifiering av signalställverk, Technical report 1997:2)
L.-H. Eriksson and F. Orava, Formal Specification and Validation of a Cache-Coherence Protocol, SICS research report R95:04, Swedish Institute of Computer Science, 1995.
L.-H. Eriksson and L. Hallnäs, A Programming Calculus Based on Partial Inductive Definitions, SICS research report R88013, Swedish Institute of Computer Science, 1988.