ISIS Publications

Export 241 results:
Sort by: Author [ Title  (Desc)] Type Year
Filters: First Letter Of Last Name is M  [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]
W
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
Balogh, G., A. Ledeczi, and M. Maroti, Wireless sensor network-based projectile trajectory estimation, : Institute for Software Integrated Systems, February, 2005.  Download: Balogh_G_2_10_2005_Wireless_s.pdf (522.99 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)
Sallai, J., G. Varga, S. Toth, C. R. Iacovella, C. Klein, C. McCabe, A. Ledeczi, and P. T. Cummings, "Web- and Cloud-based Software Infrastructure for Materials Design", The 14th International Conference on Computational Science (ICCS 2014), Cairns, Australia, Procedia Computer Science, 06/2014. Abstract
V
U
T
Manders, E. J., and G. Biswas, "Transient Detection and Analysis for Diagnosis of Abrupt Faults in Continuous Dynamic Systems", IEEE International Workshop on Intelligent Signal Processing, Budapest, Hungary, May, 2001.  Download: Manders_EJ_5_0_2001_Transient_.pdf (539.68 KB)
Li, X., Y. Xue, and B. Malin, "Towards Understanding the Usage Pattern of Web-based Electronic Medical Record Systems", The Third International IEEE WoWMoM Workshop on Interdisciplinary Research on E-Health Services and Systems, 2011.
Mosterman, P., and G. Biswas, "Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems", Hybrid Systems: Computation and Control - Third International Workshop (HSCC 2000), Volume 1790, Berlin, Germany, pp. 324--337, March, 2000.  Download: ISIS_3_0_2000_Towards_Pr.pdf (381.52 KB)
Wrenn, R., A. Nagel, D. Yao, R. Owens, F. Shi, J. Porter, K. Smyth, C. vanBuskirk, H. Neema, T. Bapty, et al., "Towards Automated Exploration and Assembly of Vehicle Design Models", Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, 08/2012.  Download: cad_dse_IDETC_CIE_2012_ISIS.pdf (1.39 MB)
Lattmann, Z., A. Nagel, J. Scott, K. Smyth, J. Ceisel, C. vanBuskirk, J. Porter, S. Neema, T. Bapty, D. Mavris, et al., "Towards Automated Evaluation of Vehicle Dynamics in System-Level Designs", Proc. ASME International Design Engineering Technical Conf. & Computers and Information in Engineering Conf. (IDETC/CIE 2012), Chicago, IL, USA, 08/2012.  Download: ASME_DECT2012-71378_dynamics.pdf (871.42 KB)
Simko, G., T. Levendovszky, M. Maroti, and J. Sztipanovits, "Towards a Theory for Cyber-Physical Systems Modeling", Proceedings of the 3rd Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy), 2013.
Martins, G., S. Bhatia, X. Kousoukos, K. Stouffer, C. Y. Tang, and R. Candell, "Towards a Systematic Threat Modeling Approach for Cyber-physical Systems", 2nd National Symposium on Resilient Critical Infrastructure (ISRCS 2015), Philadelphia, 08/2015. Abstract  Download: eRTM_Paper.pdf (432.7 KB)
Dubey, A., G. Karsai, R. Kereskenyi, and N. Mahadevan, Towards a Real-time Component Framework for Software Health Management, , no. ISIS-09-111, Nashville, Institute for Software Integrated Systems, 11/2009. Abstract  Download: TechReport2009.pdf (11.07 MB)
Biswas, G., S. Abdelwahed, X. Koutsoukos, J. Gandhe, and E. J. Manders, "Toward Distributed Diagnosis of Complex Physical Systems", The Forty-Second Annual Allerton Conference on Communication, Control, and Computing, Champgain, IL, September, 2004.  Download: Biswas_G_9_0_2004_Toward_Dis.pdf (170.05 KB)
S
Chhokra, A., A. Kulkarni, S. Hasan, A. Dubey, N. Mahadevan, and G. Karsai, "A Systematic Approach Of Identifying Optimal Load Control Actions For Arresting Cascading Failures In Power Systems", 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids (CPSR-SG 2017), Pittsburgh, Pennsylvania, USA, ACM, 04/2017.
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)
Volgyesi, P., J. Sallai, A. Ledeczi, P. Dutta, and M. Maroti, "Software development for a novel WSN platform", Workshop on Software Engineering for Sensor Network Applications, Cape Town, South Africa, 05/2010. Abstract  Download: main.pdf (536.55 KB)
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)
Potteiger, B., G. Martins, and X. Koutsoukos, "Software and attack centric integrated threat modeling for quantitative risk assessment", Proceedings of the Symposium and Bootcamp on the Science of Security, Pittsburgh, PA, ACM, pp. 99–108, 2016.
Hasan, S., A. Chhokra, A. Dubey, N. Mahadevan, and G. Karsai, "A Simulation Testbed for Cascade Analysis", IEEE PES Innovative Smart Grid Technologies (ISGT), 2017. Abstract  Download: ISGT_2017_paper1.pdf (728.09 KB); ISGT_2017_presentation.pdf (857.13 KB)
Misra, A., "Sensor-Based Diagnosis of Dynamical Systems", PhD Dissertation: Vanderbilt University, 1994.  Download: Misra_A_0_0_1994_Sensor_Bas.pdf (1.02 MB)
Kushwaha, M., K. Molnar, J. Sallai, P. Volgyesi, M. Maroti, and A. Ledeczi, "Sensor Node Localization Using Mobile Acoustic Beacons", The 2nd IEEE International Conference (MASS 05), Washington, DC, November, 2005.  Download: Kushwaha_M_11_7_2005_Sensor_Nod.pdf (1.18 MB)
Simon, G., M. Maroti, A. Ledeczi, G. Balogh, B. Kusy, A. Nadas, G. Pap, J. Sallai, and K. Frampton, "Sensor network-based countersniper system", In Proc. of ACM SenSys, Baltimore, MD, pp. 1--12, November, 2004.  Download: Simon_G_11_3_2004_Sensor_Net.pdf (662.24 KB)
Long, E., and A. Misra, "Saturn Site Production Flow: Requirements, Constraints, Issues", Workshop on Model-Integrated Computing, Old Hickory, TN, June, 1996.  Download: Long_E_6_0_1996_Saturn_Sit.pdf (193.89 KB)
Long, E., A. Misra, and J. Sztipanovits, "Saturn Site Production Flow (SSPF): Accomplishments and Challenges", Engineering of Computer Based Systems, Jerusalem, Israel, pp. 248--255, March, 1998.  Download: Long_E_3_0_1998_Saturn_Sit.pdf (112.49 KB)
R
Biswas, G., G. Simon, N. Mahadevan, S. Narasimhan, J. W. Ramirez, and G. Karsai, "A robust method for hybrid diagnosis of complex systems", 5th Symposium on Fault Detection, Supervision and Safety for Technical Processes, Washington, DC, pp. 1125--1131, June, 2003.  Download: Biswas__G_6_0_2003_A_robust_m.pdf (522.4 KB)
Misra, A., J. Sztipanovits, and R. Carnes, "Robust Diagnostics: Structural Redundancy Approach", Knowledge Based Artificial Intelligence Systems in Aerospace and Industry, SPIE's Symposium on Intelligent Systems, Orlando, FL, April, 1994.  Download: Misra_A_4_0_1994_Robust_Dia.pdf (233.04 KB)