Agnishom Chattopadhyay

15 papers A* 1B 3Misc 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 B conf
Verified and Efficient Matching of Regular Expressions with Lookaround.
CPP
Agnishom Chattopadhyay, Angela W. Li, Konstantinos Mamouras
2024 J jnl
Efficient Matching of Regular Expressions with Lookaround Assertions.
Proc. ACM Program. Lang.
Konstantinos Mamouras, Agnishom Chattopadhyay
2024 J jnl
Static Analysis for Checking the Disambiguation Robustness of Regular Expressions.
Proc. ACM Program. Lang.
Konstantinos Mamouras, Alexis Le Glaunec, Wu Angela Li, Agnishom Chattopadhyay
2024 Misc conf
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance.
SAC
Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama
2024 J jnl
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance.
CoRR
Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama
2023 J jnl
A compositional framework for algebraic quantitative online monitoring over continuous-time signals.
Int. J. Softw. Tools Technol. Transf.
Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang
2022 J jnl
Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching.
CoRR
Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, Kaiyuan Yang
2022 A* conf
Software-hardware codesign for efficient in-memory regular pattern matching.
PLDI
Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, Kaiyuan Yang
2021 B conf
A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals.
RV
Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang
2021 — conf
Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring.
TACAS (1)
Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang
2021 J jnl
Pumping lemmas for weighted automata.
Log. Methods Comput. Sci.
Agnishom Chattopadhyay, Filip Mazowiecki, Anca Muscholl, Cristian Riveros
2020 B conf
A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics.
RV
Agnishom Chattopadhyay, Konstantinos Mamouras
2020 J jnl
Pumping lemmas for weighted automata.
CoRR
Agnishom Chattopadhyay, Filip Mazowiecki, Anca Muscholl, Cristian Riveros
2019 — conf
Query Preserving Watermarking Schemes for Locally Treelike Databases.
FSTTCS
Agnishom Chattopadhyay, M. Praveen
2019 J jnl
Query Preserving Watermarking Schemes for Locally Treelike Databases.
CoRR
Agnishom Chattopadhyay, M. Praveen