Neema, H., H. Nine, G. Hemingway, J. Sztipanovits, and G. Karsai,
"Rapid Synthesis of Multi-Model Simulations for Computational Experiments in C2",
Armed Forces Communications and Electronics Association - George Mason University Symposium, issue Critical Issue in C4I, Lansdowne, Virginia, George Mason University: http://hdl.handle.net/1920/5639, 05/2009.
Abstract
Download: C4I-09-07.pdf (717.63 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",
IEEE Expert, vol. 6, pp. 75--85, 1991.
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.
Amaral, V., C. Hardebolle, G. Karsai, L. Lengyel, and T. Levendovszky,
Recent Advances in Multi-paradigm Modeling,
, Berlin, Heidelberg, Springer, pp. 220-224, 2010.
Abstract
Daigle, M., X. Koutsoukos, and G. Biswas,
"Relative Measurement Orderings in Diagnosis of Distributed Physical Systems",
43rd Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, pp. 1707--1716, September, 2005.
Download: Daigle_MJ_9_0_2005_Relative_M.pdf (160.46 KB)
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)
Potteiger, B., P. Volgyesi, H. Neema, Y. Vorobeychik, A. Laszka, and X. Kousoukos,
Resilient traffic light control (Poster),
, Science of Security Quarterly Lablet Meeting, College Park, MD, 10/2015.
Agrawal, A., A. Vizhanyo, Z. Kalmar, F. Shi, A. Narayanan, and G. Karsai,
"Reusable Idioms and Patterns in Graph Transformation Languages",
Electronic Notes in Theoretical Computer Science, vol. 127, pp. 181--192, March, 2005.
Agrawal, A., A. Vizhanyo, Z. Kalmar, F. Shi, A. Narayanan, and G. Karsai,
"Reusable Idioms and Patterns in Graph Transformation Languages",
2nd International Conference on Graph Transformation, Rome, Italy, September, 2004.
Download: Agrawal_A_9_28_2004_Reusable_I.pdf (254.95 KB)
Kusy, B., I. Amundson, J. Sallai, P. Volgyesi, A. Ledeczi, and X. Koutsoukos,
"RF Doppler Shift-Based Mobile Sensor Tracking and Navigation",
ACM Transactions on Sensor Networks, vol. 7, no. 1, pp. 1-32, 2010.
Mehrotra, R., A. Dubey, J. Kwalkowski, M. Paterno, A. Singh, R. Herber, and S. Abdelwahed,
"RFDMon: A Real-Time and Fault-Tolerant Distributed System Monitoring Approach",
ISIS Technical Report, Nashville, Vanderbilt University, 10/2011.
Download: SensorReport_Paper.pdf (1.64 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)
Abdelwahed, S., G. Karsai, and G. Biswas,
"Robust Diagnosis of Switching Systems",
5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Washington, DC., June, 2003.
Download: Abdelwahed_S_6_0_2003_Robust_Dia.pdf (119.56 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)