Bjørnar Luteberget

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 13

Top Topics

Heuristic Function

Partial Order Reduction

Discrete Event Simulation

Semiconductor Manufacturing

Top Venues

Formal Methods Syst. Des.

Formal Aspects Comput.

Publications

Anna Livia Croella, Bjørnar Luteberget, Carlo Mannino, Paolo Ventura
A MaxSAT approach for solving a new Dynamic Discretization Discovery model for train rescheduling problems. Comput. Oper. Res. 167 (2024)
Bjørnar Luteberget, Giorgio Sartor
Feasibility Jump: an LP-free Lagrangian MIP heuristic. Math. Program. Comput. 15 (2) (2023)
Oddvar Kloster, Bjørnar Luteberget, Carlo Mannino, Giorgio Sartor
An Optimization-Based Decision Support Tool for Incremental Train Timetabling. Oper. Res. Forum 4 (3) (2023)
Bjørnar Luteberget, Christian Johansen
Drawing with SAT: four methods and A tool for producing railway infrastructure schematics. Formal Aspects Comput. 33 (6) (2021)
Bjørnar Luteberget
Improving Online Railway Deadlock Detection using a Partial Order Reduction. FMAS (2021)
Bjørnar Luteberget, Koen Claessen, Christian Johansen, Martin Steffen
SAT modulo discrete event simulation applied to railway design capacity analysis. Formal Methods Syst. Des. 57 (2) (2021)
Bjørnar Luteberget, Koen Claessen, Christian Johansen
Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. IFM (2019)
Bjørnar Luteberget, Christian Johansen, Martin Steffen
Synthesis of Railway Signaling Layout from Local Capacity Specifications. FM (2019)
Bjørnar Luteberget, Koen Claessen, Christian Johansen
Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation. FMCAD (2018)
Bjørnar Luteberget, Christian Johansen
Efficient verification of railway infrastructure designs against standard regulations. Formal Methods Syst. Des. 52 (1) (2018)
Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider
Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. SEFM (2017)
Bjørnar Luteberget, Christian Johansen, Claus Feyling, Martin Steffen
Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations. FM (2016)
Bjørnar Luteberget, Christian Johansen, Martin Steffen
Rule-Based Consistency Checking of Railway Infrastructure Designs. IFM (2016)