Registered user since Mon 15 Apr 2024
Name:Marek Jankola
Country:Slovakia
Affiliation:LMU Munich
Research interests:Formal Verification, Automata, Logic
Contributions
ASE 2024-profile
View general profile
View general profile
ASE 2024
Sun 27 October - Fri 1 November 2024 Sacramento, California, United States
- Attending
- Sponsorship
- Program
- Tracks
- ASE 2024
- Research Papers
- Industry Showcase
- Journal-first Papers
- Tool Demonstrations
- NIER Track
- Doctoral Symposium
- OSS Sustainability Forum
- Artifact Evaluation Track
- Posters
- Student Research Competition
- Workshops
- Tutorials
- Keynotes
- Most Influential Papers (MIP)
- Banquet at Railroad Museum
- Reception
- Steering Committee Meeting
- Student Volunteers
- [Workshop] RENE
- [Workshop] ASYDE
- [Workshop] HCSE&CS
- [Workshop] A-Mobile
- [Workshop] VARSE
- Organization
- ASE 2024 Committees
- Organizing Committee
- Track Committees
- Research Papers
- Industry Showcase
- Journal-first Papers
- Tool Demonstrations
- NIER Track
- Doctoral Symposium
- OSS Sustainability Forum
- Artifact Evaluation Track
- Posters
- Student Research Competition
- Workshops
- Tutorials
- Most Influential Papers (MIP)
- Student Volunteers
- [Workshop] RENE
- Contributors
- People Index
- Search
- Series