Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ning Shen, Jyh-Haw Yeh, Hung-Min Sun, Chien-Ming Chen 0001 |
A Practical and Secure Stateless Order Preserving Encryption for Outsourced Databases. |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Saurabh Hukerikar, Christian Engelmann |
PLEXUS: A Pattern-Oriented Runtime System Architecture for Resilient Extreme-Scale High-Performance Computing Systems. |
PRDC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mustafizur R. Shahid, Gregory Blanc, Houda Jmila, Zonghua Zhang, Hervé Debar |
Generative Deep Learning for Internet of Things Network Traffic Generation. |
PRDC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Favier, Nicolas Guittonneau, Luciana Arantes, Anne Fladenmuller, Jonathan Lejeune, Pierre Sens 0001 |
Topology Aware Leader Election Algorithm for Dynamic Networks. |
PRDC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yuta Koizumi, Yoshitaka Arahori |
Risk-Aware Leak Detection at Binary Level. |
PRDC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Toshiaki Aoki, Daisuke Kawakami, Nobuo Chida, Takashi Tomita |
Dataset Fault Tree Analysis for Systematic Evaluation of Machine Learning Systems. |
PRDC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chen Zeng, Yifan Wang 0005, Fan Liang, Xiaohui Peng 0002 |
Fengyi: Trusted Data Sharing in VANETs with Blockchain. |
PRDC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Florent Galtier, Romain Cayre, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette |
A PSD-based fingerprinting approach to detect IoT device spoofing. |
PRDC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thawra Kadeed, Borislav Nikolic, Rolf Ernst |
Safe Online Reconfiguration of Mixed-Criticality Real-Time Systems. |
PRDC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas M. Müller, Daniel Kowatsch, Konstantin Böttinger |
Data Poisoning Attacks on Regression Learning and Corresponding Defenses. |
PRDC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | |
25th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2020, Perth, Australia, December 1-4, 2020 |
PRDC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Faiz Ul Muram, Muhammad Atif Javed, Hans Hansson, Sasikumar Punnekkat |
Dynamic Reconfiguration of Safety-Critical Production Systems. |
PRDC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Leal, Leonardo Montecchi, Andrea Ceccarelli, Eliane Martins |
Using Metamodels to Improve Model-Based Testing of Service Orchestrations. |
PRDC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti |
Trading dependability and energy consumption in critical infrastructures: focus on the rail switch heating system. |
PRDC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Krystian Radlak, Michal Szczepankiewicz, Tim Jones, Piotr Serwa |
Organization of machine learning based product development as per ISO 26262 and ISO/PAS 21448. |
PRDC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | José Flora, Paulo Gonçalves, Nuno Antunes |
Using Attack Injection to Evaluate Intrusion Detection Effectiveness in Container-based Systems. |
PRDC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Krishna Teja Chitty-Venkata, Arun K. Somani |
Model Compression on Faulty Array-based Neural Network Accelerator. |
PRDC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Syed Mohtashim Abbas Bokhari, Oliver E. Theel |
Introducing Novel Crossover and Mutation Operators into Data Replication Strategies for Distributed Systems. |
PRDC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matheus Torquato 0001, Paulo R. M. Maciel, Marco Vieira |
Security and Availability Modeling of VM Migration as Moving Target Defense. |
PRDC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rundong Li, Hongliang Liang, Liming Liu, Xutong Ma, Rong Qu, Jun Yan 0009, Jian Zhang 0001 |
GTFuzz: Guard Token Directed Grey-Box Fuzzing. |
PRDC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David William Honorio Araujo da Silva, Carlos Paz de Araujo, C. Edward Chow |
Fully Homomorphic Key Update and Key Exchange Over Exterior Product Spaces For Cloud Computing Applications. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Elder Rodrigues Jr., Leonardo Montecchi |
Towards a Structured Specification of Coding Conventions. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shahid Khan 0002, Joost-Pieter Katoen, Matthias Volk 0001, Marc Bouissou |
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jiantao Zhang, Zheng Zheng 0001, Beibei Yin, Kun Qiu, Yang Liu 0287 |
Testing Graph Searching Based Path Planning Algorithms by Metamorphic Testing. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tomohiko Takagi, Ryo Kurozumi, Tetsuro Katayama |
State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lewis Tseng, Zezhi Wang, Yajie Zhao |
Resilient Distributed Causal Memory in Client-Server Model. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mamoru Ohara |
A Study on Checkpointing for Distributed Applications Using Blockchain-Based Data Storage. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
24th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2019, Kyoto, Japan, December 1-3, 2019 |
PRDC |
2019 |
DBLP BibTeX RDF |
|
1 | Xiao-Yi Zhang 0005, Zheng Zheng |
A Visualization Analytical Framework for Software Fault Localization Metrics. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Koki Kato, Fuyuki Ishikawa |
Learning-Based Falsification for Model Families of Cyber-Physical Systems. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Keita Suzuki, Takafumi Kubota, Kenji Kono |
Detecting and Analyzing Year 2038 Problem Bugs in User-Level Applications. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mengmeng Ge, Xiping Fu, Naeem Firdous Syed, Zubair A. Baig, Gideon Teo, Antonio Robles-Kelly |
Deep Learning-Based Intrusion Detection for IoT Networks. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Li Xin Tan, Jing Wei Shannen Wee, Jun Rong Chan, Wei Jie Soh, Chern Nam Yap |
Integrate Dragonfly Key Exchange (IETF - RFC 7664) into Arithmetic Circuit Homomorphic Encryption. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Holst, Shiling Shi, Xiaoqing Wen |
Targeted Partial-Shift For Mitigating Shift Switching Activity Hot-Spots During Scan Test. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Szu-Chuang Li, Bo-Chen Tai, Yennun Huang |
Evaluating Variational Autoencoder as a Private Data Release Mechanism for Tabular Data. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Koichi Bando, Kenji Tanaka 0001 |
Attempt to Extract Similar Cases by Applying Multilayer Perceptron to a Failure Database. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chien-Fu Cheng, Chu-Chiao Hsu |
A Fault-Tolerant Consensus Protocol for Software-Defined Networks. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Achour Mostéfaoui, Matthieu Perrin, Michel Raynal |
A New Insight into Local Coin-Based Randomized Consensus. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jusop Choi, Dongsoon Shin, Hyoungshick Kim, Jason Seotis, Jin B. Hong |
AMVG: Adaptive Malware Variant Generation Framework Using Machine Learning. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Qian Wang, Jianhui Jiang, Long Li |
A Reliability Automatic Assessment Framework for Open Source Software. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiao Cao |
Uniform Consensus Prone to Omission Failures with Fault Knowledge. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pratyush Kr. Deka, Monowar H. Bhuyan, Youki Kadobayashi, Erik Elmroth |
Adversarial Impact on Anomaly Detection in Cloud Datacenters. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Adriano Serckumecka, Ibéria Medeiros, Bernardo Ferreira, Alysson Bessani |
SLICER: Safe Long-Term Cloud Event Archival. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sara Alhajaili, Arshad Jhumka |
Auditability: An Approach to Ease Debugging of Reliable Distributed Systems. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tao Wang, Jianhui Jiang, Zhen Wang |
Reliability Estimation of Approximate Circuits Based on Probabilistic Gate Model. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xueling Zhang, Rocky Slavin, Xiaoyin Wang, Jianwei Niu 0001 |
Privacy Assurance for Android Augmented Reality Apps. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Rosenstatter, Christian Sandberg, Tomas Olovsson |
Extending AUTOSAR's Counter-Based Solution for Freshness of Authenticated Messages in Vehicles. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aliénor Damien, Michael Marcourt, Vincent Nicomette, Eric Alata, Mohamed Kaâniche |
Implementation of a Host-Based Intrusion Detection System for Avionic Applications. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Konno, Xavier Défago |
Approximate QoS Rule Derivation Based on Root Cause Analysis for Cloud Computing. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yutaro Yoshikawa, Masayuki Arai |
A Fine-Grained SDN Rule Table Partitioning and Distribution. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Thomas Gabor, Daniel Ferdinand Siegert, Olaf Spinczyk |
High-Accuracy Software Fault Injection in Source Code with Clang. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shinji Inoue, Takaji Fujiwara, Shigeru Yamada |
Estimation of Target Failure Measures for E/E/PE Safety-Related Software. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Joon Kuy Han, Dennis Wong |
SNudge: A Slidebar Nudge for Users to Practice Better Habits For Mobile Fingerprint Authentication. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yousuke Miyake, Yasuo Sato, Seiji Kajihara |
On-Chip Delay Measurement for In-Field Test of FPGAs. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Brahim Hamid, Quentin Rouland, Jason Jaskolka |
Distributed Maintenance of a Spanning Tree of k-Connected Graphs. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rodney Rodriguez, Xiaoyin Wang |
Static Analysis of File Manipulation Scripts. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Torii, Masato Kitakami |
A Method for Stable Block Generation Time in Proof of Work. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xuheng Duan, Haochen Pan, Lewis Tseng, Yingjian Wu |
BBB: Make Benchmarking Blockchains Configurable and Extensible. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Toshiyuki Fujikura, Ryo Kurachi |
An Attack Scenario Generation Method Using the Behavior Model. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Toshinori Sato, Tomoaki Ukezono |
Evaluation on Configurable Approximate Circuit for Aging-Induced Timing Violation Tolerance. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jiahao Zhang, Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi |
Moment-Based Approximation for Uncertainty Propagation in Fault Trees. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Oskar Pusz, Daniel Kiechle, Christian Dietrich 0001, Daniel Lohmann |
Program-Structure-Guided Approximation of Large Fault Spaces. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xuze Xia, Wei Zhang, Jianhui Jiang |
Ensemble Methods for Anomaly Detection Based on System Log. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shuhei Ota, Mitsuhiro Kimura |
Reliability Modeling of Coherent Systems with Dependent Components Due to Common Factors. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Fumio Machida |
On the Diversity of Machine Learning Models for System Reliability. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kenta Hanada, Tatsuhiro Tsuchiya, Yasumasa Fujisaki |
Satisfiability-Based Analysis of Cascading Failures in Systems of Interdependent Networks. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Huichen Lin, Dong Seong Kim 0001, Neil W. Bergmann |
SAGA: Secure Auto-Configurable Gateway Architecture for Smart Home. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Alfian Amrizal, Luis Guillen, Takuo Suganuma |
An Analytical Approach for Optimizing Data Transfer Rate in a Faulty Wireless Sensor Network. |
PRDC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Abu Hasnat Mohammad Rubaiyat, Yongming Qin, Homa Alemzadeh |
Experimental Resilience Assessment of an Open-Source Driving Agent. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ilsun You, Kangbin Yim, Vishal Sharma 0001, Gaurav Choudhary, Ing-Ray Chen, Jin-Hee Cho |
On IoT Misbehavior Detection in Cyber Physical Systems. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu |
Specification and Formal Verification of Atomic Concurrent Real-Time Transactions. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Zhengguo Yang, Toshiaki Aoki, Yasuo Tan |
Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Itsuo Takanami, Masaru Fukushi |
Degradable Restructuring of Mesh-Connected Processor Arrays with Spares on Orthogonal Sides. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hossain Shahriar, Kai Qian, Md Arabin Islam Talukder, Dan Chia-Tien Lo, Nidhibahen Patel |
Mobile Software Security with Dynamic Analysis. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nesrine Berjab, Hieu Hanh Le, Chia-Mu Yu, Sy-Yen Kuo, Haruo Yokota |
Hierarchical Abnormal-Node Detection Using Fuzzy Logic for ECA Rule-Based Wireless Sensor Networks. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sai Sidharth Patlolla, Bruce M. McMillin, Sridhar Adepu, Aditya Mathur |
An Approach for Formal Analysis of the Security of a Water Treatment Testbed. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Carmen Cheh, Ahmed M. Fawaz, Mohammad A. Noureddine, Binbin Chen 0001, William G. Temple, William H. Sanders |
Determining Tolerable Attack Surfaces that Preserves Safety of Cyber-Physical Systems. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Zhiqi Zhu, Joseph Callenes-Sloan, Benjamin Carrión Schäfer |
Control Flow Checking Optimization Based on Regular Patterns Analysis. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Georg von der Brüggen, Lea Schönberger, Jian-Jia Chen |
Do Nothing, But Carefully: Fault Tolerance with Timing Guarantees for Multiprocessor Systems Devoid of Online Adaptation. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Li-Sheng Chen, Wei-Ho Chung, Ing-Yi Chen, Sy-Yen Kuo |
Adaptive Repetition Scheme with Machine Learning for 3GPP NB-IoT. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jyh-haw Yeh, Srisarguru Sridhar, Gaby G. Dagher, Hung-Min Sun, Ning Shen, Kathleen Dakota White |
A Certificateless One-Way Group Key Agreement Protocol for End-to-End Email Encryption. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli |
On Algorithms Selection for Unsupervised Anomaly Detection. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Angelos Oikonomopoulos, Remco Vermeulen, Cristiano Giuffrida, Herbert Bos |
On the Effectiveness of Code Normalization for Function Identification. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tsvetoslava Vateva-Gurova, Salman Manzoor, Yennun Huang, Neeraj Suri |
InfoLeak: Scheduling-Based Information Leakage. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christian M. Fuchs, Nadia M. Murillo, Aske Plaat, Erik van der Kouwe, Daniel Harsono, Peng Wang |
Software-Defined Dependable Computing for Spacecraft. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hao Jin, Tatsuhiro Tsuchiya |
Deriving Fault Locating Test Cases from Constrained Covering Arrays. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Junsik Seo, Jaehyun Nam, Seungwon Shin |
Towards a Security-Enhanced Cloud Platform. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ryota Ogasawara, Masayuki Arai |
A SAT-Based Approach for SDN Rule Table Distribution. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Mendes, Naghmeh Ramezani Ivaki, Henrique Madeira |
Effects of GPS Spoofing on Unmanned Aerial Vehicles. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Schwahn, Nicolas Coppik, Stefan Winter 0001, Neeraj Suri |
FastFI: Accelerating Software Fault Injections. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bo-Chen Tai, Szu-Chuang Li, Yennun Huang, Neeraj Suri, Pang-Chieh Wang |
Exploring the Relationship Between Dimensionality Reduction and Private Data Release. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Venu Babu Thati, Jens Vankeirsbilck, Niels Penneman, Davy Pissoort, Jeroen Boydens |
An Improved Data Error Detection Technique for Dependable Embedded Software. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mehdi Karimibiuki, Ekta Aggarwal, Karthik Pattabiraman, André Ivanov |
DynPolAC: Dynamic Policy-Based Access Control for IoT Systems. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shun-Chieh Chang, Yeali S. Sun, Wu-Long Chuang, Meng Chang Chen, Bo Sun, Takeshi Takahashi 0001 |
ANTSdroid: Using RasMMA Algorithm to Generate Malware Behavior Characteristics of Android Malware Family. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | |
23rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018, Taipei, Taiwan, December 4-7, 2018 |
PRDC |
2018 |
DBLP BibTeX RDF |
|
1 | Yunlu Zhao, Tadashi Dohi, Hiroyuki Okamura |
Software Test-Run Reliability Modeling with Non-homogeneous Binomial Processes. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ravikiran Yeleswarapu, Arun K. Somani |
SSCMSD - Single-Symbol Correction Multi-symbol Detection for DRAM Subsystem. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Prashanth Palaniswamy, Bruce M. McMillin |
Cyber-Physical Security of an Electric Microgrid. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa 0002, Marco Vieira |
An Approach for Trustworthiness Benchmarking Using Software Metrics. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jianhui Jiang, Guangming Lu, Zhen Wang |
Methods for Approximate Adders Reliability Estimation Based on PTM Model. |
PRDC |
2018 |
DBLP DOI BibTeX RDF |
|