UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

AccountNet: Accountable Data Propagation Using Verifiable Peer Shuffling

2023 IEEE 43rd International Conference on Distributed Computing Systems (ICDCS), 2023, p.48-61

Yoon, Man-Ki

2023

Volltextzugriff (PDF)

Integrating security constraints into fixed priority real-time schedulers

Real-time systems, 2016-09, Vol.52 (5), p.644-674

2016

Volltextzugriff (PDF)

Real-Time Computing on Multicore Processors

Computer (Long Beach, Calif.), 2016-09, Vol.49 (9), p.69-77

2016

Volltextzugriff (PDF)

SecureCore: A multicore-based intrusion detection architecture for real-time embedded systems

2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2013, p.21-32

2013

Volltextzugriff (PDF)

Guest Editorial Special Issue on RRCPS: Reliable and Resilient Cyber-Physical Systems

IEEE internet of things journal, 2019-08, Vol.6 (4), p.6271-6275

2019

Volltextzugriff (PDF)

A generalized model for preventing information leakage in hard real-time systems

21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015, p.271-282

2015

Volltextzugriff (PDF)

Memory heat map: anomaly detection in real-time embedded systems using memory behavior

2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), 2015, p.1-6

2015

Volltextzugriff (PDF)

TimeDice: Schedulability-Preserving Priority Inversion for Mitigating Covert Timing Channels Between Real-time Partitions

2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2022, p.453-465

2022

Volltextzugriff (PDF)

A Real-Time Ubiquitous System for Assisted Living: Combined Scheduling of Sensing and Communication for Real-Time Tracking

IEEE transactions on computers, 2008-06, Vol.57 (6), p.795-808

2008

Volltextzugriff (PDF)

ADLP: Accountable Data Logging Protocol for Publish-Subscribe Communication Systems

2019 IEEE 39th International Conference on Distributed Computing Systems (ICDCS), 2019, p.1149-1160

2019

Volltextzugriff (PDF)

Migrating from Per-Job Analysis to Per-Resource Analysis for Tighter Bounds of End-to-End Response Times

IEEE transactions on computers, 2010-07, Vol.59 (7), p.933-942

2010

Volltextzugriff (PDF)

Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation

Proceedings of ACM on programming languages, 2022-10, Vol.6 (OOPSLA2), p.60-88

2022

Volltextzugriff (PDF)

ABC: Abstract prediction Before Concreteness

2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2020, p.1103-1108

2020

Volltextzugriff (PDF)

Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation

Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-31

2020

Volltextzugriff (PDF)

Real-Time Systems Security through Scheduler Constraints

2014 26th Euromicro Conference on Real-Time Systems, 2014, p.129-140

2014

Volltextzugriff (PDF)

VirtualDrone: virtual sensing, actuation, and communication for attack-resilient unmanned aerial systems

2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS), 2017, p.143-154

2017

Volltextzugriff (PDF)

TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems

2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016, p.1-12

2016

Volltextzugriff (PDF)

Robust Co-Design of Control and Real-Time Scheduling in Cyber-Physical Systems

Applied mathematics & information sciences, 2016-07, Vol.10 (4), p.1319-1329

2016

Volltextzugriff (PDF)

Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling

2013 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013, p.1313-1318

2013

Volltextzugriff (PDF)

Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems

2013 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013, p.970-975

2013

Volltextzugriff (PDF)

Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems

2014 IEEE 38th Annual Computer Software and Applications Conference, 2014, p.321-331

2014

Volltextzugriff (PDF)

Task-Aware Novelty Detection for Visual-based Deep Learning in Autonomous Systems

2020 IEEE International Conference on Robotics and Automation (ICRA), 2020, p.11060-11066

2020

Volltextzugriff (PDF)

Novelty Detection via Network Saliency in Visual-Based Deep Learning

2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2019, p.52-57

2019

Volltextzugriff (PDF)

Optimizing Tunable WCET with Shared Resource Allocation and Arbitration in Hard Real-Time Multicore Systems

2011 IEEE 32nd Real-Time Systems Symposium, 2011, p.227-238

2011

Volltextzugriff (PDF)

ABC: abstract prediction before concreteness

Proceedings of the 23rd Conference on Design, Automation and Test in Europe, 2020, p.1103-1108

2020

Volltextzugriff (PDF)

1 – 25 von 145

Menü

Weitere Dienste

Einstellungen

AccountNet: Accountable Data Propagation Using Verifiable Peer Shuffling

Integrating security constraints into fixed priority real-time schedulers

Real-Time Computing on Multicore Processors

SecureCore: A multicore-based intrusion detection architecture for real-time embedded systems

Guest Editorial Special Issue on RRCPS: Reliable and Resilient Cyber-Physical Systems

A generalized model for preventing information leakage in hard real-time systems

Memory heat map: anomaly detection in real-time embedded systems using memory behavior

TimeDice: Schedulability-Preserving Priority Inversion for Mitigating Covert Timing Channels Between Real-time Partitions

A Real-Time Ubiquitous System for Assisted Living: Combined Scheduling of Sensing and Communication for Real-Time Tracking

ADLP: Accountable Data Logging Protocol for Publish-Subscribe Communication Systems

Migrating from Per-Job Analysis to Per-Resource Analysis for Tighter Bounds of End-to-End Response Times

Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation

ABC: Abstract prediction Before Concreteness

Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation

Real-Time Systems Security through Scheduler Constraints

VirtualDrone: virtual sensing, actuation, and communication for attack-resilient unmanned aerial systems

TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems

Robust Co-Design of Control and Real-Time Scheduling in Cyber-Physical Systems

Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling

Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems

Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems

Task-Aware Novelty Detection for Visual-based Deep Learning in Autonomous Systems

Novelty Detection via Network Saliency in Visual-Based Deep Learning

Optimizing Tunable WCET with Shared Resource Allocation and Arbitration in Hard Real-Time Multicore Systems

ABC: abstract prediction before concreteness

Suchergebnisse filtern