ISIS Publications

Export 69 results:
Sort by: Author Title Type [ Year  (Asc)]
Filters: First Letter Of Title is R  [Clear All Filters]
1990
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.
1991
1992
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.
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.
1994
Padalkar, S., J. Sztipanovits, G. Karsai, N. Miyasaka, and K. Okuda, "Real-Time Fault Diagnostics with Multiple-Aspect Models", IEEE International Conference on Robotics and Automation, Sacramento, CA, pp. 803--808, April, 1994.
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)
1999
Scott, J., T. Bapty, and S. Neema, "Runtime Environment for Dynamically Reconfigurable Embedded Systems", Proceedings of the International Conference on Signal Processing Applications and Technology, Orlando, FL, November, 1999.  Download: Scott_J_11_0_1999_Runtime_En.pdf (3.8 KB)
2000
Szedo, G., S. Neema, J. Scott, and T. Bapty, "Reconfigurable Target Recognition System", Proceedings of the FPGA 2000, Monterey, CA, February, 2000.  Download: Szedo_G_2_0_2000_Reconfigur.pdf (267.98 KB)
2002
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)
Pasternak, T., "Reconfiguration in Hierarchical Control of Piecewise-Affine Systems", Hybrid Systems Computation and Control, Lecture Notes in Computer Science, 2289, pp. 364--377, March, 2002.  Download: Pasternak_T_3_0_2002_Pasternak_.pdf (322.85 KB)
2003
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)
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)
2004
Su, R., S. Abdelwahed, and S. Neema, A Reachability based Stability Analysis for Switching Systems, : Institute for Software Integrated Systems, September, 2004.  Download: ISIS_9_0_2004_A_Reachabi.pdf (3.95 KB)
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)
2005
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)
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.
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.
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.
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)
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)
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)
2006
Tan, J., and G. Biswas, "The role of feedback in preparation for future learning: A case study in learning by teaching environments", ntelligent Tutoring Systems: Vol. 4053. Lecture Notes in Computer Science, Jhongli, Taiwan, Springer, pp. 370-381, 2006.
Volgyesi, P., A. Nadas, A. Ledeczi, and K. Molnar, "Reliable Multihop Bulk Transfer Service forWireless Sensor Networks", 13th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2006), Potsdam, Germany, March, 2006.  Download: Volgyesi_P_3_0_2006_Reliable_M.pdf (1.61 MB)
2007
2009
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.
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
Sallai, J., P. Volgyesi, and A. Ledeczi, "Radio Interferometric Quasi Doppler Bearing Estimation", Information Processing in Sensor Networks (IPSN 09, SPOTS Track), San Francisco, CA, 04/2009. Abstract  Download: ipsn09.pdf (1.37 MB)
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)
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)
Tantawy, A., X. Koutsoukos, and G. Biswas, "Robust differential protection with intermittent cable faults for aircraft AC generators", Annual Conference of the Prognostics and Health Management Society, PHM09, San Diego, CA, 09/2009.
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)
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.
2010
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)
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.
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)
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)
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.
2011
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)
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)
Tambe, S., and A. Gokhale, "Rectifying Orphan Components using Group-Failover in Distributed Real-time and Embedded Systems", To Appear in the 14th International ACM SIGSOFT Symposium on Component-based Software Engineering (CBSE), Boulder, CO, USA, ACM, 06/2011.  Download: GroupFailover.pdf (525.13 KB)
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
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.