HSCC proceedings
International Conference on Hybrid Systems: Computation and Control
Papers in 2025
30
Papers, all years
1,225
Years indexed
33
Since
1992
Papers in main proceedings (DBLP)
Counts papers published in the venue's main DBLP volume each year. This is not an official acceptance count: it can include short papers and exclude workshop or companion volumes.
verified volumein progressnot yet verifiedClick a bar to open that year.
202530 papers✓ verified
Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2025, Irvine, CA, USA, May 6-9, 2025
Keywords
Phrases from paper titles, weighted against all venues so each venue's distinctive terms rise to the top.
Loading keywords...
Year by year
Who publishes here
2024 to 2025 · papers count once per institution on them
Academia 79%Industry 0%Government and other 21%
Institutions
- 1Newcastle University🇬🇧8
- 2University of Colorado Boulder🇺🇸7
- 3University of Illinois Urbana-Champaign🇺🇸5
- 4UCLouvain🇧🇪5
- 5University of Oxford🇬🇧4
- 6Centre National de la Recherche Scientifique🇫🇷3
- 7Max Planck Institute for Software Systems🇩🇪3
- 8Eindhoven University of Technology🇳🇱3
- 9École Polytechnique🇫🇷2
- 10University of Waterloo🇨🇦2
- 11Masaryk University🇨🇿2
- 12Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)🇩🇪2
Countries
- United States15
- United Kingdom7
- Germany3
- Netherlands3
- Belgium2
- Canada2
- China2
- Czechia2
- France2
- Switzerland1
Affiliations from OpenAlex for the papers DBLP lists. A paper with authors from three institutions counts for each of them; the split above is over the top institutions.
Venues like HSCC
Closest by the phrases in their paper titles over the last five complete years.
- CAV International Conference on Computer-Aided Verification0.16reachabilitycertificatessynthesistemporal logicautomata
- ATVA International Symposium on Automated Technology for Verification and Analysis0.14hybrid automatatemporal logicsynthesislogicautomata
- FM International Symposium on Formal Methods0.12reachabilitytemporal logicfalsificationlogicautomata
- CONCUR International Conference on Concurrency Theory0.11reachabilitytemporal logicmean-payofflogicautomata
- ICFEM International Conference on Formal Engineering Methods0.10cyber-physicalreachabilitylogicspecificationsautomata
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
3.9 in 2025
Papers by an entirely new team
17% in 2025
Most published at HSCC
- Shankar Sastry1994 to 201035
- John Lygeros1994 to 201534
- George J. Pappas1996 to 202231
- Claire J. Tomlin1996 to 201923
- Sriram Sankaranarayanan2004 to 202523
- Majid Zamani2014 to 202423
- Antoine Girard2003 to 202422
- Alessandro Abate2006 to 202522
- Thomas A. Henzinger1992 to 202121
- Rajeev Alur1992 to 202019