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

Alexander Pretschnerمشاهده پروفایل

استاد

• Software Engineering
• Testing
• Information Security
• +۵ مورد دیگر

Prof. Alexander Pretschner is a Professor of Software & Systems Engineering at the Technical University of Munich (TUM) and Founding Director of the Bavarian Research Institute for Digital Transformation (bidt). He also serves as Scientific Director of fortiss, a Bavarian research institute for software-intensive systems. His research focuses on software engineering, testing, information security, and ethical software development. Pretschner holds a PhD from TUM and has held academic positions at Karlsruhe Institute of Technology (KIT) and TU Kaiserslautern. He is a co-editor of several prestigious journals, including IEEE Transactions on Reliability and the Journal of Software Testing, Verification and Reliability. Education: PhD in Computer Science, Technical University of Munich MSc in Computer Science, University of Kansas (on Fulbright Scholarship) Diplom in Computer Science, RWTH Aachen University Research Interests: His work spans testing methodologies, secure software design, and ethical considerations in agile development. Notable contributions include frameworks for metamorphic testing, distributed data usage control, and accountability mechanisms for cyber-physical systems. Awards: IBM Faculty Award (2012, 2013) Google Focused Research Award (2011, 2012) EARTO Innovation Prize (2014) 2nd Platz Supervisory Award (2020) Advising & Grants: Pretschner has supervised numerous PhD and Master’s students, contributing to over 200 publications. He leads projects like EDAP (Ethical Deliberation in Agile Processes) and collaborates with industry partners on cybersecurity and AI ethics initiatives. Labs & Teams: His work is anchored in bidt, fortiss, and TUM’s Chair of Software & Systems Engineering, focusing on societal impacts of digitalization and trustworthy AI systems.

Eric Saxمشاهده پروفایل

استاد

• Automotive Systems
• Autonomous Driving
• Cybersecurity
• +۷ مورد دیگر

Prof. Dr.-Ing. Eric Sax is a Professor of Electronic Systems Engineering and Management at the Karlsruhe Institute of Technology (KIT), serving as Dean of the Department of Electrical Engineering and Information Technology (ETIT). He leads the Institut für Technik der Informationsverarbeitung (ITIV) and directs the Forschungszentrum Informatik ESS division . As Program Director of the Electronic Systems Engineering & Management (ESEM) master's program at the HECTOR School, he focuses on integrating academic and professional education. His research spans automotive systems engineering , self-learning functions , cybersecurity , and data-driven validation . Key themes include over-the-air updates, scenario-based testing, and the synergy between machine learning and automotive systems. His work addresses challenges in autonomous driving validation, software-defined mobility, and cyber-physical system security. Prof. Sax's contributions include frameworks for automotive software partitioning, cloud-enabled vehicle architectures, and methodologies for quantifying data quality impacts on perception systems. He actively collaborates with industry partners to bridge academic research with industrial application. His recent projects include OptiCAM (cloud/edge function offloading), Drive4C (autonomous driving benchmarking), and UNCOVER (data-driven security monitoring). He holds leadership roles in both KIT and the HECTOR School's technology business programs.

• Embedded Systems
• Software Verification and Validation
• Model Checking
• +۵ مورد دیگر

Stefan Kowalewski serves as Professor of Embedded Software at RWTH Aachen University, leading the Chair of Embedded Software (Informatik 11) within the Department of Computer Science. His research spans critical domains including medical cyber-physical systems, automotive software, and industrial automation, with over 150 publications demonstrating sustained scholarly impact. Professor Kowalewski's work focuses on three interconnected research pillars: Embedded Systems Verification: Pioneering model checking techniques for PLC code, particularly addressing state space challenges in GRAFCET-based specifications Medical Cyber-Physical Systems: Developing safety-critical software for mechanical ventilation, extracorporeal membrane oxygenation, and ARDS diagnosis systems with strong clinical collaborations Automotive Software: Creating verification frameworks and safety architectures for automated vehicles through projects like UNICARagil Recent publications reveal an increasing integration of AI techniques with traditional verification methods, particularly for medical applications involving neonatal care and critical respiratory support. His 2024-2025 work shows particular emphasis on timing isolation in vehicle communication systems, middleware performance evaluation, and robust AI models for medical diagnosis. Professor Kowalewski maintains active collaborations with RWTH Aachen University Hospital's medical departments and automotive industry partners. His laboratory operates specialized facilities including the Cyber-Physical Mobility Lab for vehicle research and in-vivo testing setups for medical device validation. He has supervised numerous doctoral candidates, with recent students focusing on topics like ARDS classification algorithms, GRAFCET verification techniques, and safety architectures for software-defined vehicles. His educational contributions include developing remote teaching platforms for cyber-physical systems education.

