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

Roman Franz Froschauerمشاهده پروفایل

استاد

• Software Engineering for Intelligent Automation Systems
• Human-Robot Interaction
• Control Systems
• +۷ مورد دیگر

Roman Franz Froschauer is a Professor of Production Informatics at the Upper Austria University of Applied Sciences, Research Center Wels. Since 2018, he has served as Director of Studies for the Master's program in Robotic Systems Engineering and leads the Smart Automation & Robotics research group. His career spans academic and industrial roles, including senior software development and project management at AlpinaTec Technical Products GmbH (2010-2016). Education: Ph.D. in Computer Science (2010) from Johannes Kepler University Linz; Master's in Industrial Informatics (2005) from Upper Austria University of Applied Sciences. Research Areas: Software engineering for intelligent automation systems, human-robot interaction (HRI), control systems, and applications of IEC 61499 standards. His work focuses on proactive collaboration, trajectory planning, and user-centered design for assistive robots in office and industrial settings. Scientific Activities: Active in peer-review, conference organization, and technology development. Projects include VRoboCoop (human-robot trust), MARIE (office robotics), and Autility (automated utility vehicles). Key Contributions: Frameworks for modular manufacturing (PlugBot), skill-based engineering, and intralogistics automation (ATLAS).

• Software Engineering
• Probabilistic Programming
• Security and Penetration Testing
• +۵ مورد دیگر

Jürgen Cito is an Associate Professor in the Department of Software Engineering at the Faculty of Informatics, TU Wien, where he leads research in probabilistic programming, security, and configuration management. His work is supported by major grants from the Austrian Science Fund (FWF), European Commission, and Meta Platforms, Inc., with active projects spanning 2022-2027. His research focuses on the intersection of software engineering and machine learning, particularly in static analysis of probabilistic programs, AI-driven penetration testing, and infrastructure security. Key contributions include identifying secret exposure in configuration files, grammar inference for ad hoc parsers, and performance prediction from source code, often combining empirical studies with tool development. Analysis of his 15 most recent publications (2020-2024) reveals three dominant trends: (1) Security vulnerabilities in configuration management systems, especially secret leakage in dotfiles; (2) Application of large language models to offensive security testing; and (3) Machine learning techniques for performance prediction and AutoML optimization in software contexts. Cito has supervised 22 Master's students on cutting-edge topics including AI security, infrastructure as code, and program analysis. His current research portfolio includes: Types4Strings (FWF, 2024-2027): Type systems for string processing Cloud Open Source Research Mobility Network (EU, 2023-2026): Open-source cloud infrastructure Software Assistants for Probabilistic Programming (Meta, 2022-2026): AI tools for probabilistic code He is embedded in TU Wien's Institute of Software Technology and Interactive Systems (E194), collaborating on cross-institutional projects focused on software security and developer tooling, with particular emphasis on empirical validation of security practices and configuration management systems.

Michael Hincheyمشاهده پروفایل

استاد

• Formal methods
• Verification
• Autonomous systems
• +۴ مورد دیگر

Michael Hinchey is the Director of Lero-the Irish Software Engineering Research Centre and holds the title of Professor of Software Engineering at the University of Limerick, Ireland. He has maintained significant roles at NASA Goddard Space Flight Center as an Expert Consultant since 2006. His prior positions include Director of the NASA Software Engineering Laboratory, Professor of Software Engineering at Loyola University, and leadership roles at the Software Verification Research Centre in Australia and the University of Nebraska-Omaha. He has contributed extensively to software engineering through 22 US patents, over 200 publications, and 15+ authored or edited books. B.Sc. in Computer Systems from University of Limerick M.Sc. in Computation (Mathematics) from University of Oxford PhD in Computer Science from University of Cambridge His research focuses on formal methods, software verification, autonomous systems, and self-managing software architectures. He has pioneered advancements in software engineering assurance and dynamic product lines, with applications in aerospace and critical systems. Hinchey has received multiple NASA honors, including the 2012 NASA Honor Award and the 2009 Kerley Award for Innovation. He is recognized as a Fellow in several prestigious institutions, including the British Computer Society and the Irish Computer Society.

• Cyber-Physical Production Systems Engineering
• Software Product Line Engineering
• Variability Modeling
• +۶ مورد دیگر

