Feature Based Identification of Transmission Line Faults by Synchronous Monitoring of PMUs. - Antara Ain; Akshay Mambakam; Pallab Dasgupta; Siddhartha Mukhopadhyay (VLSID, 2017)

Feature Based Coverage Analysis of AMS Circuits. - Antara Ain; Akshay Mambakam; Pallab Dasgupta (ISVLSI, 2018)

Learning Specifications for Labelled Patterns. - Nicolas Basset; Thao Dang 001; Akshay Mambakam; José Ignacio Requeno Jarabo (FORMATS, 2020)

Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions. - Akshay Mambakam; Eugene Asarin; Nicolas Basset; Thao Dang 001 (HSCC, 2023)

Mining of extended signal temporal logic specifications with ParetoLib 2.0. - Akshay Mambakam; José Ignacio Requeno Jarabo; Alexey Bakhirkin; Nicolas Basset; Thao Dang 001 (Formal Methods Syst. Des., 2024)