49 citations · 73 across the 14 of their papers we have counts for
4 papers · 1 filter
Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET
Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos
The analysis and verification of hybrid automata (HA) models against rich formal properties can be a challenging task. Existing methods and tools can mainly reason whether a given…
Recurrence in Dense-time AMS Assertions
Sayandeep Sanyal, Antonio Anastasio Bruto da Costa, Pallab Dasgupta
The notion of recurrence over continuous or dense time, as required for expressing Analog and Mixed-Signal (AMS) behaviours, is fundamentally different from what is offered by the…
Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems
Ginju V. George, Aritra Hazra, Pallab Dasgupta +1
Reliability and fault tolerance are critical attributes of embedded cyber-physical systems that require a high safety-integrity level. For such systems, the use of formal functiona…
Semi-Lexical Languages -- A Formal Basis for Unifying Machine Learning and Symbolic Reasoning in Computer Vision
Briti Gangopadhyay, Somnath Hazra, Pallab Dasgupta
Human vision is able to compensate imperfections in sensory inputs from the real world by reasoning based on prior knowledge about the world. Machine learning has had a significant…