Agnishom Chattopadhyay

Orcid: 0009-0007-0462-8080

According to our database1, Agnishom Chattopadhyay authored at least 10 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Efficient Matching of Regular Expressions with Lookaround Assertions.
Proc. ACM Program. Lang., January, 2024

Static Analysis for Checking the Disambiguation Robustness of Regular Expressions.
Proc. ACM Program. Lang., 2024

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance.
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

2023
A compositional framework for algebraic quantitative online monitoring over continuous-time signals.
Int. J. Softw. Tools Technol. Transf., August, 2023

2022
Software-hardware codesign for efficient in-memory regular pattern matching.
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021
Pumping lemmas for weighted automata.
Log. Methods Comput. Sci., 2021

Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals.
Proceedings of the Runtime Verification - 21st International Conference, 2021

2020
A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics.
Proceedings of the Runtime Verification - 20th International Conference, 2020

2019
Query Preserving Watermarking Schemes for Locally Treelike Databases.
Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019


  Loading...