Bjrnar Luteberget
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2016–2019
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FM | Synthesis of Railway Signaling Layout from Local Capacity Specifications. | Bjrnar Luteberget, Christian Johansen, Martin Steffen |
| 2019 | IFM | Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. | Bjrnar Luteberget, Koen Claessen, Christian Johansen |
| 2018 | FMCAD | Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation. | Bjrnar Luteberget, Koen Claessen, Christian Johansen |
| 2017 | SEFM | Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. | Bjrnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider |
| 2016 | FM | Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations. | Bjrnar Luteberget, Christian Johansen, Claus Feyling, Martin Steffen |
| 2016 | IFM | Rule-Based Consistency Checking of Railway Infrastructure Designs. | Bjrnar Luteberget, Christian Johansen, Martin Steffen |