Publications in Scientific Journals
R. Kirner, S. Kandl:
"Test Coverage Analysis and Preservation for Requirements-Based Testing of Safety-Critical Systems";
ERCIM NEWS,
75
(2008),
75;
40
- 41.
BibTeX
S. Kandl, S. Chandrashekar:
"Reasonability of MC/DC for Safety-Relevant Software Implemented in Programming Languages with Short-Circuit Evaluation";
Computing,
607
(2014).
BibTeX
Contributions to Books
S. Kandl:
"Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems";
in: "Progress in Systems Engineering (Advances in Intelligent Systems and Computing)",
issued by: Henry Selvaraj, Dawid Zydek, Grzegorz Chmaj (Eds.);
Springer International Publishing,
Switzerland,
2015,
ISBN: 978-3-319-08421-3,
595
- 601.
BibTeX
L. Musat, M. Hübl, A. Buzo, G. Pelz, S. Kandl, P. Puschner:
"Semi-formal Representation of Requirements for Automotive Solutions Using SysML";
in: "Languages, Design Methods, and Tools for Electronic System Design",
Lecture Notes in Electrical Engineering 361;
issued by: Frank Oppenheimer, Julio Luis Medina Pasaje;
Springer International Publishing,
2016,
ISBN: 978-3-319-24457-0,
57
- 81.
BibTeX
Talks and Poster Presentations (with Proceedings-Entry)
S. Kandl, R. Kirner:
"Systematic Automated Testing of Safety-Critical Applications in the Automotive Domain (Best Poster Award)";
Talk: Junior Scientist Conference,
Wien;
04-19-2006
- 04-21-2006; in: "Proceedings of the Junior Scientist Conference 2006",
(2006).
BibTeX
S. Kandl, R. Kirner, P. Puschner:
"Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems";
Talk: 4th Workshop on Intelligent Solutions in Embedded Systems - (WISES06),
Vienna, Austria;
06-30-2006; in: "4th Workshop on Intelligent Solutions in Embedded Systems (WISES'06), Proceedings of the",
(2006).
BibTeX
S. Kandl, R. Kirner, G. Fraser:
"Verification of Platform-Independent and Platform-Specific Semantics of Dependable Embedded Systems";
Talk: 3rd International Workshop on Dependable Embedded Systems,
Leeds, UK;
10-01-2006; in: "3rd International Workshop on Dependable Embedded Systems, Proceedings",
(2006),
17
- 21.
BibTeX
S. Kandl:
"Abstraction Techniques for Extracted Automata Models";
Talk: International Conference on Real-Time and Network Systems (RTNS),
Nancy;
03-29-2007
- 03-30-2007; in: "Junior Researcher Workshop on Real-Time Computing 2007 (JRWRTC´07)",
(2007),
35
- 38.
BibTeX
S. Kandl, R. Kirner, P. Puschner:
"Automated Formal Verification and Testing of C Programs for Embedded Systems";
Talk: The Tenth IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2007),
Santorini, Greece;
05-07-2007
- 05-09-2007; in: "10th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007)",
IEEE,
(2007),
ISBN: 0-7695-2765-5;
373
- 381.
BibTeX
S. Kandl, R. Kirner:
"Error Detection Rate of MC/DC for a Case Study from the Automotive Domain";
Talk: 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems,
Waidhofen/Ybbs, Austria;
10-13-2010
- 10-15-2010; in: "Software Technologies for Embedded and Ubiquitous Systems",
Lecture Notes in Computer Science,
Volume 6399
(2010),
131
- 142.
BibTeX
S. Kandl, S. Chandrashekar:
"Reasonability of MC/DC for Safety-Relevant Software Implemented in Programming Languages with Short-Circuit Evaluation";
Talk: 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013),
Paderborn, Deutschland;
06-17-2013
- 06-18-2013; in: "Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems",
IEEE Proceedings,
(2013).
BibTeX
M. Elshuber, S. Kandl, P. Puschner:
"Improving System-Level Verification of SystemC Models with SPIN";
Talk: 1st French Singaporean Workshop on Formal Methods and Applications,
Singapore;
07-15-2013
- 07-16-2013; in: "1st French Singaporean Workshop on Formal Methods and Applications",
(2013),
ISBN: 978-3-939897-56-9;
6 pages.
BibTeX
S. Kandl, M. Elshuber:
"A Formal Approach to System Integration Testing";
Talk: Tenth European Dependable Computing Conference (EDCC 2014),
Newcastle upon Tyne, UK;
05-13-2014
- 05-16-2014; in: "Proceedings of the Tenth European Dependable Computing Conference (EDCC 2014)",
(2014).
BibTeX
S. Kandl:
"Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems";
Talk: Twenty-Third International Conference on Systems Engineering (ICSEng 2014),
Las Vegas, Nevada, USA;
08-19-2014
- 08-21-2014; in: "Proceedings of the Twenty-Third International Conference on Systems Engineering (ICSEng 2014)",
(2014).
BibTeX
L. Musat, M. Hübl, A. Buzo, G. Pelz, S. Kandl, P. Puschner:
"Semi-formal Representation of Requirements for Automotive Solutions using SysML";
Talk: Forum on specification & Design Languages (FDL),
Munich, Germany;
10-14-2014
- 10-16-2014; in: "Proceedings of the Forum on Specification & Design Languages (FDL 2014)",
(2014).
BibTeX
S. Kandl, J. Forey:
"Fault-Detection Sensitivity Based Assessment of Test Sets for Safety-Relevant Software (Best Paper Award)";
Talk: Seventh International Conference on Dependability (DEPEND 2014),
Lisbon, Portugal;
11-16-2014
- 11-20-2014; in: "Proceedings of the Seventh International Conference on Dependability (DEPEND 2014)",
(2014),
ISBN: 978-1-61208-378-0.
BibTeX
S. Kandl et al.:
"Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262";
Talk: Safety-critical Systems Symposium (SSS 2015),
Bristol, UK;
02-03-2015
- 02-05-2015; in: "Engineering Systems for Safety: Proceedings of the Twenty-third Safety-critical Systems Symposium",
M. Parson, T. Anderson (ed.);
(2015),
ISBN: 978-1505689082;
95
- 115.
BibTeX
S. Kandl:
"How Mutations Can Help to Prove That Your System Does Not Contain (Unwanted) Mutations";
Talk: Design, Automation and Test in Europe Conference (DATE),
Grenoble, France (invited);
03-09-2015
- 03-13-2015; in: "DATE 2015 - M04 Embedded Systems: Functional Qualification: Applications in the C/C++ Domain",
(2015).
BibTeX
L. Musat, S. Kandl, P. Puschner, M. Hübl, A. Buzo, G. Pelz:
"Requirement Semi-formalization Methodology for SoC Design (Best Paper Award)";
Talk: 12th International SoC Design Conference (ISOCC 2015),
Gyeongju, South Korea;
11-02-2015
- 11-05-2015; in: "Proceedings of the 12th International SoC Design Conference (IEEE)",
(2015).
BibTeX
Talks and Poster Presentations (without Proceedings-Entry)
S. Kandl:
"Applicability of Structural Code Coverage Metrics for Safety-Critical Systems";
Talk: AUTOSAR Safety-Group (WP 1.3) Meeting,
Paris, France (invited);
12-14-2010
- 12-16-2010.
BibTeX
S. Kandl, M. Elshuber, P. Puschner:
"Formal Verification at System Level";
Poster: HiPEAC 2014 (International Conference on High-Performance and Embedded Architectures and Compilers),
Vienna;
01-20-2014
- 01-22-2014.
BibTeX
Doctor's Theses (authored and supervised)
S. Kandl:
"A Requirement-Based Systematic Test-Case Generation Method for Safety-Critical Embedded Systems";
Supervisor, Reviewer: P. Puschner, R. Kirner;
182,
2010;
oral examination: 11-17-2010.
BibTeX