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

Juergen Dingelمشاهده پروفایل

استاد

• Software Engineering
• Model-Driven Engineering
• Formal Methods
• +۷ مورد دیگر

Juergen Dingel is a Professor in the School of Computing at Queen's University, Canada. He joined the faculty in 2000 and holds a PhD in Computer Science from Carnegie Mellon University (1999). His research focuses on software modeling, model-driven engineering, formal methods, and formal verification, with applications in real-time systems and embedded systems. He leads the Modeling and Analysis in Software Engineering (MASE) research group. Education: PhD in Computer Science, Carnegie Mellon University (1999) M.Sc. in Pure and Applied Logic, Berlin University of Technology (1994) M.Sc. in Computer Science, Berlin University of Technology (1992) Research Interests: Model-driven engineering and transformation Formal specification and verification Automated testing and debugging Real-time and embedded systems Service composition and distributed systems His work emphasizes practical tools like Papyrus-RT and MDebugger , integrating formal methods into software development. Grants & Collaborations: Funded by NSERC, OCE, and industry partners (IBM, GM, Ericsson) Focus on automotive systems, IoT, and safety-critical applications Service: Editorial board member for SoSyM , STTT , and JOT Former chair of the MODELS Steering Committee (2016–2018) PC co-chair for MODELS 2014 and FMOODS/FORTE 2011 Labs & Teams: Leads the MASE group, which develops open-source tools for model-driven engineering. Collaborates with industry on automotive and IoT projects.

Alfredo Capozuccaمشاهده پروفایل

پژوهشگر

• Software Engineering
• Dependable Systems
• Computing Education
• +۳ مورد دیگر

Alfredo Capozucca is a full permanent Researcher at the Department of Computer Science (DCS) within the Faculty of Science, Technology and Medicine (FSTM) at the University of Luxembourg. He holds a PhD in Computer Science from the University of Luxembourg (2010) and an M.S. from the National University of Rosario, Argentina (2003). His research focuses on modern software engineering methods, dependable systems, and computing education, with an emphasis on formal verification and sustainable computing practices. Capozucca has contributed to the design of courses at undergraduate and master's levels, including serving as Deputy Programme Director for the BSc in Computer Science from 2021-2024. His work bridges theoretical foundations with practical applications in education and industry. Research interests prominently include AI in education (e.g., ChatGPT's role in formal specification writing), formal verification techniques, and the integration of DevOps philosophies into academic curricula. He has authored numerous papers on topics ranging from security policy analysis to energy-efficient transactional models. Capozucca's contributions extend to open-source projects and tool development, such as the Messir UML requirements engineering tool. His teaching spans software engineering fundamentals, dependability, and modern DevOps practices, reflecting a commitment to aligning education with industry needs. Key professional roles include R&D engineer positions (2004-2006) and leadership in educational program design. His research infrastructure is based at the Maison du Nombre facility in Luxembourg. While no specific grants or awards are listed, his extensive publication record and teaching contributions highlight sustained academic engagement.

• Software Engineering
• Formal Methods
• Model-Driven Engineering
• +۴ مورد دیگر

Pierre KELSEN is a Full Professor in the Department of Computer Science at the University of Luxembourg's Faculty of Science, Technology and Medicine (FSTM). His research focuses on Software Engineering, Formal Methods, Model-Driven Engineering, and Algorithmic Graph Theory. He leads the LASSY Laboratory for Advanced Software Systems, emphasizing model decomposition, regulatory compliance, and formal verification techniques. Education: PhD in Computer Science (1993, University of Illinois at Urbana-Champaign), M.Sc. (1989, UIUC), and Diploma (1986, University of Karlsruhe). Postdoctoral work at the University of British Columbia and Max-Planck-Institut für Informatik. Research Interests: - Development of formal modeling languages (e.g., VCL, F-Alloy) - Model transformation and validation frameworks - Algorithms for compliance and complexity challenges - Visual and modular design methodologies Funding: - ASINE (FNR Pearl, 2013–present): Architecture-based service innovation - MaRCo (FNR Core, 2010–2013): Business-centric regulatory compliance Publications span model-driven engineering, formal methods, and algorithmic foundations, with recent work exploring AI integration in domain modeling and compliance analysis. Labs/Teams: LASSY Laboratory, collaborating on tools like Lightning and Democles for executable modeling frameworks.

