Bjørnar Luteberget

Orcid: 0000-0002-3444-6209

According to our database1, Bjørnar Luteberget authored at least 12 papers between 2016 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
An Optimization-Based Decision Support Tool for Incremental Train Timetabling.
Oper. Res. Forum, September, 2023

Feasibility Jump: an LP-free Lagrangian MIP heuristic.
Math. Program. Comput., June, 2023

2021
SAT modulo discrete event simulation applied to railway design capacity analysis.
Formal Methods Syst. Des., 2021

Drawing with SAT: four methods and A tool for producing railway infrastructure schematics.
Formal Aspects Comput., 2021

Improving Online Railway Deadlock Detection using a Partial Order Reduction.
Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

2019
Automated Drawing of Railway Schematics Using Numerical Optimization in SAT.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Synthesis of Railway Signaling Layout from Local Capacity Specifications.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018
Efficient verification of railway infrastructure designs against standard regulations.
Formal Methods Syst. Des., 2018

Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017
Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016
Rule-Based Consistency Checking of Railway Infrastructure Designs.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations.
Proceedings of the FM 2016: Formal Methods, 2016


  Loading...