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.
Padalkar, S., J. Sztipanovits, G. Karsai, N. Miyasaka, and K. Okuda,
"Real-Time Fault Diagnostics",
IEEE Expert, vol. 6, pp. 75--85, 1991.
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)
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
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)
Hemingway, G., H. Neema, H. Nine, J. Sztipanovits, and G. Karsai,
"Rapid Synthesis of High-Level Architecture-Based Heterogeneous Simulation: A Model-Based Integration Approach",
SIMULATION, vol. March 17, 2011 0037549711401950, no. March 17, 2011, Online, Simulation: Transactions of the Society for Modeling and Simulation International, pp. 16, 03/2011.
Abstract
Download: 0037549711401950.full_.pdf (815.53 KB)
Balasubramanian, D., G. Pap, H. Nine, G. Karsai, M. Lowry, C. Pasareanu, and T. Pressburger,
"Rapid Property Specification and Checking for Model-Based Formalisms",
IEEE International Symposium on Rapid System Prototyping, Karlsruhe, Germany, 05/2011.
Abstract
Download: RSP2011.pdf (2.08 MB)
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)
Maroti, M., B. Kusy, G. Balogh, P. Volgyesi, K. Molnar, S. Dora, and A. Ledeczi,
Radio Interferometric Positioning,
: Institute for Software Integrated Systems, April, 2005.
Download: Maroti_M_4_10_2005_Radio_Inte.pdf (422.8 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)
Amundson, I., J. Sallai, X. Koutsoukos, and A. Ledeczi,
"Radio Interferometric Angle of Arrival Estimation",
7th European Conference on Wireless Sensor Networks, Coimbra, Portugal, Springer, 02/2010.
Abstract
Download: ewsn10_amundson.pdf (409.39 KB)