Ledeczi, A., S. Sastry, M. Meingast, M. Kushwaha, S. Oh, and X. Koutsoukos,
"Fusion-based localization for a Heterogeneous camera network",
ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC-08), Stanford University, California, USA, 09/2008.
Sallai, J., P. Volgyesi, K. Pence, and A. Ledeczi,
"Fusing Distributed Muzzle Blast and Shockwave Detections",
International Conference on Information Fusion, Chicago, IL, pp. 748-755, 07/2011.
Abstract
Chhokra, A., S. Abdelwahed, A. Dubey, S. Neema, and G. Karsai,
"From System Modeling to Formal Verification",
The 2015 Electronic System Level Synthesis Conference, San Francisco, ECSI, 07/01/2015.
Abstract
Download: Session3_Paper3.pdf (1.04 MB)
Simko, G., D. Lindecker, T. Levendovszky, E. Jackson, S. Neema, and J. Sztipanovits,
"A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems",
IEEE 20th International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), Phoenix, AZ, IEEE, pp. 30-39, 2013.
Download: ECBS2013.pdf (416.4 KB)
Maroti, M., B. Kusy, G. Simon, and A. Ledeczi,
"The Flooding Time Synchronization Protocol",
In Proc. of ACM SenSys, Nashville, Tennessee, Institute for Software Integrated Systems, Vanderbilt University, pp. 39--49, November, 2004.
Download: Maroti_M_11_3_2004_The_Floodi.pdf (145.19 KB)
Otte, W. R., J. S. Kinnebrew, D. C. Schmidt, and G. Biswas,
"A Flexible Infrastructure for Distributed Deployment in Adaptive Sensor Webs",
The 2009 IEEE Aerospace Conference, Big Sky, Montana, pp. 1 -12, 03/2009.
Abstract
Download: Otte et al - 2009 - IEEE Aerospace -- Flex Infrastructure Distrib Deploy in Adapt Sensor Webs.pdf (351.31 KB)
Fu, Y., N. Kottenstette, Y. Chen, C. Lu, X. Koutsoukos, and H. Wang,
Feedback Thermal Control for Real-time Systems,
, St. Louis, MO, Washington University in St. Louis, pp. 1-13, 06/2009.
Abstract
Barve, Y., S. Shekhar, A. Chhokra, S. Khare, Z. Kang, A. Bhattacharjee, H. Sun, and A. Gokhale,
"FECBench: A Holistic Interference-aware Approach for Application Performance Modeling",
IEEE International Conference on Cloud Engineering (IC2E) , Prague, Czech Republic, June/2019.
Abstract
Bapty, T., J. Gray, and S. Neema,
February 2001 PCES PI Meeting: Constraint-Based Embedded Program Composition,
, San Diego, CA, Institute for Software Integrated Systems, February, 2001.
Download: Bapty_T_2_0_2001_February_2.ppt (540 KB)
Manders, E. J., and G. Biswas,
"FDI of abrupt faults with combined statistical detection and estimation and qualitative fault isolation",
5th Symposium on Fault Detection, Supervision and Safety for Technical Processes, Washington, DC, pp. 347--352, June, 2003.
Download: Manders_EJ_6_0_2003_FDI_of_abr.pdf (110.05 KB)
Karsai, G., G. Biswas, T. Pasternak, S. Narasimhan, G. Peceli, G. Simon, and T. Kovacshazy,
"Fault-Adaptive Control: A CBS Application",
ECBS-2001, Washington, DC, February, 2001.
Download: Karsai_G_2_0_2001_Fault_Adap.pdf (79 KB)
Narasimhan, S., F. Zhao, G. Biswas, and E. Hung,
"Fault Isolation in Hybrid Systems combining Model Based Diagnosis and Signal Processing",
4th Symposium on Fault Detection, Supervision and Safety for Technical Processes, {Budapest, Hungary}, June, 2000.", pp. 1074--1079, June, 2000.
Download: Narasimhan_S_6_0_2000_Fault_Isol.pdf (37.96 KB)
Carl, J. D., D. L. C. Mack, A. Tantawy, G. Biswas, and X. D. Koutsoukos,
"Fault Detection and Isolation for Spacecraft Systems: An Application to a Power Distribution Testbed",
SAFEPROCESS 2012, 8th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Mexico City, Mexico, pp. 168-173, 08/2012.
Abstract
Download: SAFEPROCESS.pdf (389.84 KB)
Biswas, G., E. J. Manders, S. Abdelwahed, and G. Karsai,
"Fault adaptive control: towards robust operation of autonomous systems",
Fourth International Conference on Intelligent Systems Design and Applications, Budapest, Hungary, August, 2004.
Download: Biswas_G_8_0_2004_Fault_adap.pdf (358.48 KB)
Wu, T., Y. Cui, B. Kusy, A. Ledeczi, J. Sallai, N. Skirvin, J. Werner, and Y. Xue,
"A Fast and Efficient Source Authentication Solution for Broadcasting in Wireless Sensor Networks",
New Technologies, Mobility and Security, Paris, France, 05/2007.