] Filters: First Letter Of Title is S [Clear All Filters]
"Stable digital control networks for continuous passive plants subject to delays and data dropouts",
46th IEEE Conference on Decision and Control, New Orleans, LA, IEEE, 12/2007.
Abstract
"Soft Error Considerations for Multicore Microprocessor Design",
International Conference on Integrated Circuit Design & Technology, 05/2007.
"Shooter Localization and Weapon Classification with Soldier-Wearable Networked Sensors",
5th International Conference on Mobile Systems, Applications, and Services (MobiSys), San Juan, Puerto Rico, 2007.
Download: sys5090-volgyesi.pdf (1.04 MB)
"Simulation-based game learning environments: Building and sustaining a fish tank",
The First IEEE International Workshop on Digital Game and Intelligent Toy Enhanced Learning, Jhongli, Taiwan, pp. 73-80, 2007.
"A Subgraph Operator for Graph Transformation Languages",
Electronic Communications of the EASST, vol. 6, 2007.
Abstract
Download: A_Subgraph_Operator_for_Graph_Transformation_Languages.pdf (233.92 KB)
"A Semantic Unit for Timed Automata Based Modeling Languages",
12th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, CA, pp. 2--14, April, 2006.
Download: Chen_K_4_4_2006_A_Semantic.pdf (316.11 KB)
A Semantic Unit for Timed Automata Based Modeling Languages,
: Institute for Software Integrated Systems, October, 2005.
Download: Chen_K_10_28_2005_A_Semantic.pdf (748.84 KB)
"Semantic Anchoring with Model Transformations",
European Conference on Model Driven Architecture -Foundations and Applications (ECMDA-FA), Nuremberg, Germany, November, 2005.
Download: Chen_K_11_7_2005_Semantic_A.pdf (1.83 MB)
"Sensor Node Localization Using Mobile Acoustic Beacons",
The 2nd IEEE International Conference (MASS 05), Washington, DC, November, 2005.
Download: Kushwaha_M_11_7_2005_Sensor_Nod.pdf (1.18 MB)
"Specification and Implementation of Autonomic Fault-Mitigation Behaviors for Large-Scale Real-Time Embedded Systems",
Master's Thesis: Vanderbilt University, August, 2005.
Download: Yao_D_8_0_2005_Specificat.pdf (1013.37 KB)
"Software Composition and Verification for Sensor Networks",
Science of Computer Programming (Elsevier), vol. 56, pp. 191--210, April, 2005.
Download: Volgyesi_P_4_0_2005_Software_C.pdf (312.39 KB)
"Systems Integration of Autonomic Large Scale Systems Using Multiple Domain Specific Modeling Language",
12 IEEE International Conference on ECBS ,Engineering of Autonomic Systems, 0-7695-2306-0/05, Greenbelt, MD , USA, April, 2005.
Download: Shetty_SS_4_6_2005_Systems_In.pdf (542.27 KB)
"Sensor Node Localization Using Mobile Acoustic Beacons",
Department of Computer Science, Vanderbilt University, Nashville TN, 2005.
Download: master-thesis-manish-kushwaha.pdf (9.06 MB)
"Sensor network-based countersniper system",
In Proc. of ACM SenSys, Baltimore, MD, pp. 1--12, November, 2004.
Download: Simon_G_11_3_2004_Sensor_Net.pdf (662.24 KB)
"Self optimization in computer systems via online control: application to power management",
the International Conference on Autonomic Computing, New York, NY, May, 2004.
Download: Kandasamy_N_5_0_2004_Self_optim.pdf (237.87 KB)
"System Diagnosis using Hybrid Failure Propagation Graphs",
The 15th International Workshop on Principles of Diagnosis, Carcassonne, France, June, 2004.
Download: Abdelwahed_S_6_0_2004_System_Dia.pdf (200.89 KB)
"Shooter Localization in Urban Terrain",
Computer, vol. 37, pp. 60--61, August, 2004.
Download: Maroti_M_8_0_2004_Shooter_Lo.pdf (240.97 KB)
"Synthesis of Robust Task Schedules for Minimum Disruption Repair",
IEEE International Conference on Systems, Man and Cybernetics, vol. 6, pp. 5056-5061, 10/2004.
Abstract
Download: RobustTaskSchedules.pdf (370.75 KB)
"Semantic Translation of Simulink/Stateflow models to Hybrid Automata using Graph Transformations",
Electronic Notes in Theoretical Computer Science, vol. 109, pp. 43--56, 2004.
Download: Agrawal_A_3_27_2004_Semantic_T.pdf (1.58 MB)
"Simulation-based optimization of communication protocols for large-scale wireless sensor networks",
2003 IEEE Aerospace Conference, Big Sky, MT, March, 2003.
Download: Simon_G_3_8_2003_Simulation.pdf (407.89 KB)
"Self-Adaptive Software for Fault-Adaptive Control",
Third Intl. Workshop on Self-Adaptive Software, Washington, D.C., June, 2003.
"Scheduling In Time Triggered Systems Under Mode Changes",
Master's Thesis: Vanderbilt University, December, 2003.
Download: Prabhakar_R_12_0_2003_Scheduling.pdf (1.04 MB)
System Diagnosis using Hybrid Failure Propagation Graphs,
: Institute for Software Integrated Systems, December, 2003.
Download: Abdelwahed_S_12_0_2003_System_Dia.pdf (385.08 KB)
"Safety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions",
Journal of Discrete Event Dynamic Systems: Theory and Applications, vol. 13, pp. 203--243, 2003.
Download: Koutsoukos_X_0_0_2003_Safety_and.pdf (699.61 KB)
"Stress Detection for Implicit Human-Robot Cooperation",
World Automation Congress, ISORA-022, Orlando, Florida, USA, June, 2002.
"Supervisory control of interacting discrete event systems",
41st IEEE Conference on Decision and Control, Las Vegas, NV, pp. 1175--1180, December, 2002.
Download: Abdelwahed_S_12_0_2002_Supervisor.pdf (196.48 KB)
"System Level Synthesis of Adaptive Computing Systems",
PhD Dissertation: Vanderbilt University, May, 2001.
Download: Neema_S_5_0_2001_System_Lev.pdf (1.61 MB)
"Specifying Graphical Modeling Systems Using Constraint-based Metamodels",
IEEE Symposium on Computer Aided Control System Design, Anchorage, Alaska, September, 2000.
Download: Karsai_G_9_25_2000_Specifying.pdf (90.87 KB)
"Synthesis of Self-Adaptive Software",
IEEE Aerospace 2000, Big Sky, MT, March, 2000.
Download: Ledeczi_A_3_0_2000_Synthesis_.pdf (161.28 KB)
""Signal Interpretation for Monitoring and Diagnosis, A Cooling System Testbed"",
IEEE Trans. on Instrumentation and Measurement, vol. 49, pp. 503--509, 2000.
Download: Manders_EJ_0_0_2000_Signal_Int.pdf (711.56 KB)
"Structured Specification of Model Interpreters",
ECBS, Nashville, TN, pp. 84--91, March, 1999.
Download: Karsai_G_3_0_1999_Structured.pdf (54.67 KB)
"Saturn Site Production Flow (SSPF): Accomplishments and Challenges",
Engineering of Computer Based Systems, Jerusalem, Israel, pp. 248--255, March, 1998.
Download: Long_E_3_0_1998_Saturn_Sit.pdf (112.49 KB)
"Self-Adaptive Software for Signal Processing",
Communications of the ACM, vol. 41, pp. 55--65, March, 1998.
Download: Sztipanovi_J_0_0_1998_Self_Adapt.pdf (66.17 KB)
Safety Analysis and Diagnosis in a Model-Integrated Computing Framework,
, Workshop on Model-Integrated Computing, Nashville, TN, Institute for Software Integrated Systems, June, 1996.
Download: Sztipanovi_J_6_0_1996_Safety_Ana.pdf (72.52 KB)
"Saturn Site Production Flow: Requirements, Constraints, Issues",
Workshop on Model-Integrated Computing, Old Hickory, TN, June, 1996.
Download: Long_E_6_0_1996_Saturn_Sit.pdf (193.89 KB)
"Synthesis of Large-Scale Real-Time Instrumentation Systems using Model-Based Techniques",
Proceedings of the the Software Engineering Research Forum, Boca Raton, FL, 1995.
"System Synthesis for Parallel Signal Processing",
International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 1507--1511, 1995.
"Sensor-Based Diagnosis of Dynamical Systems",
PhD Dissertation: Vanderbilt University, 1994.
Download: Misra_A_0_0_1994_Sensor_Bas.pdf (1.02 MB)
Structurally Adaptive Systems,
: Vanderbilt University, 1991.
"Simulation-Based Intelligent Robotic Agent for Space Station Freedom",
5th Conference on Artificial Intelligence for Space Applications, Huntsville, AL, pp. 203--210, 1990.
"A Study on Diagnosability of Space Station ECLSS",
Fifth Conference on Artificial Intelligence for Space Applications, Huntsville, AL, 1990.
"Structural Adaptivity: New Way to Increase Intelligence and Flexibility of Patient Monitoring Systems",
IFAC Symposium on Medical Instrumentation, 1989.
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering