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



This publication list has been generated automatically from the publication data of the Faculty of Informatics. Please invoke the page "Publications of the Faculty" directly for more complex searches and queries, or use the global search function of the Publication Database of the Vienna University of Technology!