Seguir
Bjørnar Luteberget
Bjørnar Luteberget
Research Scientist, SINTEF
Dirección de correo verificada de sintef.no - Página principal
Título
Citado por
Citado por
Año
Efficient verification of railway infrastructure designs against standard regulations
B Luteberget, C Johansen
Formal Methods in System Design 52, 1-32, 2018
372018
Rule-based consistency checking of railway infrastructure designs
B Luteberget, C Johansen, M Steffen
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
272016
Design-time railway capacity verification using SAT modulo discrete event simulation
B Luteberget, K Claessen, C Johansen
2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018
192018
Participatory verification of railway infrastructure by representing regulations in RailCNL
B Luteberget, JJ Camilleri, C Johansen, G Schneider
Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017
172017
SAT modulo discrete event simulation applied to railway design capacity analysis
B Luteberget, K Claessen, C Johansen, M Steffen
Formal Methods in System Design 57 (2), 211-245, 2021
82021
Automated reasoning for planning railway infrastructure
B Luteberget
A Doctoral Dissertation submitted to the Faculty of Mathematics and Natural …, 2019
82019
Rule-based incremental verification tools applied to railway designs and regulations
B Luteberget, C Johansen, C Feyling, M Steffen
International Symposium on Formal Methods, 772-778, 2016
72016
Automated verification of rules and regulations compliance in CAD models of railway signalling and interlocking
B Luteberget, C Feyling
Proc. of the 15th Int. Conf. on Railway Engineering Design and Operation …, 2016
62016
Drawing with SAT: four methods and A tool for producing railway infrastructure schematics
B Luteberget, C Johansen
Formal Aspects of Computing 33, 829-854, 2021
52021
Rule-based consistency checking of railway infrastructure designs (long version)
B Luteberget, C Johansen, M Steffen
Technical report 450, University of Oslo (IFI), 2016
52016
Automated drawing of railway schematics using numerical optimization in SAT
B Luteberget, K Claessen, C Johansen
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen …, 2019
42019
Synthesis of railway signaling layout from local capacity specifications
B Luteberget, C Johansen, M Steffen
Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019
42019
Feasibility Jump: an LP-free Lagrangian MIP heuristic
B Luteberget, G Sartor
Mathematical Programming Computation 15 (2), 365-388, 2023
32023
Automated planning for inspection and maintenance operations using unmanned ground vehicles
MA Hinostroza, AM Lekkas, AA Transeth, B Luteberget, C de Jonge, ...
IFAC-PapersOnLine 56 (2), 7873-7879, 2023
32023
An optimization-based decision support tool for incremental train timetabling
O Kloster, B Luteberget, C Mannino, G Sartor
Operations Research Forum 4 (3), 65, 2023
22023
Participatory verification of railway infrastructure regulations using RailCNL (long version)
BS Luteberget, JJ Camilleri, C Johansen, G Schneider
Research report http://urn. nb. no/URN: NBN: no-35645, 2017
22017
Numerical approximation of conformal mappings
BS Luteberget
Institutt for matematiske fag, 2010
22010
Efficient verification of railway infrastructure designs against standard regulations
BL Johansen, B Luteberget
12017
Verification of rules and regulations in CAD models of railway signalling
B Luteberget, C Johansen
technical white paper, RailComplete, Feb, 2016
12016
A MaxSAT approach for solving a new Dynamic Discretization Discovery model for train rescheduling problems
AL Croella, B Luteberget, C Mannino, P Ventura
Computers & Operations Research 167, 106679, 2024
2024
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20