bjornalu

Image of person
Could not get user data from external service

Working on the RailCons project, a collaboration between University of Oslo and RailComplete AS.

Interested in Datalog, controlled natural language, SAT, SMT, constraint solving, model checking, etc. and their applications to CAD, railway signalling, interlocking, ATC, and infrastructure construction projects.

Publications

View all works in Cristin

  • Luteberget, Bjørnar Steinnes; Camilleri, John J.; Johansen, Christian & Schneider, Gerardo (2017). Participatory Verification of Railway Infrastructure Regulations using RailCNL (long version). Full text in Research Archive.
  • Luteberget, Bjørnar Steinnes; Johansen, Christian & Steffen, Martin (2016). Rule-Based Consistency Checking of Railway Infrastructure Designs. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 450. Full text in Research Archive.

View all works in Cristin

Published Oct. 6, 2015 12:23 PM - Last modified June 10, 2016 10:12 AM