Author of the publication

Experiences from Large-Scale Model Checking : Verifying a Vehicle Control System with NuSMV

, , and . 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), page 372-382. Piscataway, IEEE, (2021)
DOI: 10.1109/ICST49551.2021.00049

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Analyse des PV-Potenzials von Wohngebäuden anhand siedlungsgenetischer Merkmale., , and . AGIT Journal, (2016)Safety Analysis for Highly Automated Driving.. ISSRE Workshops, page 154-157. IEEE Computer Society, (2018)Using Data Flow-based Coverage Criteria for Black-box Integration Testing of Distributed Software Systems, , and . 2019 IEEE 12th Conference on Software Testing, Validation and Verification (ICST 2019), page 420-429. IEEE, (2019)Sicherheitsanalysen von Fail-Operational-Systemen für einen Nachweis nach ISO 26262. Universität Stuttgart, Stuttgart, Dissertation, (2021)Experiences from Large-Scale Model Checking : Verifying a Vehicle Control System with NuSMV, , and . 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), page 372-382. Piscataway, IEEE, (2021)Opportunistic content-centric data transmission during short network contacts., , , and . WCNC, page 2516-2521. IEEE, (2014)Towards using coupling measures to guide black-box integration testing in component-based systems, , , and . The journal of software testing, verification and reliability, 32 (4): e1811 (2022)Online Junction Temperature Measurement of Power Semiconductor Devices, , , , , and . (2020)An Approach for Structuring a Highly Automated Driving Multiple Channel Vehicle System for Safety Analysis, , and . 2018 3rd International Conference on System Reliability and Safety (ICSRS), page 362-367. Piscataway, NJ, IEEE, (2018)A Safety Argumentation for Fail-Operational Automotive Systems in Compliance with ISO 26262., , , and . ICSRS, page 484-493. IEEE, (2019)