Arne Borlv
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1997–2019
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FM | Adopting Formal Methods in an Industrial Setting: The Railways Case. | Maurice H. ter Beek, Arne Borlv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Lfving, Franco Mazzanti |
| 2018 | FM | Interlocking Design Automation Using Prover Trident. | Arne Borlv |
| 2004 | ICCAD | DAG-aware circuit compression for formal verification. | Per Bjesse, Arne Borlv |
| 1997 | CAV | The Industrial Success of Verification Tools Based on Stlmarck's Method. | Arne Borlv |