Arup Deka

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 3

Top Topics

Reachability Analysis

Top Venues

Publications

Rajarshi Ray, Arup Deka, Kamalika Datta
Exact Synthesis of Reversible Logic Circuits using Model Checking. CoRR (2017)
Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
Parallel Reachability Analysis for Hybrid Systems. CoRR (2016)
Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
Parallel reachability analysis for hybrid systems. MEMOCODE (2016)