{"id":17227,"date":"2022-08-16T12:15:06","date_gmt":"2022-08-16T10:15:06","guid":{"rendered":"https:\/\/magical-mcclintock.148-251-15-154.plesk.page\/publications\/"},"modified":"2024-07-16T15:17:01","modified_gmt":"2024-07-16T13:17:01","slug":"publications","status":"publish","type":"page","link":"https:\/\/www.btc-embedded.com\/de\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"17227\" class=\"elementor elementor-17227 elementor-9698\" data-elementor-post-type=\"page\">\n\t\t\t\t<div class=\"elementor-element elementor-element-e2d1c54 btc-hero e-flex e-con-boxed e-con e-parent\" data-id=\"e2d1c54\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-63a41a5 e-con-full e-flex e-con e-child\" data-id=\"63a41a5\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-0725550 elementor-widget elementor-widget-heading\" data-id=\"0725550\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h4 class=\"elementor-heading-title elementor-size-default\">BTC EMBEDDED Systems<\/h4>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-1450a4e animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"1450a4e\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h1 class=\"elementor-heading-title elementor-size-default\">Ver\u00f6ffentlichungen<\/h1>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-c826caa e-flex e-con-boxed e-con e-parent\" data-id=\"c826caa\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-fdf3072 e-con-full e-flex e-con e-child\" data-id=\"fdf3072\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-9a83fdd elementor-widget elementor-widget-icon-box\" data-id=\"9a83fdd\" data-element_type=\"widget\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\n\t\t\t\t\t\t<div class=\"elementor-icon-box-content\">\n\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-icon-box-title\">\n\t\t\t\t\t\t<a href=\"http:\/\/www.btc-embedded.com\/downloads\/whitepapers\/modeling-requirements-for-quantitative-consistency-analysis-and-automatic-test-case-generation.pdf\" target=\"_blank\" >\n\t\t\t\t\t\t\tModeling Requirements for Quantitative Consistency Analysis and Automatic Test Case Generation\t\t\t\t\t\t<\/a>\n\t\t\t\t\t<\/div>\n\t\t\t\t\n\t\t\t\t\t\t\t\t\t<p class=\"elementor-icon-box-description\">\n\t\t\t\t\t\tTom Bienm\u00fcller, Tino Teige, Andreas Eggers, and Matthias Stasch\t\t\t\t\t<\/p>\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-c627d37 elementor-widget elementor-widget-icon-box\" data-id=\"c627d37\" data-element_type=\"widget\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\n\t\t\t\t\t\t<div class=\"elementor-icon-box-content\">\n\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-icon-box-title\">\n\t\t\t\t\t\t<a href=\"https:\/\/www.btc-embedded.com\/downloads\/whitepapers\/significant-quality-and-performance-gains-through.pdf\" target=\"_blank\" >\n\t\t\t\t\t\t\tSignificant Quality and Performance Gains through Fully Automated Back-to-Back Testing\t\t\t\t\t\t<\/a>\n\t\t\t\t\t<\/div>\n\t\t\t\t\n\t\t\t\t\t\t\t\t\t<p class=\"elementor-icon-box-description\">\n\t\t\t\t\t\tHans J. Holberg, Dr. Udo Brockmeyer\t\t\t\t\t<\/p>\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-3884c11 elementor-widget elementor-widget-icon-box\" data-id=\"3884c11\" data-element_type=\"widget\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\n\t\t\t\t\t\t<div class=\"elementor-icon-box-content\">\n\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-icon-box-title\">\n\t\t\t\t\t\t<a href=\"https:\/\/www.btc-embedded.com\/downloads\/whitepapers\/iso-26262-compliant-verification-of-functional.pdf\" target=\"_blank\" >\n\t\t\t\t\t\t\tISO 26262 compliant verification of functional requirements in the model-based software development process\t\t\t\t\t\t<\/a>\n\t\t\t\t\t<\/div>\n\t\t\t\t\n\t\t\t\t\t\t\t\t\t<p class=\"elementor-icon-box-description\">\n\t\t\t\t\t\tHans J. Holberg, Dr. Udo Brockmeyer\t\t\t\t\t<\/p>\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-e31e5d7 elementor-widget elementor-widget-icon-box\" data-id=\"e31e5d7\" data-element_type=\"widget\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\n\t\t\t\t\t\t<div class=\"elementor-icon-box-content\">\n\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-icon-box-title\">\n\t\t\t\t\t\t<a href=\"https:\/\/www.btc-embedded.com\/downloads\/whitepapers\/computer-aided-formal-specification-to-enable.pdf\" target=\"_blank\" >\n\t\t\t\t\t\t\tComputer-aided Formal Specification to enable a fully automated Requirements-based Testing Process\t\t\t\t\t\t<\/a>\n\t\t\t\t\t<\/div>\n\t\t\t\t\n\t\t\t\t\t\t\t\t\t<p class=\"elementor-icon-box-description\">\n\t\t\t\t\t\tHans J. Holberg, Dr. Udo Brockmeyer\t\t\t\t\t<\/p>\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-b1e3468 elementor-widget elementor-widget-icon-box\" data-id=\"b1e3468\" data-element_type=\"widget\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\n\t\t\t\t\t\t<div class=\"elementor-icon-box-content\">\n\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-icon-box-title\">\n\t\t\t\t\t\t<a href=\"https:\/\/www.btc-embedded.com\/downloads\/whitepapers\/from-safety-requirements-to-safety-monitors-automatic-synthesis-in-compliance-with-iso-26262.pdf\" target=\"_blank\" >\n\t\t\t\t\t\t\tFrom Safety Requirements to Safety Monitors \u2013 Automatic Synthesis in Compliance with ISO 26262\t\t\t\t\t\t<\/a>\n\t\t\t\t\t<\/div>\n\t\t\t\t\n\t\t\t\t\t\t\t\t\t<p class=\"elementor-icon-box-description\">\n\t\t\t\t\t\tHans J. Holberg, Dr.-Ing Stefan H\u00e4usler\t\t\t\t\t<\/p>\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-1fd29bb elementor-widget elementor-widget-icon-box\" data-id=\"1fd29bb\" data-element_type=\"widget\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\n\t\t\t\t\t\t<div class=\"elementor-icon-box-content\">\n\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-icon-box-title\">\n\t\t\t\t\t\t<a href=\"https:\/\/www.btc-embedded.com\/downloads\/whitepapers\/beyond-mcdc-coverage-testing.pdf\" target=\"_blank\" >\n\t\t\t\t\t\t\tBeyond MC\/DC Coverage Testing\t\t\t\t\t\t<\/a>\n\t\t\t\t\t<\/div>\n\t\t\t\t\n\t\t\t\t\t\t\t\t\t<p class=\"elementor-icon-box-description\">\n\t\t\t\t\t\tHans J. Holberg, Dr.-Ing Stefan H\u00e4usler\t\t\t\t\t<\/p>\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-f87a1dd elementor-widget elementor-widget-icon-box\" data-id=\"f87a1dd\" data-element_type=\"widget\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\n\t\t\t\t\t\t<div class=\"elementor-icon-box-content\">\n\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-icon-box-title\">\n\t\t\t\t\t\t<a href=\"https:\/\/www.btc-embedded.com\/downloads\/whitepapers\/formal-verification-for-safety-critical-requirements.pdf\" target=\"_blank\" >\n\t\t\t\t\t\t\tFormal Verification for safety critical requirements\t\t\t\t\t\t<\/a>\n\t\t\t\t\t<\/div>\n\t\t\t\t\n\t\t\t\t\t\t\t\t\t<p class=\"elementor-icon-box-description\">\n\t\t\t\t\t\tMarkus Gros, Hans J. Holberg\t\t\t\t\t<\/p>\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>BTC EMBEDDED Systems Ver\u00f6ffentlichungen Modeling Requirements for Quantitative Consistency Analysis and Automatic Test Case Generation Tom Bienm\u00fcller, Tino Teige, Andreas Eggers, and Matthias Stasch Significant Quality and Performance Gains through Fully Automated Back-to-Back Testing Hans J. Holberg, Dr. Udo Brockmeyer ISO 26262 compliant verification of functional requirements in the model-based software development process Hans J. [&hellip;]<\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"inline_featured_image":false,"footnotes":""},"class_list":["post-17227","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/pages\/17227","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/comments?post=17227"}],"version-history":[{"count":1,"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/pages\/17227\/revisions"}],"predecessor-version":[{"id":17228,"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/pages\/17227\/revisions\/17228"}],"wp:attachment":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/media?parent=17227"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}