Bjørnar Luteberget
Orcid: 0000-0002-3444-6209
According to our database1,
Bjørnar Luteberget
authored at least 12 papers
between 2016 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Oper. Res. Forum, September, 2023
Math. Program. Comput., June, 2023
2021
Formal Methods Syst. Des., 2021
Drawing with SAT: four methods and A tool for producing railway infrastructure schematics.
Formal Aspects Comput., 2021
Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021
2019
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
2018
Efficient verification of railway infrastructure designs against standard regulations.
Formal Methods Syst. Des., 2018
Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018
2017
Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017
2016
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016
Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations.
Proceedings of the FM 2016: Formal Methods, 2016