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 2025
Sat 26 April - Sun 4 May 2025 Ottawa, Ontario, Canada
- Attending
- Sponsorship
- Program
- Tracks
- ICSE 2025
- Research Track
- SE In Practice (SEIP)
- SE in Society (SEIS)
- New Ideas and Emerging Results (NIER)
- Journal-first Papers
- Demonstrations
- Artifact Evaluation
- Industry Challenge Track
- Software Engineering Education
- Posters
- Doctoral Symposium
- Shadow PC
- Workshops
- Tutorials and Technical Briefings
- New Faculty Symposium
- Symposium on Software Engineering in the Global South (SEiGS)
- SRC - ACM Student Research Competition
- Student Mentoring Workshop (SMeW)
- Student Volunteers
- Co-hosted Conferences
- AST
- CAIN
- CHASE
- CSEE&T Software Engineering Education
- FORGE
- FormaliSE
- ICPC
- ICSR
- MOBILESoft
- MSR
- SEAMS
- TechDebt
- Workshops
- AIOps AI for Cloud Service
- APR Automated Program Repair
- BotSE Bots in SE
- DeepTest Deep Learning <-> Testing
- Designing Software Design
- EnCyCriS Cybersecurity of Critical Systems
- FTW Flaky Tests Workshop
- FinanSE SE Challenges in Financial Firms
- GAS Games and SE
- GE@ICSE Gender Equality
- GI Genetic Improvement
- GREENS Green and Sustainable Software
- Gamify Gamification in Development + V & V
- IDE Integrated Development Environments
- IWSiB
- LLM4Code Large Language Models for Code
- MO2RE Multi-Discip. Requirements Engineering
- NLBSE Natural Language Based SE
- NSE Neuro-Symbolic SE
- Q-SE Quantum SE
- RAIE Responsible AI Engineering
- RAISE Requirements Engg. for AI-Powered SW
- RoSE Robotics Software Engineering
- SATrends Software Architecture Trends
- SBFT Search-Based and Fuzz testing
- SE4ADS SE for Autonomous Driving Systems
- SERP4IoT SE for the Internet of Things
- SESoS Systems of Systems and Ecosystems
- STATIC Advancing Static Analysis
- SVM Software Vulnerability Management
- WETSEB SE for Blockchain
- WSESE Empirical Studies in SE
- Organization
- ICSE 2025 Committees
- Organizing Committee
- Track Committees
- Research Track
- 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
- Symposium on Software Engineering in the Global South (SEiGS)
- SRC - ACM Student Research Competition
- Student Mentoring Workshop (SMeW)
- Student Volunteers
- Contributors
- People Index
- Search
- Series