Follow
Bjørnar Luteberget
Bjørnar Luteberget
Research Scientist, SINTEF
Verified email at sintef.no - Homepage
Title
Cited by
Cited by
Year
Efficient verification of railway infrastructure designs against standard regulations
B Luteberget, C Johansen
Formal Methods in System Design 52 (1), 1-32, 2018
272018
Rule-based consistency checking of railway infrastructure designs
B Luteberget, C Johansen, M Steffen
International Conference on Integrated Formal Methods, 491-507, 2016
242016
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
162018
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
122017
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
62016
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
52016
Rule-based consistency checking of railway infrastructure designs (long version)
B Luteberget, C Johansen, M Steffen
Technical report 450, University of Oslo (IFI), 2016
42016
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
22019
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
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
12021
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
12021
Automated Reasoning for Planning Railway Infrastructure
B Luteberget
Ph. D. thesis, Faculty of Mathematics and Natural Sciences, University of Oslo, 2019
12019
Verification of rules and regulations in CAD models of railway signalling
B Luteberget, C Johansen
technical white paper, RailComplete, Feb, 2016
12016
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
The system can't perform the operation now. Try again later.
Articles 1–20