首页>外文会议>其他>ACM-IEEE International Conference on Formal Methods and Models for System Design

ACM-IEEE International Conference on Formal Methods and Models for System Design

召开年：2020
召开地：Jaipur(IN)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A Contrastive Plan Explanation Framework for Hybrid System Models

机译：混合系统模型的对比计划解释框架
- 作者：Mir Md Sajid Sarwar;Rajarshi Ray;Ansuman Banerjee
- 会议名称：《ACM-IEEE International Conference on Formal Methods and Models for System Design》 | 2020年
- Planning;
- Automobiles;
- Numerical models;
- Acceleration;
- Artificial intelligence;
- Vehicle dynamics;
- Tools;
2.Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes

机译：通过高斯过程对不确定随机混合系统的概率可达性
- 作者：Mariia Vasileva;Fedor Shmarov;Paolo Zuliani
- 会议名称：《ACM-IEEE International Conference on Formal Methods and Models for System Design》 | 2020年
- Training;
- Probability;
- Stochastic processes;
- Probabilistic logic;
- Computational modeling;
- Standards;
- Gaussian processes;
3.Bayesian Statistical Model Checking for Continuous Stochastic Logic

机译：贝叶斯统计模型检查连续随机逻辑
- 作者：Ratan Lal;Weikang Duan;Pavithra Prabhakar
- 会议名称：《ACM-IEEE International Conference on Formal Methods and Models for System Design》 | 2020年
- Probabilistic logic;
- Bayes methods;
- Markov processes;
- Model checking;
- Computational modeling;
- Testing;
- Approximation algorithms;
4.Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems

机译：用于可扩展验证神经网络的网络物理系统的鲁棒性合同
- 作者：Nikhil Naik;Pierluigi Nuzzo
- 会议名称：《ACM-IEEE International Conference on Formal Methods and Models for System Design》 | 2020年
- Robustness;
- Contracts;
- Artificial neural networks;
- Safety;
- Programming;
- Cyber-physical systems;
- Complexity theory;
5.Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure

机译：心力衰竭率自适应起搏器的正式建模与验证
- 作者：Moon Soo Kim;Weiwei Ai;Partha S Roop;Nathan Allen;Rohit Ramchandra;Julian Paton
- 会议名称：《ACM-IEEE International Conference on Formal Methods and Models for System Design》 | 2020年
- Pacemakers;
- Heart;
- Automata;
- Clocks;
- Adaptation models;
- Synchronization;
- Semantics;
6.Runtime Verification of Timed Properties in Autonomous Robots

机译：自治机器人中定时属性的运行时验证
- 作者：Mohammed Foughali;Saddek Bensalem;Jacques Combaz;Félix Ingrand
- 会议名称：《ACM-IEEE International Conference on Formal Methods and Models for System Design》 | 2020年
- Robots;
- Connectors;
- Task analysis;
- Synchronization;
- Model checking;
- Software;
- Runtime;
7.CROME: Contract-Based Robotic Mission Specification

机译：Crome：基于合同的机器人任务规范
- 作者：Piergiuseppe Mallozzi;Pierluigi Nuzzo;Patrizio Pelliccione;Gerardo Schneider
- 会议名称：《ACM-IEEE International Conference on Formal Methods and Models for System Design》 | 2020年
- Contracts;
- Service robots;
- Task analysis;
- Tools;
- Libraries;
- Buildings;
- Semantics;
8.Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems

机译：基于跟踪的流量控制系统中鲁棒路由的轻质正式方法
- 作者：Maryam Bagheri;Edward A. Lee;Eunsuk Kang;Marjan Sirjani;Ehsan Khamespanah;Ali Movaghar
- 会议名称：《ACM-IEEE International Conference on Formal Methods and Models for System Design》 | 2020年
- Mathematical model;
- Metals;
- Adaptation models;
- Routing;
- Control systems;
- Computational modeling;
- Analytical models;
9.Specification-guided Software Fault Localization for Autonomous Mobile Systems

机译：自主移动系统规范引导的软件故障定位
- 作者：Tomoya Yamaguchi;Bardh Hoxha;Danil Prokhorov;Jyotirmoy V. Deshmukh
- 会议名称：《ACM-IEEE International Conference on Formal Methods and Models for System Design》 | 2020年
- Location awareness;
- Libraries;
- Vehicle dynamics;
- Software;
- Safety;
- Dynamics;
- Semantics;
10.Real-time Scheduling of I/O Transfers for Massively Parallel Processor Arrays

