Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Bhaskar Anand, Pachamuthu Rajalakshmi |
Client-Server Based Implementation of Real-time LiDAR Data Streaming on ROS platform. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Purboday Ghosh, Gabor Karsai |
Distributed Cyber Physical Systems Software Model Checking using Timed Automata. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sourav Banerjee, Debashis Das, Pushpita Chatterjee, Uttam Ghosh |
Blockchain-enabled Digital Twin Technology for Next-Generation Transportation Systems. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Monowar Hasan, Sibin Mohan |
You Can't Always Check What You Wanted: : Selective Checking and Trusted Execution to Prevent False Actuations in Real-Time Internet-of-Things. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sanjoy K. Baruah, Thidapat Chantem, Nathan Fisher, Fatima Raadia |
A Scheduling Model Inspired by Security Considerations. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ondrej Benedikt, Javier Pérez-Rodríguez, Patrick Meumeu Yomsi, Michal Sojka |
Reducing Peak Temperature by Redistributing Idle-Time in Modern MPSoCs. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Palli Venkata Aishwarya, D. Santhosh Reddy, Dinesh Kumar Sonkar, Poluri Nikhil Koundinya, P. Rajalakshmi |
Robust Deep Learning based Speed Bump Detection for Autonomous Vehicles in Indian Scenarios. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ziran Min, Shuang Zhou, Zhuangwei Kang, Shashank Shekhar 0001, Charif Mahmoudi, Aniruddha S. Gokhale, Aniruddha Gokhale |
Managing and Optimizing 5G & Beyond Network Resources for Multi-Task Digital Twin Applications in Industry 4.0. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Yano, Takuya Azumi |
RD-Gen: Random DAG Generator Considering Multi-rate Applications for Reproducible Scheduling Evaluation. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Wilhelm Rosinski, Lukas Stahlbock, Falk Langer |
Container System and Communication Reactivity in a Real-Time Embedded Environment. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luca Abeni, Remo Andreoli, Harald Gustafsson, Raquel Mini, Tommaso Cucinotta |
Fault Tolerance in Real-Time Cloud Computing. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marion Sudvarg, Sanjoy K. Baruah, Christopher D. Gill |
Elastic Scheduling for Fixed-Priority Constrained-Deadline Tasks. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Evan Wang, Yogesh D. Barve, Aniruddha Gokhale, Hongyang Sun 0001 |
Dynamic Resource Management for Cloud-native Bulk Synchronous Parallel Applications. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marcos A. De Oliveira, Gerson Geraldo H. Cavalheiro, Vinícius Andrei Cerbaro, Clyde W. Fraisse |
Clustering Weather Time Series used for Agricultural Disease Alert Systems in Florida. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xiaobo Zhang, Zhangqin Huang |
A Design and Implementation of Decentralized Edge Intelligent LoRa Gateway. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Monaco, Gautam Gala, Gerhard Fohler |
Shared Resource Orchestration Extensions for Kubernetes to Support Real-Time Cloud Containers. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | H. N. Srikanth, D. Santhosh Reddy, Dinesh Kumar Sonkar, Ronit Kumar, P. Rajalakshmi |
Pothole Detection for Autonomous Vehicles in Indian Scenarios using Deep Learning. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Aldin Berisa, Mohammad Ashjaei, Masoud Daneshtalab, Mikael Sjödin, Saad Mubeen |
Investigating and Analyzing CAN-to-TSN Gateway Forwarding Techniques. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zhuangwei Kang, Ziran Min, Shuang Zhou, Yogesh D. Barve, Aniruddha Gokhale |
Dataset Placement and Data Loading Optimizations for Cloud-Native Deep Learning Workloads. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | |
26th IEEE International Symposium on Real-Time Distributed Computing, ISORC 2023, Nashville, TN, USA, May 23-25, 2023 |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Akram Hakiri, Sadok Ben Yahia, Aniruddha S. Gokhale |
Hyper-5G: A Cross-Atlantic Digital Twin Testbed for Next Generation 5G IoT Networks and Beyond. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Abhilasha Saroj, Michael Hunter, Somdut Roy, Angshuman Guin |
A Three-Tier Incremental Approach for Development of Smart Corridor Digital Twins. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Amin Avan, Akramul Azim, Qusay H. Mahmoud |
A Robust Scheduling Algorithm for Overload-Tolerant Real-Time Systems. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bahar Houtan, Mehmet Onur Aybek, Mohammad Ashjaei, Masoud Daneshtalab, Mikael Sjödin, John Lundbäck, Saad Mubeen |
End-to-end Timing Modeling and Analysis of TSN in Component-Based Vehicular Software. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yoshitada Takaso, Hiroshi Oyama 0002, Hiroaki Takada, Takuya Azumi |
HRMP3+TECS: Component Framework for Multiprocessor Real-time Operating System with Memory Protection. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Emad Jacob Maroun, Martin Schoeberl, Peter P. Puschner |
Compiler-Directed Constant Execution Time on Flat Memory Systems. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Terry N. Guo |
Digital Twin Enabled Q-Learning for Flying Base Station Placement: Impact of Varying Environment and Model Errors. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hinata Tomimori, Hiroshi Oyama 0002, Takuya Azumi |
Automated Testing Framework for Embedded Component Systems. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Maria J. P. Peixoto, Akramul Azim |
A collaborative and distributed task management system for real-time systems. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shaik Mohammed Salman, Van-Lan Dao, Alessandro Vittorio Papadopoulos, Saad Mubeen, Thomas Nolte |
Scheduling Firm Real-time Applications on the Edge with Single-bit Execution Time Prediction. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Francis Akowuah, Kenneth Fletcher, Fanxin Kong |
Variable Window and Deadline-Aware Sensor Attack Detector for Automotive CPS. |
ISORC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Eric Hutter, Robin Lakos, Uwe Brinkschulte |
Improving an Artificial Hormone System's Time Bounds Using Task Allocation Signals. |
ISORC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Blumschein, Ilja Behnke, Lauritz Thamsen, Odej Kao |
Differentiating Network Flows for Priority-Aware Scheduling of Incoming Packets in Real-Time IoT Systems. |
ISORC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Reinder J. Bril |
Optimal Order Assignment Algorithms for Single-Rate Time-Driven AFAP Cyclic Executives. |
ISORC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Homann, Mathias Pacher, Uwe Brinkschulte |
Evaluation of Conditional Tasks in an Artificial DNA System. |
ISORC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Denzler, Johann Blieberger, Wolfgang Kastner |
Utilising Kronecker Algebra to Detect Unexpected Behaviour in Distributed Systems. |
ISORC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sanjoy K. Baruah |
Security-Cognizant Real-Time Scheduling. |
ISORC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Brandon Upp, Sai Pavan Kumar Meruga, James H. Hill |
Using Reservoir Sampling and Parallelization to Improve Dynamic Binary Instrumentation. |
ISORC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michael Garrett Bechtel, Heechul Yun |
Denial-of-Service Attacks on Shared Resources in Intel's Integrated CPU-GPU Platforms. |
ISORC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Malte Bargholz, Christian Dietrich 0001, Daniel Lohmann |
PSIC: Priority-Strict Multi-Core IRQ Processing. |
ISORC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Farina, Gautam Gala, Marcello Cinque, Gerhard Fohler |
Assessing Intel's Memory Bandwidth Allocation for resource limitation in real-time systems. |
ISORC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hao Zhang, Frank Mueller 0001 |
CLAIRE: Enabling Continual Learning for Real-time Autonomous Driving with a Dual-head Architecture. |
ISORC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | |
25th IEEE International Symposium On Real-Time Distributed Computing, ISORC 2022, Västerås, Sweden, May 17-18, 2022 |
ISORC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rui Xu, Siyu Luan, Zonghua Gu 0001, Qingling Zhao, Gang Chen 0023 |
LRP-based Policy Pruning and Distillation of Reinforcement Learning Agents for Embedded Systems. |
ISORC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Eleftherios Kyriakakis, Koen Tange, Niklas Reusch, Eder Ollora Zaballa, Xenofon Fafoutis, Martin Schoeberl, Nicola Dragoni |
Fault-tolerant Clock Synchronization using Precise Time Protocol Multi-Domain Aggregation. |
ISORC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Saehanseul Yi, Tae-Wook Kim, Jong-Chan Kim, Nikil D. Dutt |
Energy-Efficient Adaptive System Reconfiguration for Dynamic Deadlines in Autonomous Driving. |
ISORC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Denzler, Thomas Frühwirth, Andreas Kirchberger, Martin Schoeberl, Wolfgang Kastner |
Experiences from Adjusting Industrial Software for Worst-Case Execution Time Analysis. |
ISORC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nyalia Lui, Mohammad Al Hasan, James H. Hill |
Real-time Detection of the More is Less Performance Anti-Pattern in MySQL Databases. |
ISORC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Stevanato, Tommaso Cucinotta, Luca Abeni, Daniel Bristot de Oliveira |
An Evaluation of Adaptive Partitioning of Real-Time Workloads on Linux. |
ISORC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Swastik Mittal, Frank Mueller 0001 |
T-Pack: Timed Network Security for Real Time Systems. |
ISORC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eleftherios Kyriakakis, Jens Sparsø, Peter P. Puschner, Martin Schoeberl |
Synchronizing Real-Time Tasks in Time-Triggered Networks. |
ISORC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sanjoy K. Baruah |
Real-Time Scheduling of Multistage IDK-Cascades. |
ISORC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tanya Amert, James H. Anderson |
CUPiDRT: Detecting Improper GPU Usage in Real-Time Applications. |
ISORC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gautam Gala, Gerhard Fohler, Peter Tummeltshammer, Stefan Resch, Reinhard Hametner |
RT-Cloud: Virtualization Technologies and Cloud Computing for Railway Use-Case. |
ISORC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
24th IEEE International Symposium on Real-Time Distributed Computing, ISORC 2021, Daegu, South Korea, June 1-3, 2021 |
ISORC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eric Hutter, Uwe Brinkschulte |
Handling Assignment Priorities to Degrade Systems in Self-Organizing Task Distribution. |
ISORC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Vaas, Peter Ulbrich, Christian Eichler, Peter Wägemann, Marc Reichenbach, Dietmar Fey |
Taming Non-Deterministic Low-Level I/O: Predictable Multi-Core Real-Time Systems by SoC Co-Design. |
ISORC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Platzer, Peter P. Puschner |
A Processor Extension for Time-Predictable Code Execution. |
ISORC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Brinkschulte, Mathias Pacher |
Handling Communication Dropouts in an Artificial Hormone and DNA System. |
ISORC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Haytham Baniabdelghany, Roman Obermaisser, Alá F. Khalifeh |
A Reliable Job Allocation Scheduler for Time-Triggered Wireless Networks. |
ISORC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wayne Gray, Athanasios Tsokanos, Raimund Kirner |
Multi-Link Failure Effects on MPLS Resilient Fast-Reroute Network Architectures. |
ISORC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Balszun, Martin Geier 0001, Samarjit Chakraborty |
Predictable Vision for Autonomous Systems. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Prajjwal Dangal, Gedare Bloom |
Towards Industrial Security Through Real-time Analytics. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tanya Amert, Ming Yang 0036, Saujas Nandi, Thanh Vu, James H. Anderson, F. Donelson Smith |
The Price of Schedulability in Multi-Object Tracking: The History-vs.-Accuracy Trade-Off. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Eric Hutter, Mathias Pacher, Uwe Brinkschulte |
Evaluation and Complexity Analysis of Task Dependencies in an Artificial Hormone System. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Travis Brummett, Kyoungho An, Aniruddha Gokhale, Sanders Mertens |
A Model-driven Middleware Integration Approach for Performance-Sensitive Distributed Simulations. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Adam Kostrzewa, Rolf Ernst |
Fast Failover in Ethernet-Based Automotive Networks. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shaik Mohammed Salman, Alessandro Vittorio Papadopoulos, Saad Mubeen, Thomas Nolte |
A Systematic Migration Methodology for Complex Real-time Software Systems. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael Platzer, Peter P. Puschner |
A Real-Time Application with Fully Predictable Task Timing. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bradley Potteiger, Feiyang Cai, Abhishek Dubey, Xenofon D. Koutsoukos, Zhenkai Zhang |
Security in Mixed Time and Event Triggered Cyber-Physical Systems using Moving Target Defense. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Mascitti, Tommaso Cucinotta, Luca Abeni |
Heuristic partitioning of real-time tasks on multi-processors. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Eduardo Quiñones, Sara Royuela, Claudio Scordino, Paolo Gai, Luís Miguel Pinho, Luís Nogueira, Jan Rollo, Tommaso Cucinotta, Alessandro Biondi 0001, Arne Hamann, Dirk Ziegenbein, Hadi Saoud, Romain Soulat, Björn Forsberg, Luca Benini, Gianluca Mandò, Luigi Rucher |
The AMPERE Project: : A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Onwuchekwa, Juan Garcia Enamorado, Carlos Lua, Roman Obermaisser |
Failure Detection in TSN Startup Using Deep Learning. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Purboday Ghosh, Gabor Karsai |
An Integrated Cyber-Physical Fault Management Approach. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | |
23rd IEEE International Symposium on Real-Time Distributed Computing, ISORC 2020, Nashville, TN, USA, May 19-21, 2020 |
ISORC |
2020 |
DBLP BibTeX RDF |
|
1 | Sanjoy K. Baruah |
The Efficient Multiprocessor Implementation of Synchronous Reactive Components. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael Wilbur, Chinmaya Samal, Jose Paolo Talusan, Keiichi Yasumoto, Abhishek Dubey |
Time-dependent Decentralized Routing using Federated Learning. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Florian Hofer 0001, Martin A. Sehr, Barbara Russo, Alberto L. Sangiovanni-Vincentelli |
ODRE Workshop: Probabilistic Dynamic Hard Real-Time Scheduling in HPC. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gedare Bloom, Joel Sherrill |
Harmonizing ARINC 653 and Realtime POSIX for Conformance to the FACE Technical Standard. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zhiheng Zhong, Jiabo He, Maria Alejandra Rodriguez, Sarah M. Erfani, Ramamohanarao Kotagiri, Rajkumar Buyya |
Heterogeneous Task Co-location in Containerized Cloud Computing Environments. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ajaykrishna Madhu, Ramkumar Harikrishnakumar, Saideep Nannapaneni, Krishna Krishnan |
Real-Time Event-Based Dynamic Multi-Facility Vehicle Rerouting. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Randolf Rotta, Raphael Segabinazzi Ferreira, Jörg Nolte |
Real-Time Dynamic Hardware Reconfiguration for Processors with Redundant Functional Units. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nayreet Islam, Akramul Azim |
A Situation-Aware Adaptation Framework for Intelligent Transportation Systems. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Slim Ben-Amor, Liliana Cucu-Grosjean, Mehdi Mezouak, Yves Sorel |
Probabilistic Schedulability Analysis for Real-time Tasks with Precedence Constraints on Partitioned Multi-core. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Reif, Wolfgang Schröder-Preikschat |
Precisely Timed Task Execution. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vatsal Maru, Saideep Nannapaneni, Krishna Krishnan |
Internet of Things based Cyber-Physical System framework for Real-Time Operations. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maria J. P. Peixoto, Akramul Azim |
Context-based learning for autonomous vehicles. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mubarak Adetunji Ojewale, Patrick Meumeu Yomsi, Borislav Nikolic |
Multi-Level Preemption in TSN: Feasibility and Requirements Analysis. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Emad Jacob Maroun, Martin Schoeberl, Peter P. Puschner |
Towards Dual-Issue Single-Path Code. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nyalia Lui, James H. Hill |
A Generalized Approach for Non-intrusive Real-time Instrumentation of Standards-based Distributed Middleware. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Catherine Menon, Saverio Iacovelli, Raimund Kirner |
ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mike Du, James H. Hill |
Using Multi-core Architectures to Improve the Performance of Real-time Dynamic Binary Instrumentation. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Serra, Gabriele Ara, Pietro Fara, Tommaso Cucinotta |
An Architecture for Declarative Real-Time Scheduling on Linux. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David Lennick, Akramul Azim, Ramiro Liscano |
Container-Based Internet-of-Things Architecture Pattern: Kill Switch. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hamid Tabani, Roger Pujol, Jaume Abella 0001, Francisco J. Cazorla |
A Cross-Layer Review of Deep Learning Frameworks to Ease Their Optimization and Reuse. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yogesh D. Barve, Himanshu Neema, Zhuangwei Kang, Hongyang Sun 0001, Aniruddha Gokhale, Thomas Roth |
EXPPO: EXecution Performance Profiling and Optimization for CPS Co-simulation-as-a-Service. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Peter P. Puschner, Raimund Kirner |
Interfacing to Time-Triggered Communication Systems. |
ISORC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Hughes, Amro Awad |
Quantifying Performance Determinism in Virtualized Mixed-Criticality Systems. |
ISORC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shivakumar Sastry |
Coordinated Conveying. |
ISORC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu |
Fine-Grained Formal Specification and Analysis of Buddy Memory Allocation in Zephyr RTOS. |
ISORC |
2019 |
DBLP DOI BibTeX RDF |
|