Mike Barthمشاهده پروفایل

استاد

• Automation Technology
• Control Systems
• Cyber-Physical Systems (CPS)
• +۵ مورد دیگر

Prof. Mike Barth is a Professor for Networked Secure Automation Technology at the Karlsruhe Institute of Technology (KIT), affiliated with the Department of Electrical Engineering and Information Technology (ETIT) and the Institute for Control Systems (IRS). His academic background includes a doctorate from Helmut Schmidt University (2011) and a master's degree from Pforzheim University (2008). He previously held roles as a researcher at ABB and as a professor at Pforzheim University, focusing on blended learning and Industry 4.0 integration. Education: PhD in Automation Technology, Helmut Schmidt University (2011) M.Sc. in Product Development, Pforzheim University (2008) Diploma in Mechanical Engineering, Pforzheim University (2006) Research Interests: Automation technology, control systems, Industry 4.0, cyber-physical systems, digital twin engineering, cybersecurity, and IoT protocols. Teaching: Courses include System Modeling, Cyber Physical Production Systems, and Digital Twin Engineering. His research emphasizes secure automation architectures, decentralized systems, and model-based engineering. He chairs multiple committees including IFAC TC3.1 and the VDI/VDE Society for Measurement and Automation. Over 50+ publications span topics like simulation models, industrial security, and robotic integration. Labs/Teams: Leads the IRS Automation Technology team, focusing on innovation in control systems and digital twin applications.

Steffen Beckerمشاهده پروفایل

استاد

• Software Engineering
• Cloud Systems
• Model-Driven Engineering
• +۷ مورد دیگر

Steffen Becker is a Professor at the University of Stuttgart's Faculty of Computer Science, Electrical Engineering and Information Technology, affiliated with the Institute for Software Engineering's Software Quality and Architecture group. His work focuses on software engineering, cloud systems, model-driven engineering, and cybersecurity. He leads research in architectural modeling tools like Slingshot, GUI testing frameworks (ViMoTest), and hardware security analysis. Recent studies explore AI integration in testing, education, and automotive systems (CARISMA). Research interests include elasticity modeling, self-adaptive systems, and educational technology. His 2025 publications address issues like end-user hardware comprehension, FPGA security, and LLM-driven test generation. Notable tools developed include the Slingshot Simulator for cloud-native systems and Gropius for cross-component issue management. Becker contributes to both theoretical advancements and practical implementations in software quality, security, and cloud infrastructure. Key Areas: Software Architecture, Cyber-Physical Systems, Testing, Reverse Engineering Tool Developments: ViMoTest, Slingshot, Gropius Education Focus: Online programming pedagogy and curriculum innovation His work bridges foundational research with industry applications, addressing challenges in automotive computing, cloud elasticity, and human-centric security awareness. Recent efforts emphasize explainable hardware (XHW) and AI's role in qualitative analysis automation.

Martin Hoffmannمشاهده پروفایل

پژوهشگر

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

Dr. Martin Hoffmann is a former research staff member at the Department of Computer Science 4 (Distributed Systems and Operating Systems) at Friedrich-Alexander-University Erlangen-Nuremberg (FAU). He now works at Brose Fahrzeugteile in Bamberg. His research focuses on dependability, fault tolerance, and real-time systems, with emphasis on embedded systems and safety-critical applications. He taught courses such as Echtzeitsysteme (Real-Time Systems) and Verlässliche Echtzeitsysteme (Reliable Real-Time Systems) across multiple semesters. His work includes projects like dOSEK (a dependability-oriented RTOS), DanceOS (fault-tolerant OS design), and CoRed (software-based redundancy for mixed-criticality systems). He also contributed to the I4Copter interdisciplinary quadrocopter project. His research interests span fault-injection frameworks, static kernel analysis, and soft-error mitigation. Notable contributions include Fail* (a versatile fault-injection tool) and dOSEK (RTOS for automotive safety). He has advised multiple students on topics like fault-tolerant garbage collectors and modular OS service frameworks. No scientific awards are explicitly mentioned in the provided text. His work emphasizes interdisciplinary collaboration, with projects bridging embedded systems, robotics, and safety-critical applications.

Khalil Esperمشاهده پروفایل