Bernhard Rumpeمشاهده پروفایل

استاد

• Software Engineering
• Model-Based Software Engineering (MBSE)
• Domain-Specific Languages (DSLs)
• +۱۶ مورد دیگر

Bernhard Rumpe is a Professor and Chair of Software Engineering at the Department of Computer Science 3, RWTH Aachen University, Germany. He leads a research group focused on model-based software engineering, domain-specific languages, and digital twins, with strong industrial collaborations and applications in embedded systems, AI, IoT, and autonomous vehicles. His research centers on improving software development through model-driven engineering, generative techniques, and formal modeling using UML, SysML, and the MontiCore language workbench. Key interests include digital twins, variability modeling, model composition, and the integration of cyber-physical systems with information systems. The recent publications highlight a consistent focus on model-driven digitalization, language workbenches, and system integration. Trends show increasing emphasis on digital twins in manufacturing and societal systems, formal verification of model transformations, and educational applications of model-driven low-code platforms. His work bridges theoretical foundations with industrial applicability. Keynote Speaker, OOPSLE 2025 General Chair, GPCE 2023 Session Chair, MODELS 2020 Program Committee Member, SLE, GPCE, ICSE, ECMFA He advises master’s and doctoral students and leads a vibrant research team that has successfully executed over 100 research projects. His group develops foundational tools like MontiCore and applies them in industrial contexts, contributing to software quality and developer efficiency. No formal grants are listed, but sustained project funding is evident. He is involved in several research labs and teams centered around the Software Engineering Chair at RWTH Aachen, focusing on language workbenches, model-driven development, and digital twin systems. The team actively contributes to open research through publications, tools, and industrial partnerships.

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

استاد

• Multi-perspective Business Modeling
• Object-Oriented Modeling
• Multi-Level Modeling
• +۷ مورد دیگر

Prof. Dr. Ulrich Frank is a full Professor of Business Information Systems and Enterprise Modeling at the University of Duisburg-Essen, Faculty of Computer Science. He serves as Director of IS:link, an international student exchange network he founded. His academic career spans multiple prestigious institutions including University of Mannheim, GMD, IBM Almaden Research Center, University of Koblenz-Landau, and University of Duisburg-Essen since 2004. His educational background includes: Business Administration studies (minor in Applied Computer Science) at University of Cologne Doctorate in Political Science from University of Mannheim (1986) Habilitation at University of Marburg (1993) Prof. Frank's research focuses on multi-perspective enterprise modeling, with particular emphasis on object-oriented and multi-level modeling approaches. His work bridges business administration and computer science, exploring conceptual modeling, knowledge management systems, business process reorganization, and the theoretical foundations of business informatics. He has made significant contributions to modeling languages like FMMLx and XModelerML, advancing multi-level modeling techniques for enterprise information systems. His recent publications demonstrate a strong focus on multi-level modeling languages, with particular attention to UML extensions, language engineering, and the application of large language models in systems engineering. The research trajectory shows consistent development of modeling frameworks that support enterprise architecture, business process modeling, and domain-specific language design, with increasing attention to AI-assisted modeling approaches in recent years. Prof. Frank has received significant recognition through editorial positions at leading journals: Co-Editor of Enterprise Modelling and Information Systems Architectures Co-Editor of Business & Information Systems Engineering Co-Editor of Information Systems and E-Business Management Co-Editor of Software and Systems Modeling Member of the Standing Committee of the European Conference on Information Systems (ECIS) Prof. Frank has served in numerous academic leadership roles including as Chairman of the Examination Board for Business Information Systems, member of the Research Commission at University of Duisburg-Essen, and Appointment Commissioner (2021-2023). He has reviewed for major funding organizations including the German Research Foundation, Federal Ministry of Education and Research, and Swiss National Science Foundation. As founder and senior consultant of IS:link, Prof. Frank leads an international student exchange network connecting universities worldwide. His research group focuses on multi-perspective enterprise modeling (MEMO), developing frameworks and tools for business information systems design and implementation.