Kristof Meixner is a Postdoctoral Researcher at the Institute of Information Systems Engineering (E194) within the Faculty of Informatics at Technische Universität Wien. He completed his PhD in Computer Science in 2024 and holds a Master's degree in Business Informatics from the same institution. His academic journey includes significant teaching responsibilities and substantial research contributions in cyber-physical production systems engineering. Position: Postdoctoral Researcher, Institute of Information Systems Engineering (Dec 2024 - present) Previous Position: Researcher at Christian Doppler Laboratory for Security and Quality Improvement in Production Systems (Mar 2018 – Dec 2024) Teaching: Lecturer for Advanced Software Engineering, Software Engineering Project, and related courses since 2018 Service: Research Unit Representative in the Scientific Staff Council since 2017 Meixner's research focuses on model-based approaches for software product line engineering in cyber-physical production systems. His work addresses the integration of interdependent models for products, processes, and resources, with particular emphasis on variability management, change impact analysis, and digitalization of production systems. His research combines empirical methods with practical tool development to improve software engineering practices in industrial contexts. His publication portfolio shows a strong trend toward multi-disciplinary approaches that integrate software engineering with production systems engineering. The 2024 publications particularly emphasize risk management, multi-domain modeling, and the application of AI techniques to variability management problems. His work frequently appears in top-tier software engineering and production systems conferences including ETFA, SPLC, and CBI. 80+ peer-reviewed publications 754 citations h-index: 16 As an educator, Meixner has supervised numerous bachelor's and master's theses, demonstrating his commitment to mentoring the next generation of software engineers. His teaching spans both theoretical foundations and practical applications of software engineering principles, with a focus on production systems contexts. He has also contributed to diversity initiatives at TU Wien, serving as a representative on the Diversity Team for the Diversitas 2016 Award. Despite experiencing a spinal cord injury in 2000 that resulted in wheelchair dependency, Meixner has maintained an active research and teaching career, demonstrating both personal resilience and professional dedication to advancing software engineering practices.

• Robotics
• Artificial Intelligence
• Autonomous Systems
• +۵ مورد دیگر

Prof. Gerald Steinbauer-Wagner is an Associate Professor at TU Graz's Institute of Software Engineering and Artificial Intelligence. He specializes in autonomous intelligent systems, focusing on decision-making architectures for robots in uncertain environments. His research integrates software engineering, AI, and robotics to develop reliable systems for applications in disaster response, planetary exploration, and industrial automation. Research Interests: Steinbauer-Wagner's work addresses challenges such as robot navigation in unstructured terrains, human-robot collaboration, and trustworthiness in autonomous systems. Key areas include explainable AI, fault diagnosis, and multi-robot coordination. His team explores solutions for off-road robotics, collective perception, and certification of autonomous systems. Recent Projects: Current initiatives include developing autonomous systems for subterranean rescue missions (ROBO-MOLE), optimizing robot localization using machine learning, and creating educational frameworks for AI literacy in schools. His group also contributes to the RoboCup Logistics League and planetary exploration cascades through analog missions like AMADEE-20. Awards & Recognition: No specific awards listed, but his work has been recognized through extensive publications in top venues like IEEE/RSJ IROS, ICRA, and RoboCup symposiums. Lab & Teams: Leads the Autonomous Intelligent Systems (AIS) research group at TU Graz, collaborating with industry partners like the Smart Factory. His team develops integrated robot systems for production, logistics, and disaster response scenarios.

Kim Guldstrand Larsenمشاهده پروفایل

استاد

• Modeling
• Verification
• Performance analysis
• +۴ مورد دیگر

Kim Guldstrand Larsen is a Full Professor in Computer Science at Aalborg University, Denmark, a position he has held since 1993. He serves as director of CISS, the Centre for Embedded Software Systems, a national center of excellence bridging industry and research since 2002, and holds leadership roles in multiple international research initiatives. His academic credentials include a Cand.Scient. in Mathematics and Computer Science from Aalborg University (1982) and a PhD in Computer Science from Edinburgh University, Scotland (1986). His career includes visiting professorships at institutions including Uppsala University, École Normale Supérieure in Cachan, and University of Twente. Professor Larsen's research centers on modeling, verification, and performance analysis of real-time and embedded systems, with foundational contributions to concurrency theory and model checking. Since 1995, he has led development of UPPAAL, a widely adopted verification tool, and co-founded UP4ALL International. His work spans theoretical foundations to practical applications in cyber-physical systems. His publication portfolio exceeds 200 peer-reviewed papers and 12 software tools, with his research showing consistent focus on formal methods for real-time systems evolving toward quantitative analysis and cyber-physical applications, as evidenced by his H-index of 58 (highest in Denmark for Computer Science). Honorary Doctor (Honoris causa), Uppsala University (1999) Danish Citation Laureates Award (2005) Thomson Scientific award as most cited Danish Computer Scientist (1990-2004) Ridder af Dannebrog (Knight of the Order of the Dannebrog) (2007) Honorary Doctor (Honoris causa), Ecole Normal Superieure De Cachan, Paris (2007) Professor Larsen currently supervises 7 PhD and 7 post-doc students, having previously guided over 20 PhD and 12 post-doc researchers to completion. His significant research funding includes leadership of the DaNES project, VKR Center of Excellence MT-LAB, national ICT Innovation Network InfinIT, and the Danish-Chinese Basic Research Center IDEA4CPS. He leads the Modeling and Validation Cluster within the EU/IST Network of Excellence ARTIST Design and directs multiple research centers focused on embedded software systems, maintaining active roles in editorial boards, conference steering committees, and national research councils.