پژوهشگر

• Verification and Model Checking
• Energy Optimization
• Real-time Systems
• +۴ مورد دیگر

Khalil Esper is a Researcher at the Department of Computer Science, Faculty of Engineering, Friedrich-Alexander-University Erlangen-Nuremberg (FAU), where he works at the Chair of Computer Science 12 (Hardware-Software Co-Design). His research focuses on verification, energy optimization, and runtime requirement enforcement in embedded systems and MPSoCs. His educational background includes: Informatics Engineering from Aleppo University, Syria (2010-2015) European Master in Embedded Computing Systems (EMECS) from Rhineland-Palatinate University of Technology Kaiserslautern-Landau (Germany) and Norwegian University of Science and Technology (Norway) (2017-2019) Esper's research interests center around verification and model checking, energy optimization on MPSoC, real-time systems and embedded systems, and autonomic computing. His work particularly focuses on runtime requirement enforcement mechanisms for non-functional properties in multi-processor systems-on-chip, with applications extending to medical devices and human-robot interaction systems. He has developed approaches using finite state machines, reinforcement learning, and evolutionary algorithms to ensure system properties are maintained during execution. His publication record shows a strong trend toward applying formal methods and runtime enforcement techniques to increasingly complex systems, with recent work expanding into safety-critical applications like orthoses and human-robot interaction. The interdisciplinary nature of his research bridges computer science, embedded systems engineering, and biomedical applications. Esper has supervised multiple theses including: Sascha H.: Runtime Requirement Enforcement of Non-Functional Requirements on MPSoCs Using Fuzzy Logic (2022) Iana S.: Feedback-Based Control of Non-functional Program Execution Properties on Linux (2023) Philipp L.: Runtime Requirement Enforcement of Functional and Non-Functional Requirements of a Knee Orthosis Based on a Digital Twin (2024) Avinash N.: Runtime Requirement Enforcement of Safety Properties of an Ankle Orthosis Based on a Digital Twin (2024) Zhiyi T.: Generation of Environment FSMs Using Machine Learning Techniques (2025) Moustafa A.: Runtime Requirement Enforcement of Safety Properties of Human-Robot Interaction Based on a Digital Twin (2025) Florian K.: Runtime Requirement Enforcement of Safety Properties of Human-Robot Interaction (2025) He has been actively teaching courses on Approximate Computing and Embedded Systems since the 2021/2022 academic year, demonstrating his commitment to academic instruction alongside his research activities. Esper is involved in the InvasIC research project, part of the DFG Transregional Collaborative Research Center 89 on Invasive Computing, which explores novel approaches to resource management in parallel computing systems.

Frank Golatowskiمشاهده پروفایل

پژوهشگر

• Real-Time Embedded Systems
• Distributed Embedded Systems
• Service-oriented Architectures for Embedded Systems
• +۷ مورد دیگر

Frank Golatowski is a researcher at the University of Rostock, affiliated with the Faculty of Computer Science and Electrical Engineering, Institute of Computer Science. He is actively engaged in research and teaching in the field of embedded systems, with a focus on real-time, distributed, and secure architectures for IoT and medical applications. His research interests include: Real-Time and Distributed Embedded Systems Service-oriented Architectures for Embedded Systems Resource-constrained IoT Systems Engineering Safety and Security for Dependable Systems Medical and Industrial Embedded Systems Dr. Golatowski is currently leading or participating in several major research projects funded by BMBF, BMWK, BBSR, and EU programs, including GenerIoT, 6G-Health, KliNet5G, SUSTAIN, and PnP-EMS. His work emphasizes secure, lightweight software deployment, localization in medical networks, IIoT security, and energy management in smart buildings. He has been actively involved in the academic community, serving as program chair, track chair, and publication chair for IEEE conferences such as WFCS, ETFA, and ICPS, and as a TPC member for RSSRail and IECON. He is also a member of the IEEE IES Technical Committee on Factory Automation and OR.NET e.V. Dr. Golatowski teaches advanced courses including Distributed Embedded Systems , Real-Time Systems , and Selected Topics in Medical Embedded Systems at the graduate level. Although no specific publications are listed in the provided text, his work is indexed via Google Scholar, ORCID, and ResearcherID, indicating an established research profile.

Miroslaw Malekمشاهده پروفایل

استاد

• Parallel and distributed systems
• Dependability engineering
• Real-time systems
• +۴ مورد دیگر

