- 2020-10-16
Abstract PRET Machines
E. Lee, J. Reineke, M. Zimmer, 2017 - 2020-07-03
Towards a unified behavior trees framework for robot control
A. Marzinotto, M. Colledanchise, C. Smith and P. Ögren, 2014 - 2020-06-19
DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems
Giannopoulou, G., Poplavko, P., Socci, D. et al., 2018 - 2020-06-05
How to Read a Paper
S. Keshav, 2007 - 2020-05-29
Probabilistic Collision Threat Assessment for Autonomous Driving at Road Intersections Inclusive of Vehicles in Violation of Traffic Rules
Samyeul Noh, 2018 - 2020-05-15
RedLeaf: Towards An Operating System for Safe and Verified Firmware
Narayanan, Vikram and Baranowski, Marek and Ryzhyk, Leonid and Rakamaric, Zvonimir and Burtsev, Anton, 2019 - 2020-04-24
Slow and Steady: Measuring and Tuning Multicore Interference
Dan Iorga, Tyler Sorensen, John Wickerson, Alastair F. Donaldson, 2020 - 2020-04-17
A Dynamic Scratchpad Memory Unit for Predictable Real-Time Embedded Systems
S. Wasly and R. Pellizzoni, 2013 - 2020-04-03
Design, Analysis, and Experiments of Preview Path Tracking Control for Autonomous Vehicles
S. Xu and H. Peng, 2020 - 2020-03-27
A Framework for Estimating Driver Decisions Near Intersections
V. Gadepally, A. Krishnamurthy and U. Ozguner, 2013 - 2020-03-20
A thread synchronization model for the PREEMPT_RT Linux kernel
D. B. de Oliveira, R. S. de Oliveira, and T. Cucinotta, 2020 - 2020-03-13
Designing Mixed Criticality Applications on Modern Heterogeneous MPSoC Platforms
Gracioli G, Tabish R, Mancuso R, Mirosanlou R, Pellizzoni R, Caccamo M., 2019 - 2020-03-06
Novel Methodologies for Predictable CPU-To-GPU Command Offloading
R. Cavicchioli, N. Capodieci, M. Solieri, and M. Bertogna, 2019 - 2020-02-21
Re-Plannable Automated Parking System With a Standalone Around View Monitor for Narrow Parking Lots
C. Jang, C. Kim, S. Lee, S. Kim, S. Lee and M. Sunwoo, 2020 - 2019-07-30
Simultaneous Multithreading Applied to RealTime
Sims Hill Osborne and Joshua J. Bakita and James H. Anderson, 2019 - 2019-03-14
Deadline-based Scheduling for GPU with Preemption Support
Nicola Capodieci, Roberto Cavicchioli, Marko Bertogna, Aingara Paramakuru, 2018 - 2019-03-07
A Real-Time Obstacle Avoidance Method for Autonomous Vehicles Using an Obstacle-Dependent Gaussian Potential Field
Jang-Ho Cho, Dong-Sung Pae, Myo Taeg Lim, Tae-Koo Kang, 2018 - 2019-02-28
Scaling Up: The Validation of Empirically Derived Scheduling Rules on NVIDIA GPUs
J. Bakita, N. Otterness, J. Anderson, and F.D. Smith, 2018 - 2018-03-15
Continuous curvature path planning for semi-autonomous vehicle maneuvers using RRT
Lan, Xiaodong, and Stefano Di Cairano, 2015 - 2018-02-22
Spectre Attacks: Exploiting Speculative Execution
Paul Kocher, Daniel Genkin, Daniel Gruss, Werner Haas, Mike Hamburg, Moritz Lipp, Stefan Mangard, Thomas Prescher, Michael Schwarz, Yuval Yarom, 2018 - 2018-02-01
Implicit GPU Synchronization: A Barrier to Real-Time CUDA Workloads
Nathan Otterness, Ming Yang, Tanya Amert, Joshua Bakita, James H. Anderson, and F. Donelson Smith, 2017 - 2016-12-16
A Fully Preemptive Multiprocessor Semaphore Protocol for Latency-Sensitive Real-Time Applications
Bjorn B. Brandenburg, 2013 - 2016-11-07
Light-PREM: Automated software refactoring for predictable execution on COTS embedded systems
R. Mancuso, R. Dudko and M. Caccamo, 2014 - 2016-10-14
Rigorous Benchmarking in Reasonable Time
Kalibera, Tomas and Jones, Richard E., 2013 - 2016-09-30
Practical search techniques in path planning for autonomous driving
Dmitri Dolgov, Sebastian Thrun, Michael Montemerlo, and James Diebel, 2008 - 2016-09-23
Keep it slow and in time: Online DVFS with hard real-time workloads
Kai Lampka and Björn Forsberg, 2016 - 2016-07-22
GPES: A Preemptive Execution System for GPGPU Computing
Husheng Zhou, Guangmo Tong, and Cong Liu, 2015 - 2016-05-13
Algorithmic Improvements for Fast Concurrent Cuckoo Hashing
Xiaozhou Li, David G. Andersen, Michael Kaminsky, Michael J. Freedman, 2014 - 2016-04-22
Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework
Amit Vasudevan, Sagar Chaki, Limin Jia, Jonathan McCune, James Newsome and Anupam Datta, 2013 - 2016-02-12
Computer performance microscopy with Shim
Xi Yang, Stephen M. Blackburn, Kathryn S. McKinley, 2015 - 2016-01-29
Memory Bandwidth Management for Efficient Performance Isolation in Multi-Core Platforms
Yun, H.; Yao, G.; Pellizzoni, R.; Caccamo, M.; Sha, L., 2015 - 2016-01-15
Beware of the Hidden! How Cross-traffic Affects Quality Assurances of Competing Real-time Ethernet Standards for In-Car Communication
Till Steinbach, Hyung-Taek Lim, Franz Korf, Thomas C Schmidt, Daniel Herrscher, Adam Wolisz, 2015 - 2015-12-04
ARMageddon: Last-Level Cache Attacks on Mobile Devices
M. Lipp, D. Gruss, R. Spreitzer, S. Mangard, 2015 - 2015-11-06
A Predictable Execution Model for COTS-Based Embedded Systems
Pellizzoni, R.; Betti, E.; Bak, S.; Gang Yao, 2011 - 2015-07-24
mTCP: a Highly Scalable User-level TCP Stack for Multicore Systems
E. Jeong, S. Woo, M. Jamshed, H. Jeong, S. Ihm, D. Han and K. Park, 2014 - 2015-06-26
The TURBO Diaries: Application-controlled Frequency Scaling Explained
Jons-Tobias Wamhoff, Stephan Diestelhorst, Christof Fetzer, Patrick Marlier, Pascal Felber, Dave Dice, 2014 - 2015-06-12
Scalable Read-mostly Synchronization Using Passive Reader-Writer Locks
Ran Liu, Heng Zhang and Haibo Chen, 2013 - 2015-05-29
Dependable and predictable time-triggered Ethernet networks with COTS components
Martin Elshuber, Roman Obermaisser, 2013 - 2015-05-15
The Technology Behind Crusoe Processors
Alexander Klaiber, 2000 - 2015-04-24
Shared hardware data structures for hard real-time systems
Gedare Bloom, Gabriel Parmer, Bhagirath Narahari, Rahul Simha, 2012 - 2015-04-10
Towards optimization-safe systems: analyzing the impact of undefined behavior
Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama, 2013 - 2015-03-27
On Micro-Kernel Construction
Jochen Liedtke, 1993 - 2015-03-20
Understanding Integer Overflow in C/C++
Will Dietz, Peng Li, John Regehr, and Vikram Adve, 2012 - 2015-02-27
Automatic OS Kernel TCB Reductionby Leveraging Compile-Time Configurability
Tartler Reinhard, Kurmus Anil, Ruprecht Andreas, Heinloth Bernhard, Rothberg Valentin, Dorneanu Daniela, Kapitza Rüdiger, Schröder-Preikschat Wolfgang, Lohmann Daniel, 2012 - 2015-02-09
Why does ASTRÉE scale up?
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, 2009
- 2014-04-28
RSA Key Extraction via Low-Bandwidth Acoustic Cryptanalysis
Daniel Genkin, Adi Shamir, Eran Tromer. - 2014-04-14
Self-virtualized CAN Controller for Multi-core Processors in Real-Time Applications
Christian Herber, Andre Richter, Holm Rauchfuss, Andreas Herkersdorf, ASRC 2013 - 2014-03-31
The scalable commutativity rule: designing scalable software for multicore processors
Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, and Eddie Kohler, Best paper SOSP 2013 - 2014-03-17
Itanium — a system implementor’s tale
Charles Gray, Matthew Chapman, Peter Chubb, David Mosberger-Tang and Gernot Heiser, USENIX Techn. Conf., 2005. - 2014-03-03
Z-Cast: A Multicast Routing Mechanism in ZigBee Cluster-Tree Wireless Sensor Networks
Gaddour, O. ; Koubaa, A. ; Cheikhrouhou, O. ; Abid, M., 2010. - 2014-02-17
AWE 2013 Keynote
Steve Mann, 2013 - 2014-02-07
FlexRay Schedule Optimization of the Static Segment
M. Lukasiewycz, M. Glaß, J. Teich, P. Milbredt, 2009. - 2013-12-06
Approximation algorithms for partitioning small items in unequal bins to minimize the total size
P. Dell’Olmo, M Grazia Speranza, 1999. - 2013-11-15
SymDrive: Testing Drivers without Devices
Matthew J. Renzelmann, Asim Kadav and Michael M. Swift, Computer Sciences Department, University of Wisconsin–Madison - 2013-11-01
seL4: Formal verification of an OS kernel
Gerwin Klein et al., NICTA, Sydney, Australia - 2013-10-04
TDBS: a time division beacon scheduling mechanism for ZigBee cluster-tree wireless sensor networks
A. Koubâa, A. Cunha, M. Alves, E. Tovar; Real-Time Systems, 2008. - 2013-07-08
MaCAN - Message Authenticated CAN
O. Hartkopp, C. Reuber, R. Schilling, ESCAR 2012. - 2013-06-24
”Langrangian relaxation and its application to combinatorial problems” as presented in R. K. Ahuja, Magnanti, a Orlin, Network flows: theory, algorithms, and applications. Englewood Cliffs, N.J.: Prentice Hall, 1993., pp. 598 - 615, 623 - 625
- 2013-06-03
Comprehensive Experimental Analyses of Automotive Attack Surfaces
S. Checkoway et al., USENIX Security, August 10–12, 2011. - 2013-05-20
Local Search for Shift Design
Nysret Musliu, Andrea Schaerf, and Wolfgang Slany, European Journal of Operational Research, 153(1), 51-64, 2004. - 2013-05-06
BusMonitor: A Hypervisor-Based Solution for Memory Bus Covert Channels
Saltaformaggio, Brendan, Dongyan Xu, and Xiangyu Zhang, 2013 - 2013-04-22
A tutorial on column generation and branch-and-price for vehicle routing problems
Dominique Feillet, 2010 - 2013-04-08
Transactional Lock-Free Execution of Lock-Based Programs
Ravi Rajwar and James R. Goodman, 2002 - 2013-03-11
Breakthrough silicon scanning discovers backdoor in military chip.
Sergei Skorobogatov, Christopher Woods, 2012 - 2013-02-25
No regular reading group. Instead we will practice our presentations for upcoming conferences:
Libor Bukata and Přemysl Šůcha, “A GPU algorithm design for Resource Constrained Project Scheduling Problem”, 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2013)
Roman Václavík, Přemysl Šůcha and Zdeněk Hanzálek, “A Low Time-Consuming Evaluation of an Objective Function Based on Pattern Learning in Personnel Scheduling Problems”, 14th EU/ME Workshop - EURO: the metaheuristics community.
11. 2. 2013 Modeling and design of fault-tolerant and self-adaptive reconfigurable networked embedded systems
Thilo Streichert, Dirk Koch, Christian Haubelt, and Jurgen Teich, 2006.28. 1. 2013 An anomaly prevention approach for real-time task scheduling
Ya-Shu Chen, Li-Pin Chang, Tei-Wei Kuo, Aloysius K. Mok, 200914. 1. 2013 Solving Combinatorial Optimization Tasks by Reinforcement Learning: A General Methodology Applied to Resource-Constrained Scheduling
Wei Zhang, Thomas G. Diettrich10. 12. 2012 Controller Area Network (CAN) Schedulability Analysis with FIFO queues;
Robert I. Davis, Steffen Kollmann, Victor Pollex, Frank Slomka, ECRTS 201126. 11. 2012 A genetic algorithm approach to a nurse rerostering problem
Margarida Moz, Margarida Vaz Pato, Computers & Operations Research, Volume 34, Issue 3, March 2007, Pages 667–69112. 11. 2012 The time-triggered Ethernet (TTE) design
Kopetz, H.; Ademaj, A.; Grillinger, P.; Steinhammer, K. (ISORC’05)29. 10. 2012 Hybrid Concolic Testing
Majumdar, R., Sen, K., ICSE 200715. 10. 2012 A pattern recognition based intelligent search method and two assignment problem case studies
Li (2012)1. 10. 2012 An agent based approach for integrated process planning and scheduling
Li (2010)17. 9. 2012
Enabling Scheduling Analysis for AUTOSAR Systems
Anssi, S. et al, 2011