Shetty, S., S. Nordstrom, S. Ahuja, D. Yao, T. Bapty, and S. Neema,
"Systems Integration of Autonomic Large Scale Systems Using Multiple Domain Specific Modeling Language",
12 IEEE International Conference on ECBS ,Engineering of Autonomic Systems, 0-7695-2306-0/05, Greenbelt, MD , USA, April, 2005.
Download: Shetty_SS_4_6_2005_Systems_In.pdf (542.27 KB)
Beccani, M., H. Tunc, A. Taddese, E. Susilo, P. Volgyesi, A. Ledeczi, and P. Valdastri,
"Systematic design of medical capsule robots",
IEEE Design Test, vol. 32, pp. 98–108, 2015.
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.
Lin, C. H., M. Wolf, X. Koutsoukos, S. Neema, and J. Sztipanovits,
"System and software architectures of distributed smart cameras",
ACM Transactions on Embedded Computing Systems, vol. 9, no. 4, pp. 1-30, 2010.
Kandasamy, N., D. Hanak, C. van Buskirk, H. Neema, and G. Karsai,
"Synthesis of Robust Task Schedules for Minimum Disruption Repair",
IEEE International Conference on Systems, Man and Cybernetics, vol. 6, pp. 5056-5061, 10/2004.
Abstract
Download: RobustTaskSchedules.pdf (370.75 KB)
Potteiger, B., P. Volgyesi, H. Neema, Y. Vorobeychik, A. Laszka, and X. Kousoukos,
SURE: An Experimentation and Evaluation Testbed for Security and Resilience of CPS (Poster),
, Science of Security Quarterly Lablet Meeting, Raleigh, NC, 02/2016.
Neema, H., P. Volgyesi, B. Potteiger, W. Emfinger, X. Kousoukos, G. Karsai, Y. Vorobeychik, and S. Janos,
"SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience",
7th International Conference on Cyber-Physical Systems (ICCPS) , Vienna, Austria, 04/2016.
Abstract
Yapar, O., P. K. Basu, P. Volgyesi, and A. Ledeczi,
"Structural health monitoring of bridges with piezoelectric AE sensors",
Engineering Failure Analysis, Elsevier, no. 56, pp. 150-169, 2015.
Sims, J., D. Vashishtha, P. Rani, R. Brackin, and N. Sarkar,
"Stress Detection for Implicit Human-Robot Cooperation",
World Automation Congress, ISORA-022, Orlando, Florida, USA, June, 2002.
Sallai, J., A. Ledeczi, X. Koutsoukos, and P. Volgyesi,
"Steerable Distributed Large-Aperture Audio Array Using Low-Power Wireless Acoustic Sensor Node",
Networked Digital Technologies, Prague, Czech Republic, Springer LNCS, pp. 281-288, 07/2010.
Wolf, F., J. Balasubramanian, A. Gokhale, and D. C. Schmidt,
A State Transfer Framework for Object Oriented Fault-Tolerance,
, Nashville, TN, Vanderbilt University, 06/2009.
Download: TR-StateTransfer.doc (311.5 KB)
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits,
"Specifying Graphical Modeling Systems Using Constraint-based Metamodels",
IEEE Symposium on Computer Aided Control System Design, Anchorage, Alaska, September, 2000.
Download: Karsai_G_9_25_2000_Specifying.pdf (90.87 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)
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)
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)
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)
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)
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.