Home

ISIS Publications

Export 120 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Koutsoukos, Xenofon  [Clear All Filters]
2019
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Data Space Randomization and Control Reconfiguration for Securing Cyber-Physical Systems", Symposium and Bootcamp for the Science of Security (HotSoS), Nashville, TN, 04/2019.
Potteiger, B., H. Abdel-Aziz, H. Neema, and X. Koutsoukos, "Simulation Based Evaluation of Security and Resilience in Railway Infrastructure (Poster)", Symposium and Bootcamp for the Science of Security (HotSoS), Nashville, TN, 04/2019.
Hasan, S., A. Dubey, G. Karsai, and X. Koutsoukos, "A game-theoretic approach for power systems defense against dynamic cyber-attacks", International Journal of Electrical Power & Energy Systems, vol. 115, pp. 105432, 2019. Abstract  Download: hasan2019.pdf (519.26 KB)
2018
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Moving Target Defense and Control Reconfiguration for Securing Cyber-Physical Systems (Poster)", CPS PI Meeting, Alexandria, VA, 11/2018.
Potteiger, B., S. Ramakrishna, D. Boursinos, and X. Koutsoukos, "Moving Target Defense for Securing Cyber-Physical Systems with Learning Enabled Components (Poster)", Workshop on Computational Cybersecurity in Compromised Environments (C3E), Atlanta, GA, 09/2018.
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Instruction Set Randomization and Control Reconfiguration for Securing Cyber-Physical Systems (Poster)", Workshop on High Confidence and Software Systems (HCSS), Annapolis, MD, 05/2018.
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Instruction Set Randomization and Control Reconfiguration for Securing Cyber-Physical Systems (accepted)", Symposium and Bootcamp on the Science of Security, Raleigh, NC, ACM, 04/2018.
Sztipanovits, J., T. Bapty, E. Jackson, X. Koutsoukos, Z. Lattmann, and S. Neema, "Model and Tool Integration Platforms for Cyber-Physical System Design", Proceedings of the IEEE, 2018.  Download: Manuscript-Integration Platforms PIEE 2018.pdf (1.09 MB)
2017
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Reconfigurable Control and Moving Target Defense for Secure Cyber-Physical Systems (Poster)", CPS PI Meeting, Alexandria, VA, 11/2017.
Potteiger, B., X. Koutsoukos, G. Karsai, A. Laszka, H. Neema, P. Volgyesi, Y. Vorobeychik, and J. Sztipanovits, "SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems (Poster)", Computational Cybersecurity for Compromised Environments (C3E), Atlanta, GA, 10/2017.
Potteiger, B., Z. Zhang, and X. Koutsoukos, "An Instruction Set Randomization Framework for Developing Secure and Resilience in CPS (Poster)", Symposium and Bootcamp for the Science of Security (HotSoS), Hanover, MD, 04/2017.
Ghafouri, A., A. Laszka, A. Dubey, and X. Koutsoukos, "Optimal Detection of Faulty Traffic Sensors Used in Route Planning", 2nd Workshop on Science of Smart City Operations and Platforms Engineering, Pittsburgh, PA, ACM, 04/2017.  Download: scope17.pdf (1.8 MB)
Koutsoukos, X., G. Karsai, A. Laszka, H. Neema, B. Potteiger, P. Volgyesi, Y. Vorobeychik, and J. Sztipanovits, "SURE: A Modeling and Simulation Integration Platform for Evaluation of SecUre and REsilient Cyber-Physical Systems", Proceedings of the IEEE: IEEE, 2017.
Hasan, S., A. Ghafouri, A. Dubey, G. Karsai, and X. Koutsoukos, "Vulnerability Analysis of Power Systems Based on Cyber-Attack and Defense Models", Innovative Smart Grid Technologies (ISGT 2018), Washington DC, 2017. Abstract  Download: paper.pdf (411.12 KB)
2016
Koutsoukos, X., H. Neema, B. Potteiger, and P. Volgyesi, "An Experimentation and Evaluation Testbed for Security and Resilience of CPS (Poster)", CPS PI Meeting, Arlington, VA, 11/2016.
, "Optimal thresholds for anomaly-based intrusion detection in dynamical environments", 7th Conference on Decision and Game Theory for Security (GameSec 2016), 11/2016.  Download: paper.pdf (442.01 KB)
Potteiger, B., W. Emfinger, G. Karsai, and X. Koutsoukos, "A Testbed for Evaluating and Measuring Security and Resilience in CPS (Poster)", Science of Security Quarterly Lablet Meeting, Laurel, MD, 11/2016.
Ghafouri, A., W. Abbas, Y. Vorobeychik, and X. Koutsoukos, "Vulnerability of fixed-time control of signalized intersections to cyber-tampering", Resilience Week (RWS), Chicago, IL, IEEE, 08/2016.  Download: paper.pdf (553.83 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.
Laszka, A., B. Potteiger, Y. Vorobeychik, S. Amin, and X. Koutsoukos, "Vulnerability of transportation networks to traffic-signal tampering", Proceedings of the 7th International Conference on Cyber-Physical Systems, Vienna, Austria, IEEE Press, pp. 16, 2016.
2015
Abbas, W., L. Perelman, S. Amin, and X. Koutsoukos, "An Efficient Approach to Fault Identification in Urban Water Networks Using Multi-Level Sensing", 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments (BuildSys 2015), Seoul, South Korea, ACM, 11/2015.
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.
Abbas, W., S. Bhatia, and X. Koutsoukos, "Guarding Networks Through Heterogeneous Mobile Guards", American Control Conference, Chicago, IL, IEEE, 07/2015.
Abbas, W., and X. Koutsoukos, "Efficient Complete Coverage Through Heterogeneous Sensing Nodes", IEEE Wireless Communication Letters, vol. 4, no. 1, 02/2015.
Koutsoukos, X., T. Bapty, and S. Neema, Formal Verification and Reliability in the META Toolchain (status: review pending), , no. ISIS-15-108, 2015.
Sztipanovits, J., T. Bapty, S. Neema, X. Koutsoukos, and J. Scott, The META Toolchain: Accomplishments and Open Challenges, , no. ISIS-15-102, 2015.  Download: The META Toolchain_Accomplishments and Open Challenges.pdf (871.55 KB)
Abbas, W., A. Laszka, and X. Koutsoukos, "Resilient Wireless Sensor Networks for Cyber-Physical Systems", Cyber-Physical System Design with Sensor Networking Technologies: The Institution of Engineering and Technology (IET), 2015.
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
2014
Zhang, Z., E. Emeka, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, "A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems", Simulation Modelling Practice and Theory, vol. 43, 04/2014.
Lattmann, Z., A. Pop, J. de Kleer, P. Fritzson, B. Janssen, S. Neema, T. Bapty, X. Koutsoukos, M. Klenk, D. Bobrow, et al., "Verification and Design Exploration through Meta Tool Integration with OpenModelica", 10th International Modelica Conference, vol. Proceedings of the 10th International Modelica Conference, Lund University, Solvegatan 20A, SE-223 62 LUND, SWEDEN, Modelica Association and Linkoping University Electronic Press, pp. 353-362, 03/2014.  Download: Modelica2014_ecp14096037.pdf (1.51 MB)
Abbas, W., S. Bhatia, Y. Vorobeychik, and X. Koutsoukos, "Immunization Against Infection Propagation In Heterogeneous Networks", 13th IEEE International Symposium on Network Computing & Applications, Cambridge, MA, pp. 296-300, 2014.
Abbas, W., Y. Vorobeychik, and X. Koutsoukos, "Resilient Consensus Protocol in the Presence of Trusted Nodes", th IEEE International Symposium on Resilient Control Systems: IEEE, 2014.
2013
Zhang, Z., E. Eyisi, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems, , pp. 39, 08/2013.  Download: TR-13-104.pdf (3.02 MB)
Zhang, Z., E. Eyisi, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, "Co-Simulation Framework for Design of Time-Triggered Cyber Physical Systems", ACM/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS), Philadelphia, PA, ACM, pp. 119-128, 04/2013. Abstract  Download: iccps'13.pdf (1.29 MB)
Eyisi, E., Z. Zhang, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, "Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study", Journal of Control Science and Engineering, vol. 2013, pp. 1-15, 01/2013. Abstract
2012
Koutsoukos, X., N. Kottenstette, J. Hall, E. Eyisi, H. LeBlanc, J. Porter, and J. Sztipanovits, "A passivity approach for model-based compositional design of networked control systems", ACM Transactions on Embedded Computing Systems, vol. 11, no. 4, pp. 75:1-75:31, 12/2012. Abstract
LeBlanc, H. J., H. Zhang, S. Sundaram, and X. Koutsoukos, Consensus of Multi-Agent Networks in the Presence of Adversaries Using Only Local Information, : Institute for Software-Integrated Systems, 06/2012.  Download: HiCoNSISISTech.pdf (1005.39 KB)
Tantawy, A., X. Koutsoukos, and G. Biswas, "Aircraft Power Generators: Hybrid Modeling and Simulation for Fault Detection", IEEE Transactions on Aerospace and Electronic Systems, 2012.
2011
Amundson, I., J. Sallai, X. Koutsoukos, A. Ledeczi, and M. Maroti, "RF angle of arrival-based node localisation", International Journal of Sensor Networks, vol. (to appear), 2011.
Mack, D. L. C., G. Biswas, X. Koutsoukos, D. Mylaraswamy, and G. Hadden, "Deriving Bayesian Classifiers from Flight Data to Enhance Aircraft Diagnosis Models", Annual Conference of the Prognostics and Health Management Society, Montreal, Canada, 10/2011.  Download: PHM2011CameraFinal.pdf (585 KB)
Tantawy, A., X. Koutsoukos, and G. Biswas, "Transmission Control Policy Design for Decentralized Detection in Tree Topology Sensor Networks", 14th International Conference on Information Fusion, Fusion 2011, Chicago IL, USA, 07/2011.
Mack, D. L. C., G. Biswas, X. Koutsoukos, and D. Mylaraswamy, "Using Tree Augmented Naive Bayes Classifiers to Improve Engine Fault Models", Uncertainty in Artificial Intelligence: Bayesian Modeling Applications Workshop, Barcelona, Spain, 07/2011.  Download: UAIWS2011CameraVandy.pdf (336.53 KB)
Eyisi, E., J. Porter, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits, "PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems", 19th Mediterranean Conference on Control and Automation, Corfu,Greece, 06/2011. Abstract
Tantawy, A., X. Koutsoukos, and G. Biswas, "Transmission Control Policy Design for Decentralized Detection in Sensor Networks", IEEE International Conference on Distributed Computing in Sensor Systems, DCOSS 2011, Barcelona, Spain, 06/2011.
LeBlanc, H., and X. Koutsoukos, "Consensus in Networked Multi-Agent Systems with Adversaries", Hybrid Systems: Computation and Control, 04/2011. Abstract  Download: hscc21c-leblanc.pdf (299.24 KB)
Zhang, Z., J. Porter, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits, "High Confidence Embedded Software Design: A Quadrotor Helicopter Case Study", International Conference on Cyber-Physical Systems (ICCPS) (Work-in-Progress Session), Chicago, IL, IEEE Computer Society Press, 04/2011.
Amundson, I., X. Koutsoukos, J. Sallai, and A. Ledeczi, "Mobile Sensor Navigation using Rapid RF-based Angle of Arrival Localization", 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Chicago, IL, 04/2011. Abstract
Tantawy, A., X. Koutsoukos, and G. Biswas, Transmission Control Policy Design for Decentralized Detection in Sensor Networks, , no. ISIS-11-103, Nashville TN, Institute for Software Integrated Systems, 04/2011.
Riley, D., E. Eyisi, J. Bai, X. Koutsoukos, Y. Xue, and J. Sztipanovits, "Networked Control System Wind Tunnel (NCSWT)- An evaluation tool for networked multi-agent systems", 4th International ICST Conference on Simulation Tools and Techniques (SIMUTools 2011), Barcelona, Spain, 03/2011. Abstract
Fu, Y., N. Kottenstette, C. Lu, and X. Koutsoukos, Feedback Thermal Control of Real-time Systems on Multicore Processors, : Washington University in St. Louis, 01/2011. Abstract