جست‌وجوی استاد و پژوهشگر

Georg von der Brüggenمشاهده پروفایل

پژوهشگر ارشد

• Real-time Systems
• Embedded Systems
• Real-time Scheduling Theory
• +۸ مورد دیگر

Georg von der Brüggen is a Senior Researcher at TU Dortmund University's Faculty of Computer Science, Department of Computer Science 12, working with the Design Automation for Embedded Systems Group since October 2021. He also supervises the Hardware Lab. Previously, he was a postdoctoral researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern from February 2020 to October 2021, where he worked in the Real-Time Systems Research Group led by Björn Brandenburg. His research focuses on real-time systems and embedded systems, with particular expertise in real-time scheduling theory, uncertain execution behavior, dynamic real-time systems, mixed-criticality systems, probabilistic schedulability, self-suspension, multiprocessor resource sharing, utilization bounds, and speedup factors. His work has significantly contributed to the theoretical foundations of real-time computing. Dr. von der Brüggen has received numerous prestigious awards including the RTSS 2024 Outstanding Paper Award, EMSOFT 2024 Best Paper Award, ECRTS 2023 Best Paper Award, and RTSS 2021 Best Paper Award. In 2020, he received the Graduation Award from the Expert Committee for Real-Time Systems of the German Informatics Society. RTSS 2024 Outstanding Paper Award EMSOFT 2024 Best Paper Award ECRTS 2023 Best Paper Award RTSS 2021 Best Paper Award Graduation Award of the Expert Committee for Real-Time Systems (2020) RTSS 2018 Outstanding Paper Award RTCSA 2018 Outstanding Paper Award He is actively involved in the academic community, currently serving on program committees for RTSS 2024, RTAS 2025, and ECRTS 2025. His extensive service history includes numerous conference organization roles such as Co-Chair for the Workshop on Mixed-Criticality at RTSS 2023, Co-Organizer of the Dagstuhl Seminar 23341 on Functionally Safe Multi-Core Systems, and various track chair and publicity roles at major real-time systems conferences. He also serves as a reviewer for prestigious journals including IEEE Transactions on Computers Real-Time Systems and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

• Computer Science
• Information Security
• Computer Architecture
• +۳ مورد دیگر

Prof. Roland Hellmann is a Professor at the Faculty of Electronics & Computer Science of Hochschule Aalen . He specializes in computer architecture, IT security, and secure hardware design, with a focus on educating students through textbook publications and academic contributions. His research interests include foundational aspects of cybersecurity, modern computer system design, and mitigating vulnerabilities in hardware components. He authored key textbooks such as IT Security: An Introduction (2018), used in bachelor and master-level courses, and multiple editions of Computer Architecture (2013, 2016), which are standard references for hardware-related curricula. Prof. Hellmann’s publications emphasize practical applications, including exercises and solutions for students, ensuring alignment with academic and industrial needs. His work bridges theoretical concepts with real-world security challenges in digital systems.

Cédric Courtaudمشاهده پروفایل

پژوهشگر

• Real-Time Systems
• Embedded Systems
• Distributed Systems
• +۳ مورد دیگر

Cédric Courtaud is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on foundational aspects of real-time systems, embedded computing, and distributed architectures. His work bridges theoretical computer science with practical implementation challenges in multi-core and networked environments. Research interests include real-time task modeling, memory interference analysis in multi-core systems, and optimization of parallelism in mixed-criticality embedded systems. He explores techniques to enhance predictability and performance in resource-constrained environments, particularly within Linux-based frameworks and real-time operating systems. His publications emphasize methodological advancements in response-time analysis, inter-process communication protocols, and hardware-software co-design. Recent work highlights include LiME (Linux Real-Time Task Model Extractor) and G(IP)2 C frameworks, addressing scalability and reliability in real-time systems. Professionally, he contributes to MPI-SWS' interdisciplinary research ecosystem, collaborating on projects that advance the boundaries of cyber-physical systems and distributed computing. His research has implications for automotive, aerospace, and industrial automation domains requiring high assurance in real-time performance.

Florian Grützmacherمشاهده پروفایل

پژوهشگر

• Model-based Embedded System Design and Analysis
• Energy-efficient Sensor-based Activity Recognition Systems
• Embedded Multiprocessor Systems
• +۲ مورد دیگر

