Akshay Mambakam

According to our database, Akshay Mambakam authored at least 5 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Mining of extended signal temporal logic specifications with ParetoLib 2.0.

Akshay Mambakam, José Ignacio Requeno Jarabo, Alexey Bakhirkin, Nicolas Basset, Thao Dang

Formal Methods Syst. Des., June, 2024

2023

Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions.

Akshay Mambakam, Eugene Asarin, Nicolas Basset, Thao Dang

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

2020

Learning Specifications for Labelled Patterns.

Nicolas Basset, Thao Dang, Akshay Mambakam, José Ignacio Requeno Jarabo

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2018

Feature Based Coverage Analysis of AMS Circuits.

Antara Ain, Akshay Mambakam, Pallab Dasgupta

Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI, 2018

2017

Feature Based Identification of Transmission Line Faults by Synchronous Monitoring of PMUs.

Antara Ain, Akshay Mambakam, Pallab Dasgupta, Siddhartha Mukhopadhyay

Proceedings of the 30th International Conference on VLSI Design and 16th International Conference on Embedded Systems, 2017