ISIS Publications

Export 1092 results:
Sort by: [ Author  (Asc)] Title Type Year
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 
D
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)
Dubey, A., N. Mahadevan, and R. Kereskenyi, "Reflex and Healing Architecture for Software Health Management", International Workshop on Software Health Management, IEEE conference on Space Mission Challenges for Information Technology, 07/2009.  Download: Paper.pdf (189.19 KB)
Dubey, A., G. Karsai, A. Gokhale, W. Emfinger, and P. S. Kumar, "DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems", International Conference on Space Mission Challenges for Information Technology (SMC-IT), 2017, 09/2017. Abstract  Download: main.pdf (951.36 KB)
Dubey, A., G. Karsai, and N. Mahadevan, "A Component Model for Hard-Real Time Systems: CCM with ARINC-653", Software: Practice and Experience, no. In press, 2011.  Download: Journal.pdf (1.94 MB)
Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, and T. Bapty, "Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems", Third IEEE International Workshop on Engineering of Autonomic {\&} Autonomous Systems (EASE'06), Potsdam, Germany, pp. 129--140, March, 2006.  Download: Dubey_A_3_0_2006_Verifying_.pdf (1.17 MB)
Dubey, A., R. Mehrotra, S. Abdelwahed, and A. Tantawi, "Performance Modeling of Distributed Multi-Tier Enterprise Systems", ACM SIGMETRICS Performance Evaluation Review, vol. 37, no. 2, Seattle, 2009.  Download: Paper.pdf (1.44 MB)
Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty, and G. Karsai, "Towards A Model-Based Autonomic Reliability Framework for Computing Clusters", Fifth IEEE Workshop in Engineering of Autonomic and Autonomous Systems (EASe 2008), Belfast, Northern Ireland, April, 2008.  Download: Dubey_A_4_0_2008_Towards_A_.pdf (733.09 KB)
Dubey, A., D. Riley, and S. Abdelwahed, "Modeling and Analysis of Probabilistic Timed Systems", Engineering of Computer Based Systems, San Francisco, USA, 04/2009. Abstract  Download: PTAVerification.pdf (1.42 MB)
Dubey, A., G. Karsai, and S. Pradhan, "Resilience at the Edge in Cyber-Physical Systems", The 2nd International Conference on Fog and Mobile Edge Computing, Valencia, Spain, IEEE, 05/2017. Abstract  Download: main.pdf (1.06 MB)
Dubey, A., A. Gokhale, G. Karsai, W. R. Otte, D. Balasubramanian, S. Nyako, and J. Willemsen, "A Model-driven Software Component Framework for Fractionated Spacecraft", 5th International Conference on Spacecraft Formation Flying Missions and Technologies, Munich, Germany, 2013. Abstract  Download: f6mdk.pdf (550.9 KB); f6mdk-extended-abstract.pdf (76.81 KB)
Durham, E., Y. Xue, M. Kantarcioglu, and B. Malin, "Private Medical Record Linkage with Approximate Matching", American Medical Informatics Association (AMIA) Annual Symposium, Washington D.C., 11/2010.
Dutta, P., Y. - S. Kuo, A. Ledeczi, T. Schmid, and P. Volgyesi, "Putting the Software Radio on a Low-Calorie Diet", Ninth ACM Workshop on Hot Topics in Networks (HotNets-IX), Monterey CA, 10/2010. Abstract
E
Eames, B., T. Bapty, B. Abbott, S. Neema, and K. Chhokra, "Model Integrated Design Toolset for Polymorphous Computer-Based Systems", Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS), Huntsville, AL, pp. 72--79, April, 2003.  Download: Eames_BK_4_7_2003_Model_Inte.pdf (313.08 KB)
Eames, B., S. Neema, T. Bapty, and J. Scott, "Interfacing a Simulation Engine to an Embedded Runtime Environment", 2000 IEEE International Conference on Systems, Man and Cybernetics, Nashville, TN, pp. 625--629, October, 2000.  Download: Eames_BK_10_11_2000_Interfacin.pdf (50.44 KB)
Eames, B., S. Neema, J. Scott, and T. Bapty, "High-Level Functional Simulation for Model-Based Embedded System Synthesis", ISIS-01-202: Institute for Software Integrated Systems, February, 2001.  Download: Eames_BK_2_0_2001_High_Level.PDF (724.47 KB)
Eisele, S., M. Yamaura, N. Arechiga, S. Shiraishi, J. Hite, J. Scott, S. Neema, and T. Bapty, "ADAS Virtual Prototyping with the OpenMETA Toolchain", SAE 2016 World Congress & Exhibition, Detroit, Michigan, USA, SAE International, 04/2016. Abstract
Eisele, S., I. Madari, A. Dubey, and G. Karsai, "RIAPS:Resilient Information Architecture Platform for Decentralized Smart Systems", 20th IEEE INTERNATIONAL SYMPOSIUM ON REAL-TIME COMPUTING, Toronto, Canada, IEEE, 05/2017. Abstract  Download: paper.pdf (1.43 MB)
Eisele, S., G. Pettet, A. Dubey, and G. Karsai, "Towards an Architecture for Evaluating and Analyzing Decentralized Fog Applications", 2017 IEEE Fog World Congress (FWC) (FWC 2017), Santa Clara, USA, pp. 49-54, 2017. Abstract  Download: 1570370402.pdf (1.11 MB)
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)
Emerson, M., S. Neema, and J. Sztipanovits, "Metamodeling Languages and Metaprogrammable Tools", Handbook of Real-Time and Embedded Systems: Chapman & Hall (July 23, 2007), pp. 33-1-33-16, 2006.  Download: Metamodeling Languages and Metaprogrammable Tools.pdf (1.02 MB)
Emerson, M., J. Sztipanovits, and T. Bapty, "A MOF-Based Metamodeling Environment", Journal of Universal Computer Science, vol. 10, pp. 1357--1382, October, 2004.  Download: Emerson_MJ_10_9_2004_A__MOF_Bas.pdf (258.93 KB)
Emerson, M., "GME-MOF: AN MDA METAMODELING ENVIRONMENT FOR GME", Master's Thesis: Vanderbilt University, May, 2005.  Download: Emerson_MJ_5_0_2005_GME_MOF__A.pdf (519.93 KB)
Emerson, M., J. Mathe, and S. Duncavage, "WiNeSim: A Wireless Network Simulation Tool", Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT’06), Seoul, South Korea, 10/2006. Abstract  Download: EMSOFT-WS.2006.Paper-WiNeSim.v2.0.pdf (416.03 KB)
Emerson, M., and J. Sztipanovits, "Implementing a MOF-Based Metamodeling Environment Using Graph Transformations", 4th OOPSLA Workshop on Domain-Specific Modeling, Vancouver, Canada, pp. 83--92, October, 2004.  Download: Emerson_MJ_10_0_2004_Implementi.pdf (128.37 KB)
Emfinger, W., G. Karsai, A. Dubey, and A. Gokhale, "Analysis, Verification, and Management Toolsuite for Cyber-physical Applications on Time-varying Networks", Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, New York, NY, USA, ACM, pp. 44–47, 2014.  Download: CyPhy14.pdf (583.29 KB)
F
Fernandez, K., G. E. Cook, C. Biegl, and J. Springfield, "ROBOSIM: An Intelligent Simulator for Robotic Systems", Technology 2002: 3rd National Technology conference and Exposition, NASA Conference Publication 3189, Vol 2, Baltimore, MD, pp. 119--125, December, 1992.
Frampton, K., "Decentralized Vibration Control in a Launch Vehicle Payload Fairing", International Mechanical Engineering Conference and Exhibition, IMECE2002-33352, New Orleans, LA, November, 2002.  Download: Frampton_K_11_0_2002_DECENTRALI.pdf (392.61 KB)
Franke, H., J. Sztipanovits, and G. Karsai, "Model-Integrated Computing", Hawaii Systems of the World Manufacturing Congress, Auckland, New Zealand, November, 1997.