Christian Hilbesمشاهده پروفایل

مدرس

• Safety-Critical Systems
• Systems Engineering
• STPA (Systems-Theoretic Process Analysis)
• +۳ مورد دیگر

Christian Hilbes is a Lecturer at the School of Engineering of Zurich University of Applied Sciences (ZHAW). He serves as Deputy Head of the Institute for Applied Mathematics and Physics (IAMP) and co-leads the research focus on Safety-Critical Systems. Active projects include leadership roles in Autonomous Predictive Interlock Systems , Personnel Safety Systems , and Triggering Conditions for Autonomous Cars . He specializes in STPA (Systems-Theoretic Process Analysis) , UML-based modeling , and Dynamic Flowgraph Modeling for safety-critical applications. Email: christian.hilbes@zhaw.ch His research integrates safety analysis with emerging technologies like autonomous systems and nuclear facilities, contributing to publications at MIT STAMP Workshops and in journals like Nuclear Engineering and Design . He actively collaborates on European Spallation Source (ESS) safety frameworks and develops domain-specific languages for STPA.

• Model-based Systems Engineering
• Safety-Critical Systems
• Systems Engineering
• +۳ مورد دیگر

Dr. Siyuan Ji is a Reader in Model-based Systems Engineering (MBSE) at Loughborough University, serving as Deputy Head of the Manufacturing, Systems & Management Academic Community and Deputy Director of the Doctoral Training Centre in MBSE. He previously held a Senior Lecturer position in Systems Engineering at the University of York, where he led the MSc Programme in Safety-Critical Systems Engineering. His academic journey includes a PhD and MSc in Physics from the University of Nottingham, followed by research roles in model-based systems engineering at Loughborough University. His research focuses on advancing model-based techniques for systems engineering, particularly in safety-critical systems, formal methods, and complex system design. He has contributed to areas such as hazard management (e.g., BSafeML framework), response time analysis in real-time systems, and model synchronization for requirements engineering. His work bridges theoretical foundations with practical applications in automotive systems, embedded software, and educational technology. Dr. Ji holds the title of Fellow of the Higher Education Academy and has published extensively on topics ranging from quantum technology reporting to conversational tutoring systems. His research emphasizes interdisciplinary collaboration, evident in projects like the EPSRC-funded analysis of vehicles as complex systems. He actively contributes to both academic and industrial advancements in systems engineering methodologies and education innovation. His professional roles include managing doctoral training programs, overseeing academic communities, and advancing systems engineering education. Collaborations span industry partnerships and international academic networks, reflecting his commitment to impactful research and training the next generation of systems engineers.

David Garlanمشاهده پروفایل

استاد

• Software Engineering
• Software Architecture
• Self-Adaptive Systems
• +۴ مورد دیگر

David Garlan is a Professor at the Software and Societal Systems Department within the School of Computer Science at Carnegie Mellon University , where he also serves as Associate Dean for Master’s Programs . He received his Ph.D. from Carnegie Mellon in 1987 after working in industry as a software architect. His research focuses on controlling complexity in large software systems through formalized architectural design, self-adaptive systems, and cyber-physical systems. He developed AcmeStudio , a widely used architecture design environment, and pioneered formal representation and analysis of software architecture. Education : Ph.D. in Computer Science (Carnegie Mellon, 1987) Research Interests include: Software Architecture: Formal methods for architectural design, end-user composition, and architectural styles Self-Adaptive Systems: Stochastic planning, model checking, security adaptation, and uncertainty reduction Cyber-Physical Systems: Multi-view design methods, consistency checking, and automotive systems Recent Article Trends address microservice resiliency, hybrid planning (combining formal methods and ML), simulation-augmented robotics, and sustainable machine translation. Themes include stochastic modeling , probabilistic verification , and adaptive decision-making . Scientific Awards : Stevens Award Citation (2005) ACM SIGSOFT Outstanding Research Award (2011) Allen Newell Award for Research Excellence (2016) IEEE TCSE Distinguished Education Award (2017) Nancy Mead Award (2017) Fellow of IEEE and ACM Advising and Grants : He has advised 25+ graduate students and collaborated on projects with Toyota and the Software Engineering Institute. His work includes model-based adaptation, automated planning, and formal verification of adaptive systems. Labs & Teams : Affiliated with the Institute for Software Research and works on tools like AcmeStudio, Rainbow, and IPL for architectural modeling and self-adaptation.

