Embedded Files
Field Testing of Heterogeneous and Transient Systems
Field Testing of Heterogeneous and Transient Systems
Host institute: University of Luxembourg
Industry partner: SES
Areas: AI and software testing
Duration: 2025 - present
Automated Testing of Web Applications
Automated Testing of Web Applications
Host institute: University of Luxembourg
Industry partner: Q-Leap
Areas: Model inference, AI agent, and software testing
Duration: 2024 - present
Control Theory-based Automated Testing for Complex Cyber-Physical Systems
Control Theory-based Automated Testing for Complex Cyber-Physical Systems
Host institute: University of Luxembourg
Industry partner: SES
Areas: Search-based software engineering, metamorphic testing, and control engineering
Duration: 2024 - 2024
Automated Testing Framework for SDN-based Systems
Automated Testing Framework for SDN-based Systems
Host institute: University of Luxembourg
Industry partner: SES
Areas: Search-based software engineering, fuzzing, and machine learning
Duration: 2020 - 2024
AI-enabled Quality Assurance of Requirements
AI-enabled Quality Assurance of Requirements
Host institute: University of Luxembourg
Industry partners: Clearstream and Escent
Areas: Model-driven engineering and machine learning
Duration: 2021 - 2023
Schedulability analysis of real-time systems
Schedulability analysis of real-time systems
Host institute: University of Luxembourg
Industry partner: LuxSpace
Areas: Model-driven engineering, machine learning, search-based software engineering, and simulation
Duration: 2019 - 2022
Model-based development and analysis of IoT systems
Model-based development and analysis of IoT systems
Host institute: University of Luxembourg
Industry partner: SES
Areas: Model-driven engineering, search-based software engineering, and simulation
Duration: 2020 - 2021
Automated decision support for security requirements analysis
Automated decision support for security requirements analysis
Host institute: University of Luxembourg
Industry partner: BGL BNP Paribas
Areas: Model-driven engineering, machine learning, and requirements engineering
Duration: 2018 - 2021
Model-based simulation and testing of integrated software systems
Model-based simulation and testing of integrated software systems
Host institute: University of Luxembourg
Industry partner: SES
Areas: Model-driven engineering, simulation, testing, search-based software engineering, model checking, and machine learning
Duration: 2016 - 2019
Healthcare resource modeling and analysis framework
Healthcare resource modeling and analysis framework
Host institute: University of Massachusetts Amherst
Industry partner: Baystate Medical Center
Areas: Model-driven engineering, simulation, and model checking
Duration: 2011 - 2016
Digital television platform development
Digital television platform development
Company: Samsung Electronics
Area: Product line
Duration: 2006 - 2011
Re-engineering a credit card authorization system
Re-engineering a credit card authorization system
Host institute: Pohang University of Science and Technology
Industry partner: LG
Area: Product line
Duration: 2005
Real-time software specification and analysis framework
Real-time software specification and analysis framework
Host institute: Pohang University of Science and Technology
Areas: Model-driven engineering and simulation
Duration: 2004 - 2006
Page updated
Google Sites
Report abuse