Home

ISIS Publications

Export 85 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Last Name is J  [Clear All Filters]
2019
Hartsell, C., N. Mahadevan, S. Ramakrishna, A. Dubey, T. Bapty, T. T. Johnson, X. Kousoukos, J. Szipanovits, and G. Karsai, "Model-Based Design for CPS with Learning-Enabled Components", Design Automation for CPS and IoT (DESTION 2019), Montreal, Canada, April 2019.
2018
Neema, H., B. Potteiger, X. Kousoukos, G. Karsai, P. Volgyesi, and S. Janos, "Integrated Simulation Testbed for Security and Resilience of CPS", The 33rd ACM Symposium on Applied Computing - Cyber-Physical Systems Track, Pau, France, ACM, 04/2018. Abstract
Burns, M., T. Roth, E. Griffor, P. Boynton, S. Janos, and H. Neema, "Universal CPS Environment for Federation (UCEF)", 2018 Winter Simulation Innovation Workshop, Orlando, FL, Simulation Interoperability Standards Organization (SISO), 01/2018. Abstract
Sztipanovits, J., T. Bapty, E. Jackson, X. Koutsoukos, Z. Lattmann, and S. Neema, "Model and Tool Integration Platforms for Cyber-Physical System Design", Proceedings of the IEEE, 2018.  Download: Manuscript-Integration Platforms PIEE 2018.pdf (1.09 MB)
Karsai, G., X. Kousoukos, H. Neema, P. Volgyesi, and S. Janos, "Simulation-Based Analysis of Cyber Resilience in Cyber-Physical Systems", Cyber Resilience of Networks and Systems: Springer, 2018.
2017
Barve, Y., H. Neema, A. Gokhale, and S. Janos, "Model-driven Automated Deployment of Large-scale CPS Co-simulations in the Cloud (poster)", ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Austin, TX, 09/2017.
Barve, Y., H. Neema, A. Gokhale, and S. Janos, "Towards an automated deployment framework for large-scale CPS co-simulations in the cloud (poster)", 1st Cyber-Physical Systems Symposium, Begaluru, India, 07/2017. Abstract
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)
2016
Sogokon, A., K. Ghorbal, and T. T. Johnson, "Decoupling Abstractions of Non-linear Ordinary Differential Equations", FM 2016, 21st International Symposium on Formal Methods, vol. 9995 Lecture Notes in Computer Science, Limassol, Cyprus, Springer, pp. 628-644, 11/2016. Abstract  Download: decoupling-abstractions-fm-2016.pdf (366.46 KB)
Kousoukos, X., H. Neema, G. Martins, S. Bhatia, S. Janos, K. Stouffer, C. Y. Tang, and R. Candell, "Performance Evaluation of Secure Industrial Control System Design: A Railway Control System Case Study", 4th International Symposium on Resilient Cyber Systems, Chicago, IL, 08/2016. Abstract
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
2015
hamed khorasgani, G. Biswas, and D. Jung, "Minimal Structurally Overdetermined Sets Selection for Distributed Fault Detection", Proceedings of the 26th International Workshop on Principles of Diagnosis, Paris, France, 08/2015. Abstract  Download: Minimal.pdf (1.25 MB)
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)
2014
Sztipanovits, J., T. Bapty, S. Neema, L. Howard, and E. Jackson, "OpenMETA: A Model and Component-Based Design Tool Chain for Cyber-Physical Systems", From Programs to Systems – The Systems Perspective in Computing (FPS 2014), Grenoble, France, Springer, April 6, 2014. Abstract  Download: OpenMETA - Sztipanovits.pdf (807.74 KB)
Maroti, M., T. Kecskes, R. Kereskenyi, B. Broll, P. Volgyesi, L. Juracz, T. Levendovszky, and A. Ledeczi, "Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure", 8th Multi-Paradigm Modeling Workshop, Valencia, Spain, 09/2014.
Honda, T., E. Saund, I. Matei, W. Janssen, B. Saha, D. G. Bobrow, J. de Kleer, T. Kurtoglu, and Z. Lattmann, "A Simulation and Modeling Based Reliability Requirement Assessment Methodology", 26th International Conference on Design Theory and Methodology (DTM), Buffalo, NY, USA, 08/2014. Abstract
Lattmann, Z., A. Pop, J. de Kleer, P. Fritzson, B. Janssen, S. Neema, T. Bapty, X. Koutsoukos, M. Klenk, D. Bobrow, et al., "Verification and Design Exploration through Meta Tool Integration with OpenModelica", 10th International Modelica Conference, vol. Proceedings of the 10th International Modelica Conference, Lund University, Solvegatan 20A, SE-223 62 LUND, SWEDEN, Modelica Association and Linkoping University Electronic Press, pp. 353-362, 03/2014.  Download: Modelica2014_ecp14096037.pdf (1.51 MB)
Juracz, L., Z. Lattmann, T. Levendovszky, G. Hemingway, W. Gaggioli, T. Netterville, G. Pap, K. Smyth, and L. Howard, "VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design", Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and Cloud computing co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), vol. Vol-1118, 01/2014. Abstract  Download: MDHPCL 2013 04-paper.pdf (1.08 MB)
2013
Nadas, A., L. Juracz, J. Sztipanovits, M. E. Frisse, and A. J. Olsen, "PolicyForge: A Collaborative Environment for Formalizing Privacy Policies in Health Care", Software Engineering in Health Care (SEHC 2013) at the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, California, USA, ACM and IEEE Digital Libraries, 05/2013. Abstract  Download: icsews13sehc-id14-p-16536-preprint.pdf (648 KB)
Simko, G., D. Lindecker, T. Levendovszky, E. Jackson, S. Neema, and J. Sztipanovits, "A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems", IEEE 20th International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), Phoenix, AZ, IEEE, pp. 30-39, 2013.  Download: ECBS2013.pdf (416.4 KB)
Jose, C., C. Kulkarni, G. Biswas, and G. Kai, "Prognostic Studies and Physics of failure mod- eling under High Electrical Stress for Electrolytic Capacitors", International Journal of Prognostics and Health Management, vol. 4, no. 2013, 2013.
Myers, M. R., A. B. Jorge, D. E. Yuhas, and G. D. Walker, "Using Ultrasound and the Extended Kalman Filter for Characterizing Aerothermodynamic Environments", AIAA Journal, 2013.
2012
Myers, M. R., A. B. Jorge, M. J. Mutton, and D. G. Walker, "A comparison of extended Kalman filter, particle filter, and least squares localization methods for a high heat flux concentrated source", International Journal of Heat and Mass Transfer, vol. 55, issue 9-10, pp. 2219 - 2228, 4/2012.
Myers, M. R., A. B. Jorge, M. J. Mutton, and D. G. Walker, "High heat flux point source sensitivity and localization analysis for an ultrasonic sensor array", International Journal of Heat and Mass Transfer, vol. 55, issue 9-10, pp. 2472 - 2485, 4/2012.
Shi, J., R. Amgai, S. Abdelwahed, A. Dubey, J. Humphreys, M. Alattar, and R. Jia, "Generic Modeling and Analysis Environment Design for Shipboard Power System", Marinelive, 11/2012.  Download: Paper_Final_MarineLive_2012_v3.pdf (2.95 MB)
Kulkarni, C., C. Jose, G. Biswas, and G. Kai, "Accelerated Aging Experiments for Capacitor Health Monitoring and Prognostics", IEEE AUTOTESTCON, Anaheim, CA, IEEE, 09/2012.
Kulkarni, C., C. Jose, G. Biswas, and G. Kai, "Bayesian Framework Approach for Prognostic Studies in Electrolytic Capacitor under Thermal Overstress Conditions", Annual Conference of the Prognostics and Health Management Society, Minneapolis, MN, PHM Society, 09/2012. Abstract
Kulkarni, C., C. Jose, G. Biswas, and K. Goebel, "Physics Based Electrolytic Capacitor Degradation Models for Prognostic Studies under Thermal Overstress", 1st European Conference of the Prognostics and Health Management Society, Dresden, Germany, 07/2012.
Kulkarni, C., C. Jose, G. Biswas, and K. Goebel, "Prognostics Health Management and Physics based failure Models for Electrolytic Capacitors", AIAA Infotech@Aerospace Conference, Garden Grove, CA, American Institute of Aeronautics and Astronautics,, 06/2012.  Download: AIAA2012_Final_Kulkarni_Celaya_Biswas_Goebel1.pdf (385.28 KB)
Myers, M. R., A. B. Jorge, M. J. Mutton, and D. G. Walker, "A comparison of extended Kalman filter, ultrasound time-of-flight measurement models for heating source localization", Inverse Problems in Science and Engineering, pp. 1 - 26, 04/2012.
Juracz, L., and L. Howard, "Architectural Framework for Generic Modeling and Diagramming in the Cloud", International Journal of Digital Information and Wireless Communications, vol. Vol. 1, no. No. 2, 02/2012.
Myers, M. R., A. B. Jorge, M. J. Mutton, and D. G. Walker, "An Adaptive Extended Kalman Filter for Localizing a High Heat Flux Point Source Using an Ultrasonic Sensor Array", Computer Modeling in Engineering and Sciences, vol. 83, no. 3, pp. 27, 2012.
Simko, G., T. Levendovszky, S. Neema, E. Jackson, T. Bapty, J. Porter, and J. Sztipanovits, "Foundation for Model Integration: Semantic Backplane", Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE, 2012.
2011
Wellons, J., and J. Johnson, "A Grounded Theory Analysis of Introductory Computer Science Pedagogy", Journal on Systemics, Cybernetics and Informatics, vol. 8, 2011.
Jose, C., C. Kulkarni, G. Biswas, S. Sankalita, and G. Kai, "A Model-based Prognostics Methodology for Electrolytic Capacitors Based on Electrical Overstress Accelerated Aging", Annual Conference of the Prognostics and Health Management Society (PHM 2011), Montreal, Canada, Prognostics and Health Management Society, 10/2011.
Kulkarni, C., G. Biswas, C. Jose, and G. Kai, "Prognostics Health Management and Failure Analysis Modeling techniques for Accelerated Life testing in Electrolytic Capacitors", IEEE 2011 Workshop on Accelerated Stress Testing & Reliability, San Francisco, CA, IEEE, 10/2011.
Jackson, E. K., T. Levendovszky, and D. Balasubramanian, "Reasoning about Metamodeling with Formal Specifications and Automatic Proofs", Model Driven Engineering Languages and Systems (MoDELS), vol. 6981, Wellington, New Zealand, Springer, 10/2011. Abstract
Kulkarni, C., G. Biswas, C. Jose, and G. Kai, "Prognostic Modeling and Experimental Techniques for Electrolytic Capacitor Health Monitoring", 8th International Workshop on Structural Health Monitoring, IWSHM 2011, Stanford, CA, 09/2011.
Juracz, L., and L. Howard, "Towards a Generic Cloud-based Modeling Environment", International Conference on Digital Information Processing and Communications, Ostrava, Czech Republic, 07/2011. Abstract
Jose, C., C. Kulkarni, G. Biswas, and G. Kai, "Towards Prognostics of Electrolytic Capacitors", Infotech@Aerospace 2011, St. Louis, Missouri, AIAA, 04/2011.
Kulkarni, C., G. Biswas, C. Jose, and G. Kai, "Prognostics Techniques For Capacitor Degradation and Health Monitoring", The Maintenance & Reliability Conference, MARCON 2011, Knoxville, TN, MARCON, 03/2011. Abstract  Download: MARCON_2011_Kulkarni_Biswas_Celaya_Goebel.pdf (367.09 KB)
Jiang, S., and Y. Xue, "Providing Survivability against Jamming Attack for Multi- Radio Multi-Channel Wireless Mesh Networks", Journal of Network and Computer Applications, Special Issue on Efficient and Robust Security of Wireless Mesh Networks, vol. 34, no. 2, pp. 454, 2011.
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.
2010
Joeng, H., G. Biswas, J. Johnson, and L. Howard, "Analysis of productive learning behaviors in a structured inquiry cycle using hidden Markov models", Proceedings of the 3rd International Conference of Educational Data Mining, Pittsburgh, PA, pp. 81-90, June 2010.
Howard, L., J. Johnson, and C. Neitzel, "Examining learner control in a structured inquiry cycle using process mining", 3rd International Conference on Educational Data Mining, Pittsburgh, PA, pp. 71-80, June 2010.
Howard, L., J. Johnson, and C. Neitzel, "Reflecting on online learning designs using observed behavior", Fifteenth Annual Conference on Innovation and Technology in Computer Science Education, Ankara, Turkey, ACM, pp. 179-183, June 2010.
Wellons, J., and J. Johnson, "Planning and the novice programmer: How grounded theory research can lead to better interventions", IMETI 2010, Orlando, FL, July 2010.
Juracz, L., "Developing courses with HoloRena, a framework for scenario- and game based e-learning environments", International Journal of Software Engineering & Applications (IJSEA), vol. 1, no. 4, pp. 1-17, 10/2010.
Kulkarni, C., G. Biswas, X. Koutsoukos, C. Jose, and K. Goebel, "Integrated Diagnostic/Prognostic Experimental Setup for Capacitor Degradation and Health Monitoring", IEEE AUTOTESTCON 2010, Orlando, FL, IEEE, 09/2010.
Jackson, E. K., W. Schulte, D. Balasubramanian, and G. Karsai, "Reusing Model Transformations While Preserving Properties", Fundamental Approaches to Software Engineering, vol. 6013: Springer, 04/2010.