Marcus Gerholdمشاهده پروفایل

استادیار

• Model-Based Testing
• Software Reliability
• Critical Infrastructures
• +۷ مورد دیگر

Marcus Gerhold is an Assistant Professor in the Formal Methods and Tools group at the University of Twente's Faculty of Electrical Engineering, Mathematics and Computer Science. His research focuses on model-based testing for software reliability in critical infrastructures, particularly railway systems, alongside significant contributions to game design and programming language analysis. His educational background includes: PhD in Computer Science from University of Twente (2018): Choice and Chance: Model-based Testing of Stochastic Behaviour MSc in Mathematics from Friedrich Schiller Universität Jena (2013): Embeddings of Weighted Morrey Spaces BSc in Mathematics from Friedrich Schiller Universität Jena (2011): Entropy-, Approximation- and Kolmogorov Numbers on Quasi-Banach Spaces Gerhold's research integrates theoretical model-based testing with practical critical infrastructure applications . His work on railway conformance testing addresses EULYNX controller validation, while his game design research explores affective mirroring in NPCs and procedural dungeon generation. The code modernity analysis stream leverages static analysis to quantify legacy code evolution across languages like Python and PHP, revealing version identification challenges through deep learning. Publication trends show consistent focus on model-based testing methodologies (40%), railway safety applications (25%), and innovative game design/code analysis (35%). Recent work increasingly incorporates AI/ML techniques for UML assessment and Python version identification, while maintaining rigorous formal methods foundations. He actively mentors 63 students across all academic levels and contributes to major research initiatives: STORM_SAFE (ERDF, 2024): Daily Supervisor for WP1/WP2 on software reliability for critical infrastructures ZORRO (KIC grant, 2023): Daily Supervisor for WP4 on zero downtime in cyber-physical systems MISSION (MSCA RISE, 2021-2025): Interim coordinator (early 2024) for space systems modeling As part of the Formal Methods and Tools research group, Gerhold participates in European collaborations while serving on SAC-SVT 2024 and FormaliSE 2023 program committees.

Ali Hamieمشاهده پروفایل

مدرس ارشد

• Formal Aspects of Software Development
• Software Engineering
• Formal Methods
• +۴ مورد دیگر

Ali Hamie is a Senior Lecturer at the School of Architecture, Technology and Engineering (University of Brighton, UK), specializing in formal methods in software engineering and ontology modeling. With over 35 publications, his work bridges theoretical formalisms like UML, OCL, and JML with practical implementation validation. BSc in Pure Mathematics (Lebanese University, 1982) Postgraduate Diploma in Computing (University of Essex, 1986) MSc in Computer Science (University of Essex, 1987) PhD in Computer Science (University of Essex, 1991) His research focuses on formal aspects of software development , including specification patterns, design by contract, and translation between formal notations (OCL to JML). Recent work examines diagrammatic reasoning in ontology engineering and hybrid modeling approaches combining formal and agile methods. Studies show his publications span formal methods , ontology modeling , and constraints validation , with recurring themes in OCL-JML interoperability, diagrammatic notations, and user-centric formalism evaluation. Awards include Fellow of the Higher Education Academy (2017) . He supervises research in formal computing, with past topics covering concept diagrams and ontology modeling. His academic career includes postdoctoral roles at Newcastle University and EPSRC-funded work at Imperial College.

• Artificial Intelligence
• Machine Learning
• Software Engineering
• +۶ مورد دیگر

