ISIS Publications

Export 78 results:
Sort by: Author [ Title  (Desc)] Type Year
Filters: First Letter Of Last Name is J  [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]
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)
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)
Jose, C., C. Kulkarni, G. Biswas, and G. Kai, "Towards Prognostics of Electrolytic Capacitors", Infotech@Aerospace 2011, St. Louis, Missouri, AIAA, 04/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
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)
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.
Chen, K., J. Sztipanovits, S. Abdelwahed, and E. Jackson, "Semantic Anchoring with Model Transformations", European Conference on Model Driven Architecture -Foundations and Applications (ECMDA-FA), Nuremberg, Germany, November, 2005.  Download: Chen_K_11_7_2005_Semantic_A.pdf (1.83 MB)
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.
Jiang, S., Y. Xue, A. Giani, and R. Bajcsy, "Robust Medical Data Delivery for Wireless Pervasive Healthcare", IEEE International Conference on Dependable, Autonomic and Secure Computing (International Workshop on Smart Homes for Tele-Health (SmarTel) co-located with), Chengdu, China, 12/2009.
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.
Gray, J., L. Yuehua, Z. Jing, S. Nordstrom, J. Balasubramanian, S. Neema, and G. Swapna, "Replicators: Transformations to Address Model Scalability", Model Driven Engineering Languages and Systems (MoDELS) (formerly the UML series of conferences), Springer-Verlag LNCS 3713, Montego Bay, Jamaica, pp. 295--308, October, 2005.  Download: Gray_J_10_0_2005_Replicator.pdf (575.88 KB)
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.
Linn, J. G., J. Sagedy, H. Jeong, B. Podgursky, and G. Biswas, "Reconfigurable architecture for building intelligent learning environments", The 14th International Conference on Artificial Intelligence in Education, Brighton, United Kingdom: IOS Press, pp. 115-120, 2009.
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
Jiang, S., and Y. Xue, "Providing Survivability against Jamming Attack via Joint Dynamic Routing and Channel Assignment", Proceedings of the 7th International Workshop on the Design of Reliable Communication Networks (DRCN), Washington, DC, 10/2009.
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.
Messie, D., M. Jung, J. C. Oh, S. Shetty, S. Nordstrom, and M. Haney, "Prototype of Adaptive Embedded Software for Large-Scale Real-Time Systems", Engineering of Autonomic Systems, EASe, Greenbelt, MD,USA, April, 2005.  Download: ISIS_4_6_2005_Prototype_.pdf (897.19 KB)
Biswas, G., R. Roscoe, H. Jeong, and B. Sulcer, "Promoting self-regulated learning skills in agent-based learning environments", The 17th International Conference on Computers in Education, Hong Kong: Asia-Pacific Society for Computers in Education, 2009.
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)
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)
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.
Maheswaran, R. T., P. Szekely, M. Becker, S. Fitzpatrick, G. Gati, J. Jin, R. Neches, N. Noori, C. M. Rogers, R. Sanchez, et al., "Predictability & criticality metrics for coordination in complex environments", Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, vol. 2, 2008. Abstract
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)
Werner, J., J. Mathe, S. Duncavage, B. A. Malin, A. Ledeczi, J. Jirjis, and J. Sztipanovits, "Platform-Based Design for Clinical Information Systems", 5th International Conference on Industrial Informatics (INDIN 2007), Vienna, Austria, 07/2007. Abstract  Download: (318.44 KB)
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.
Jiang, S., and Y. Xue, "Optimal Wireless Network Restoration Under Jamming Attack", 18th International Conference on Computer Communications and Networks (ICCCN), San Francisco, CA, 08/2009.
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)
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.
Jeong, H., and G. Biswas, "Mining student behavior models in learning-by-teaching environments", The First International Conference on Educational Data Mining, Montreal, Canada, pp. 127-136, 2008.
Jiang, S., Y. Xue, and D. C. Schmidt, "Minimum Disruption Service Composition and Recovery in Mobile Ad Hoc Networks", Computer Networks, Special Issue on Autonomic and Self-Organizing Systems, vol. 53, no. 10, pp. 1665, 07/2009.
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)
Balasubramanian, D., and E. K. Jackson, "Lost in Translation: Forgetful Semantic Anchoring", Automated Software Engineering, Auckland, New Zealand, 11/2009. Abstract  Download: ASE2009.pdf (357.82 KB)