ISIS Publications

Export 92 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: First Letter Of Title is S  [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]
K
Kushwaha, M., K. Molnar, J. Sallai, P. Volgyesi, M. Maroti, and A. Ledeczi, "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)
Kushwaha, M., "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)
Koutsoukos, X., and P. Antsaklis, "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)
Karsai, G., "Structured Specification of Model Interpreters", ECBS, Nashville, TN, pp. 84--91, March, 1999.  Download: Karsai_G_3_0_1999_Structured.pdf (54.67 KB)
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits, "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)
Kandasamy, N., D. Hanak, C. van Buskirk, H. Neema, and G. Karsai, "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)
J
Jackson, E., R. Thibodeaux, J. Porter, and J. Sztipanovits, "Semantics of Domain Specific Modeling Languages", Model-Based Design for Embedded Systems, Boca Raton, FL, CRC Press, pp. 437-486, 2009.
H
E
Eisele, S., A. Laszka, A. Mavridou, and A. Dubey, "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)
D
Dubey, A., M. Sturm, M. Lehofer, and S. Janos, "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)
C
Chhokra, A., A. Kulkarni, S. Hasan, A. Dubey, N. Mahadevan, and G. Karsai, "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.
Chen, K., J. Sztipanovits, and S. Abdelwahed, "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)
Chen, K., J. Sztipanovits, S. Abdelwahed, and E. Jackson, "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)
Chen, J. J., and Y. Lee, "Second International Workshop on Workflow Management and Applications in Grid Environments", CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, vol. 20, no. 15, 06/2008.  Download: fulltext.pdf (69.92 KB)
Chabukswar, R., B. Sinopoli, G. Karsai, A. Giani, H. Neema, and A. Davis, "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)
B
Biegl, C., G. E. Cook, K. Fernandez, and M. Smith, "Simulation-Based Intelligent Robotic Agent for Space Station Freedom", 5th Conference on Artificial Intelligence for Space Applications, Huntsville, AL, pp. 203--210, 1990.
Basu, S., G. Biswas, and P. Sengupta, "Scaffolding to Support Learning of Ecology in Simulation Environments", The 15th International Conference on Artificial Intelligence in Education, Auckland, New Zealand, 2011.
Bapty, T., J. Knight, Z. Lattmann, S. Neema, and J. Scott, Software Quality Assurance for the META Toolchain, , no. ISIS-15-111, Nashville, Institute for Software Integrated Systems, 01/2015.  Download: Software Quality Assurance for the META Toolchain.pdf (1.56 MB)
A
Amundson, I., and X. Koutsoukos, "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)
Abdelwahed, S., G. Karsai, and G. Biswas, 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)
Abdelwahed, S., G. Biswas, and G. Karsai, "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)
Abdelwahed, S., and W. M. Wonham, "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)
Abbas, W., A. Laszka, Y. Vorobeychik, and X. Koutsoukos, "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.