[IEEE 2018 IEEE 16th International Conference on Industrial Informatics (INDIN) - Porto (2018.7.18-2018.7.20)] 2018 IEEE 16th International Conference on Industrial Informatics (INDIN) - Counterexample visualization and explanation for function block diagrams
- 作者Pakonen, Antti; Buzhinsky, Igor; Vyatkin, Valeriy
- 文件大小215.65KB
- 发表时间2018
- DOI10.1109/INDIN.2018.8472025
- 页码747-753
[IEEE 2018 IEEE 16th International Conference on Industrial Informatics (INDIN) - Porto (2018.7.18-2018.7.20)] 2018 IEEE 16th International Conference on Industrial Informatics (INDIN) - Overview of Authentication and Access Controls for I&C systemsTellabi, Asmaa; Sassmanhausen, Jochen; Bajramovic, Edita; Ruland, Karl Christoph · 2018
[IEEE 2018 IEEE 20th International Conference on High Performance Computing and Communications; IEEE 16th International Conference on Smart City; IEEE 4th International Conference on Data Science and Systems (HPCC/SmartCity/DSS) - Exeter, United Kingdom (2018.6.28-2018.6.30)] 2018 IEEE 20th International Conference on High Performance Computing and Communications; IEEE 16th International Conference on Smart City; IEEE 4th International Conference on Data Science and Systems (HPCC/SmartCity/DSS) - Title Page i2018
[IEEE 2018 16th IEEE International New Circuits and Systems Conference (NEWCAS) - Montréal, QC, Canada (2018.6.24-2018.6.27)] 2018 16th IEEE International New Circuits and Systems Conference (NEWCAS) - On N-Shaped I-V Characteristic Devices with Memristive BehaviorWey, Todd · 2018
[IEEE 2018 IEEE 20th International Conference on High Performance Computing and Communications; IEEE 16th International Conference on Smart City; IEEE 4th International Conference on Data Science and Systems (HPCC/SmartCity/DSS) - Exeter, United Kingdom (2018.6.28-2018.6.30)] 2018 IEEE 20th International Conference on High Performance Computing and Communications; IEEE 16th International Conference on Smart City; IEEE 4th International Conference on Data Science and Systems (HPCC/SmartCity/DSS) - Mitigating I/O Impact of Checkpointing on Large Scale Parallel SystemsWang, Nana; Sun, Qingzheng; Liu, Yi; Qian, Depei · 2018
[IEEE 2018 IEEE 20th International Conference on High Performance Computing and Communications; IEEE 16th International Conference on Smart City; IEEE 4th International Conference on Data Science and Systems (HPCC/SmartCity/DSS) - Exeter, United Kingdom (2018.6.28-2018.6.30)] 2018 IEEE 20th International Conference on High Performance Computing and Communications; IEEE 16th International Conference on Smart City; IEEE 4th International Conference on Data Science and Systems (HPCC/SmartCity/DSS) - CLIBE: Precise Cluster-Level I/O Bandwidth Enforcement in Distributed File SystemZheng, Ningxin; Chen, Quan; Chen, Chen; Guo, Minyi · 2018
[IEEE 2018 IEEE 20th International Conference on High Performance Computing and Communications; IEEE 16th International Conference on Smart City; IEEE 4th International Conference on Data Science and Systems (HPCC/SmartCity/DSS) - Exeter, United Kingdom (2018.6.28-2018.6.30)] 2018 IEEE 20th International Conference on High Performance Computing and Communications; IEEE 16th International Conference on Smart City; IEEE 4th International Conference on Data Science and Systems (HPCC/SmartCity/DSS) - The DEEP-ER Project: I/O and Resiliency Extensions for the Cluster-Booster ArchitectureKreuzer, Anke; Amaya, Jorge; Eicker, Norbert; Leger, Raphael; Suarez, Estela · 2018
[IEEE 2018 15th International Symposium on Pervasive Systems, Algorithms and Networks (I-SPAN) - Yichang, China (2018.10.16-2018.10.18)] 2018 15th International Symposium on Pervasive Systems, Algorithms and Networks (I-SPAN) - Conference Organization2018
[IEEE 2018 12th International Conference on Communications (COMM) - Bucharest (2018.6.14-2018.6.16)] 2018 International Conference on Communications (COMM) - Evaluation of the Standard I-Vectors Based Speaker Verification Systems on Limited DataCurelaru, Florin · 2018
[IEEE 2018 14 th IEEE International Workshop on Factory Communication Systems (WFCS) - Imperia (2018.6.13-2018.6.15)] 2018 14th IEEE International Workshop on Factory Communication Systems (WFCS) - Assistance system to support troubleshooting of complex industrial systemsLang, Dorota; Wunderlich, Paul; Heinz, Mario; Wisniewski, Lukasz; Jasperneite, Jurgen; Niggemann, Oliver; Rocker, Carsten · 2018
[IEEE 2018 23rd International Conference on Methods & Models in Automation & Robotics (MMAR) - Miedzyzdroje, Poland (2018.8.27-2018.8.30)] 2018 23rd International Conference on Methods & Models in Automation & Robotics (MMAR) - Inference Methods for Detecting the Root Cause of Alarm Floods in Causal ModelsWunderlich, Paul; Niggemann, Oliver · 2018
[IEEE 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Limassol (2017.9.12-2017.9.15)] 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Structure learning methods for Bayesian networks to reduce alarm floods by identifying the root causeWunderlich, Paul; Niggemann, Oliver · 2017
[IEEE 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Zaragoza, Spain (2019.9.10-2019.9.13)] 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Why Symbolic AI is a Key Technology for Self-Adaption in the Context of CPPSBunte, Andreas; Wunderlich, Paul; Moriz, Natalia; Li, Peng; Mankowski, Andre; Rogalla, Antje; Niggemann, Oliver · 2019