Paul Grünbacherمشاهده پروفایل

دانشیار

• software product lines
• model-based development and evolution
• requirements engineering
• +۱ مورد دیگر

Paul Grünbacher serves as Associate Professor and Deputy Head of the Institute of Software Systems Engineering at Johannes Kepler University Linz, Austria, with over 150 publications in international venues. He maintains active memberships in ACM, IEEE Computer Society, and Euromicro. His research centers on software product lines, model-based development and evolution, requirements engineering, and software monitoring. Notably, he directed the Christian Doppler Laboratory for Monitoring and Evolution of Very-Large-Scale Software Systems from 2013 to 2021, focusing on industrial-scale software evolution challenges. Scientific recognition includes: Fellow of Automated Software Engineering (2021) He holds editorial positions at Springer's Empirical Software Engineering Journal and Elsevier's Information and Software Technology Journal. His conference leadership spans the IEEE/ACM International Conference on Automated Software Engineering Steering Committee (2004-present) and the Requirements Engineering: Foundation for Software Quality Working Conference (2017-2021). While the text confirms his oversight of the Christian Doppler Laboratory—indicating substantial industry-funded research—the specific students he has advised and granular grant details remain unlisted in the provided materials.

• Software Engineering
• Model-Driven Engineering
• Software Architecture
• +۵ مورد دیگر

Alexander Egyed serves as a full Professor at the Institute of Software Systems Engineering, Johannes Kepler University Linz, where he directs the LIT Secure and Correct Systems Lab. His leadership spans 350+ research outputs and 50+ projects, with current active grants securing research through 2029 in critical software engineering domains. His research focuses on advancing model-driven engineering practices through innovations in software evolution, variability management, and process guidance. Key contributions include reactive link propagation for model consistency, AI-driven refactoring of legacy systems, and industrial-strength process compliance solutions. His work bridges formal methods with practical industrial applications, particularly in secure system development and software modernization. Recent publications (2024-2025) reveal a pronounced shift toward AI-integrated solutions for legacy system transformation, with consistent emphasis on scalable techniques for model consistency and variability control. This trajectory demonstrates increasing industrial collaboration in developing actionable engineering guidance tools. His scientific excellence is recognized through: ACM Best Paper Award (2015) ACM Recognition of Service Award (2024) ACM SIGSOFT Distinguished Paper Awards (2021, 2023) Best Paper Award (2014) Professor Egyed currently leads major funded initiatives including the FWF-sponsored 'Co-Existence of Modeling Language Versions and Co-Evolution' (2025-2029) and dual 'RefactorAI' projects for legacy system modernization (FFG 2025-2028). His supervision of 12 graduate students reflects commitment to academic mentorship alongside his extensive editorial and program committee service across 147 recorded academic activities. He directs the LIT Secure and Correct Systems Lab, a nexus for interdisciplinary research in formal verification, model-driven security, and AI-assisted software engineering, maintaining strong industry partnerships for real-world validation of research outputs.

Gerald Striednerمشاهده پروفایل

استاد

• Bioprocess Engineering
• Upstream Process Development
• Recombinant Protein Production
• +۵ مورد دیگر

Gerald Striedner serves as Professor and Head of the Institute of Bioprocess Science and Engineering at the University of Natural Resources and Life Sciences, Vienna (BOKU). He leads a comprehensive research group focused on upstream process development for the production of recombinant proteins, plasmid DNA, and virus-like particles using bacterial, insect, and mammalian cell systems. His research interests span advanced process characterization , E. coli expression system design , rational bioprocess development , process monitoring and control , continuous biomanufacturing , and synthetic biology applications . His work integrates PAT/QbD concepts to create efficient production platforms for bio-pharmaceutical, industrial, and environmental applications. Analysis of his recent publications reveals a strong focus on cutting-edge bioprocess technologies including non-canonical amino acid incorporation, advanced protein purification methods, continuous manufacturing platforms, and enzyme engineering for polymer degradation. His research demonstrates a consistent emphasis on both fundamental process understanding and practical applications for industrial biotechnology. As an academic leader, Professor Striedner supervises a diverse team including PhD students, postdocs, and senior scientists. His research group maintains active collaborations with academic partners across Europe, including institutions in Austria, Portugal, and Germany, reflecting the international scope of his work. His laboratory operates within BOKU's Institute of Bioprocess Science and Engineering, which features advanced pilot plant facilities for training and research purposes, providing an integrated environment for both fundamental research and practical application development in bioprocess engineering.

