Susanne Kandl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2007–2014
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | FDL | Semi-formal representation of requirements for automotive solutions using sysML. | Liana Musat, Markus Hubl, Andi Buzo, Georg Pelz, Susanne Kandl, Peter P. Puschner |
| 2014 | ICSEng | Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems. | Susanne Kandl |
| 2013 | ISORC | Reasonability of MC/DC for safety-relevant software implemented in programming languages with short-circuit evaluation. | Susanne Kandl, Sandeep Chandrashekar |
| 2007 | ISORC | Automated Formal Verification and Testing of C Programs for Embedded Systems. | Susanne Kandl, Raimund Kirner, Peter P. Puschner |