Not registered as user yet
Name: Teodora Baluta
Affiliation: National University of Singapore
Contributions
| ICSE 2021 | Scalable Quantitative Verification For Deep Neural Networks | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile
- Attending
- Program
- Tracks
- ICSE 2021
- Technical Track
- Journal-First Papers
- Software Engineering in Practice
- Joint Track on Software Engineering Education and Training
- Software Engineering in Society
- New Ideas and Emerging Results
- Demonstrations
- ACM Student Research Competition
- Artifact Evaluation
- Posters
- Workshops
- Doctoral Symposium
- New Faculty Symposium
- Most Influential Paper ICSE N-10
- Student Volunteers
- Technical Briefings
- Submitting to ICSE2021: Q&A
- Open Science Policies
- Sponsorship
- Organization
- ICSE 2021
- Organizing Committe
- Technical Track
- Journal-First Papers
- Software Engineering in Practice
- Joint Track on Software Engineering Education and Training
- Software Engineering in Society
- New Ideas and Emerging Results
- Demonstrations
- ACM Student Research Competition
- Artifact Evaluation
- Posters
- Workshops
- Doctoral Symposium
- New Faculty Symposium
- Most Influential Paper ICSE N-10
- Student Volunteers
- Technical Briefings
- Contributors
- People Index
- Co-hosted Conferences
- AST
- CHASE
- FormaliSE
- ICPC
- Organizing Committee
- Steering Committee
- Most Influential Paper - Program Committee
- Research Program Committee
- Early Research Achievement (ERA) Program Committee
- Replications and Negative Results (RENE) Program Committee
- Tool Demonstration Program Committee
- Education Program Committee
- Journal First Program Committee
- ICSSP/ICGSE
- Organizing Committee
- PC Members
- Steering Committee ICSSP
- Steering Committee ICGSE
- Research papers PC Co-Chairs
- Experience reports & Industry Talks Industry Co-Chairs
- Experience reports & Industry Talks Industry PC Members
- Doctoral track Doctoral Symposium Co-Chairs
- Doctoral track Doctoral Symposium PC Members
- MOBILESoft
- MSR
- TechDebt
- Workshops
- DeepTest
- WAIN
- Contests
- SCORE
- Co-hosted Symposiums
- SEAMS
- Search
- Series