ISIS Publications

Export 83 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: First Letter Of Last Name is J  [Clear All Filters]
Neema, H., B. Potteiger, X. Kousoukos, G. Karsai, P. Volgyesi, and S. Janos, "Integrated Simulation Testbed for Security and Resilience of CPS (accepted)", 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
Barve, Y. D., 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.
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)
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)
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)
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)
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)
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)
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.
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)
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.
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.
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.
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.
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.
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.
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.
Juracz, L., G. Pap, L. Howard, and J. Johnson, "HoloRena: a framework for developing flow-driven web-based educational games", IEEE Learning Technology, Special Issue on Game Based Learning, vol. 12, no. 1, 01/2010.