Name Card

Full name Familienname, Vorname

Kandl, Susanne

Main Affiliation Organisationszuordnung

E182 - Institut für Technische Informatik

Own Publications Eigene Publikationen

Results 1-20 of 22 (Search time: 0.004 seconds).

1
2

RIS EndNote Bibtex

		Preview	Author(s)	Title	Type	Issue Date
	1		Muşat, Liana ; Hübl, Markus ; Buzo, Andi ; Pelz, Georg ; Kandl, Susanne ; Puschner, Peter	Semi-formal Representation of Requirements for Automotive Solutions Using SysML	Buchbeitrag Book Contribution	2016
	2		Kandl, Susanne	Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems	Buchbeitrag Book Contribution	2015
	3		Kandl, Susanne	Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262	Konferenzbeitrag Inproceedings	2015
	4		Kandl, Susanne	How Mutations Can Help to Prove That Your System Does Not Contain (Unwanted) Mutations	Konferenzbeitrag Inproceedings	2015
	5		Musat, Liana ; Kandl, Susanne ; Puschner, Peter ; Hübl, Markus ; Buzo, Andi ; Pelz, Georg	Requirement Semi-formalization Methodology for SoC Design (Best Paper Award)	Konferenzbeitrag Inproceedings	2015
	6		Kandl, Susanne	Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems	Konferenzbeitrag Inproceedings	2014
	7		Kandl, Susanne ; Elshuber, Martin ; Puschner, Peter	Formal Verification at System Level	Präsentation Presentation	2014
	8		Musat, Liana ; Hübl, Markus ; Buzo, Andi ; Pelz, Georg ; Kandl, Susanne ; Puschner, Peter	Semi-formal Representation of Requirements for Automotive Solutions using SysML	Konferenzbeitrag Inproceedings	2014
	9		Kandl, Susanne ; Forey, Jean-Marc	Fault-Detection Sensitivity Based Assessment of Test Sets for Safety-Relevant Software (Best Paper Award)	Konferenzbeitrag Inproceedings	2014
	10		Kandl, Susanne ; Elshuber, Martin	A Formal Approach to System Integration Testing	Konferenzbeitrag Inproceedings	2014
	11		Kandl, Susanne ; Chandrashekar, Sandeep	Reasonability of MC/DC for Safety-Relevant Software Implemented in Programming Languages with Short-Circuit Evaluation	Artikel Article	2014
	12		Kandl, Susanne ; Chandrashekar, Sandeep	Reasonability of MC/DC for Safety-Relevant Software Implemented in Programming Languages with Short-Circuit Evaluation	Konferenzbeitrag Inproceedings	2013
	13		Elshuber, Martin ; Kandl, Susanne ; Puschner, Peter	Improving System-Level Verification of SystemC Models with SPIN	Konferenzbeitrag Inproceedings	2013
	14		Kandl, Susanne	A requirement-based systematic test-case generation method for safety-critical embedded systems	Thesis Hochschulschrift	2010
	15		Kandl, Susanne	Applicability of Structural Code Coverage Metrics for Safety-Critical Systems	Präsentation Presentation	2010
	16		Kandl, Susanne ; Kirner, Raimund	Error Detection Rate of MC/DC for a Case Study from the Automotive Domain	Konferenzbeitrag Inproceedings	2010
	17		Kirner, Raimund ; Kandl, Susanne	Test Coverage Analysis and Preservation for Requirements-Based Testing of Safety-Critical Systems	Artikel Article	2008
	18		Kandl, Susanne ; Kirner, Raimund ; Puschner, Peter	Automated Formal Verification and Testing of C Programs for Embedded Systems	Konferenzbeitrag Inproceedings	2007
	19		Kandl, Susanne	Abstraction Techniques for Extracted Automata Models	Konferenzbeitrag Inproceedings	2007
	20		Kandl, Susanne ; Kirner, Raimund	Systematic Automated Testing of Safety-Critical Applications in the Automotive Domain (Best Poster Award)	Konferenzbeitrag Inproceedings	2006

1
2