Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tooba Khan, Kumar Madhukar, Subodh Vishnu Sharma |
Efficient Adversarial Input Generation via Neural Net Patching. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christian Berger 0006, Sadok Ben Toumia, Hans P. Reiser |
Scalable Performance Evaluation of Byzantine Fault-Tolerant Systems Using Network Simulation. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Morten Konggaard Schou, Ingmar Poese, Jirí Srba |
Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Guangjie Li, Yan He, Yi Tang, Xiaochen Shen, Limin He |
Perceived Usability of Computer-Aided Engineering Software. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Robert Seungbok Lee, Sungheum Um |
Effects of Wrist Guard Microcurrent Stimulation Therapy on Pain, Range of Motion, and Muscle Strength in Physically Active Older Women with Carpal Tunnel Syndrome. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Yusaf Azimi, Cemal Yilmaz |
AdapTV+: Enhancing Model-Based Test Adaptation for Smart TVs through Icon Recognition. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Horacio L. França, César Alexandre Teixeira, Nuno Laranjeiro |
An Empirical Analysis of Rebalancing Methods for Security Issue Report Identification. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hailong Jiang, Shaolun Ruan, Bo Fang, Yong Wang 0021, Qiang Guan |
Visilience: An Interactive Visualization Framework for Resilience Analysis using Control-Flow Graph. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Qixiang He, John Komar, Ying Hwa Kee |
Key considerations in the week-to-week forecasting of individual match actions in football. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Taito Asaji, Tatsuhiro Tsuchiya |
Applying metamorphic testing to reliability calculating programs. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Srishti Sharma, Srikrishnan Divakaran, Tolga Kaya, Christopher Taber, Mehul S. Raval |
A Framework for Biomechanical Analysis of Jump Landings for Injury Risk Assessment. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shuhei Horio, Kouta Takahashi, Kenichi Kourai |
SEmigrate: Optimizing Data Protection with VM Introspection. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Erica Juliano, Chelsea Thakkar, Christopher Taber, Mehul S. Raval, Tolga Kaya, Samah Senbel |
A Dynamic Online Dashboard for Tracking the Performance of Division 1 Basketball Athletic Performance. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rahma Mukta, Shantanu Pal, Shailesh Mishra, Hye-Young Paik, Salil S. Kanhere, Michael Hitchens |
A Blockchain-Based Interoperable Architecture for IoT with Selective Disclosure of Information. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Eichhammer, Hans P. Reiser |
Utilizing Similarity for Improved Intrusion Detection: Autonomous Community Formation for Practical Heterogeneity Management. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Archita Ghosh, J. Lakshmi |
End-to-end Resiliency Analysis Framework for Cloud Storage Services. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luke Wildman |
Probabilistic Model Checking of Handball Action Sequences. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Natsumi Watanabe, Satoshi Otsuka, Hiroyuki Yamada, Masaya Itoh, Tsunamichi Tsukidate |
Extension of STPA to Analyze Decisions and Behaviors of Human as Controlled Process in Human-Machine Coexistence Environment. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Isuru Supasan Naotunna Andarage, Dileepa Fernando, Buddhi Avishka Lokuarachchi, Malithi Gimhani Athuluwage, Pavithra Wijewickrama |
Early Childhood Action Monitoring and Analytics System (ECAMS). |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Vicar Solomon, Farah Malik |
Perspectives of Pakistani Cricketers and Coaches Regarding Coaching Competence in Relation to Performance Efficacy. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yuki Yamaguchi, Toshiaki Aoki |
Attack Tree Analysis for Adversarial Evasion Attacks. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Célia Mahamdi, Jonathan Lejeune, Julien Sopena, Pierre Sens 0001, Mesaac Makpangou |
OMAHA: Opportunistic Message Aggregation for pHase-based Algorithms. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Guangjie Li, Yi Tang, Yan He, Biyi Yi, Weihao Li, Qilei Zhang |
How to Attract and Retain Users for Native Newborn Version Control Systems? |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Omid Asghari, Naghmeh Ivaki, Henrique Madeira |
Lead Time Analysis for UAVs' Failure Prediction in U-space. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kan Jiang, Jiayu Li, Zhaoyu Liu, Chen Dong |
Court Detection Using Masked Perspective Fields Network. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Masoumeh Izadi, Ehsan Goodarzi, Milad Farzalizadeh, Masoud Masoumi Moghadam, Aleksey Izmailov |
Officiating Cricket Bowling Using An Event-Based Computer Vision System. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chao Qu, Rongqian Zhou, Ke Liu, Zhuo Yan, Haipeng Qu |
BSGAT: A Graph Attention Network for Binary Code Similarity Detection. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zhaoyu Liu, Jingyu Guo, Mo Wang, Ruicong Wang, Kan Jiang, Jin Song Dong |
Recognizing a Sequence of Events from Tennis Video Clips: Addressing Timestep Identification and Subtle Class Differences. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yanguo Peng, Rongqiao Liu, Xiyue Gao, Luyuan Huang, Jingjing Guo, Yaofeng Tu |
SecCT: Secure and scalable count query models on encrypted genomic data. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Anamta Khan, João R. Campos, Naghmeh Ivaki, Henrique Madeira |
A Machine Learning driven Fault Tolerance Mechanism for UAVs' Flight Controller. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Wardzinski, Aleksander Jarzebowicz |
Development of the System Assurance Reference Model for Generating Modular Assurance Cases. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jérémie Decouchant, Burcu Kulahcioglu Ozkan, Yanzhuo Zhou |
Liveness Checking of the HotStuff Protocol Family. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Nishiguchi, Tatsuhiro Tsuchiya |
Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chenhao Shi, Hao Chen, Ruibang Liu, Guoqiang Li 0001 |
Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Ibrahim Alkoudsi, Gerhard Fohler, Marcus Völp |
A Network-Agnostic Approach to Enforcing Collision-Free Time-Triggered Communication. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Boiarov, Dmitry Bleklov, Pavlo Bredikhin, Nikita Koritsky, Sergey Ulasen |
RaceLens: A Machine Intelligence-Based Application for Racing Photo Analysis. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | |
28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023, Singapore, October 24-27, 2023 |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Hong Cheng, Venkatesh Prasad Venkataramanan, Pragya Kirti Gupta, Yun-Fei Hsu, Simon Burton 0001 |
Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Andrade, João Nuno Silva, Miguel Correia 0001 |
I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mateen Malik, Maytheewat Aramrattana, Mehdi Maleki, Peter Folkesson, Behrooz Sangchoolie, Johan Karlsson |
Simulation-based Evaluation of a Remotely Operated Road Vehicle under Transmission Delays and Denial-of-Service Attacks. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yucheng Sun, Ruomu Hou, Haifeng Yu |
Using Multi-dimensional Quorums for Optimal Resilience in Multi-resource Blockchains. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Cláudio Correia, Rita Prates, Miguel Correia 0001, Luís E. T. Rodrigues |
PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Shelopugin, Alexander Sirotkin 0001 |
Evaluating of Football Player 1v1 Abilities based on the Glicko-2 with Modifications. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kazuya Wakigami, Fumio Machida, Tuan Phung-Duc |
Reliability and Performance Evaluation of Two-input Machine Learning Systems. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zhaoyu Liu, Kan Jiang, Jin Song Dong |
Sports Injury Prediction in Professional Tennis. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | José Flora, Paulo Gonçalves, Nuno Antunes |
Intrusion Detection for Scalable and Elastic Microservice Applications. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Bolarinwa, Nadeem Qazi, Mustansar Ali Ghazanfar |
Shifting the Weight: Applications of AI in Olympic Weightlifting. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christian Berger 0006, Lívio Rodrigues, Hans P. Reiser, Vinicius Vielmo Cogo, Alysson Bessani |
Poster: Faster Quorums with FlashConsensus. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi |
Hierarchical Dependability Modeling with Multi-State Systems. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Weiyan Xu, Yinghao Zhang, Rachel Cardell-Oliver, Ajmal Mian, Jin B. Hong |
Entropy-based Selective Homomorphic Encryption for Smart Metering Systems. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Trishna Rajkumar, Johnny Öberg |
AnoDe: A Log-based Self-Supervised Framework to Detect Scrubber Failures in SRAM-FPGA. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Peter Folkesson, Behrooz Sangchoolie, Pierre Kleberger, Nasser Nowdehi |
On the Evaluation of Three Pre-Injection Analysis Techniques for Model-Implemented Fault- and Attack Injection. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mitsuho Takahashi, Fumio Machida, Qiang Wen |
How Data Diversification Benefits the Reliability of Three-version Image Classification Systems. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tomohiro Ishii, Kazuteru Namba |
Stuck-at Fault Tolerance in DNN Using Statistical data. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Xiuwen Lu, Zhicong Zhang, Hui Xu 0009 |
Safe Rust Code Recommendation Based on Siamese Graph Neural Network. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Giulio Masetti, Silvano Chiaradonna, Leonardo Robol, Felicita Di Giandomenico |
Random Bad State Estimator to Address False Data Injection in Critical Infrastructures. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Minjune Kim, Jin-Hee Cho, Hyuk Lim, Terrence J. Moore, Frederica Free-Nelson, Dan Dongseong Kim |
Performance and Security Evaluation of a Moving Target Defense Based on a Software-Defined Networking Environment. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Kangning Song, Siwei Zhou, Luyao Ye, Piaoyi Liu, Jing Tian, Jianwen Xiang |
Reliability Analysis of Multi-State System Based on Irrelevance Coverage Model. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mehdi Maleki, Mateen Malik, Peter Folkesson, Behrooz Sangchoolie, Johan Karlsson |
Modeling and Evaluating the Effects of Jamming Attacks on Connected Automated Road Vehicles. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Anamta Khan, Naghmeh Ivaki, Henrique Madeira |
Are UAVs' Flight Controller Software Reliable? |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Carmen Cârlan, Lydia Gauerhof, Barbara Gallina, Simon Burton 0001 |
Automating Safety Argument Change Impact Analysis for Machine Learning Components. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Daoqi Han, Tao Yu, Yueming Lu |
Progressive Evolution Scheme with Socialization Swarm for Privacy Blockchain. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yinqin Zhao, Chang Liu, Tao Yu, Long Wang, Xuanqing Shi, Yong Yang, Ying Li 0012, Zhengang Wang, Dongdong Shangguan |
Tracing Processing of Service Requests in Cloud Environments. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Joe Hewett, Matthew Leeke |
Developing a GPT-3-Based Automated Victim for Advance Fee Fraud Disruption. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Raul Sena Ferreira, Joris Guérin, Jérémie Guiochet, Hélène Waeselynck |
SiMOOD: Evolutionary Testing Simulation With Out-Of-Distribution Images. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | David Paiva, Raffael S. C. G. de Lima, Manoel J. M. Carvalho, Fátima Mattiello-Francisco, Henrique Madeira |
Enhanced software development process for CubeSats to cope with space radiation faults. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Emad Kareem Mutar |
Signature of Electrical System Reliability Used Inside Aircraft. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Joe Hewett, Mark Etman, Robbie Marseglia, Tomas Mella Pickersgill, Matthew Leeke |
Towards a Dependable Energy Market: Proof of Authority in a Blockchain-based Peer-to-Peer Microgrid. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Juan Manuel Morote, Jose Luis de la Vara, Giovanni Giachetti, Clara Ayora, Luis Alonso |
An Industrial Approach for Model-Based Reliability-Oriented System Design. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Zhihao Dai, Matthew Leeke, Yulong Ding, Shuanghua Yang |
A Heterogeneous Redundant Architecture for Industrial Control System Security. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Archita Ghosh, J. Lakshmi |
Understanding the Resiliency of Cloud Storage Services. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | José D'Abruzzo Pereira, João Henggeler Antunes, Marco Vieira |
A Software Vulnerability Dataset of Large Open Source C/C++ Projects. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | |
27th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2022, Beijing, China, November 28 - Dec. 1, 2022 |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sabuj Laskar, Md Hasanur Rahman, Bohan Zhang, Guanpeng Li |
Characterizing Deep Learning Neural Network Failures Between Algorithmic Inaccuracy and Transient Hardware Faults. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Qianying Liao, Alexandre Cortez Santos, Bruno Cabral, João Paulo Fernandes, Nuno Lourenço 0002 |
HERB+: Evolving an Industrial-Strength Privacy-Preserving Machine Learning Framework. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Júlio Mendonça, Minjune Kim, Rafal Graczyk, Marcus Völp, Dan Dongseong Kim |
Security Modeling and Analysis of Moving Target Defense in Software Defined Networks. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Rapin, Boutheina Bannour, Morayo Adedjouma |
Model-Based Generation and Analysis Toolset of Fault Trees With Heterogeneous Failure Events. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dohan Kim 0004, Aming Wu, Young-Woo Kwon 0001 |
Comparison of Meta-Heuristic Algorithms for Task Scheduling in Distributed Stream Processing. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jinwoo Kim, Jaehyun Nam |
Towards Building Secure and Reconfigurable Virtual Networks on Multi-Tenant Data Centers. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bo-Chen Tai, Szu-Chuang Li, Yennun Huang, Pang-Chieh Wang |
Examining the Utility of Differentially Private Synthetic Data Generated using Variational Autoencoder with TensorFlow Privacy. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yinqin Zhao, Long Wang |
Extracting Network Knowledge and Monitoring Network Status on Cloud Container Platforms. |
PRDC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | B. Naresh Kumar Reddy, Subrat Kar |
Machine Learning Techniques for the Prediction of NoC Core Mapping Performance. |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mehdi Karimibiuki, Karthik Pattabiraman, André Ivanov |
Are you for Real? Authentication in Dynamic IoT Systems. |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli |
Detecting Intrusions by Voting Diverse Machine Learners: Is It Really Worth? |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xuanyu Duan, Mengmeng Ge, Triet Huynh Minh Le, Faheem Ullah, Shang Gao 0003, Xuequan Lu, Muhammad Ali Babar 0001 |
Automated Security Assessment for the Internet of Things. |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Ayrault, Etienne Borde, Ulrich Kühne, Jean Leneutre |
Moving Target Defense Strategy in Critical Embedded Systems: A Game-theoretic Approach. |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck |
Benchmarking Safety Monitors for Image Classifiers with Machine Learning. |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Dia, Naghmeh Ramezani Ivaki, Nuno Laranjeiro |
An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools. |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bo-Chen Tai, Szu-Chuang Li, Yennun Huang |
A VAE Conversion Method for Private Data Linkage. |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shahid Khan 0002, Joost-Pieter Katoen |
Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs. |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christian Linder, Oliver E. Theel |
Extending the Concept of Voting Structures to Support Path-Based Replication Strategies. |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kaitlyn Lee, Michael Gowanlock, Bertrand Cambou |
SABER-GPU: A Response-Based Cryptography Algorithm for SABER on the GPU. |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fumio Machida, Ermeson C. Andrade |
Availability Modeling for Drone Image Processing Systems with Adaptive Offloading. |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | B. Naresh Kumar Reddy, Subrat Kar |
An Efficient Application Core Mapping Algorithm for Wireless Network-an-Chip. |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Minhao Qiu, Peter Bazan, Tobias Antesberger, Florian Bock, Reinhard German |
Reliability assessment of multi-sensor perception system in automated driving functions. |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Eischer, Tobias Distler |
Egalitarian Byzantine Fault Tolerance. |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Frederico Cerveira, Jomar Domingos, Raul Barbosa, Henrique Madeira |
Measuring lead times for failure prediction. |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
26th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2021, Perth, Australia, December 1-4, 2021 |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Chunyan Mu, Guoqiang Li 0001 |
Integrating Information Flow Analysis in Unifying Theories of Programming. |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Klikovits, Paolo Arcaini |
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|