Registered user since Mon 4 Sep 2023
Name:Nian-Ze Lee
Country:Germany
Affiliation:LMU Munich
Personal website: https://nianzelee.github.io/
Research interests:Formal Methods, Model Checking, Program Analysis, EDA
Contributions
Using general profile
FSE 2024
Mon 15 - Fri 19 July 2024 Porto de Galinhas, Brazil, Brazil
- Attending
- Sponsorship
- Program
- Tracks
- Co-hosted Conferences
- AIware
- PROMISE
- Workshops
- 2030 Software Engineering
- FaSE4Games
- MODAL@FSE
- QSE-NE
- SEA4DQ https://sea4dq.github.io/
- Co-hosted Symposia
- SSBSE
- Organization
- FSE 2024 Committees
- Organizing Committee
- Steering Committee
- Track Committees
- Research Papers
- Industry Papers
- Ideas, Visions and Reflections
- Journal First
- Student Research Competition
- Demonstrations
- Posters
- Artifacts
- Workshops
- Doctoral Symposium
- New Faculty Symposium
- Tutorials
- Student Volunteers
- Industry Mentoring Symposium
- Contributors
- People Index
- Co-hosted Conferences
- AIware
- PROMISE
- Workshops
- 2030 Software Engineering
- FaSE4Games
- MODAL@FSE
- QSE-NE
- SEA4DQ
- Co-hosted Symposia
- SSBSE
- Search
- Series