Prof. Dr. Miroslaw Malek is a Professor and Chair of Computer Architecture and Communication at the Humboldt University of Berlin's Institute of Computer Science. His research focuses on parallel/distributed systems, dependability, real-time systems, and embedded systems. He leads the Computer Architecture Research Group (ROK) and has supervised numerous PhD students across multiple institutions. Malek's work emphasizes fault management, network reliability, and proactive system design. His academic roles include advising on over 25 PhD theses and co-authoring influential books like Responsive Computer Systems . He holds a prominent position in the field, with extensive contributions to service availability, failure prediction, and fault-tolerant computing. Key affiliations include the Faculty of Mathematics and Natural Sciences and the Institute of Computer Science at Humboldt University. Research Interests: - Parallel/distributed/embedded systems - Dependability and real-time responsiveness - Web service architecture and fault tolerance - Network reliability and failure prediction Notable Achievements: - Developed consensus-based frameworks for responsive systems - Pioneered failure prediction methods using hidden Markov models - Authored/co-authored over 30 books and 200+ peer-reviewed publications - Supervised 25+ doctoral students at UT Austin and Humboldt University - Active in international workshops and symposiums on dependability and fault tolerance Labs/Teams: - Computer Architecture Research Group (ROK) at Humboldt University - Collaborations with TU Berlin, Duke University, and University of Minnesota

• Empirical software engineering
• Software architecture
• Design patterns
• +۸ مورد دیگر

Justus Bogner is a researcher at the Institute of Software Engineering (ISTE) and leads the division for Software Engineering for AI- & Microservice-Based Systems (SE4AI&MS) at the University of Stuttgart. His work focuses on empirical software engineering , microservices , AI-based systems , and software evolvability . He has contributed extensively to understanding architectural migration, technical debt in AI systems, and quality assurance methodologies. His research spans various subfields including service-oriented architecture , RESTful API design , design patterns , and software maintainability metrics . Recent publications highlight empirical comparisons between JavaScript and TypeScript, frameworks for microservice migration, and systematic studies on AI engineering challenges. Bogner's work often bridges academic research with industry practices through collaborations with IEEE and Springer, though no specific awards or student advisories are mentioned in the provided text.

Armando Walter Colomboمشاهده پروفایل

استاد

• Cyber-Physical Systems
• Industrial Digitalization
• Industry 4.0
• +۳ مورد دیگر

Prof. Dr. Armando Walter Colombo is a Professor at the Department of Technology, Electrical Engineering and Informatics at the University of Applied Sciences Emden/Leer. He leads the Institute I2AR as Scientific Director and coordinates the DAAD/DAHZ Binational Master in Industrial Informatics with the Universidad Tecnológica Nacional-FRRe in Argentina. His research focuses on Cyber-Physical Systems (CPS), Industrial Digitalization, Industry 4.0, and Smart Manufacturing. Key areas include asset administration shells, IoT integration, and sustainable industrial automation. He holds IEEE Fellow status and is a Distinguished Lecturer for the IEEE Systems Council. He has pioneered educational frameworks like T-CHAT and contributed to standards alignment (RAMI4.0, IEEE Industrial Agents). Recent publications emphasize Industry 4.0 compliance, digital twins, and AI in logistics. Responsibilities: DAAD Master Coordinator, Institute I2AR Director, and International Relations Officer. Awards: IEEE Fellow, Distinguished Lecturer (IEEE Systems Council). Grants & Partnerships: DAAD-funded binational programs, EU-funded PERFoRM projects. His work bridges academia and industry through platforms like the ICPS-based Digital Factory Lab, addressing SME digitalization and sustainable automation.

• Data Governance
• Semantic Modeling
• Knowledge Graphs
• +۵ مورد دیگر

Zaiwen Feng is a researcher actively contributing to data governance, semantic modeling, and causal inference. His work focuses on knowledge graphs, graph-based methods, and service-oriented architectures through collaborations with institutions like the University of Queensland and universities in China. Research Focus : Graph Differential Dependencies, Entity Resolution, Causal Effect Estimation, and Ontology Alignment Methodologies : Machine Learning, Variational Autoencoders, Prompt Engineering, and Semantic Retrieval Application Areas : Biomedical Data, Property Graph Recommendation, and Process Model Repositories Key trends in his publications include automated semantic modeling , neural approaches for entity resolution , and causal inference with graph structures . He frequently collaborates with researchers like Keqing He, Wolfgang Mayer, and Selasi Kwashie across conferences such as HPCC, BIBM, and WISE.

