default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th MEMOCODE 2018: Beijing, China
- 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018. IEEE 2018, ISBN 978-1-5386-6195-6
- Sanjit A. Seshia, Pramod Subramanyan:
UCLID5: Integrating Modeling, Verification, Synthesis and Learning. 1-10 - Mladen Skelin, Marc Geilen
:
It's a Matter of Time: Modeling and Analysis of Time Dependent Systems Using Scenario-Aware Dataflow. 11-21 - Michael Witterauf, Jürgen Teich:
Run-time Requirement Enforcement for Loop Programs on Processor Arrays. 22-32 - Partha S. Roop, Hammond A. Pearce, Keyan Monadjem:
Synchronous neural networks for cyber-physical systems. 33-42 - Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka:
Towards Dependability Metrics for Neural Networks. 43-46 - S. Nagaraj, D. Seshachalam, Sunil Hucharaddi:
Model Order Reduction of Nonlinear Circuit using Proper Orthogonal Decomposition and Nonlinear Autoregressive with eXogenous input (NARX) Neural Network. 47-50 - Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider:
Security of Pacemakers using Runtime Verification. 51-61 - Yanan Liu, Yong Guan, Xiaojuan Li, Rui Wang, Jie Zhang:
Formal Analysis and Verification of DDS in ROS2. 62-66 - Íñigo Íncer Romeo, Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang:
Quotient for Assume-Guarantee Contracts. 67-77 - Jonatan Wiik, Johan Ersfolk, Marina Waldén:
A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks. 78-87 - Jinmiao Xu, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali:
Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension. 88-98 - Tripti Jain, Klaus Schneider:
Optimal Self-Routing Split Modules for Radix-based Interconnection Networks. 99-108 - Yu Bai:
Desynchronization: From Macro-step to Micro-step. 109-118
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-20 21:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
