408
Publications
38,014
Citations
82
h-index
245
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (230)
- Book Chapter (126)
- Preprint (40)
- Report (4)
- Book (3)
Filter by Open Access Type
- Open Access (136)
- Closed Access (272)
Filter by Authors
- Rajeev Alur (408)
- Thomas A. Henzinger (46)
- P. Madhusudan (26)
- George J. Pappas (25)
- Mukund Raghothaman (21)
Filter by Topics
- Formal Methods in Verification (270)
- Logic, programming, and type systems (114)
- Software Testing and Debugging Techniques (107)
- Model-Driven Software Engineering Techniques (54)
- Real-Time Systems Scheduling (49)