Tobias Distlerمشاهده پروفایل

دانشیار

• Distributed Systems
• Byzantine Fault Tolerance
• Energy-efficient Computing
• +۷ مورد دیگر

Tobias Distler is an Associate Professor (Privatdozent) at the Department of Computer Science 4 (Distributed Systems and Operating Systems) at Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU). He leads research in resource-efficient fault tolerance, energy-aware systems, and distributed coordination. His work focuses on Byzantine fault tolerance, cloud computing, real-time systems, and embedded systems resilience. Research Projects: REFIT (Resource-efficient Fault and Intrusion Tolerance) EDC (Efficient Distributed Coordination) E³ (Energy-aware Execution Environments) TClouds (Trustworthy Clouds) Research Interests: His expertise spans distributed systems, fault-tolerant replication, energy-efficient computing, real-time systems analysis, and secure cloud infrastructure. He emphasizes practical system design with rigorous theoretical foundations. Publications: Over 100 peer-reviewed papers in top venues like Middleware, EuroSys, DSN, and ECRTS. Notable contributions include Egalitarian BFT, Strome (energy-aware stream processing), and TinyBFT for embedded systems. Awards: SIGACT Research Highlights Nomination (2024) FAU Teaching Award for Junior Researchers (2021) IBM Ph.D. Fellowship (2012-2013) Professional Activities: Served on program committees for Middleware, EuroSys, DSN, and IEEE Transactions. Chair of Artifact Evaluation for Middleware '20. Founded the BCRB workshop on Byzantine consensus and blockchains. Education: Habilitation (2021) and Ph.D. (2014) from FAU, focusing on resource-aware system software for replicated services. Advisor to numerous graduate students in distributed systems research.

Björn Annighöferمشاهده پروفایل

استاد

• Avionics Systems
• Self-Adaptive Systems
• Cybersecurity
• +۵ مورد دیگر

Björn Annighöfer is a Professor at the Institute of Aviation Systems (ILS) at the University of Stuttgart, where he serves as Managing Director. His work focuses on complex, digital, and safety-critical avionics systems, including self-adaptive platforms, cybersecurity, and AI-supported aerospace systems. Research interests include: Self-adaptive avionics platforms Model-based cybersecurity frameworks Integrated Modular Avionics (IMA) development Virtualization and middleware for safety-critical systems AI applications in aerospace Automated development and certification processes Recent publications highlight advancements in PLUG-AND-FLY avionics, security assessment using large language models, and domain-specific modeling tools. He leads a team of ~25 scientists at ILS, which operates modern labs, flight simulators, and research aircraft for testing.

• Knowledge Management
• Convergent Systems
• E-Learning
• +۳ مورد دیگر

Markus Bick serves as a Junior Professor at ESCP Business School in Berlin, Germany, specializing in Business Information Systems. His academic position focuses on the intersection of information technology and business processes, with particular expertise in knowledge management, convergent systems, e-learning, and simulation technologies. As an active faculty member, he contributes significantly to research and teaching within the business informatics domain at one of Europe's leading business schools. Professor Bick's research interests span multiple interconnected domains within business information systems. His primary focus is Knowledge Management, where he has developed frameworks for sustainable implementation of organization-specific knowledge management systems, as evidenced by his 2004 dissertation from the University of Duisburg-Essen. He also explores Convergent Systems that integrate learning and business information systems, with particular attention to interface standards and integration strategies. His work in E-Learning demonstrates how educational technologies can be effectively embedded within business processes, while his research on Simulation approaches provides methods for modeling complex business scenarios. His publications consistently bridge theoretical frameworks with practical business applications. Analysis of Professor Bick's publication record reveals a clear research trajectory from foundational knowledge management work to increasingly sophisticated explorations of mobile and ubiquitous information systems. His early work focused on knowledge management implementation strategies and building block models, while more recent publications address mobile collaboration systems, ambient intelligence applications, and IT service management in educational institutions. A significant portion of his research investigates the convergence between learning systems and business information systems, particularly how knowledge management principles can enhance both educational and business processes. His work demonstrates consistent attention to practical implementation challenges alongside theoretical development. Professor Bick maintains an active research agenda with publications spanning from 2002 to 2010, showing continued scholarly productivity. His work appears in both academic journals and professional publications, indicating relevance to both theoretical and practical audiences. He has contributed to edited volumes including encyclopedias of business information systems and handbooks on information technologies for education and training, demonstrating recognition by his peers as an expert in his field.