Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations. - Bjørnar Luteberget; Christian Johansen; Claus Feyling; Martin Steffen (FM, 2016)

Rule-Based Consistency Checking of Railway Infrastructure Designs. - Bjørnar Luteberget; Christian Johansen; Martin Steffen (IFM, 2016)

Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. - Bjørnar Luteberget; John J. Camilleri; Christian Johansen; Gerardo Schneider (SEFM, 2017)

Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation. - Bjørnar Luteberget; Koen Claessen; Christian Johansen (FMCAD, 2018)

Efficient verification of railway infrastructure designs against standard regulations. - Bjørnar Luteberget; Christian Johansen (Formal Methods Syst. Des., 2018)

Synthesis of Railway Signaling Layout from Local Capacity Specifications. - Bjørnar Luteberget; Christian Johansen; Martin Steffen (FM, 2019)

Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. - Bjørnar Luteberget; Koen Claessen; Christian Johansen (IFM, 2019)

Improving Online Railway Deadlock Detection using a Partial Order Reduction. - Bjørnar Luteberget (FMAS, 2021)

Drawing with SAT: four methods and A tool for producing railway infrastructure schematics. - Bjørnar Luteberget; Christian Johansen (Formal Aspects Comput., 2021)

SAT modulo discrete event simulation applied to railway design capacity analysis. - Bjørnar Luteberget; Koen Claessen; Christian Johansen; Martin Steffen (Formal Methods Syst. Des., 2021)

Feasibility Jump: an LP-free Lagrangian MIP heuristic. - Bjørnar Luteberget; Giorgio Sartor (Math. Program. Comput., 2023)

An Optimization-Based Decision Support Tool for Incremental Train Timetabling. - Oddvar Kloster; Bjørnar Luteberget; Carlo Mannino; Giorgio Sartor (Oper. Res. Forum, 2023)

Autonomous Inspection and Maintenance Operations employing Multi-Robots: Preliminary Results. - Miguel A. Hinostroza; Anastasios M. Lekkas; Aksel Andreas Transeth; Bjørnar Luteberget; Christian de Jonge; Svein Ivar Sagatun (MESA, 2024)

A MaxSAT approach for solving a new Dynamic Discretization Discovery model for train rescheduling problems. - Anna Livia Croella; Bjørnar Luteberget; Carlo Mannino; Paolo Ventura (Comput. Oper. Res., 2024)