ISIS Publications

Export 1066 results:
Sort by: Author Title [ Type  (Desc)] Year
Journal Article
Volgyesi, P., M. Maroti, S. Dora, E. Osses, and A. Ledeczi, "Software Composition and Verification for Sensor Networks", Science of Computer Programming (Elsevier), vol. 56, pp. 191--210, April, 2005.  Download: Volgyesi_P_4_0_2005_Software_C.pdf (312.39 KB)
Wolf, F., J. Balasubramanian, S. Tambe, A. Gokhale, and D. C. Schmidt, "Supporting Component-based Failover Units in Middleware for Distributed Real-time and Embedded Systems", Journal of Software Architectures: Embedded Software Design, Special Issue on Embedded and Real-time: Elsevier, 2010.
Lin, C. H., M. Wolf, X. Koutsoukos, S. Neema, and J. Sztipanovits, "System and software architectures of distributed smart cameras", ACM Transactions on Embedded Computing Systems, vol. 9, no. 4, pp. 1-30, 2010.
Szilvasi, S., B. Babjak, A. Ledeczi, and P. Volgyesi, "Towards a Versatile Wireless Platform for Low-power Applications", International Journal of Digital Information and Wireless Communications, vol. 1, no. 2, 02/2012.
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits, "Towards Two-Level Formal Modeling of Computer-Based Systems", Journal of Universal Computer Science, vol. 6, pp. 1131--1144, November, 2000.  Download: Karsai_G_11_0_2000_Towards_Tw.pdf (182.08 KB)
Narayanan, A., and G. Karsai, "Towards Verifying Model Transformations", Electronic Notes in Theoretical Computer Science, vol. 211, pp. p.191-200, 2008.
Gray, J., J. Sztipanovits, D. C. Schmidt, T. Bapty, S. Neema, and J. Balasubramanian, "TWO-LEVEL ASPECT WEAVING TO SUPPORT EVOLUTION IN MODEL-DRIVEN SOFTWARE", Aspect-Oriented Software Development (Book): Addison Wesley, pp. 681--705, August, 2004.  Download: Gray_J_8_0_2004_TWO_LEVEL_.pdf (358.75 KB)
Narayanan, A., and G. Karsai, "Verifying Model Transformations by Structural Correspondence", Electronic Communications of the EASST, vol. 10, 2008.  Download: 25_AN_GK.pdf (394.52 KB)
Kottenstette, N., and P. J. Antsaklis, "Wireless Digital Control of Continuous Passive Plants Over Token Ring Networks", International Journal of Robust and Nonlinear Control: Special Issue on Control with Limited Information, 11/2008. Abstract
Ledeczi, A., and M. Maroti, "Wireless Sensor Node Localization", Philosophical Transactions of the Royal Society A, vol. 370, no. 1958, pp. 85-99, 01/2012. Abstract
Conference Proceedings
Dabholkar, A., and A. Gokhale, " Safe Specialization of the LwCCM Container for Simultaneous Provisioning of Multiple QoS", Proceedings of OMG’s Workshop on Real-time, Embedded and Enterprise-Scale Time-Critical Systems (OMG RTWS 2011), Washington DC, USA, OMG, 03/2011.  Download: OMG-RTWS-2011.pdf (50.32 KB)
Celaya, J., C. Kulkarni, G. Biswas, and K. Goebel, "Accelerated Aging in Electrolytic Capacitors for Prognostics", IEEE - The Annual Reliability and Maintainability Symposium, Reno, Nevada, IEEE, 01/2012.
Sallai, J., P. Volgyesi, A. Ledeczi, K. Pence, T. Bapty, S. Neema, and J. Davis, "Acoustic Shockwave-Based Bearing Estimation", The 12th ACM/IEEE Conference on Information Processing in Sensor Networks (IPSN), Philadelphia, PA, USA, 04/2013.  Download: ipsn07-sallai.pdf (2.56 MB)
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)
Dabholkar, A., and A. Gokhale, "An Approach to Middleware Specialization for Cyber Physical Systems", The 2nd International Workshop on Cyber-Physical Systems (WCPS 2009), Co-located with ICDCS 2009, Montreal, Quebec, Canada, IEEE, pp. 73-79, 06/2009.  Download: WCPS-2009.pdf (236.71 KB)
Sagedy, J., B. Sulcer, and G. Biswas, "Are ILEs Ready for the Classroom? Bringing Teachers into the Feedback Loop", The 10th International Conference on Intelligent Tutoring Systems, Pittsburgh, pp. 405-407, 2010.
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
Wagster, J., H. Kwong, J. Sagedy, G. Biswas, and D. Shwartz, "Bringing CBLEs into classrooms: Experiences with the Betty's Brain system", The Eighth IEEE International Conference on Advanced Learning Technologies, Santander, Cantabria, Spain., pp. 252-256, 2008.
Biswas, G., K. Leelawong, K. Belynne, and B. Adebiyi, "Case studies in learning by teaching behavioral differences in directed versus guided learning", The 27th Annual Conference of the Cognitive Science Society, Stresa, Italy, pp. 828-833, 2005.
Roy, N., Y. Xue, A. Gokhale, L. Dowdy, and D. C. Schmidt, "A Component Assignment Framework for Improved Capacity and Assured Performance in Web Portals", 11th International Symposium on Distributed Objects, Middleware,and Applications (DOA), 11/2009.
Tambe, S., A. Dabholkar, A. Gokhale, and A. Kavimandan, "CQML: A QoS Modeling and Modularization Framework for Component-based Systems", Proceedings of EDOC workshop Advances in Quality of Service Management, (AQuSerM 2008): IEEE, 09/2008.  Download: AQuSerM-2008.pdf (313.72 KB)
Dabholkar, A., and A. Gokhale, "Developing and Evaluating a Taxonomy of Modularization Techniques for Middleware Specialization", 2nd OOPSLA Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2008), Nashville, TN, USA, 10/2008.  Download: ACoM-2008.pdf (350.81 KB)
Bai, J., E. P. Eyisi, Y. Xue, and X. Koutsoukos, "Distributed Sampling Rate Adaptation for Networked Control Systems", The First International Workshop on Cyber-Physical Networking Systems(CPNS) in conjunction with INFOCOM, 2011.
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)