Talal Shaikh is an Associate Professor at Heriot-Watt University's School of Mathematical and Computer Sciences in Dubai. He serves as Director of Undergraduate Studies and Programme Director for BSc Computer Science, BSc CS (AI), and MSc Software Engineering. With a decade of industry experience as a Chief Information Officer and Software Engineer, he bridges practical insights with academic research. Research Interests: Pervasive Computing, IoT/M2M, AI/ML, WiFi Sensing for Healthcare, Financial Machine Learning, Educational Technology Awards: Teaching Excellence Awards (2017/18), Fellow of the Higher Education Academy (FHEA), multiple Learning and Teaching Oscars (2016, 2017, 2018) His work spans Ubiquitous Computing and IoT , focusing on sensor networks and WiFi-based sensing for healthcare. In Artificial Intelligence , he applies ML to robotics, financial analytics, and educational innovation. Recent articles analyze Reinforcement Learning , Emotion Recognition , and WiFi Sensing applications. His teaching emphasizes student-centric learning, with over 100 supervised dissertations achieving distinctions. Collaborations include international conferences and interdisciplinary research in smart environments and adaptive systems.

• Software Engineering
• Model Driven Engineering
• Software Product Lines
• +۷ مورد دیگر

Jean-Marc Jezequel is a Professor of Software Engineering at University of Rennes , affiliated with CNRS , Inria , IRISA , and Institut Universitaire de France (IUF) . His research focuses on Model-Driven Engineering , Software Product Lines , Dynamic Adaptation , and Executable Meta-languages . Key Contributions : Pioneering work in aspect-oriented and model-driven approaches for software evolution Foundational research on model transformations (e.g., UMLAUT framework) Advances in testing and validation of distributed systems Research Trends from his recent publications include: Intelligent modeling assistance integrating machine learning Contextual variability modeling for complex systems Runtime model execution for self-adaptive systems Formal methods and constraint resolution for UML validation Collaborations include researchers from Luxembourg, Montreal, Colorado State University, and INRIA.

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.

Pat Barrowمشاهده پروفایل

مدرس ارشد

• Information Systems
• Organizational Information Systems
• Requirements Engineering
• +۴ مورد دیگر

Pat Barrow is a Senior Lecturer in Business Information Systems at Norwich Business School, University of East Anglia. He holds a PhD (2000) and MA (2007) from UEA, alongside a BSc (1993). His academic background focuses on stakeholder evaluation in Rapid Application Development and organizational aspects of Information Systems. Though he transitioned to a non-research role in 2000, his past research explored requirements engineering, UML formalisms, and systems evaluation in Saudi Arabian private organizations. He teaches extensively across undergraduate and postgraduate levels, including MBA programs. Education: BSc (1993), PhD (2000), MA (2007) from University of East Anglia Research interests include IS design, supply chain digitalization, and human-centric IS challenges. Though not currently publishing, his prior work addressed system evaluation methodologies and software development patterns. He has coordinated administrative roles such as Senior Advisor for Postgraduate Students (2023–) and Workload Allocation Model coordinator (until 2021).

• Business Model Development
• Software Ecosystems
• Virtual Reality
• +۵ مورد دیگر

Sebastian Gottschalk is a researcher at Paderborn University, Germany, specializing in business model development within software ecosystems, virtual reality applications, and model-driven software engineering. His research focuses on creating situation-specific approaches to business model development, with particular emphasis on tool support, method composition, and knowledge provision. His research interests span business model innovation, virtual reality applications for education and collaboration, model-driven development, and end-user programming. He has made significant contributions to understanding how business models can be developed in context-aware ways within software ecosystems, with practical applications in tool development and method engineering. His publication record shows a clear progression from foundational work on business model development to innovative applications in virtual reality and gamification. Recent work demonstrates increasing focus on practical implementations, particularly in educational contexts using VR technology to teach UML and software modeling concepts. Gottschalk has collaborated extensively with Gregor Engels (27 publications together), Enes Yigitbas (20 publications), and Alexander Nowosad (7 publications), indicating strong research partnerships that have driven much of his recent work in business model development and virtual reality applications.