Mrunal Patel

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 5

Top Topics

Deterministic Finite Automaton

Pspace Complete

Top Venues

ACM Trans. Reconfigurable Technol. Syst.

Publications

Shenghsun Cho, Mrunal Patel, Michael Ferdman, Peter A. Milder
Practical Model Checking on FPGAs. ACM Trans. Reconfigurable Technol. Syst. 14 (2) (2021)
Mrunal Patel, Shenghsun Cho, Michael Ferdman, Peter A. Milder
Runtime-Programmable Pipelines for Model Checkers on FPGAs. FPL (2019)
Shenghsun Cho, Mrunal Patel, Han Chen, Michael Ferdman, Peter A. Milder
A Full-System VM-HDL Co-Simulation Framework for Servers with PCIe-Connected FPGAs. FPGA (2018)
Dipankar Deb, Mrunal Patel, Himmat Singh
Automated cleaning of wind turbine blades with no downtime. ICIT (2017)
Nisarg Brahmbhatt, Mrunal Patel, Dipankar Deb
Micro-controller driven wind turbine blade cleaning peripheries. ICACCI (2017)
T. C. Nicholas Graham, Irina Schumann, Mrunal Patel, Quentin Bellay, Raimund Dachselt
Villains, architects and micro-managers: what tabula rasa teaches us about game orchestration. CHI (2013)