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: Werner.et_.al-INDIN.2007.Paper-PBD4CIS.pdf (318.44 KB)
Chhokra, A., A. Dubey, N. Mahadevan, and G. Karsai,
"Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems",
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany, IEEE, pp. 1-1, April, 2016.
Abstract
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)
Foxvog, D., X. Li, J. Vargas, J. Bourne, J. Sztipanovits, R. Mushlin, and C. Harrison,
"Pulse Programming Assistant for Nuclear Magnetic Resonance Imaging",
8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 811--816, 1986.
Mosterman, P., E. J. Manders, and G. Biswas,
"Qualitative Dynamic Behavior of Physical System Models With Algebraic Loops",
Eleventh Intl. Workshop on Principles of Diagnosis, Morelia, Mexico, pp. 155--162, June, 2000.
Download: ISIS_6_0_2000_Qualitativ.pdf (316.79 KB)
Maroti, M., B. Kusy, G. Balogh, P. Volgyesi, K. Molnar, A. Nadas, S. Dora, and A. Ledeczi,
"Radio Interferometric Geolocation",
ACM Third International Conference on Embedded Networked Sensor Systems (SenSys 05), San Diego, CA, pp. 1--12, November, 2005.
Download: Maroti_M_11_3_2005_Radio_Inte.pdf (422.8 KB)
Mohanty, S., V. Prasanna, S. Neema, and J. Davis,
"Rapid Design Space Exploration of Heterogeneous Embedded Systems using Symbolic Search and Multi-Granular Simulation",
Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), Berlin, Germany, June, 2002.
Download: Mohanty_S_6_0_2002_Rapid_Desi.pdf (263.12 KB)
Khare, S., K. An, A. Gokhale, S. Tambe, and A. Meena,
"Reactive stream processing for data-centric publish/subscribe",
9th ACM International Conference on Distributed Event-Based Systems, Oslo, Norway, ACM, 06/2015.
Abstract
Dubey, A., G. Karsai, R. Kereskenyi, and N. Mahadevan,
"A Real-Time Component Framework: Experience with CCM and ARINC-653",
IEEE International Symposium on Object-Oriented Real-Time Distributed Computing,, Spain, pp. 143--150, 2010.
Abstract
Download: Paper.pdf (5.46 MB)
Padalkar, S., J. Sztipanovits, G. Karsai, N. Miyasaka, and K. Okuda,
"Real-Time Fault Diagnostics with Multiple-Aspect Models",
IEEE International Conference on Robotics and Automation, Sacramento, CA, pp. 803--808, April, 1994.
Dabholkar, A., A. Dubey, A. Gokhale, N. Mahadevan, and G. Karsai,
"Reliable Distributed Real-time and Embedded Systems Through Safe Middleware Adaptation",
31st International Symposium on Reliable Distributed Systems (SRDS 2012), Irvine, California, USA, IEEE, 10/2012.
Download: srds2012_submission_88.pdf (665.22 KB)
Volgyesi, P., A. Nadas, A. Ledeczi, and K. Molnar,
"Reliable Multihop Bulk Transfer Service forWireless Sensor Networks",
13th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2006), Potsdam, Germany, March, 2006.
Download: Volgyesi_P_3_0_2006_Reliable_M.pdf (1.61 MB)
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)
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)
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)
Kusy, B., M. Maroti, G. Simon, and A. Ledeczi,
"Robust Multi-Hop Time Synchronization in Sensor Networks",
ICWN '04, Las Vegas, Nevada, USA, June, 2004.
Download: Kusy_B_6_21_2004_Robust_Mul.doc (214 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)
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)
Biswas, G., G. Simon, G. Karsai, S. Abdelwahed, N. Mahadevan, T. Szemethy, J. W. Ramirez, G. Peceli, and T. Kovacshazy,
"Self-Adaptive Software for Fault-Adaptive Control",
Third Intl. Workshop on Self-Adaptive Software, Washington, D.C., June, 2003.
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)
Simon, G., P. Volgyesi, M. Maroti, and A. Ledeczi,
"Simulation-based optimization of communication protocols for large-scale wireless sensor networks",
2003 IEEE Aerospace Conference, Big Sky, MT, March, 2003.
Download: Simon_G_3_8_2003_Simulation.pdf (407.89 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.
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)
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)
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.
Balogh, G., A. Ledeczi, M. Maroti, and G. Simon,
"Time of Arrival Data Fusion for Source Localization",
Sensorfusion, Visegrad, Hungary, July, 2005.
Download: Balogh_G_7_14_2005_Time_of_Ar.pdf (516.73 KB)
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)
Deva, D., J. Sprinkle, M. Maroti, and G. Nordstrom,
"Towards A Standard For Model Specification And Storage",
IEEE SMC 2000, Nashville, TN, September, 2000.
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)
Ledeczi, A., P. Volgyesi, J. Sallai, B. Kusy, X. Koutsoukos, and M. Maroti,
"Towards Precise Indoor RF Localization",
HOTEMNETS'08, Charlottesville, VA, 06/02, 2008.
Download: hotemnets08-indoorloc.pdf (717.53 KB); hotemnets08-indoorloc.ppt (2.33 MB)
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)
Magyari, E., A. Bakay, A. Lang, T. Paka, A. Vizhanyo, A. Agrawal, and G. Karsai,
"UDM: An Infrastructure for Implementing Domain-Specific Modeling Languages",
The 3rd OOPSLA Workshop on Domain-Specific Modeling, OOPSLA 2003, Anahiem, California, October, 2003.
Download: Magyari_E_10_26_2003_UDM__An_In.pdf (285.3 KB)
Sallai, J., A. Ledeczi, I. Amundson, X. Koutsoukos, and M. Maroti,
"Using RF received phase for indoor tracking",
HotEmNets, Killarney, Ireland, 06/28/2010.
Download: hotemnets2010-indoorloc.pdf (382.64 KB)