Agnishom Chattopadhyay
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CPP | Verified and Efficient Matching of Regular Expressions with Lookaround. | Agnishom Chattopadhyay, Angela W. Li, Konstantinos Mamouras |
| 2024 | SAC | Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. | Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, tienne Andr, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama |
| 2022 | PLDI | Software-hardware codesign for efficient in-memory regular pattern matching. | Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, Kaiyuan Yang |
| 2021 | RV | A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals. | Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang |
| 2021 | TACAS | Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring. | Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang |
| 2020 | RV | A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics. | Agnishom Chattopadhyay, Konstantinos Mamouras |