ISIS Publications

Export 92 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: First Letter Of Title is S  [Clear All Filters]
2019
2018
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)
Sun, F., A. Dubey, C. Samal, H. Baroud, and C. Kulkarni, "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)
2017
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)
Hasan, S., A. Chhokra, A. Dubey, N. Mahadevan, and G. Karsai, "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)
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.
2016
2015
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.
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)
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)
2014
2013
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.
2012
Zhang, Z., J. Porter, X. Kousoukos, and J. Szipanovits, "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)
2011
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.
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
Ledeczi, A., P. Volgyesi, E. Barth, A. Nadas, A. Pedchenko, T. Hay, and S. Jayaraman, "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.
Li, X., and Y. Xue, A Survey on Web Application Security, , Nashville, TN USA, Vanderbilt University, 2011. Abstract  Download: main.pdf (159.48 KB)
2010
Neema, H., A. Kashyap, R. Kereskenyi, Y. Xue, and G. Karsai, "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)
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.
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)
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)
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.
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.
2009
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)
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.
2008
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)
Narayanan, A., and G. Karsai, "Specifying the Correctness Properties of Model Transformations", 3rd International Workshop on Graph and Model Transformation (GraMoT), 05/2008.
2007