Registered user since Mon 15 Apr 2024
Name:Marek Jankola
Country:Slovakia
Affiliation:LMU Munich
Research interests:Formal Verification, Automata, Logic
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