Florian Grützmacher is a researcher at the University of Rostock's Department of Computer Science, focusing on model-based embedded system design and energy-efficient sensor systems. His work bridges wearable technology, cyber-physical systems, and biomedical applications. Research Interests: Model-based embedded system design and analysis Energy-efficient activity recognition via sensor networks Optimized algorithms for wearable IMUs Scientific Contributions: Developed piecewise linear approximation techniques for energy savings in wearables Created dataflow models for gesture/activity recognition systems Innovated in real-time sensor data synchronization for wireless protocols His recent publications (2023-2025) emphasize biomedical sensor applications, animal behavior modulation via embedded systems, and industrial IoT optimizations. Awards include a Best Paper Nominee at UbiComp/ISWC 2019.

• Magnetic Resonance Imaging
• Control Systems
• Digital Electronics
• +۳ مورد دیگر

Paul Chang is a Control/MR Engineer and PhD student at the Max Planck Institute of Biological Cybernetics, working in the High-field Magnetic-Resonance Group since 2013. His doctoral research focuses on real-time feedback B0 shim systems for ultra-high field MRI to improve magnetic field homogeneity and image quality. His educational background includes: MSc in Control Systems from Imperial College London (2011-2012) with thesis on chemical sensing software development BSc (Eng) in Mechatronics from the University of Cape Town (2007-2010) with additional majors in Mathematics and Economics Chang's research integrates control theory, digital electronics, and biomedical engineering to solve MRI challenges. He specializes in fractional/integer PID controllers, real-time field monitoring systems, and embedded controller implementation using FPGA technology. His work addresses critical limitations in ultra-high field MRI related to B0 field inhomogeneity caused by physiological artifacts and hardware limitations. His publication record demonstrates consistent interdisciplinary innovation across biomedical sensing and control systems. Key themes include the development of Parylene C-based pH sensors for neural applications, MRI-guided neurosurgical planning tools, and advanced control algorithms for hydraulic and MRI systems. This reflects a strong pattern of translating theoretical control concepts into practical biomedical solutions with emphasis on real-time system implementation. Chang contributes to the High-field Magnetic-Resonance Group's core mission through hardware development (field cameras, shim amplifiers), software implementation (asymmetric multiprocessor systems on Zynq 7020 boards), and algorithm design for dynamic shimming. His technical expertise spans FPGA programming, Siemens gradient system interfacing, and spherical harmonic function computation for magnetic field correction.

• Operating Systems
• Energy-Aware Systems
• Power Management
• +۴ مورد دیگر

Frank Bellosa is a Professor and head of the Operating Systems Group at the Karlsruhe Institute of Technology (KIT). Previously, he held roles at the University of Erlangen, including Assistant Professor and researcher in the Operating Systems Department. He earned his PhD from the University of Erlangen in 1998, focusing on memory-conscious scheduling in multiprocessor systems. His research interests center on energy-aware systems, including OS-directed power management, thermal management in distributed systems, and flexible operating system architectures. Key projects include Event-Driven Clock Scaling (Process Cruise Control) and Energy-Aware Memory Management. He has advised numerous students on topics like temperature-aware scheduling and power management for embedded systems. Bellosa's publications span dynamic thermal management, cooperative I/O, and energy-efficient file systems. His work emphasizes reducing energy consumption while maintaining performance through innovative OS mechanisms. He has contributed to international conferences and workshops, including EuroSys and USENIX, and serves on program committees for major systems conferences. Current roles include leading the Operating Systems Group at KIT and contributing to initiatives like the Disruptive Memory Systems workshop. His research bridges hardware and software, addressing challenges in modern computing systems' efficiency and scalability.

• Real-Time Systems
• Operating Systems
• Embedded Systems
• +۷ مورد دیگر

