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)
Abbas, W., A. Laszka, Y. Vorobeychik, and X. Koutsoukos,
"Scheduling Intrusion Detection Systems in Resource-Bounded Cyber-Physical Systems",
ACM Workshop on Cyber-Physical Systems Security & Privacy (in Conjunction with 22nd ACM Conference on Computer and Communications Security (CCS)), Denver, CO, ACM, 09/2015.
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.
Ledeczi, A., P. Volgyesi, E. Barth, A. Nadas, A. Pedchenko, T. Hay, and S. Jayaraman,
"Self-sustaining Wireless Acoustic Emission Sensor System for Bridge Monitoring",
New Developments in Sensing Technology for Structural Health Monitoring, vol. 96: Springer Berlin Heidelberg, pp. 15-39, 2011.
Chen, K., J. Sztipanovits, S. Abdelwahed, and E. Jackson,
"Semantic Anchoring with Model Transformations",
European Conference on Model Driven Architecture -Foundations and Applications (ECMDA-FA), Nuremberg, Germany, November, 2005.
Download: Chen_K_11_7_2005_Semantic_A.pdf (1.83 MB)
Chen, K., J. Sztipanovits, and S. Abdelwahed,
"A Semantic Unit for Timed Automata Based Modeling Languages",
12th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, CA, pp. 2--14, April, 2006.
Download: Chen_K_4_4_2006_A_Semantic.pdf (316.11 KB)
Jackson, E., R. Thibodeaux, J. Porter, and J. Sztipanovits,
"Semantics of Domain Specific Modeling Languages",
Model-Based Design for Embedded Systems, Boca Raton, FL, CRC Press, pp. 437-486, 2009.
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)
Volgyesi, P., G. Balogh, A. Nadas, C. Nash, and A. Ledeczi,
"Shooter Localization and Weapon Classification with Soldier-Wearable Networked Sensors",
5th International Conference on Mobile Systems, Applications, and Services (MobiSys), San Juan, Puerto Rico, 2007.
Download: sys5090-volgyesi.pdf (1.04 MB)
Maroti, M., G. Simon, A. Ledeczi, and J. Sztipanovits,
"Shooter Localization in Urban Terrain",
Computer, vol. 37, pp. 60--61, August, 2004.
Download: Maroti_M_8_0_2004_Shooter_Lo.pdf (240.97 KB)
Sun, F., A. Dubey, C. Samal, H. Baroud, and C. Kulkarni,
"Short-Term Transit Decision Support System Using Multi-task Deep Neural Networks",
2018 IEEE International Conference on Smart Computing (SMARTCOMP), Taormina, Italy, IEEE, pp. 155-162, 07/2018.
Abstract
Download: short_term_transit_dnn.pdf (1.66 MB)
Manders, E. J., G. Biswas, P. Mosterman, L. Barford, and R. J. Barnett,
""Signal Interpretation for Monitoring and Diagnosis, A Cooling System Testbed"",
IEEE Trans. on Instrumentation and Measurement, vol. 49, pp. 503--509, 2000.
Download: Manders_EJ_0_0_2000_Signal_Int.pdf (711.56 KB)
Honda, T., E. Saund, I. Matei, W. Janssen, B. Saha, D. G. Bobrow, J. de Kleer, T. Kurtoglu, and Z. Lattmann,
"A Simulation and Modeling Based Reliability Requirement Assessment Methodology",
26th International Conference on Design Theory and Methodology (DTM), Buffalo, NY, USA, 08/2014.
Abstract
Shekhar, S., H. Abdel-Aziz, M. Walker, F. Caglar, A. Gokhale, and X. Koutsoukos,
"A simulation as a service cloud middleware",
Annals of Telecommunications, vol. 71, no. 3, pp. 93–108, 2015.
Abstract
Neema, H., J. Sztipanovits, C. Steinbrink, T. Raub, B. Cornelsen, and S. Lehnhoff,
"Simulation Integration Platforms for Cyber-Physical Systems",
The First Workshop on Design Automation for CPS and IoT (DESTION 2019), Montreal, Canada, ACM, 04/2019.
Abstract
Biegl, C., G. E. Cook, K. Fernandez, and M. Smith,
"Simulation-Based Intelligent Robotic Agent for Space Station Freedom",
5th Conference on Artificial Intelligence for Space Applications, Huntsville, AL, pp. 203--210, 1990.
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)
Neema, H., A. Kashyap, R. Kereskenyi, Y. Xue, and G. Karsai,
"SOAMANET: A Tool for Evaluating Service-Oriented Architectures on Mobile Ad-hoc Networks",
The 14th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2010), Fairfax, VA, pp. 179-188, 10/2010.
Abstract
Download: Paper.pdf (1013.92 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., 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)
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)
Dubey, A., W. Emfinger, A. Gokhale, G. Karsai, W. R. Otte, J. Parsons, C. Szabo, A. Coglio, E. Smith, and P. Bose,
"A Software Platform for Fractionated Spacecraft",
2012 IEEE Aerospace Conference, Big Sky, Montana, 03/2012.
Abstract
Download: aerospace12-1473.pdf (4.2 MB)
Bapty, T., J. Knight, Z. Lattmann, S. Neema, and J. Scott,
Software Quality Assurance for the META Toolchain,
, no. ISIS-15-111, Nashville, Institute for Software Integrated Systems, 01/2015.
Download: Software Quality Assurance for the META Toolchain.pdf (1.56 MB)