Publications of Junjie Shi
2022
- Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS
Junjie Shi, Christoph-Cordt von Egidy, Kuan-Hsun Chen, and Jian-Jia Chen
In ACM SIGBED International Conference on Embedded Software, EMSOFT
2022
2021
- Graph-Based Optimizations for Multiprocessor Nested Resource Sharing
Junjie Shi, Niklas Ueter, Georg von der Brüggen, and Jian-Jia Chen
In 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA
2021 - MODES: Model-based Optimization on Distributed Embedded Systems
Junjie Shi, Jiang Bian, Jakob Richter, Kuan-Hsun Chen, Jörg Rahnenführer, Haoyi Xiong and Jian-Jia Chen
In Machine Learning, Journal Track of European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML/PKDD)
2021
2020
- Model-based Optimization with Concept Drifts.
Jakob Richter, Junjie Shi, Jian-Jia Chen, Jörg Rahnenführer and Michel Lang.
In The Genetic and Evolutionary Computation Conference, pages 877--885
2020
2019
- Multiprocessor Synchronization of Periodic Real-Time Tasks Using Dependency Graphs.
Junjie Shi, Niklas Ueter, Georg von der Brüggen and Jian-Jia Chen.
In 25th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, pages 279--292
2019 - Partitioned Scheduling for Dependency Graphs in Multiprocessor Real-Time Systems.
Junjie Shi, Niklas Ueter, Georg von der Brüggen and Jian-Jia Chen.
In 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA, pages 1--12
Hangzhou, China, August 18-21 2019
2018
- Shared-Resource-Centric Limited Preemptive Scheduling: A Comprehensive Study of Suspension-based Partitioning Approaches.
Zheng Dong, Cong Liu, Soroush Bateni, Kuan-Hsun Chen, Jian-Jia Chen, Georg von der Brüggen and Junjie Shi.
In IEEE Real-Time and Embedded Technology and Applications Symposium RTAS
Porto, Portugal, April 11-13 2018 - Dependency Graph Approach for Multiprocessor Real-Time Synchronization.
Jian-Jia Chen, Georg von der Brüggen, Junjie Shi and Niklas Ueter.
In IEEE Real-Time Systems Symposium, RTSS 2018, pages 434--446
Nashville, TN, USA, December 11-14 2018
2017
- Implementation and Evaluation of Multiprocessor Resource Synchronization Protocol (MrsP) on LITMUSRT.
Junjie Shi, Kuan-Hsun Chen, Shuai Zhao, Wen-Hung Huang, Jian-Jia Chen and Andy Wellings.
In 13th Workshop on Operating Systems Platforms for Embedded Real-Time Applications
2017
Search & People Search
Location & approach
The campus of TU Dortmund University is located close to interstate junction Dortmund West, where the Sauerlandlinie A 45 (Frankfurt-Dortmund) crosses the Ruhrschnellweg B 1 / A 40. The best interstate exit to take from A 45 is "Dortmund-Eichlinghofen" (closer to Campus Süd), and from B 1 / A 40 "Dortmund-Dorstfeld" (closer to Campus Nord). Signs for the university are located at both exits. Also, there is a new exit before you pass over the B 1-bridge leading into Dortmund.
To get from Campus Nord to Campus Süd by car, there is the connection via Vogelpothsweg/Baroper Straße. We recommend you leave your car on one of the parking lots at Campus Nord and use the H-Bahn (suspended monorail system), which conveniently connects the two campuses.
TU Dortmund University has its own train station ("Dortmund Universität"). From there, suburban trains (S-Bahn) leave for Dortmund main station ("Dortmund Hauptbahnhof") and Düsseldorf main station via the "Düsseldorf Airport Train Station" (take S-Bahn number 1, which leaves every 20 or 30 minutes). The university is easily reached from Bochum, Essen, Mülheim an der Ruhr and Duisburg.
You can also take the bus or subway train from Dortmund city to the university: From Dortmund main station, you can take any train bound for the Station "Stadtgarten", usually lines U41, U45, U 47 and U49. At "Stadtgarten" you switch trains and get on line U42 towards "Hombruch". Look out for the Station "An der Palmweide". From the bus stop just across the road, busses bound for TU Dortmund University leave every ten minutes (445, 447 and 462). Another option is to take the subway routes U41, U45, U47 and U49 from Dortmund main station to the stop "Dortmund Kampstraße". From there, take U43 or U44 to the stop "Dortmund Wittener Straße". Switch to bus line 447 and get off at "Dortmund Universität S".
The AirportExpress is a fast and convenient means of transport from Dortmund Airport (DTM) to Dortmund Central Station, taking you there in little more than 20 minutes. From Dortmund Central Station, you can continue to the university campus by interurban railway (S-Bahn). A larger range of international flight connections is offered at Düsseldorf Airport (DUS), which is about 60 kilometres away and can be directly reached by S-Bahn from the university station.
The H-Bahn is one of the hallmarks of TU Dortmund University. There are two stations on Campus Nord. One ("Dortmund Universität S") is directly located at the suburban train stop, which connects the university directly with the city of Dortmund and the rest of the Ruhr Area. Also from this station, there are connections to the "Technologiepark" and (via Campus Süd) Eichlinghofen. The other station is located at the dining hall at Campus Nord and offers a direct connection to Campus Süd every five minutes.
The facilities of TU Dortmund University are spread over two campuses, the larger Campus North and the smaller Campus South. Additionally, some areas of the university are located in the adjacent "Technologiepark".
Site Map of TU Dortmund University (Second Page in English).