Benjamin Vedder
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2012–2015
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | DSN | Using Simulation, Fault Injection and Property-Based Testing to Evaluate Collision Avoidance of a Quadcopter System. | Benjamin Vedder, Jonny Vinter, Magnus Jonsson |
| 2014 | DATE | Combining Fault-Injection with Property-Based Testing. | Benjamin Vedder, Thomas Arts, Jonny Vinter, Magnus Jonsson |
| 2014 | ISSRE | Safety ADD: A Tool for Safety-Contract Based Design. | Fredrik Warg, Benjamin Vedder, Martin A. Skoglund, Andreas Sderberg |
| 2012 | ISSRE | Composable Safety-Critical Systems Based on Pre-certified Software Components. | Andreas Sderberg, Benjamin Vedder |