首页>外文会议>其他>Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Processor Hardware Security Vulnerabilities and their Detection by Unique Program Execution Checking

机译：处理器硬件安全漏洞及其独特程序执行检查的检测
- 作者：Mohammad Rahmani Fadiheh;Dominik Stoffel;Clark Barrett;Subhasish Mitra;Wolfgang Kunz
- 会议名称：《Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen》 | 2019年
2.Analyse sicherheitskritischer Software fur RISC-V Prozessoren

机译：RISC-V处理器安全关键软件分析
- 作者：Peer Adelt;Bastian Koppelmann;Wolfgang Mueller;Christoph Scheytt
- 会议名称：《Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen》 | 2019年
3.Inductive Proof Rules Beyond Safety Properties

机译：超出安全性质的归纳证明规则
- 作者：Martin Kohler;Klaus Schneider
- 会议名称：《Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen》 | 2019年
4.Optimization Framework for Hardware Design of Engine Control Units

机译：发动机控制单元硬件设计优化框架
- 作者：Iryna Kmitina;Nico Bannow;Christoph Grimm;Daniel Zielinski;Carna Zivkovic
- 会议名称：《Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen》 | 2019年
5.Approximation of Neural Networks for Verification

机译：神经网络验证的近似值
- 作者：Fin Hendrik Bahnsen;Goerschwin Fey
- 会议名称：《Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen》 | 2019年
6.fbPDR: In-depth combination of forward and backward analysis in Property Directed Reachability (extended abstract)

机译：FBPDR：在物业定向可达性中深入和后向分析的深入组合（扩展摘要）
- 作者：Tobias Seufert;Christoph Scholl
- 会议名称：《Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen》 | 2019年
7.Automated Sensor Firmware Development - Generation, Optimization, and Analysis

机译：自动传感器固件开发 - 生成，优化和分析
- 作者：Jens Rudolf;Manuel Strobel;Joscha Benz;Christian Haubelt;Martin Radetzki;Oliver Bringmann
- 会议名称：《Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen》 | 2019年
8.ACCESS: HW/SW-Co-Equivalence Checking for Firmware Optimization

机译：访问：HW / SW-CO - 等效检查固件优化
- 作者：Michael Schwarz;Dominik Stoffel;Wolfgang Kunz
- 会议名称：《Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen》 | 2019年
9.Measuring NoC fault tolerance with performability

机译：使用可执行性测量NOC容错
- 作者：Jie Hou;Martin Radetzki
- 会议名称：《Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen》 | 2019年
10.How to Keep 4-Eyes Principle in a Design and Property Generation Flow

机译：如何在设计和物业生成流程中保持4眼原理
- 作者：Keerthikumara Devarajegowda;Wolfgang Ecker;Wolfgang Kunz
- 会议名称：《Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen》 | 2019年
- Design automation;
- 4-Eyes principle;
- Automation frameworks;
- Model based generation;
11.Model-Based Configuration of a Coarse-Grained Reconfigurable Architecture

机译：基于模型的粗粒可重构架构的配置
- 作者：Jens Frommer;Nico Bannow;Axel Aue;Christoph Grimm;Klaus Schneider
- 会议名称：《Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen》 | 2019年
12.Self-Explaining Digital Systems - Some Technical Steps

机译：自解释数字系统 - 一些技术步骤
- 作者：Goerschwin Fey;Rolf Drechsler
- 会议名称：《Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen》 | 2019年
13.Ein Ansatz fur die agile, verteilte Entwicklung Cyber-Physischer 'Systems of Systems' (Work in Progress)

机译：敏捷，分布式开发网络物理“系统系统”的方法（正在进行中）
- 作者：Christoph Grimm;Frank Wawrzik;Carna Zivkovic
- 会议名称：《Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen》 | 2019年
14.Logical Analysis of Distributed Systems: The Importance of Being Constructive

机译：分布式系统的逻辑分析：建设性的重要性
- 作者：Michael Mendler
- 会议名称：《Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen》 | 2019年
15.Logic Optimization of Majority-Inverter Graphs

机译：多数逆变器图的逻辑优化
- 作者：Heinz Riener;Eleonora Testa;Winston Haaswijk;Alan Mishchenko;Luca Amaru;Giovanni De Micheli;Mathias Soeken
- 会议名称：《Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen》 | 2019年
16.SEMAS - System Engineering Methodology for Automated Systems The world described in layers

机译：SEMAS - 自动化系统系统工程方法世界中描述的世界
- 作者：Markus Hedderich;Markus Heimberger;Axel Klekamp
- 会议名称：《Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen》 | 2019年