Reading Group/ Previously read papers
  • RecentChanges

Links

  • Home
  • Proposals for future meetings
  • Previously read papers
  • Mailing list
  • 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, 2009

  • 14. 1. 2013 Solving Combinatorial Optimization Tasks by Reinforcement Learning: A General Methodology Applied to Resource-Constrained Scheduling
    Wei Zhang, Thomas G. Diettrich

  • 10. 12. 2012 Controller Area Network (CAN) Schedulability Analysis with FIFO queues;
    Robert I. Davis, Steffen Kollmann, Victor Pollex, Frank Slomka, ECRTS 2011

  • 26. 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–691

  • 12. 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 2007

  • 15. 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

Links: sidebar
Last edited Tue 07 Apr 2015 12:00:14 PM CEST