Home

ISIS Publications

Export 60 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Title is E  [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]
E
Volgyesi, P., S. Szilvasi, J. Sallai, and A. Ledeczi, "External smart microphone for mobile phones", Sensing Technology (ICST), 2011 Fifth International Conference on, Palmerston North, pp. 171-176, 12/2011.
Biswas, G., T. Katzlberger, J. Bransford, and D. Schwartz, "Extending intelligent learning environments with teachable agents to enhance learning", Artificial Intelligence in Education, Amsterdam, IOS Press, 2001.
Pasternak, T., Extended Relational Models for Diagnosis, : Vanderbilt University, August, 2000.
Koutsoukos, X., H. Neema, B. Potteiger, and P. Volgyesi, "An Experimentation and Evaluation Testbed for Security and Resilience of CPS (Poster)", CPS PI Meeting, Arlington, VA, 11/2016.
Szilvasi, S., and P. Volgyesi, "An Experimental Wireless platform for Acoustic Source Localization", Networked Digital Technologies Proceedings, Part II, Prague, Czech Republic, Springer, pp. 289–295, 07/2010.
Kulkarni, C., G. Biswas, X. Koutsoukos, K. Goebel, and J. Celaya, "Experimental studies of ageing in electrolytic capacitors", Annual Conference of the Prognostics and Health Management Society 2010, Porltand, OR, Prognostics and Health Management Society, 10/2010. Abstract
Babjak, B., S. Szilvasi, A. Pedchenko, M. Hofacker, E. Barth, P. Volgyesi, and A. Ledeczi, "Experimental Research Platform for Structural Health Monitoring", Advancement in Sensing Technology, vol. SSMI 1, Berlin Heidelberg, Springer-Verlag, pp. 43–68, 2012.
Babjak, B., S. Szilvasi, A. Pedchenko, M. Hofacker, E. J. Barth, P. Volgyesi, and A. Ledeczi, "Experimental Research Platform for Structural Health Monitoring", Advancement in Sensing Technology, Berlin Heidelberg, Springer-Verlag, 2012.
Porter, J., P. Volgyesi, N. Kottenstette, H. Nine, G. Karsai, and J. Sztipanovits, "An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software", 20th IEEE/IFIP International Symposium on Rapid System Prototyping (RSP'09), Paris, France, 06/2009. Abstract
Biegl, C., G. Karsai, J. Sztipanovits, J. Bourne, R. Mushlin, and C. Harrison, "Experiment Design Language for Intelligent MRI Systems", 8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 803--807, 1986.
Abbott, B., T. Bapty, C. Biegl, A. Ledeczi, G. Karsai, and J. Sztipanovits, "Experiences Using Model-Based Techniques for the Development of a Large Parallel Instrumentation System", Proceedings of the International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 573--582, February, 1992.
Nordstrom, S., Experiences in Developing Model-Integrated Tools and Technologies for Large-Scale Fault Tolerant Real-Time Embedded Systems, , OMG First Annual Model-Integrated Computing (MIC) Workshop, Arlington, VA, USA, Institute for Software Integrated Systems, October, 2004.  Download: Nordstrom_SG_10_0_2004_Experience.ps (23.25 KB)
Biegl, C., G. Karsai, J. Sztipanovits, J. Bourne, R. Mushlin, and C. Harrison, "Execution Environment for Intelligent Real-Time Systems", 8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 807--811, 1986.
Sztipanovits, J., "Execution Environment for Intelligent Real-time Control Systems", NASA/JPL Symposium on Telerobotics, Pasadena, CA, pp. 131--139, 1987.
Gray, J., T. Bapty, and S. Neema, "An Example of Constraint Weaving in Domain-Specific Modeling", OOPSLA 2001 Workshop on Domain-Specific Visual Languages, Tampa, FL, October, 2001.  Download: Gray_J_10_0_2001_An_Example.pdf (410.7 KB)
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.
Gray, J., and G. Karsai, "An Examination of DSLs for Concisely Representing Model Traversals and Transformations", HICSS-36, Big Island, Hawaii, January, 2003.  Download: Gray_J_1_0_2003_An_Examina.pdf (245.28 KB)
Szekely, P., R. Maheswaran, R. Neches, C. Rogers, R. Sanchez, M. Becker, S. Fitzpatrick, G. Gati, D. Hanak, G. Karsai, et al., "An Examination of CriticalitySensitive Approaches to Coordination", In AAAI Spring Symposium on Distributed Plan and Schedule Management: AAAI Press, pp. 136–142, 2006.
Balasubramanian, D., C. vanBuskirk, G. Karsai, A. Narayanan, S. Neema, B. Ness, and F. Shi, Evolving Paradigms and Models in Multi-Paradigm Modeling, , no. ISIS-08-91, Nashville, Institute for Software Integrated Systems, 11/2008.  Download: ISIS-08-912.pdf (651.03 KB)
Karsai, G., F. Massacci, L. J. Osterweil, and I. Schieferdecker, "Evolving Embedded Systems", Computer, vol. 43, no. May, pp. 34-40, 05/2010.
Atlas, L., G. Bloor, T. Brotherton, L. Howard, L. Jaw, G. Kacprzynski, G. Karsai, R. Mackey, J. Mesick, R. Reuter, et al., "An Evolvable Tri-Reasoner IVHM System", 2001 IEEE Aerospace Conference, 11.0307, Big Sky, Montana, USA, March, 2001.  Download: ISIS_3_13_2001_An_Evolvab.pdf (293.67 KB)
Misra, A., E. Long, and J. Sztipanovits, "Evolutionary Design for Manufacturing Execution Systems", World Manufacturing Congress, Auckland, New Zealand, November, 1997.  Download: Misra_A_11_0_1997_Evolutiona.pdf (171.95 KB)
Daigle, M., X. Koutsoukos, and G. Biswas, "An Event-based Approach to Integrated Parametric and Discrete Fault Diagnosis in Hybrid Systems", Transactions of the Institute of Measurement and Control, Special Issue on Hybrid and Switched Systems, vol. 32, no. 5, pp. 487-510, 2010.
Franke, H., and C. Biegl, "Evaluation of a Graph Computational Model on an IBM SP2 Scalable Workstation Cluster", Proceedings of the 1998 IEEE Conference on Engineering of Computer-Based Systems, Jerusalem, FC, pp. 166--173, March, 1998.
Potteiger, B., W. A. Emfinger, H. Neema, X. Kousoukos, C. Y. Tang, and K. Stouffer, "Evaluating the effects of cyber-attacks on cyber physical systems using a hardware-in-the-loop simulation testbed", Resilience Week (RWS), Wilmington, DE, IEEE, pp. 177-183, 09/2017. Abstract
Kavimandan, A., A. Narayanan, J. Balasubramanian, and G. Karsai, "Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in Distributed Real-time and Embedded Systems", The Eleventh IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2008), Orlando, FL, 2008.
Deng, G., M. Xiong, J. Balasubramanian, and G. Edwards, Evaluating Real-time Publish/Subscribe Service Integration Approaches in QoS-enabled Component Middleware, : Institute for Software Integrated Systems, February, 2007.  Download: Deng_G_2_14_2007_Evaluating.pdf (1.01 MB)
Koutsoukos, X., J. Kurien, and F. Zhao, "Estimation of Distributed Hybrid Systems Using Particle Filtering Methods", Hybrid Systems: Computation and Control (HSCC 2003), 2623, LNCS, pp. 298--313, 2003.  Download: Koutsoukos_X_0_0_2003_Estimation.pdf (453.76 KB)
Pradhan, S., W. Emfinger, A. Dubey, W. Otte, A. Coglio, D. Balasubramanian, A. Gokhale, and G. Karsai, "Establishing secure interactions across distributed applications in satellite clusters", SMC-IT, 2014.  Download: smcit-2014.pdf (965.2 KB)
Porter, J., Z. Lattmann, G. Hemingway, N. Mahadevan, S. Neema, H. Nine, N. Kottenstette, P. Volgyesi, G. Karsai, and J. Sztipanovits, "The ESMoL Modeling Language and Tools for Synthesizing and Simulating Real-Time Embedded Systems", 15th IEEE Real-Time and Embedded Technology and Applications Symposium, San Francisco, CA, 04/2009. Abstract  Download: rtas_demo_2009.pdf (491.24 KB)
Porter, J., G. Hemingway, H. Nine, C. vanBuskirk, N. Kottenstette, G. Karsai, and J. Sztipanovits, The ESMoL Language and Tools for High-Confi dence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis, , Nashville, TN, Vanderbilt University, 09/2010.  Download: ESMoL_TR.pdf (3.99 MB)
Deng, G., D. C. Schmidt, and J. Balasubramanian, Ensuring Deployment Predictability of Distributed Real-time and Embedded Systems, : Institute for Software Integrated Systems, November, 2007.  Download: Deng_G_11_25_2007_Ensuring_D.pdf (962 KB)
Agrawal, A., G. Karsai, and A. Ledeczi, "An End-to-End Domain-Driven Software Development Framework", 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Domain-Driven Development Track, Anaheim, CA, October, 2003.  Download: Agrawal_A_10_0_2003_An_End_to_.pdf (662.27 KB)
Dubey, A., W. Emfinger, A. Gokhale, P. Kumar, D. McDermet, T. Bapty, and G. Karsai, "Enabling Strong Isolation for Distributed Real-time Applications in Edge Computing Scenarios", IEEE Aerospace and Electronic Systems Magazine, 2019. Abstract  Download: SYSAES-preprint.pdf (4.21 MB)
Patil, P. R., A. Hakiri, Y. Barve, and A. Gokhale, "Enabling Software-Defined Networking for Wireless Mesh Networks in Smart Environments", Network Computing and Applications (NCA), 2016 IEEE 15th International Symposium on: IEEE, pp. 153–157, 2016. Abstract
Saxena, T., A. Dubey, D. Balasubramanian, and G. Karsai, "Enabling Self-Management by Using Model-Based Design Space Exploration", AUTONOMIC & AUTONOMOUS SPACE EXPLORATION SYSTEMS, 2010, 2009. Abstract  Download: PID1113091.pdf (7.01 MB)
Varga, G., J. Sallai, A. Ledeczi, C. R. Iacovella, C. McCabe, and P. T. Cummings, "Enabling Cross-Domain Collaboration in Molecular Dynamics Workflows", The Fourth International Conference on Advanced Collaborative Networks, Systems and Applications (COLLA 2014), Seville, Spain, IARIA, 06/2014. Abstract  Download: colla_2014_2_40_60052.pdf (1009.97 KB)
Bapty, T., Embedded System Validation for Polymorphous Computing Architectures, : Institute for Software Integrated Systems, January, 2001.  Download: Bapty_T_1_30_2001_Embedded_S.pdf (44.64 KB)
Sztipanovits, J., "Embedded Software: Opportunities and Challenges", Embedded Software, (LNCS 2211), pp. 403--415, 2001.
Sztipanovits, J., and G. Karsai, "Embedded Software: Challenges and Opportunities", Lecture Notes in Computer Science, vol. 2211: Springer Verlag, pp. 403--408, 2000.
Volgyesi, P., M. Maroti, S. Dora, E. Osses, A. Ledeczi, and T. Paka, Embedded Software Composition and Verification, : Institute for Software Integrated Systems, February, 2004.  Download: Volgyesi_P_2_13_2004_Embedded_S.pdf (627.06 KB)
Sztipanovits, J., "Embedded Software and Systems: Challenges and Approaches", Hybrid Systems: Computation and Control (LNCS 2034), pp. 4, 2001.
Neema, S., and G. Karsai, Embedded Control Systems Language for Distributed Processing, : Institute for Software Integrated Systems, May, 2004.  Download: Neema_S_5_12_2004_Embedded_C.pdf (439.52 KB)
Kusy, B., P. Dutta, P. Levis, M. Maroti, A. Ledeczi, and D. Culler, "Elapsed Time on Arrival: a simple and versatile primitive for canonical time synchronization services", International Journal of Ad Hoc and Ubiquitous Computing, vol. 2, 2006.
Stal, M., D. C. Schmidt, and W. R. Otte, "Efficiently and transparently automating scalable on-demand activation and deactivation of services with the activator pattern", Software: Practice and Experience, vol. 11, no. 10, 09/2011.
Scott, J., "Efficient Verification of Multi-Processor Real-Time Systems Using Symbolic Methods", PhD Dissertation: Vanderbilt University, May, 2003.  Download: Scott_JM_5_21_2004_Efficient_.pdf (2.37 MB)
Podgursky, B., G. Biswas, and X. Koutsoukos, "Efficient Tracking of Behavior in Complex Hybrid Systems via Hybrid Bond Graphs", Annual Conference of the Prognostics and Health Management Society 2010, Portland, OR, US, 10/2010. Abstract  Download: phmc_10_064.pdf (748.34 KB)
Roychoudhury, I., "Efficient Simulation of Hybrid Systems: An Application to Electrical Power Distribution Systems", 22nd European Conference on Modeling and Simulation, Cyprus, 06/2008.
Roychoudhury, I., M. Daigle, G. Biswas, and X. Koutsoukos, "Efficient Simulation of Hybrid Systems: An Application to Electrical Power Distribution Systems", European Conference on Modeling and Simulation, Nicosia, Cyprus, 06/2008.  Download: RoychoudhuryEtAl_ECMS2008_Track_BG_PaperID_117.pdf (664.03 KB)
Daigle, M., I. Roychoudhury, G. Biswas, and X. Koutsoukos, Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs, : Institute for Software Integrated Systems, December, 2006.  Download: Daigle_MJ_12_18_2006_Efficient_.pdf (785.63 KB)