Cristin-person-ID: 683883
Person

Bjørnar Luteberget

  • Stilling:
    Tilsatt
    ved Mathematics and Cybernetics ved SINTEF AS

Resultater Resultater

Improving Online Railway Deadlock Detection using a Partial Order Reduction.

Luteberget, Bjørnar. 2021, Electronic Proceedings in Theoretical Computer Science (EPTCS). SINTEFVitenskapelig artikkel

Drawing with SAT: four methods and A tool for producing railway infrastructure schematics.

Luteberget, Bjørnar Steinnes; Johansen, Christian. 2021, Formal Aspects of Computing. SINTEF, NTNUVitenskapelig artikkel

SAT modulo discrete event simulation applied to railway design capacity analysis.

Luteberget, Bjørnar Steinnes; Claessen, Koen; Johansen, Christian; Steffen, Martin. 2021, Formal methods in system design. SINTEF, Cth, NTNU, UIOVitenskapelig artikkel

Automated Drawing of Railway Schematics Using Numerical Optimization in SAT.

Luteberget, Bjørnar Steinnes; Claessen, Koen; Johansen, Christian. 2019, Lecture Notes in Computer Science (LNCS). Cth, UIO, ANDREINSTVitenskapelig artikkel

Participatory verification of railway infrastructure by representing regulations in RailCNL.

Luteberget, Bjørnar Steinnes; Camilleri, John J.; Johansen, Christian; Schneider, Gerardo. 2017, Lecture Notes in Computer Science (LNCS). Cth, UIO, Gu, DIVNORSKVitenskapelig artikkel
1 - 5 av 10 | Neste | Siste »