|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 15 keywords
|
|
|
|
|
Results
Found 35 publication records. Showing 35 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Zhihao Jiang, Miroslav Pajic, Rahul Mangharam |
Cyber-Physical Modeling of Implantable Cardiac Medical Devices.  |
Proceedings of the IEEE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam |
Modeling and Verification of a Dual Chamber Implantable Pacemaker. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam |
Closing the loop: a simple distributed method for control over wireless networks. |
IPSN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam |
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam |
The Wireless Control Network: A New Approach for Control Over Networks. |
IEEE Trans. Automat. Contr. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Truong Nghiem, Madhur Behl, Rahul Mangharam, George J. Pappas |
Green scheduling of control systems for peak demand reduction. |
CDC-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam |
Topological conditions for wireless control networks. |
CDC-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Utsav Drolia, Zhenyan Wang, Srinivas Vemuri, Madhur Behl, Rahul Mangharam |
Demo abstract: AutoPlug - An automotive test-bed for ECU testing, validation and verification. |
IPSN |
2011 |
DBLP BibTeX RDF |
|
| 1 | Zhihao Jiang, Miroslav Pajic, Rahul Mangharam |
Demo abstract: Closed-loop testing for implantable cardiac pacemakers. |
IPSN |
2011 |
DBLP BibTeX RDF |
|
| 1 | Madhur Behl, Mansimar Aneja, Harsh Jain, Rahul Mangharam |
EnRoute: An energy router for energy-efficient buildings. |
IPSN |
2011 |
DBLP BibTeX RDF |
|
| 1 | Miroslav Pajic, Shreyas Sundaram, Mansimar Aneja, Srinivas Vemuri, Rahul Mangharam, George J. Pappas |
Architecture for a fully distributed Wireless Control Network. |
IPSN |
2011 |
DBLP BibTeX RDF |
|
| 1 | Paul Martin, William Etter, Rahul Mangharam |
Demo abstract: R.A.V.E.N. - Remote autonomous vehicle explorer network. |
IPSN |
2011 |
DBLP BibTeX RDF |
|
| 1 | Rahul Mangharam, Aminreza Abrahimi Saba |
Anytime Algorithms for GPU Architectures. |
RTSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam |
On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem. |
RTSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Pajic, Rahul Mangharam |
Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks. |
EURASIP J. Wireless Comm. and Networking |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam |
A platform for implantable medical device validation: demo abstract. |
Wireless Health |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam |
The Wireless Control Network: Synthesis and robustness. |
CDC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, Rahul Mangharam, George J. Pappas |
The wireless control network: Monitoring for malicious behavior. |
CDC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam |
Real-Time Heart Model for Implantable Cardiac Device Validation and Verification. |
ECRTS |
2010 |
DBLP DOI BibTeX RDF |
sotware validation, real-time systems, formal verification, safety-critical systems, cyber-physical systems, Medical Devices, pacemaker |
| 1 | Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, Rahul Mangharam |
A platform for implantable medical device validation. |
IPSN |
2010 |
DBLP DOI BibTeX RDF |
real-time systems, validation, cyber-physical systems, medical devices |
| 1 | Miroslav Pajic, Rahul Mangharam |
Embedded Virtual Machines for Robust Wireless Control and Actuation. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Mangharam, Miroslav Pajic |
Embedded Virtual Machines for Robust Wireless Control Systems. |
ICDCS Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Pajic, Rahul Mangharam |
Anti-jamming for embedded wireless networks. |
IPSN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Mangharam, Miroslav Pajic, Shivakumar Sastry |
Demo abstract: Embedded Virtual Machines for wireless industrial automation. |
IPSN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofie Pollin, Rahul Mangharam, Bruno Bougard, Liesbet Van der Perre, Ingrid Moerman, Ragunathan Rajkumar, Francky Catthoor |
MEERA: Cross-Layer Methodology for Energy Efficient Resource Allocation in Wireless Networks. |
IEEE Transactions on Wireless Communications |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Rowe, Rahul Mangharam, Raj Rajkumar |
RT-Link: A global time-synchronized link protocol for sensor networks. |
Ad Hoc Networks |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofie Pollin, Rahul Mangharam, Bruno Bougard, Liesbet Van der Perre, Ingrid Moerman, Ragunathan Rajkumar, Francky Catthoor |
MEERA: cross-layer methodology for energy efficient resource allocation in wireless networks. |
IEEE Transactions on Wireless Communications |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Mangharam, Anthony Rowe, Raj Rajkumar |
FireFly: a cross-layer platform for real-time embedded wireless networks. |
Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
Voice streaming, Energy-efficient networks, Network deployments, Sensor networks, Resource allocation, Medium access control, Time synchronization, Real-time embedded systems |
| 1 | Ivan Wang Hei Ho, Kin K. Leung, John W. Polak, Rahul Mangharam |
Node Connectivity in Vehicular Ad Hoc Networks with Structured Mobility. |
LCN |
2007 |
DBLP DOI BibTeX RDF |
Node Connectivity, Mobility, Vehicular Ad Hoc Networks |
| 1 | Rahul Mangharam, Raj Rajkumar |
MAX: A Maximal Transmission Concurrency MAC for Wireless Networks with Regular Structure. |
BROADNETS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Mangharam, Anthony Rowe, Raj Rajkumar, Ryohei Suzuki |
Voice over Sensor Networks. |
RTSS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofie Pollin, Bruno Bougard, Rahul Mangharam, Francky Catthoor, Ingrid Moerman, Ragunathan Rajkumar, Liesbet Van der Perre |
Optimizing Transmission and Shutdown for Energy-Efficient Real-time Packet Scheduling in Clustered Ad Hoc Networks. |
EURASIP J. Wireless Comm. and Networking |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Mangharam, Daniel S. Weller, Daniel D. Stancil, Ragunathan Rajkumar, Jayendra S. Parikh |
GrooveSim: a topography-accurate simulator for geographic routing in vehicular networks. |
Vehicular Ad Hoc Networks |
2005 |
DBLP DOI BibTeX RDF |
vehicular networking modeling and simulation, multi-hop wireless networks |
| 1 | Rahul Mangharam, Ragunathan Rajkumar, Sofie Pollin, Francky Catthoor, Bruno Bougard, Liesbet Van der Perre, Ingrid Moerman |
Optimal fixed and scalable energy management for wireless networks. |
INFOCOM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofie Pollin, Bruno Bougard, Rahul Mangharam, Liesbet Van der Perre, Francky Catthoor, Ragunathan Rajkumar, Ingrid Moerman |
Optimizing transmission and shutdown for energy-efficient packet scheduling in sensor networks. |
EWSN |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #35 of 35 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")