| Efficient verification of railway infrastructure designs against standard regulations B Luteberget, C Johansen Formal Methods in System Design 52 (1), 1-32, 2018 | 27 | 2018 |
| Rule-based consistency checking of railway infrastructure designs B Luteberget, C Johansen, M Steffen International Conference on Integrated Formal Methods, 491-507, 2016 | 24 | 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 | 16 | 2018 |
| Participatory verification of railway infrastructure by representing regulations in RailCNL B Luteberget, JJ Camilleri, C Johansen, G Schneider International Conference on Software Engineering and Formal Methods, 87-103, 2017 | 12 | 2017 |
| 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 | 6 | 2016 |
| 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 | 5 | 2016 |
| Rule-based consistency checking of railway infrastructure designs (long version) B Luteberget, C Johansen, M Steffen Technical report 450, University of Oslo (IFI), 2016 | 4 | 2016 |
| Automated drawing of railway schematics using numerical optimization in SAT B Luteberget, K Claessen, C Johansen International Conference on Integrated Formal Methods, 341-359, 2019 | 2 | 2019 |
| 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 |
| Numerical approximation of conformal mappings BS Luteberget Institutt for matematiske fag, 2010 | 2 | 2010 |
| Drawing with SAT: four methods and A tool for producing railway infrastructure schematics B Luteberget, C Johansen Formal Aspects of Computing 33 (6), 829-854, 2021 | 1 | 2021 |
| 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 | 1 | 2021 |
| Automated Reasoning for Planning Railway Infrastructure B Luteberget Ph. D. thesis, Faculty of Mathematics and Natural Sciences, University of Oslo, 2019 | 1 | 2019 |
| Verification of rules and regulations in CAD models of railway signalling B Luteberget, C Johansen technical white paper, RailComplete, Feb, 2016 | 1 | 2016 |
| Improving Online Railway Deadlock Detection using a Partial Order Reduction B Luteberget arXiv preprint arXiv:2110.12578, 2021 | | 2021 |
| Synthesis of Railway Signaling Layout from Local Capacity Specifications B Luteberget, C Johansen, M Steffen International Symposium on Formal Methods, 121-137, 2019 | | 2019 |
| RailCNL: A Controlled Natural Language for Railway Design Verification Specifications B Luteberget, JJ Camilleri, C Johansen, G Schneider | | 2019 |
| Railway capacity verification as bounded model checking B Luteberget Workshop on Programming Theory, 52, 2018 | | 2018 |
| Capacity Analysis for Railway Construction using SAT Modulo Discrete Event Simulation B Luteberget, K Claessen, C Johansen, M Steffen | | |
| Optimization and Synthesis of Railway Signalling Layout from Local Capacity Specifications B Luteberget, C Johansen, M Steffen | | |
