mLab http://mlab.seas.upenn.edu Real-Time & Embedded Systems Laboratory - University of Pennsylvania en-US daily 1 mLab Thu, 14 Jul 2016 08:03:15 +0000 mLab Towards high confidence medical device software IEEE Computer 2016, 2016. Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Rahul Mangharam http://mlab.seas.upenn.edu?publication=89 2016-03-01 High-Confidence Medical Device Software Development Foundations and Trends in Electronic Design Automation, 9, 4, 2016. Zhihao Jiang, Rahul Mangharam http://mlab.seas.upenn.edu?publication=90 2016-03-01 Closed-loop Verification of Medical Devices with Model Abstraction and Refinement (Submitted) International Journal on Software Tools for Technology Transfer, 2013. Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam http://mlab.seas.upenn.edu?publication=62 2013-04-22 Robust Architectures for Embedded Wireless Network Control and Actuation ACM Transactions on Embedded Computing Systems. Accepted. To be published, 2012. Miroslav Pajic, Alexander Chernoguzov, Rahul Mangharam http://mlab.seas.upenn.edu?publication=19 2012-10-21 Model-Driven Safety Analysis of Closed-Loop Medical Systems IEEE Transactions of Industrial Informatics (TII), Special Section on Cyber-Physical Systems. Submitted (Invited), 2012. Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, Insup Lee http://mlab.seas.upenn.edu?publication=21 2012-10-21 Safety-critical Medical Device Development using the UPP2SF Model Translation Tool (Submitted) ACM TECS RTAS12 Special Issue on Real-Time and Embedded Technology and Applications, 2012. Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam http://mlab.seas.upenn.edu?publication=63 2012-09-15 The Wireless Control Network: A New Approach for Control Over Networks IEEE Transactions on Automatic Control. Accepted. To be published, 2011. Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam http://mlab.seas.upenn.edu?publication=16 2011-10-29 Cyber-Physical Modeling of Implantable Cardiac Medical Devices Proceeding of IEEE Special Issue on Cyber-Physical Systems, 100, 1, Page(s): 122 - 137, 2011, ISBN: 0018-9219. Zhihao Jiang, Miroslav Pajic,, Rahul Mangharam http://mlab.seas.upenn.edu?publication=61 2011-06-30 Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks EURASIP Journal on Wireless Communication and Networking, 2010. Miroslav Pajic, Rahul Mangharam http://mlab.seas.upenn.edu?publication=29 2010-01-01 MEERA: Cross-Layer Methodology for Energy Efficient Resource Allocation in Wireless Networks Wireless Communications, IEEE Transactions on, 7, 1, Page(s): 98-109, 2008. Pollin, S., Rahul Mangharam, Bougard, B., Van der Perre, L., Moerman, I., Rajkumar, R., Catthoor, F. http://mlab.seas.upenn.edu?publication=39 2008-12-01 Global Time-Synchronized Link Protocols for Energy Constrained Multi-hop Wireless Networks Elsevier Ad hoc Networks, Special Issue on Energy efficient design in wireless ad hoc and sensor networks, Q4 2007, 2007. Anthony Rowe, Rahul Mangharam, Raj Rajkumar http://mlab.seas.upenn.edu?publication=41 2007-08-01 Optimizing transmission and shutdown for energy-efficient real-time packet scheduling in clustered ad hoc networks EURASIP J. Wirel. Commun. Netw., 2005, 5, Page(s): 698{textendash}711, 2005. Pollin, Sofie, Bougard, Bruno, Rahul Mangharam, Catthoor, Francky, Moerman, Ingrid, Rajkumar, Ragunathan, Van der Perre, Liesbet http://mlab.seas.upenn.edu?publication=50 2005-01-01