Registered user since Tue 18 Sep 2018
Name:Christophe Garion
Country:France
Affiliation:ISAE-SUPAERO
Personal website: https://personnel.isae-supaero.fr/christophe-garion?lang=en
Research interests:formal methods
Contributions
Using general profile
ICSE 2026
Sun 12 - Sat 18 April 2026 Rio de Janeiro, Brazil
- Attending
- Sponsors
- Program
- Tracks
- ICSE 2026
- Research Track
- Software Engineering Education and Training (SEET)
- SE In Practice (SEIP)
- SE in Society (SEIS)
- New Ideas and Emerging Results (NIER)
- Journal-first Papers
- Demonstrations
- Artifact Evaluation
- Industry Challenge Track
- Posters
- Doctoral Symposium
- Shadow PC
- Workshops
- Tutorials and Technical Briefings
- New Faculty Symposium
- Future of Software Engineering
- School of Empirical Studies in SE
- Brazilian SE Showcase
- Software Architecture BoF
- SRC - ACM Student Research Competition
- Student Mentoring Workshop (SMeW)
- Student Volunteers
- Co-hosted Conferences
- AST Automation of Software Test
- CAIN SE for Artificial Intelligence
- CHASE Cooperative and Human Aspects of SE
- FORGE AI Foundation Models and SE
- FormaliSE Formal Methods
- ICPC Program Comprehension
- MOBILESoft Mobile SE and Systems
- MSR Mining Software Repositories
- SEAMS Adaptive and Self-Managing Systems
- TechDebt Technical Debt
- Workshops
- AGENT Agentic Engineering
- AI-SQE AI for Software Quality Evaluation
- BoatSE Bots and Agents in Software Engineering
- DeepTest Deep Learning <-> Testing
- Designing Software Design
- DSE Dark Software Engineering
- EnCyCriS Cybersecurity of Critial Systems
- FinanSE SE Challenges in Financial Firms
- FTW Flaky Tests Workshop
- GAS Games and SE
- GI Genetic Improvement
- GREENS Green and Sustainable Software
- IDE Integrated Development Environments
- IWSiB Software-Intensive Business
- Journal Ahead Workshop (JAWs) Journal Ahead Workshop
- LArc Low Code Dev. and Software Architecture
- LLM4Code Large Language Models for Code
- MO2RE Multi-Discip. Requirements Engineering
- MSSiS Modeling and Simulation of Software-Intensive Systems
- NLBSE Natural Language Based SE
- NSE Neuro-Symbolic SE
- Q-SE Quantum SE
- RAIE Responsible AI Engineering
- RAISE Requirements Eng. for AIware
- ReCode Workshop on Code Translation, Transformation, and Modernization
- SBFT Search-Based and Fuzzy Testing
- SEiGS SE in the Global South
- SERP4IoT SE for the Internet of Things
- SERS SE & Research Software
- SESoS Systems of Systems and Ecosystems
- STATIC Advancing Static Analysis
- SVM Software Vulnerability Mangement
- SWEBOK SE Body of Knowledge
- UISE User Interface and Experience for SE
- WETSEB SE for Blockchain
- WSESE Empirical Studies in SE
- Organization
- ICSE 2026 Committees
- Organizing Committee
- Track Committees
- Research Track
- Software Engineering Education and Training (SEET)
- SE In Practice (SEIP)
- SE in Society (SEIS)
- New Ideas and Emerging Results (NIER)
- Journal-first Papers
- Demonstrations
- Artifact Evaluation
- Industry Challenge Track
- Posters
- Doctoral Symposium
- Shadow PC
- Workshops
- Tutorials and Technical Briefings
- New Faculty Symposium
- Future of Software Engineering
- School of Empirical Studies in SE
- Brazilian SE Showcase
- Software Architecture BoF
- SRC - ACM Student Research Competition
- Student Mentoring Workshop (SMeW)
- Student Volunteers
- Contributors
- People Index
- Co-hosted Conferences
- AST Automation of Software Test
- CAIN SE for Artificial Intelligence
- CHASE Cooperative and Human Aspects of SE
- FORGE AI Foundation Models and SE
- FormaliSE Formal Methods
- ICPC Program Comprehension
- MOBILESoft Mobile SE and Systems
- MSR Mining Software Repositories
- SEAMS Adaptive and Self-Managing Systems
- TechDebt Technical Debt
- Workshops
- AGENT Agentic Engineering
- AI-SQE AI for Software Quality Evaluation
- BoatSE Bots and Agents in Software Engineering
- DeepTest Deep Learning <-> Testing
- Designing Software Design
- DSE Dark Software Engineering
- EnCyCriS Cybersecurity of Critial Systems
- FinanSE SE Challenges in Financial Firms
- FTW Flaky Tests Workshop
- GAS Games and SE
- GI Genetic Improvement
- GREENS Green and Sustainable Software
- IDE Integrated Development Environments
- IWSiB Software-Intensive Business
- Journal Ahead Workshop (JAWs) Journal Ahead Workshop
- LArc Low Code Dev. and Software Architecture
- LLM4Code Large Language Models for Code
- MO2RE Multi-Discip. Requirements Engineering
- MSSiS Modeling and Simulation of Software-Intensive Systems
- NLBSE Natural Language Based SE
- NSE Neuro-Symbolic SE
- Q-SE Quantum SE
- RAIE Responsible AI Engineering
- RAISE Requirements Eng. for AIware
- ReCode Workshop on Code Translation, Transformation, and Modernization
- SBFT Search-Based and Fuzzy Testing
- SEiGS SE in the Global South
- SERP4IoT SE for the Internet of Things
- SERS SE & Research Software
- SESoS Systems of Systems and Ecosystems
- STATIC Advancing Static Analysis
- SVM Software Vulnerability Mangement
- SWEBOK SE Body of Knowledge
- UISE User Interface and Experience for SE
- WETSEB SE for Blockchain
- WSESE Empirical Studies in SE
- Search
- Series