Home

ISIS Publications

Export 92 results:
Sort by: Author [ Title (Desc)] 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]
S
Shetty, S., S. Nordstrom, S. Ahuja, D. Yao, T. Bapty, and S. Neema, "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)
Beccani, M., H. Tunc, A. Taddese, E. Susilo, P. Volgyesi, A. Ledeczi, and P. Valdastri, "Systematic design of medical capsule robots", IEEE Design Test, vol. 32, pp. 98–108, 2015.
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.
Ledeczi, A., "System Synthesis for Parallel Signal Processing", International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 1507--1511, 1995.
Neema, S., "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)
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)
Lin, C. H., M. Wolf, X. Koutsoukos, S. Neema, and J. Sztipanovits, "System and software architectures of distributed smart cameras", ACM Transactions on Embedded Computing Systems, vol. 9, no. 4, pp. 1-30, 2010.
Hanak, D., and N. Kandasamy, "Synthesising Robust Schedules for Minimum Disruption Repair Using Linear Programming", Acta Cybernetica, January, 2007.  Download: Hanak_D_1_1_2007_Synthesisi.pdf (320.9 KB)
Ledeczi, A., T. Bapty, and G. Karsai, "Synthesis of Self-Adaptive Software", IEEE Aerospace 2000, Big Sky, MT, March, 2000.  Download: Ledeczi_A_3_0_2000_Synthesis_.pdf (161.28 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)
Bapty, T., A. Ledeczi, J. Sztipanovits, and J. Davis, "Synthesis of Large-Scale Real-Time Instrumentation Systems using Model-Based Techniques", Proceedings of the the Software Engineering Research Forum, Boca Raton, FL, 1995.
Li, X., and Y. Xue, A Survey on Web Application Security, , Nashville, TN USA, Vanderbilt University, 2011. Abstract  Download: main.pdf (159.48 KB)
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)
Potteiger, B., P. Volgyesi, H. Neema, Y. Vorobeychik, A. Laszka, and X. Kousoukos, SURE: An Experimentation and Evaluation Testbed for Security and Resilience of CPS (Poster), , Science of Security Quarterly Lablet Meeting, Raleigh, NC, 02/2016.
Neema, H., P. Volgyesi, B. Potteiger, W. Emfinger, X. Kousoukos, G. Karsai, Y. Vorobeychik, and S. Janos, "SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience", 7th International Conference on Cyber-Physical Systems (ICCPS) , Vienna, Austria, 04/2016. Abstract
Potteiger, B., X. Koutsoukos, G. Karsai, A. Laszka, H. Neema, P. Volgyesi, Y. Vorobeychik, and J. Sztipanovits, "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.
Koutsoukos, X., G. Karsai, A. Laszka, H. Neema, B. Potteiger, P. Volgyesi, Y. Vorobeychik, and J. Sztipanovits, "SURE: A Modeling and Simulation Integration Platform for Evaluation of SecUre and REsilient Cyber-Physical Systems", Proceedings of the IEEE: IEEE, 2017.
Wolf, F., J. Balasubramanian, S. Tambe, A. Gokhale, and D. C. Schmidt, "Supporting Component-based Failover Units in Middleware for Distributed Real-time and Embedded Systems", Journal of Software Architectures: Embedded Software Design, Special Issue on Embedded and Real-time: Elsevier, 2010.
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)
Balasubramanian, D., A. Narayanan, S. Neema, F. Shi, R. Thibodeaux, and G. Karsai, "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)
Padalkar, S., W. Blokland, and J. Sztipanovits, "A Study on Diagnosability of Space Station ECLSS", Fifth Conference on Artificial Intelligence for Space Applications, Huntsville, AL, 1990.
Lee, Y., D. Min, J. A. Chaudhry, and S. Park, "A Study of Software Architecture and Comparative Performance Analysis for an EJB-Based Flexible Enterprise Application Framework", International Journal of Software Engineering and its application, vol. 2, no. 103, 03/2008. Abstract  Download: 2008-02-IJSEIA-Vol.2-No.1.pdf (369.05 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)
Blokland, W., Structurally Adaptive Systems, : Vanderbilt University, 1991.
Yapar, O., P. K. Basu, P. Volgyesi, and A. Ledeczi, "Structural health monitoring of bridges with piezoelectric AE sensors", Engineering Failure Analysis, Elsevier, no. 56, pp. 150-169, 2015.
Owens, R., S. Nyako, R. Boyles, F. Eisele, J. Hite, M. Myers, J. Scott, T. Bapty, and S. Neema, Structural Design and Analysis in the META Toolchain (status: review pending), , no. ISIS-15-109, 2015.
Kalli, S., and J. Sztipanovits, "Structural Adaptivity: New Way to Increase Intelligence and Flexibility of Patient Monitoring Systems", IFAC Symposium on Medical Instrumentation, 1989.
Sims, J., D. Vashishtha, P. Rani, R. Brackin, and N. Sarkar, "Stress Detection for Implicit Human-Robot Cooperation", World Automation Congress, ISORA-022, Orlando, Florida, USA, June, 2002.
Bhattacharjee, A., Y. Barve, S. Khare, S. Bao, and A. Gokhale, "Stratum: A Serverless Framework for Lifecycle Management of Machine Learning based Data Analytics Tasks", USENIX Conference on Operational Machine Learning (OpML '19) , 2019.
Sallai, J., A. Ledeczi, X. Koutsoukos, and P. Volgyesi, "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.
Chen, G. - D., C. - K. Chang, and C. - Y. Wang, "Statistical Model for Predicting Roles and Effects in Learning Community", Behaviour & Information Technology, 2010.
Wolf, F., J. Balasubramanian, A. Gokhale, and D. C. Schmidt, A State Transfer Framework for Object Oriented Fault-Tolerance, , Nashville, TN, Vanderbilt University, 06/2009.  Download: TR-StateTransfer.doc (311.5 KB)
Kottenstette, N., and P. J. Antsaklis, "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
Samal, C., F. Sun, and A. Dubey, "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)
Narayanan, A., and G. Karsai, "Specifying the Correctness Properties of Model Transformations", 3rd International Workshop on Graph and Model Transformation (GraMoT), 05/2008.
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)
Simko, G., D. Lindecker, T. Levendovszky, S. Neema, and J. Sztipanovits, "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.
Yao, D., "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)
Neema, H., "A Solution-Clusters Based Approach To Solve Hard Constraint Satisfaction Problems", Master's Thesis: Vanderbilt University, May, 2008.  Download: Neema_H_5_0_2008_A_Solution.pdf (495.62 KB)
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)
Szilvasi, S., B. Babjak, A. Ledeczi, and P. Volgyesi, "Software-defined radio for versatile low-power wireless sensor systems", International Conference on Digital Information Processing and Communications, Ostrawa, Czech Republic, 07/2011. Abstract
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)
Dubey, A., W. Emfinger, A. Gokhale, G. Karsai, W. R. Otte, J. Parsons, C. Szabo, A. Coglio, E. Smith, and P. Bose, "A Software Platform for Fractionated Spacecraft", 2012 IEEE Aerospace Conference, Big Sky, Montana, 03/2012. Abstract  Download: aerospace12-1473.pdf (4.2 MB)
Jackson, E., The Software Engineering of Domain-Specific Modeling Languages: A Survey Through Examples, : Institute for Software Integrated Systems, March 2007.  Download: Jackson_EK_3_0_2007_The_Softwa.pdf (979.48 KB)
Volgyesi, P., J. Sallai, A. Ledeczi, P. Dutta, and M. Maroti, "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)
Neema, S., T. Bapty, and D. Balasubramanian, Software Design and Implementation in the META Toolchain, , no. ISIS-15-107, 2015.  Download: Software Design and Implementation in the META Toolchain.pdf (3.32 MB)
Volgyesi, P., M. Maroti, S. Dora, E. Osses, and A. Ledeczi, "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)
Potteiger, B., G. Martins, and X. Koutsoukos, "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.
Robinson, W., M. Alles, J. Scott, T. Bapty, B. Bhuva, B. Bonds, L. Massengill, S. Neema, and R. Schrimpf, "Soft Error Considerations for Multicore Microprocessor Design", International Conference on Integrated Circuit Design & Technology, 05/2007.