Papers of Roland Bol

Feature Interaction and Telecommunication

• J. Blom, R. Bol, L. Kempe, Automatic Detection of Feature Interactions in Temporal Logic.
  Software Concepts and Tools 17(3), 1996.
• D. Auchter, J. Blom, R. Bol, L.-Å. Fredlund, T. Grelsson,
  Requirements Engineering in a Telecommunication Environment
  ASTEC Report 9710.

Logic Programming

• R.N. Bol, Loop Checking in Logic Programming, PhD thesis, 1991.
  CWI Tract 112, Stichting Mathematisch Centrum, Amsterdam, 1995.
• K.R. Apt, R.N. Bol, Logic Programming and Negation: A Survey.
  Journal of Logic Programming 20, 9-71, 1994.
• R.N. Bol, L. Degerstedt, The Underlying Search for Magic Templates and Tabulation.
  Extended abstract in: Proceedings of the 10th ICLP, MIT Press, 793-811, 1993.
• R.N. Bol, L. Degerstedt, Tabulated Resolution for Well Founded Semantics.
  Journal of Logic Programming Vol 34(2), 67-109, 1998.

Process Algebra

• R.N. Bol, J.F. Groote, The Meaning of Negative Premises in Transition System Specifications.
  Journal of the ACM, 43(5):863-914, 1996.
• J.C.M. Baeten, J.A. Bergstra, R.N. Bol, A Real Time Process Logic.
  Proc. of the 1st Int. Conf. on Temporal Logic, Bonn, LNAI 827, Spinger Verlag, 30-47, 1994.
• M. Bezem, R.N. Bol, J.F. Groote, Formalizing Process Algebraic Verifications in the Calculus of Constructions.
  Formal Aspects of Computer Science 9, 1-48, 1997.
• All COQ files related to the above paper (tar file, 28k).

Railway Interlockings

• A.A. Basten, R.N. Bol, M. Voorhoeve, Simulating and Analyzing Railway Interlockings in ExSpect.
  IEEE Parallel and Distributed Technology, Systems and Applications vol. 3 nr. 3, 50-62, Fall 1995.