] Filters: First Letter Of Title is S [Clear All Filters]
"Self-sustaining Wireless Acoustic Emission Sensor System for Bridge Monitoring",
New Developments in Sensing Technology for Structural Health Monitoring, vol. 96: Springer Berlin Heidelberg, pp. 15-39, 2011.
"Semantics of Domain Specific Modeling Languages",
Model-Based Design for Embedded Systems, Boca Raton, FL, CRC Press, pp. 437-486, 2009.
"Simulation-Based Analysis of Cyber Resilience in Cyber-Physical Systems",
Cyber Resilience of Networks and Systems: Springer, 2018.
"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)
"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)
"Scheduling Intrusion Detection Systems in Resource-Bounded Cyber-Physical Systems",
ACM Workshop on Cyber-Physical Systems Security & Privacy (in Conjunction with 22nd ACM Conference on Computer and Communications Security (CCS)), Denver, CO, ACM, 09/2015.
"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)
"Self-Adaptive Software for Fault-Adaptive Control",
Third Intl. Workshop on Self-Adaptive Software, Washington, D.C., June, 2003.
"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)
"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)
"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)
"Short-Term Transit Decision Support System Using Multi-task Deep Neural Networks",
2018 IEEE International Conference on Smart Computing (SMARTCOMP), Taormina, Italy, IEEE, pp. 155-162, 07/2018.
Abstract
Download: short_term_transit_dnn.pdf (1.66 MB)
"Simulation Based Evaluation of Security and Resilience in Railway Infrastructure (Poster)",
Symposium and Bootcamp for the Science of Security (HotSoS), Nashville, TN, 04/2019.
"A Simulation Framework for Design of Mixed Time-Event-Triggered Distributed Control Systems with SystemC/TLM",
The 3rd Analytic Virtual Integration of Cyber-Physical Systems Workshop, San Juan, Puerto Rico, 12/2012.
Download: AVICPS'12.pdf (1.52 MB)
"Simulation Integration Platforms for Cyber-Physical Systems",
The First Workshop on Design Automation for CPS and IoT (DESTION 2019), Montreal, Canada, ACM, 04/2019.
Abstract
"Simulation of Network Attacks on SCADA Systems",
First Workshop on Secure Control Systems, Cyber Physical Systems Week 2010, 04/2010.
Abstract
Download: ScadaSystemsSimulationsUsingC2WT.pdf (124.34 KB)
"A Simulation Testbed for Cascade Analysis",
IEEE PES Innovative Smart Grid Technologies (ISGT), 2017.
Abstract
Download: ISGT_2017_paper1.pdf (728.09 KB); ISGT_2017_presentation.pdf (857.13 KB)
"Simulation-Based Intelligent Robotic Agent for Space Station Freedom",
5th Conference on Artificial Intelligence for Space Applications, Huntsville, AL, pp. 203--210, 1990.
"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)
"Smart City Hubs: Opportunities for Integrating and Studying Human CPS at Scale",
Workshop on Big Data Analytics in CPS: Enabling the Move from IoT to Real-Time Control, 04/2015.
Download: extendedAbstract.pdf (189.05 KB)
"SOAMANET: A Tool for Evaluating Service-Oriented Architectures on Mobile Ad-hoc Networks",
The 14th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2010), Fairfax, VA, pp. 179-188, 10/2010.
Abstract
Download: Paper.pdf (1013.92 KB)
"Soft Error Considerations for Multicore Microprocessor Design",
International Conference on Integrated Circuit Design & Technology, 05/2007.
"Software and attack centric integrated threat modeling for quantitative risk assessment",
Proceedings of the Symposium and Bootcamp on the Science of Security, Pittsburgh, PA, ACM, pp. 99–108, 2016.
"Software development for a novel WSN platform",
Workshop on Software Engineering for Sensor Network Applications, Cape Town, South Africa, 05/2010.
Abstract
Download: main.pdf (536.55 KB)
"A Software Platform for Fractionated Spacecraft",
2012 IEEE Aerospace Conference, Big Sky, Montana, 03/2012.
Abstract
Download: aerospace12-1473.pdf (4.2 MB)
"Software-defined radio for versatile low-power wireless sensor systems",
International Conference on Digital Information Processing and Communications, Ostrawa, Czech Republic, 07/2011.
Abstract
"SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities",
Blockchain-2018: The 2018 IEEE International Conference on Blockchain, vol. abs/1804.08133, Halifax, Nova Scotia, 08/2018.
Abstract
Download: Eisele et al. - SolidWorx A Resilient and Trustworthy Transactive.pdf (881.45 KB)
"Specification of Cyber-Physical Components with Formal Semantics – Integration and Composition",
ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS): Springer Berlin Heidelberg, 2013.
"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)
"Specifying the Correctness Properties of Model Transformations",
3rd International Workshop on Graph and Model Transformation (GraMoT), 05/2008.
"SpeedPro: A Predictive Multi-Model Approach for Urban Traffic Speed Estimation",
Second IEEE Workshop on Smart Service Systems (SmartSys 2017), Hong Kong, China, may, 2017.
Abstract
Download: speedpro.pdf (378.09 KB)
"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
"Steerable Distributed Large-Aperture Audio Array Using Low-Power Wireless Acoustic Sensor Node",
Networked Digital Technologies, Prague, Czech Republic, Springer LNCS, pp. 281-288, 07/2010.
"Stress Detection for Implicit Human-Robot Cooperation",
World Automation Congress, ISORA-022, Orlando, Florida, USA, June, 2002.
"Structural Adaptivity: New Way to Increase Intelligence and Flexibility of Patient Monitoring Systems",
IFAC Symposium on Medical Instrumentation, 1989.
"Structured Specification of Model Interpreters",
ECBS, Nashville, TN, pp. 84--91, March, 1999.
Download: Karsai_G_3_0_1999_Structured.pdf (54.67 KB)
"A Study on Diagnosability of Space Station ECLSS",
Fifth Conference on Artificial Intelligence for Space Applications, Huntsville, AL, 1990.
"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)
"SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems (Poster)",
Computational Cybersecurity for Compromised Environments (C3E), Atlanta, GA, 10/2017.
"SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience",
7th International Conference on Cyber-Physical Systems (ICCPS) , Vienna, Austria, 04/2016.
Abstract
"A Survey on Localization for Mobile Wireless Sensor Networks",
2nd International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT), 09/2009.
Abstract
Download: melt09_survey_amundson.pdf (382.49 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.
"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)
"Synthesis of Self-Adaptive Software",
IEEE Aerospace 2000, Big Sky, MT, March, 2000.
Download: Ledeczi_A_3_0_2000_Synthesis_.pdf (161.28 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)
"System Synthesis for Parallel Signal Processing",
International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 1507--1511, 1995.
"A Systematic Approach Of Identifying Optimal Load Control Actions For Arresting Cascading Failures In Power Systems",
2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids (CPSR-SG 2017), Pittsburgh, Pennsylvania, USA, ACM, 04/2017.
"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)
"Scaffolding to Support Learning of Ecology in Simulation Environments",
The 15th International Conference on Artificial Intelligence in Education, Auckland, New Zealand, 2011.
"A Simulation and Modeling Based Reliability Requirement Assessment Methodology",
26th International Conference on Design Theory and Methodology (DTM), Buffalo, NY, USA, 08/2014.
Abstract
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering