| Efficient verification of railway infrastructure designs against standard regulations B Luteberget, C Johansen Formal Methods in System Design 52, 1-32, 2018 | 38 | 2018 |
| Rule-based consistency checking of railway infrastructure designs B Luteberget, C Johansen, M Steffen Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016 | 29 | 2016 |
| 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 | 19 | 2018 |
| 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 | 19 | 2017 |
| 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 | 9 | 2021 |
| Automated reasoning for planning railway infrastructure B Luteberget A Doctoral Dissertation submitted to the Faculty of Mathematics and Natural …, 2019 | 8 | 2019 |
| 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 | 7 | 2023 |
| 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 | 7 | 2016 |
| Feasibility Jump: an LP-free Lagrangian MIP heuristic B Luteberget, G Sartor Mathematical Programming Computation 15 (2), 365-388, 2023 | 6 | 2023 |
| 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 | 6 | 2016 |
| 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 | 5 | 2021 |
| Rule-based consistency checking of railway infrastructure designs (long version) B Luteberget, C Johansen, M Steffen Technical report 450, University of Oslo (IFI), 2016 | 5 | 2016 |
| 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 | 4 | 2019 |
| 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 | 4 | 2019 |
| 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 | 3 | 2023 |
| Numerical approximation of conformal mappings BS Luteberget Institutt for matematiske fag, 2010 | 3 | 2010 |
| 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 | 2 | 2024 |
| 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 | 2 | 2017 |
| Improving Online Railway Deadlock Detection using a Partial Order Reduction B Luteberget arXiv preprint arXiv:2110.12578, 2021 | 1 | 2021 |
| Efficient verification of railway infrastructure designs against standard regulations BL Johansen, B Luteberget | 1 | 2017 |
