Formal Methods Update Meeting 2014: List of Speakers


Antonio A. Bruto da CostaIIT KharagpurFeature based abstractions and Support Function Reachability for Hybrid Automata
Kunal BanerjeeIIT KharagpurTranslation Validation using Path Based Equivalence Checkers Augmented with SMT Solvers
A BaskarBITS GoaQuantitative Information Flow Problems
Dipak ChaudhariIIT BombayAutomated Theorem Prover Assisted Program Calculations
Pallab DasguptaIIT KharagpurEmbedded Control Scheduling: An Automata and Language Theoretic Perspective
Soumyajit DeyIIT KharagpurReliability Analysis for Unreliable Embedded Systems
Shibashis GuhaIIT DelhiTimed bisimilarity through model checking and other problems
Aritra HazraIIT KharagpurFormal Methods for Architectural Power Intent Verification
Nehul JainIIT BombayGames and Realizability
Astrid KiehnIIIT DelhiSnapshot Algorithms for Mobile Computing Environment
Raveendra KumarIISc, BangaloreStatic Analysis and Verification of File-Processing Programs using File Format Specifications
Kamal LodayaIMScAutomata from Left and Right
Kumar MadhukarTRDDC, PuneSympara: Formally Verifying Synchronous Reactive Systems
Debdeep MukhopadhyayIIT KharagpurCache Attacks on Symmetric Key Crypto-systems and their Formal Analysis
Madhavan MukundCMIFormal specification of eventually consistent data structures
Rajarshi RayNIT MeghalayaASAC - Automatic Sensitivity Analysis for Approximate Computing
Suchismita RoyNIT DurgapurSAT based Techniques for Routing in FPGAs
Nishant SinhaIBMGood Error Explanations = Minimal Proofs
B SrivathsanCMITimed and Counter Systems
R VenkateshTRDDC, PuneFrom Invariant Checking to Invariant Inference Using Randomized Search