Bjørnar Luteberget
Bjørnar Luteberget
Research Scientist, SINTEF
Verified email at sintef.no - Homepage
Title
Cited by
Cited by
Year
Rule-based consistency checking of railway infrastructure designs
B Luteberget, C Johansen, M Steffen
International Conference on Integrated Formal Methods, 491-507, 2016
222016
Efficient verification of railway infrastructure designs against standard regulations
B Luteberget, C Johansen
Formal Methods in System Design 52 (1), 1-32, 2018
182018
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
132018
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
82017
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
52016
Automated verification of rules and regulations compliance in CAD models of railway signalling and interlocking
B Luteberget, C Feyling
Computers in railways, WIT Press 15, 153-165, 2016
42016
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
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
12019
Verification of rules and regulations in CAD models of railway signalling
B Luteberget, C Johansen
technical white paper, RailComplete, Feb, 2016
12016
Numerical approximation of conformal mappings
BS Luteberget
Institutt for matematiske fag, 2010
12010
SAT modulo discrete event simulation applied to railway design capacity analysis
B Luteberget, K Claessen, C Johansen, M Steffen
Formal Methods in System Design, 1-35, 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
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–15