ISIS Publications

Export 515 results:
Sort by: Author Title [ Type  (Asc)] Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
Conference Paper
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)
Simon, G., M. Maroti, A. Ledeczi, G. Balogh, B. Kusy, A. Nadas, G. Pap, J. Sallai, and K. Frampton, "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)
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)
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)
Neema, H., J. Sztipanovits, C. Steinbrink, T. Raub, B. Cornelsen, and S. Lehnhoff, "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
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)
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.
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)
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)
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
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.
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)
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)
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.
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.
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.
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)
Sztipanovits, J., C. Krishnamurthy, and B. Purves, "Testing and Validation in Artificial Intelligence Programming", Proceedings of the SPIE's Cambridge Symposium on Advances in Intelligent Robotics Systems, Cambridge, MA, pp. 2--10, 1987.
Amundson, I., M. Kushwaha, B. Kusy, P. Volgyesi, G. Simon, X. Koutsoukos, and A. Ledeczi, "Time Synchronization for Multi-Modal Target Tracking in Heterogeneous Sensor Networks", Workshop on Networked Distributed Systems for Intelligent Sensing and Control, Kalamata, Greece, 2007. Abstract  Download: KalamataWorkshop07.pdf (3.94 MB)
Chen, K., J. Sztipanovits, S. Neema, M. Emerson, and S. Abdelwahed, "Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages", Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT 05), Jersey City, New Jersey, pp. 35--44, September, 2005.  Download: Chen_K_9_19_2005_Toward_a_S.pdf (363.02 KB)
Taddese, A., M. Beccani, E. Susilo, P. Volgyesi, A. Ledeczi, and P. Valdastri, "Toward Rapid Prototyping of Miniature Capsule Robots", IEEE International Conference on Robotics and Automation (ICRA ‘15), Seattle, WA, 05/2015.
Sztipanovits, J., "Toward Structural Adaptivity", IEEE International Symposium on Circuits and systems, Espoo, Finland, 1988.
Barve, Y., H. Neema, S. Rees, and J. Sztipanovits, "Towards a Design Studio for Collaborative Modeling and Co-Simulations of Mixed Electrical Energy Systems", Third International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE), Porto, Portugal, 04/2018. Abstract
Martins, G., S. Bhatia, X. Kousoukos, K. Stouffer, C. Y. Tang, and R. Candell, "Towards a Systematic Threat Modeling Approach for Cyber-physical Systems", 2nd National Symposium on Resilient Critical Infrastructure (ISRCS 2015), Philadelphia, 08/2015. Abstract  Download: eRTM_Paper.pdf (432.7 KB)
Simko, G., T. Levendovszky, M. Maroti, and J. Sztipanovits, "Towards a Theory for Cyber-Physical Systems Modeling", Proceedings of the 3rd Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy), 2013.
Porter, J., G. Karsai, and J. Sztipanovits, "Towards a time-triggered schedule calculation tool to support model-based embedded software design", ACM International Conference on Embedded Software (EMSOFT ’09), Grenoble, France, ACM, 10/2009. Abstract
Otte, W. R., D. C. Schmidt, and A. Gokhale, "Towards an Adaptive Deployment and Configuration Framework for Component-based Distributed Systems", Proceedings of the 9th Workshop on Adaptive and Reflective Middleware (ARM '10), Bengarulu, India, 2010.
Pettet, G., S. Sahoo, and A. Dubey, "Towards an Adaptive Multi-modal Traffic Analytics Framework at the Edge", International Workshop on Pervasive Flow of Things, Kyoto, Japan, IEEE, 03/2019. Abstract  Download: PerFotWorkshopPettet.pdf (1.52 MB)
Lattmann, Z., A. Nagel, J. Scott, K. Smyth, J. Ceisel, C. vanBuskirk, J. Porter, S. Neema, T. Bapty, D. Mavris, et al., "Towards Automated Evaluation of Vehicle Dynamics in System-Level Designs", Proc. ASME International Design Engineering Technical Conf. & Computers and Information in Engineering Conf. (IDETC/CIE 2012), Chicago, IL, USA, 08/2012.  Download: ASME_DECT2012-71378_dynamics.pdf (871.42 KB)
Wrenn, R., A. Nagel, D. Yao, R. Owens, F. Shi, J. Porter, K. Smyth, C. vanBuskirk, H. Neema, T. Bapty, et al., "Towards Automated Exploration and Assembly of Vehicle Design Models", Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, 08/2012.  Download: cad_dse_IDETC_CIE_2012_ISIS.pdf (1.39 MB)
Vizhanyo, A., A. Agrawal, and F. Shi, "Towards Generation of High-performance Transformations", Generative Programming and Component Engineering, Vancouver, Canada, October, 2004.  Download: Vizhanyo_A_10_24_2004_Towards_Ge.pdf (366.47 KB)
Levendovszky, T., D. Balasubramanian, K. Smyth, F. Shi, and G. Karsai, "A Transformation Instance-Based Approach to Traceability", 6th ECMFA Traceability Workshop (ECMFA-TW), Paris, France, ACM Digital Library, pp. 55-60, 2010. Abstract
Bapty, T., J. Scott, S. Neema, and J. Sztipanovits, "Uniform Execution Environment for Dynamic Reconfiguration", Proceedings of the IEEE Conference and Workshop on Engineering of Computer Based Systems, Nashville, TN, pp. 181--187, March, 1999.  Download: Bapty_T_3_0_1999_Uniform_Ex.PDF (57.12 KB)
Barve, Y., S. Shekhar, S. Khare, A. Bhattacharjee, and A. Gokhale, "UPSARA: A Model-Driven Approach for Performance Analysis of Cloud-Hosted Applications", 2018 IEEE/ACM 11th International Conference on Utility and Cloud Computing (UCC), pp. 1-10, Dec, 2018. Abstract  Download: PID5624157.pdf (863.37 KB)
Jackson, E., and J. Sztipanovits, "Using Separation of Concerns for Embedded Systems Design", EMSOFT '05, Jersey City, New Jersey, September, 2005.  Download: Jackson_EK_9_0_2005_Using_Sepa.pdf (201.69 KB)
Sogokon, A., P. B. Jackson, and T. T. Johnson, "Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants", NASA Formal Methods - 9th International Symposium, vol. 10227, Moffett Field, CA, USA, Springer, pp. 194-211, 05/2017. Abstract  Download: persistence-safety-nfm-2017.pdf (1.25 MB)