Home

ISIS Publications

Export 69 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: First Letter Of Title is R  [Clear All Filters]
A B C D E F G H I J K L M N O P Q [R] S T U V W X Y Z   [Show ALL]
A
Abbas, W., A. Laszka, and X. Koutsoukos, "Resilient Wireless Sensor Networks for Cyber-Physical Systems", Cyber-Physical System Design with Sensor Networking Technologies: The Institution of Engineering and Technology (IET), 2015.
Abbas, W., Y. Vorobeychik, and X. Koutsoukos, "Resilient Consensus Protocol in the Presence of Trusted Nodes", th IEEE International Symposium on Resilient Control Systems: IEEE, 2014.
Abbott, B., and T. Bapty, "Real-Time Turbine Engine Data Visualization", Transputer Research Applications, DL Fielding, IOS Press, 1990.
Abbott, B., T. Bapty, and J. Sztipanovits, "Real-Time Turbine Engine Data Visualization", Proceedings of the the 4th NATUG, Ithaca, NY, pp. 1--11, 1990.
Abdelwahed, S., G. Karsai, and G. Biswas, "Robust Diagnosis of Switching Systems", 5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Washington, DC., June, 2003.  Download: Abdelwahed_S_6_0_2003_Robust_Dia.pdf (119.56 KB)
Abdelwahed, S., G. Karsai, and G. Biswas, "Robust State-based Supervisory Control of Discrete Event Systems", IEEE Conference on Control Application, Toronto, Canada, August, 2005.
Agrawal, A., A. Vizhanyo, Z. Kalmar, F. Shi, A. Narayanan, and G. Karsai, "Reusable Idioms and Patterns in Graph Transformation Languages", 2nd International Conference on Graph Transformation, Rome, Italy, September, 2004.  Download: Agrawal_A_9_28_2004_Reusable_I.pdf (254.95 KB)
Agrawal, A., A. Vizhanyo, Z. Kalmar, F. Shi, A. Narayanan, and G. Karsai, "Reusable Idioms and Patterns in Graph Transformation Languages", Electronic Notes in Theoretical Computer Science, vol. 127, pp. 181--192, March, 2005.
Amaral, V., C. Hardebolle, G. Karsai, L. Lengyel, and T. Levendovszky, Recent Advances in Multi-paradigm Modeling, , Berlin, Heidelberg, Springer, pp. 220-224, 2010. Abstract
Amundson, I., J. Sallai, X. Koutsoukos, A. Ledeczi, and M. Maroti, "RF angle of arrival-based node localisation", International Journal of Sensor Networks, vol. (to appear), 2011.
Amundson, I., J. Sallai, X. Koutsoukos, and A. Ledeczi, "Radio Interferometric Angle of Arrival Estimation", 7th European Conference on Wireless Sensor Networks, Coimbra, Portugal, Springer, 02/2010. Abstract  Download: ewsn10_amundson.pdf (409.39 KB)
An, K., "Resource Management and Fault Tolerance Principles for Supporting Distributed Real-time and Embedded Systems in the Cloud", MIDDLEWARE '12 Proceedings of the 9th Middleware Doctoral Symposium of the 13th ACM/IFIP/USENIX International Middleware Conference, Montreal, Quebec, Canada, 12/2012.  Download: MDS2012.pdf (133.49 KB)
An, K., S. Tambe, A. Sorbini, S. Mukherjee, J. Povedano-Molina, M. Walker, N. Vermani, A. Gokhale, and P. Pazandak, "Real-time Sensor Data Analysis Processing of a Soccer Game Using OMG DDS Publish/Subscribe Middleware", ISIS Technical Report, no. ISIS-13-102: Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN 37212, 06/2013.  Download: TechReport_13_102.pdf (930.22 KB)
B
Balasubramanian, D., G. Pap, H. Nine, G. Karsai, M. Lowry, C. Pasareanu, and T. Pressburger, "Rapid Property Specification and Checking for Model-Based Formalisms", IEEE International Symposium on Rapid System Prototyping, Karlsruhe, Germany, 05/2011. Abstract  Download: RSP2011.pdf (2.08 MB)
Balasubramanian, J., A. Gokhale, F. Wolf, A. Dubey, C. Lu, C. Gill, and D. C. Schmidt, "Resource-Aware Deployment and Configuration of Fault-tolerant Real-time Systems", ISIS Technical Report, no. ISIS-09-109: Institute for Software Integrated Systems, Vanderbilt University, 10/2009.  Download: decoram_tr09.pdf (1.81 MB)
Balasubramanian, D., A. Dubey, W. R. Otte, W. Emfinger, P. Kumar, and G. Karsai, "A Rapid Testing Framework for a Mobile Cloud Infrastructure", IEEE International Symposium on Rapid System Prototyping (RSP): IEEE, 10/2014.  Download: RSP2014.pdf (874.05 KB)
Biegl, C., G. E. Cook, K. Fernandez, and M. Smith, "ROBOSIM: An Intelligent Robotics Simulator", UPCAEDM, Tennessee Technological University, Cookeville, TN, pp. 209--216, August, 1992.
Biswas, G., G. Simon, N. Mahadevan, S. Narasimhan, J. W. Ramirez, and G. Karsai, "A robust method for hybrid diagnosis of complex systems", 5th Symposium on Fault Detection, Supervision and Safety for Technical Processes, Washington, DC, pp. 1125--1131, June, 2003.  Download: Biswas__G_6_0_2003_A_robust_m.pdf (522.4 KB)
Biswas, G., P. Bonasso, and S. Abdelwahed, "Requirements for an Autonomous Control Architecture for Advanced Life Support System", 35th SAE International Conference on Environmental Systems (ICES'05), Rome , Italy, July, 2005.
D
Dabholkar, A., A. Dubey, A. Gokhale, N. Mahadevan, and G. Karsai, "Reliable Distributed Real-time and Embedded Systems Through Safe Middleware Adaptation", 31st International Symposium on Reliable Distributed Systems (SRDS 2012), Irvine, California, USA, IEEE, 10/2012.  Download: srds2012_submission_88.pdf (665.22 KB)
Daigle, M., X. Koutsoukos, and G. Biswas, "Relative Measurement Orderings in Diagnosis of Distributed Physical Systems", 43rd Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, pp. 1707--1716, September, 2005.  Download: Daigle_MJ_9_0_2005_Relative_M.pdf (160.46 KB)
Dubey, A., G. Karsai, R. Kereskenyi, and N. Mahadevan, "A Real-Time Component Framework: Experience with CCM and ARINC-653", IEEE International Symposium on Object-Oriented Real-Time Distributed Computing,, Spain, pp. 143--150, 2010. Abstract  Download: Paper.pdf (5.46 MB)
Dubey, A., G. Karsai, and S. Pradhan, "Resilience at the Edge in Cyber-Physical Systems", The 2nd International Conference on Fog and Mobile Edge Computing, Valencia, Spain, IEEE, 05/2017. Abstract  Download: main.pdf (1.06 MB)
Dubey, A., S. Pradhan, D. C. Schmidt, S. Rusitschka, and M. Sturm, "The Role of Context and Resilient Middleware in Next Generation Smart Grids", Proceedings of the 3rd Workshop on Middleware for Context-Aware Applications in the IoT, New York, NY, USA, ACM, 2016. Abstract  Download: role-context.pdf (1.08 MB)
Dubey, A., N. Mahadevan, and R. Kereskenyi, "Reflex and Healing Architecture for Software Health Management", International Workshop on Software Health Management, IEEE conference on Space Mission Challenges for Information Technology, 07/2009.  Download: Paper.pdf (189.19 KB)
E
Eisele, S., I. Madari, A. Dubey, and G. Karsai, "RIAPS:Resilient Information Architecture Platform for Decentralized Smart Systems", 20th IEEE INTERNATIONAL SYMPOSIUM ON REAL-TIME COMPUTING, Toronto, Canada, IEEE, 05/2017. Abstract  Download: paper.pdf (1.43 MB)
F
Fernandez, K., G. E. Cook, C. Biegl, and J. Springfield, "ROBOSIM: An Intelligent Simulator for Robotic Systems", Technology 2002: 3rd National Technology conference and Exposition, NASA Conference Publication 3189, Vol 2, Baltimore, MD, pp. 119--125, December, 1992.
G
Gray, J., L. Yuehua, Z. Jing, S. Nordstrom, J. Balasubramanian, S. Neema, and G. Swapna, "Replicators: Transformations to Address Model Scalability", Model Driven Engineering Languages and Systems (MoDELS) (formerly the UML series of conferences), Springer-Verlag LNCS 3713, Montego Bay, Jamaica, pp. 295--308, October, 2005.  Download: Gray_J_10_0_2005_Replicator.pdf (575.88 KB)
H
Hemingway, G., H. Neema, H. Nine, J. Sztipanovits, and G. Karsai, "Rapid Synthesis of High-Level Architecture-Based Heterogeneous Simulation: A Model-Based Integration Approach", SIMULATION, vol. March 17, 2011 0037549711401950, no. March 17, 2011, Online, Simulation: Transactions of the Society for Modeling and Simulation International, pp. 16, 03/2011. Abstract  Download: 0037549711401950.full_.pdf (815.53 KB)
Howard, L., J. Johnson, and C. Neitzel, "Reflecting on online learning designs using observed behavior", Fifteenth Annual Conference on Innovation and Technology in Computer Science Education, Ankara, Turkey, ACM, pp. 179-183, June 2010.
J
Jackson, E. K., T. Levendovszky, and D. Balasubramanian, "Reasoning about Metamodeling with Formal Specifications and Automatic Proofs", Model Driven Engineering Languages and Systems (MoDELS), vol. 6981, Wellington, New Zealand, Springer, 10/2011. Abstract
Jackson, E. K., W. Schulte, D. Balasubramanian, and G. Karsai, "Reusing Model Transformations While Preserving Properties", Fundamental Approaches to Software Engineering, vol. 6013: Springer, 04/2010.
Jiang, S., Y. Xue, A. Giani, and R. Bajcsy, "Robust Medical Data Delivery for Wireless Pervasive Healthcare", IEEE International Conference on Dependable, Autonomic and Secure Computing (International Workshop on Smart Homes for Tele-Health (SmarTel) co-located with), Chengdu, China, 12/2009.
K
Khare, S., K. An, A. Gokhale, S. Tambe, and A. Meena, "Reactive stream processing for data-centric publish/subscribe", 9th ACM International Conference on Distributed Event-Based Systems, Oslo, Norway, ACM, 06/2015. Abstract
Kumar, P. S., W. Emfinger, A. Kulkarni, G. Karsai, D. Watkins, B. Gasser, C. Ridgewell, and A. Anilkumar, "ROSMOD: A Toolsuite for Modeling, Generating, Deploying, and Managing Distributed Real-time Component-based Software using ROS", Rapid System Prototyping Symposium (ESWEEK), Amsterdam, The Netherlands, 2015.  Download: 2015--RSP--ROSMOD - A Toolsuite for Modeling, Generating, Deploying, and Managing Distributed Real-time Component-based Software using ROS.pdf (7.72 MB)
Kusy, B., J. Sallai, G. Balogh, A. Ledeczi, V. Protopopescu, J. Tolliver, F. DeNap, and M. Parang, "Radio Interferometric Tracking of Mobile Wireless Nodes", In Proc. of MobiSys, 2007.
Kusy, B., I. Amundson, J. Sallai, P. Volgyesi, A. Ledeczi, and X. Koutsoukos, "RF Doppler Shift-Based Mobile Sensor Tracking and Navigation", ACM Transactions on Sensor Networks, vol. 7, no. 1, pp. 1-32, 2010.
Kusy, B., M. Maroti, G. Simon, and A. Ledeczi, "Robust Multi-Hop Time Synchronization in Sensor Networks", ICWN '04, Las Vegas, Nevada, USA, June, 2004.  Download: Kusy_B_6_21_2004_Robust_Mul.doc (214 KB)
L
Ledeczi, A., J. Sallai, and P. Volgyesi, "RF Bearing Estimation in Wireless Sensor Networks", Government Microcircuit Application and Critical Technology Conference (GOMACTech 09), Orlando, FL, 03/2009. Abstract
Li, B., J. Sallai, P. Volgyesi, and A. Ledeczi, "Rapid Prototyping of Image Processing Workflows on Massively Parallel Architectures", Workshop on Intelligent Solutions in Embedded Systems, Klagenfurt, Austria, 06/2012. Abstract
Linn, J. G., J. Sagedy, H. Jeong, B. Podgursky, and G. Biswas, "Reconfigurable architecture for building intelligent learning environments", The 14th International Conference on Artificial Intelligence in Education, Brighton, United Kingdom: IOS Press, pp. 115-120, 2009.
M
Maroti, M., B. Kusy, G. Balogh, P. Volgyesi, K. Molnar, S. Dora, and A. Ledeczi, Radio Interferometric Positioning, : Institute for Software Integrated Systems, April, 2005.  Download: Maroti_M_4_10_2005_Radio_Inte.pdf (422.8 KB)
Maroti, M., B. Kusy, G. Balogh, P. Volgyesi, K. Molnar, A. Nadas, S. Dora, and A. Ledeczi, "Radio Interferometric Geolocation", ACM Third International Conference on Embedded Networked Sensor Systems (SenSys 05), San Diego, CA, pp. 1--12, November, 2005.  Download: Maroti_M_11_3_2005_Radio_Inte.pdf (422.8 KB)
Mehrotra, R., A. Dubey, J. Kwalkowski, M. Paterno, A. Singh, R. Herber, and S. Abdelwahed, "RFDMon: A Real-Time and Fault-Tolerant Distributed System Monitoring Approach", ISIS Technical Report, Nashville, Vanderbilt University, 10/2011.  Download: SensorReport_Paper.pdf (1.64 MB)
Mehrotra, R., A. Dubey, S. Abdelwahed, and K. W. Rowland, "RFDMon: A Real-time and Fault-tolerant Distributed System Monitoring Approach", The Eighth International Conference on Autonomic and Autonomous Systems, St. Maarten, Netherlands Antilles, 03/2012.  Download: RFDMON.pdf (752.16 KB)
Misra, A., J. Sztipanovits, and R. Carnes, "Robust Diagnostics: Structural Redundancy Approach", Knowledge Based Artificial Intelligence Systems in Aerospace and Industry, SPIE's Symposium on Intelligent Systems, Orlando, FL, April, 1994.  Download: Misra_A_4_0_1994_Robust_Dia.pdf (233.04 KB)
Mohanty, S., V. Prasanna, S. Neema, and J. Davis, "Rapid Design Space Exploration of Heterogeneous Embedded Systems using Symbolic Search and Multi-Granular Simulation", Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), Berlin, Germany, June, 2002.  Download: Mohanty_S_6_0_2002_Rapid_Desi.pdf (263.12 KB)
N
Neema, H., W. Emfinger, and A. Dubey, "A Reusable and Extensible Web-Based Co-Simulation Platform for Transactive Energy Systems", 3rd International Transactive Energy Systems, Portland, Oregon, GridWise® Architecture Council , 05/2016. Abstract
Neema, H., H. Nine, G. Hemingway, J. Sztipanovits, and G. Karsai, "Rapid Synthesis of Multi-Model Simulations for Computational Experiments in C2", Armed Forces Communications and Electronics Association - George Mason University Symposium, issue Critical Issue in C4I, Lansdowne, Virginia, George Mason University: http://hdl.handle.net/1920/5639, 05/2009. Abstract  Download: C4I-09-07.pdf (717.63 KB)
Neema, H., A. Dubey, and G. Karsai, "A Report On Simulating External Applications With SOAMANET in the Loop", ISIS Technical Report, no. ISIS-10-108, Nashville, Insitute For Software Integrated Systems, 08/2010.  Download: report.pdf (6.13 MB)