机译：大型平行处理器阵列的I / O传输的实时调度
- 作者：Dominik Walter;Michael Witterauf;Jürgen Teich
- 会议名称：《ACM-IEEE International Conference on Formal Methods and Models for System Design》 | 2020年
- Parallel processing;
- Arrays;
- Data transfer;
- Schedules;
- Processor scheduling;
- Real-time systems;
- Indexing;
11.Security Types for Synchronous Data Flow Systems

机译：同步数据流系统的安全类型
- 作者：Sanjiva Prasad;R.Madhukar Yerraguntla;Subodh Sharma
- 会议名称：《ACM-IEEE International Conference on Formal Methods and Models for System Design》 | 2020年
- Security;
- Mathematical model;
- Clocks;
- Semantics;
- Programming;
- Lattices;
- Data models;
12.Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions

机译：具有时间触发过渡的参数线性混合系统的高效可达性分析
- 作者：Marcelo Forets;Daniel Freire;Christian Schilling
- 会议名称：《ACM-IEEE International Conference on Formal Methods and Models for System Design》 | 2020年
- Clocks;
- Heuristic algorithms;
- Automata;
- Computational modeling;
- Brakes;
- Linear systems;
- PI control;
13.Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs

机译：依赖性分析和自动分区对系统设计的可扩展正式分析
- 作者：Paula Herber;Timm Liebrenz
- 会议名称：《ACM-IEEE International Conference on Formal Methods and Models for System Design》 | 2020年
- Process control;
- Wheels;
- Hardware;
- Brakes;
- Timing;
- Software;
- Sensors;
14.Verifying Absence of Hardware-Software Data Races using Counting Abstraction

机译：使用计数抽象验证硬件 - 软件数据竞争的缺失
- 作者：Tuba Yavuz
- 会议名称：《ACM-IEEE International Conference on Formal Methods and Models for System Design》 | 2020年
- Servers;
- Keyboards;
- Device drivers;
- Programming;
- Performance evaluation;
- Linux;
- Data models;
15.Safe and efficient collision avoidance control for autonomous vehicles

机译：自动车辆安全有效的碰撞控制
- 作者：Qiang Wang;Dachuan Li;Joseph Sifakis
- 会议名称：《ACM-IEEE International Conference on Formal Methods and Models for System Design》 | 2020年
- Acceleration;
- Safety;
- Collision avoidance;
- Vehicle dynamics;
- Brakes;
- Space vehicles;
- Autonomous vehicles;
16.Cephalopode: A custom processor aimed at functional language execution for IoT devices.

机译：Cephalopode：定期处理器针对IOT设备的功能语言执行。
- 作者：Jeremy Pope;Jules Saget;Carl-Johan H. Seger
- 会议名称：《ACM-IEEE International Conference on Formal Methods and Models for System Design》 | 2020年
- Hardware;
- Engines;
- Security;
- Computer architecture;
- Software;
- Internet of Things;
- High level languages;
17.Program Committee

机译：计划委员会
- 会议名称：《ACM-IEEE International Conference on Formal Methods and Models for System Design》 | 2020年
18.REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency

机译：重申：基于模型的混合系统修复，以提高弹性
- 作者：Luan Viet Nguyen;Gautam Mohan;James Weimer;Oleg Sokolsky;Insup Lee;Rajeev Alur
- 会议名称：《ACM-IEEE International Conference on Formal Methods and Models for System Design》 | 2020年
- Mathematical model;
- Resilience;
- Sensors;
- Sensor systems;
- Modeling;
- Global Positioning System;
- Maintenance engineering;
19.Stately: An FSM Design Tool.

机译：庄严：FSM设计工具。
- 作者：Jeremy Pope;Jules Saget;Carl-Johan H. Seger
- 会议名称：《ACM-IEEE International Conference on Formal Methods and Models for System Design》 | 2020年
- Visualization;
- Semantics;
- Clocks;
- Syntactics;
- Logic gates;
- Hardware;
- Complexity theory;