Björn B. Brandenburg is a tenured faculty member at the Max Planck Institute for Software Systems (MPI-SWS), where he leads the Real-Time Systems Group. His role is equivalent to an associate professorship in the US system, and he is deeply engaged in both theoretical and practical aspects of real-time computing. Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern, Germany PhD, University of North Carolina at Chapel Hill (2006–2011) MSc, Technische Universität Berlin (TU Berlin, 2003–2006) His research centers on real-time systems , operating systems , and embedded systems , with a focus on combining formal analysis methods and systems building to create robust, analyzable, and efficient systems. He is particularly interested in work that bridges theory and practice, such as formally verified schedulability analysis and dynamic model extraction from real systems. The 15 most recent publications reflect a strong trend toward mechanized verification (especially using Coq/Rocq in the PROSA project) and real-world applicability (e.g., Linux, ROS 2). Key themes include response-time analysis, scheduling theory, model extraction, and formal foundations for real-time principles. The work spans from abstract theoretical frameworks to concrete tools like LiME and LITMUS-RT. His scientific recognition includes: ERC Starting Grant (TOROS, 2018) ACM SIGBED Early Career Award (2018, inaugural) Multiple Best/Outstanding Paper Awards at RTSS, RTAS, ECRTS, EMSOFT Fulbright and Klaus Murmann Fellowships ACM Future of Computing Academy (2017, inaugural class) Distinguished Dissertation Awards (EDAA, CGS/ProQuest, UNC) He has advised numerous PhD and master’s students, many of whom have secured academic positions or industry research roles. He has received significant research funding, including the ERC Starting Grant and bilateral ANR-DFG grants. His leadership extends to organizing major conferences (e.g., PC Chair of RTSS 2025, ECRTS 2021) and editorial roles (LITES, former associate editor for ACM TECS). He actively contributes to the open-source research ecosystem through tools like PROSA, LiME, LITMUS-RT, and SchedCAT. He leads the Real-Time Systems Group at MPI-SWS, which focuses on the PROSA and LiME projects. The group brings together systems hackers and formal provers to advance the state of the art in analyzable real-time systems. He collaborates with institutions such as INRIA, ONERA, and TU Braunschweig through funded projects.

Dirk Müllerمشاهده پروفایل

استاد

• Real-time systems
• Scheduling
• Software Engineering
• +۵ مورد دیگر

Dirk Müller is a Professor of Software Technology/Operating Systems at the Faculty of Computer Science/Mathematics, Dresden University of Applied Sciences (HTW Dresden). He has been in this position since 2016 and is an active member of the Faculty Council since June 2021. He was awarded IEEE Senior Member status in April 2023. His academic journey includes a doctorate in Engineering from the University of Kassel in 2006, habilitation at Chemnitz University of Technology in 2014, and prior research positions at Philipps University of Marburg and Florida State University. 1995-2002: Studies in Medical Informatics at University of Leipzig 2003-2006: Research Assistant/Doctoral Student at University of Kassel 2006-2008: Research Associate at Philipps University of Marburg 2008-2014: Academic Councillor at Chemnitz University of Technology 2014-2016: Private Lecturer at TU Chemnitz 2016-present: Professor at HTW Dresden Professor Müller's research focuses on real-time systems and scheduling, model-driven software development, digitalization in companies and administration, and the concept of information. His work particularly emphasizes Rust language applications in software engineering. He has published extensively on real-time scheduling algorithms, mixed-criticality systems, and embedded systems. His teaching responsibilities include Operating Systems I, Software Engineering I & II, Model-Driven Software Development, and Programming in Rust. His publication record shows a consistent focus on real-time systems, with a clear progression from theoretical scheduling algorithms to practical implementations. His recent work has expanded into public administration digitization and biometric conference systems, while maintaining his core expertise in scheduling theory. The publications demonstrate strong international collaboration, particularly with researchers like Matthias Werner, Alejandro Masrur, and Robert Baumgartl. IEEE Senior Member (2023) Erdős number: max. 4 Strict Erdős number: max. 5 Professor Müller actively supervises student theses, with over a dozen bachelor's and diploma theses completed between 2023-2025. His students work on diverse topics including Rust programming, workflow automation, user experience optimization, and real-time event processing. He serves as a reviewer for multiple prestigious journals including IEEE Transactions on Parallel and Distributed Systems, Real-Time Systems, and The Computer Journal. He also acts as Senior Editor for Computer Science Books at Versita. His laboratory work focuses on practical implementations of real-time systems, often using Raspberry Pi as a platform for traffic analysis and other embedded applications. His research group maintains strong connections with industry, as evidenced by the applied nature of student projects at companies like IntraConnect GmbH.