Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Raffaele Brilli
Yihan Yu
Claudia Calabrese
Ronaldo Gonçalves Junior
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
MEENAKSHI D'SOUZA
Author Info
Open Visualization
Name
Affiliation
Papers
MEENAKSHI D'SOUZA
IIIT Bangalore, Bangalore, Karnataka, India
11
Collaborators
Citations
PageRank
24
2
3.83
Referers
Referees
References
5
80
27
Publications (11 rows)
Collaborators (24 rows)
Referers (5 rows)
Referees (80 rows)
Title
Citations
PageRank
Year
LipBaB: Computing Exact Lipschitz Constant of ReLU Networks
0
0.34
2021
Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker
0
0.34
2021
Formalizing GPU Instruction Set Architecture in Coq
0
0.34
2019
FrAppLe: A Framework for Apprenticeship Learning
0
0.34
2019
The ISEC 2019 Ph.D. Symposium
0
0.34
2019
Formal Verification Of Datarace In Safety Critical Arinc653 Compliant Rtos
0
0.34
2018
A Static Analyzer for Industrial Robotic Applications.
0
0.34
2017
Workshop on Developmental aspects of Intelligent Adaptive Systems (DIAS): Co-located with 10th Innovations in Software Engineering Conference (ISEC), Jaipur, India.
0
0.34
2017
Static Vulnerability Analysis for Secure Mobile Platforms.
0
0.34
2017
Developmental aspects of Intelligent Adaptive Systems (DIAS).
0
0.34
2017
Formal verification of avionics self adaptive software: A case study.
2
0.45
2016
1