• Databases
• Artificial Intelligence
• Text Mining
• +۲ مورد دیگر

Ingo Feinerer serves as an Associate Professor at Vienna University of Technology's Faculty of Informatics, specifically within the Institute of Information Systems Engineering (E192-02). His research bridges theoretical computer science and practical applications in database systems, artificial intelligence, and text mining, with significant contributions to configuration management and formal methods. His educational background includes: PhD Dissertation (2007): A formal treatment of UML class diagrams as an efficient method for configuration management Diploma Thesis (2005): Formal program verification: a comparison of selected tools and their theoretical foundations Feinerer's research focuses on database theory (particularly schema mapping and dependencies), AI-driven configuration systems using integer linear programming, and text mining infrastructure development in R. His work combines theoretical rigor with practical tool development, notably through the textcat and tm packages. The integration of formal methods in software engineering remains a consistent thread throughout his publications. Analysis of his 15 most recent publications reveals strong specialization in database constraints (40%), text mining applications (30%), and software configuration systems (30%), with increasing interdisciplinary work connecting computer science to digital humanities. His notable recognition includes: INiTS Award (2007) for technology commercialization potential Feinerer has supervised doctoral research including F. I. Chertes' work on schema mapping languages and diploma theses on UML semantics and probabilistic databases. He led major research projects HINT (2012-2017) and SEE (2012-2016) focusing on database technologies and information systems. His work demonstrates consistent funding through Austrian national research programs. As a core member of the Databases and Artificial Intelligence research group, he collaborates extensively on R package development for text analysis and contributes to international workshops on theoretical aspects of software engineering.

• Artificial Intelligence
• Recommender Systems
• Configuration Systems
• +۷ مورد دیگر

Alexander Felfernig is a full Professor at Graz University of Technology, Austria, where he leads the Applied Software Engineering & AI (ASE) research group. He earned his PhD in Computer Science from the University of Klagenfurt and has been a key contributor to AI and software engineering research since 2009. His research focuses on intelligent systems, particularly in the domains of recommender systems, knowledge-based configuration, model-based diagnosis, and software requirements engineering. He investigates the intersection of human decision-making and AI, with growing interest in sustainability within computing systems. His work emphasizes practical applications of AI in software engineering and user-centered systems. Felfernig has published extensively in top-tier international journals and conferences such as IJCAI, AAAI, ECAI, ACM Recommender Systems, IEEE Transactions on Engineering Management, and Artificial Intelligence. His publications reflect a strong trend in AI-driven software systems, personalized recommendation technologies, and formal modeling of user preferences and constraints. Co-author of Recommender Systems (Cambridge University Press) Co-author of Knowledge-based Configuration (Elsevier/Morgan Kaufmann) Co-author of Group Recommender Systems and Feature Models – AI-Driven Design, Analysis and Applications (Springer) Felfernig has been actively involved in organizing major international events including the ACM Conference on Recommender Systems, International Symposium on Methodologies for Intelligent Systems, International Workshop on Configuration, and ACM Systems and Software Product Line Conference. These efforts highlight his leadership in the research community and his role in advancing collaborative and applied AI research. He is affiliated with the Applied Software Engineering & AI research group, which focuses on developing intelligent, scalable, and user-aware software systems.

• Software Engineering
• Service Engineering
• Scientific Experimentation
• +۳ مورد دیگر

