Akash Deshpande
University of the Cumberlands(US)
Publications by Year
Research Areas
Formal Methods in Verification, Petri Nets in System Modeling, Model-Driven Software Engineering Techniques, Traffic control and management, Real-Time Systems Scheduling
Most-Cited Works
- → Model-Driven Data Acquisition in Sensor Networks1(2004)361 cited
- → SHIFT: A formalism and a programming language for dynamic networks of hybrid automata(1997)77 cited
- → The SHIFT programming language for dynamic networks of hybrid automata(1998)55 cited
- → Viable control of hybrid systems(1995)49 cited
- → The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata(2000)43 cited
- → Communication protocols for a fault-tolerant automated highway system(2000)34 cited
- → Design and evaluation tools for Automated Highway Systems(1996)29 cited
- → Microsimulation analysis of automated vehicles on multiple merge junction highways(2002)28 cited