Antonio Ruiz-Cortés is a Professor of Software and Service Engineering at the University of Seville, Spain. He currently serves as Chief Scientist of the Unit of Excellence on Informatics (since 2019) and President of the Spanish Society on Software Engineering (SISTEDES, since 2018). Previously, he held roles including Chair of the Computer and Languages Department (2013-2016) and Secretary of the Unit of Excellence on Informatics (2017-2019). He is also the founder and Chief Scientist of the 'Applied Software Engineering' (ISA) research group established in 2005. His research focuses on: Software engineering, particularly variability management and software testing. Service engineering, emphasizing service level agreements. Scientific experimentation, with attention to replicability and automation. Business Process Management, including prediction and key performance indicators. He has received notable recognition, including the Most Influential Paper Award at the International Conference on Software Product Line (SPLC) in 2017 and the Best PhD thesis prize from the University of Seville in 2002. He also won the national qualification tests for tenured professor in 2005, being the sole candidate to receive unanimous jury votes. He has supervised 13 PhD theses, 12 of which received international mention, with three awarded the extraordinary doctorate prize from the University of Seville. He leads the Applied Software Engineering (ISA) research group, founded in 2005, which focuses on advancing software and service engineering methodologies.

• Software Engineering
• Programming Languages
• Static Analysis
• +۴ مورد دیگر

Michael Schröder is a Researcher at TU Wien's Faculty of Informatics, affiliated with the Institute of Software Technology. He holds a BSc and a Dipl.-Ing. (Master's equivalent) in Informatics. His research focuses on software engineering, static analysis, and programming languages, with notable contributions to probabilistic program analysis, security, and empirical studies on developer workflows. Education : Bachelor of Science in Informatics Diplom-Ingenieur (Dipl.-Ing.) in Informatics from TU Wien Research Interests : His work spans static analysis of probabilistic programs, security in software repositories, grammar inference for ad hoc parsers, feature flag dependency analysis in large systems, and empirical studies on command-line tool customization. He has also contributed to medical research in pediatric oncology through a 2019 study on leukemia genetics. Recent Trends in Publications : Recent efforts emphasize language-agnostic static analysis frameworks (2024), lateral movement detection in source code (2023), and grammar inference techniques for parsers (2022). Earlier work includes neural ranking models (2020) and transactional memory systems (2015). Grants & Advising : No explicitly listed grants or student advisement, though recent theses supervised include static grammar inference projects (2025). Labs/Teams : Not explicitly mentioned in available records.

• Software Engineering
• Service Engineering
• Scientific Experimentation
• +۱ مورد دیگر

Antonio Ruiz-Cortés is a Professor of Software and Service Engineering at the University of Seville (since 2016) and Chief Scientist of the Unit of Excellence on Informatics (since 2019). He previously served as Chair of the Computer and Languages Department (2013–2016) and Secretary of the Unit of Excellence on Informatics (2017–2019). He is also President of the Spanish Society on Software Engineering (SISTEDES) since 2018. His research focuses on variability management in software engineering, service-level agreements, replicability in scientific experimentation, and business process management. Education: PhD in Software Engineering (unspecified year) His work emphasizes software testing, automation of SLA analysis, and configurable process models. He founded the 'Applied Software Engineering' (ISA) research group in 2005. Key contributions include influential papers on software product lines and automated experimentation frameworks. He has supervised 13 PhD theses (12 with international distinction, three awarded the University of Seville’s extraordinary doctorate prize). Awards: Most Influential Paper Award (SPLC 2017), best PhD thesis (2002), and top undergraduate Informatics prize (1994). He leads the Spanish Network of Excellence in Services Science and Engineering and serves on the PhD Commission at the University of Seville. His current research explores micro-service architectures and reliability optimization through user agreements and third-party infrastructure integration.

• Assembly Tasks
• Smart Factory Systems
• Cloud Computing
• +۲ مورد دیگر

Johann Heinzelreiter serves as an FH-Prof. DI at the University of Applied Sciences Hagenberg, actively contributing to the Assistive Technology Lab and Center of Excellence for Smart Production . His research spans industrial automation, smart factory systems, and cloud computing applications in production environments. His research interests focus on assembly task modeling , low-cost tracking systems for industrial environments, and human-centered workplace design . Heinzelreiter develops practical solutions for real-world manufacturing challenges, particularly in optimizing human-machine collaboration on shop floors through the General Assembly Task Model (GATM) framework. Publication analysis reveals consistent contributions to industrial informatics, with recent work emphasizing smart factory implementation (2019-2020), cloud-based optimization (2014), and digital identity management (2015). His research demonstrates strong industry relevance through COIN Cooperation & Innovation projects. With an h-index of 34, Heinzelreiter has secured significant research funding through multiple COIN projects: Human Centered Workplace (2016-2021) - Co-Investigator Themis - Conserve Your Digital Life (2013-2015) - Principal Investigator BackmeUp - Offline Datensicherung Web 2.0 (2010-2012) - Principal Investigator He collaborates extensively with researchers including Pimminger, Kurschl, and Augstein across production environments and assistive technology domains. His work bridges academic research with practical industrial applications through the Smart Automation and Robotics initiative.