Automatic Construction of Attack Graphs in Cyber Physical Systems Using Temporal Logic.

Emeka Eyisi Mark Moulin Emeka Eyisi Devu Manikantan Shila Qinqing Zhang Automatic Construction of Attack Graphs in Cyber Physical Systems Using Temporal Logic. 933-938 2018 MILCOM https://doi.org/10.1109/MILCOM.2018.8599799 conf/milcom/2018 db/conf/milcom/milcom2018.html#MoulinESZ18 Devu Manikantan Shila Emeka Eyisi Adversarial Gait Detection on Mobile Devices Using Recurrent Neural Networks. 316-321 2018 TrustCom/BigDataSE https://doi.org/10.1109/TrustCom/BigDataSE.2018.00055 https://doi.ieeecomputersociety.org/10.1109/TrustCom/BigDataSE.2018.00055 conf/trustcom/2018 db/conf/trustcom/trustcom2018.html#ShilaE18

Zhenkai Zhang 0002 Emeka Eyisi Xenofon D. Koutsoukos Joseph Porter Gabor Karsai Janos Sztipanovits A co-simulation framework for design of time-triggered automotive cyber physical systems. 16-33 2014 43 Simul. Model. Pract. Theory https://doi.org/10.1016/j.simpat.2014.01.001 db/journals/simpra/simpra43.html#ZhangEKPKS14

Emeka Eyisi Xenofon D. Koutsoukos Energy-based attack detection in networked control systems. 115-124 2014 HiCoNS https://doi.org/10.1145/2566468.2566472 conf/hicons/2014 db/conf/hicons/hicons2014.html#EyisiK14 Zhenkai Zhang 0002 Joseph Porter Emeka Eyisi Gabor Karsai Xenofon D. Koutsoukos Janos Sztipanovits Co-simulation framework for design of time-triggered cyber physical systems. 119-128 2013 ICCPS https://doi.org/10.1145/2502524.2502541 https://www.wikidata.org/entity/Q131133605 conf/iccps/2013 db/conf/iccps/iccps2013.html#ZhangPEKKS13 Di Shang Emeka Eyisi Zhenkai Zhang 0002 Xenofon D. Koutsoukos Joseph Porter Gabor Karsai Janos Sztipanovits A case study on the model-based design and integration of automotive cyber-physical systems. 483-492 2013 MED https://doi.org/10.1109/MED.2013.6608766 conf/med/2013 db/conf/med/med2013.html#ShangEZKPKS13

Emeka Eyisi Jia Bai Derek Riley Jiannian Weng Wei Yan 0025 Yuan Xue 0001 Xenofon D. Koutsoukos Janos Sztipanovits NCSWT: An integrated modeling and simulation tool for networked control systems. 90-111 2012 27 Simul. Model. Pract. Theory https://doi.org/10.1016/j.simpat.2012.05.004 db/journals/simpra/simpra27.html#EyisiBRWYXKS12

Xenofon D. Koutsoukos Nicholas Kottenstette Joseph F. Hall Emeka Eyisi Heath LeBlanc Joseph Porter Janos Sztipanovits A passivity approach for model-based compositional design of networked control systems. 75:1-75:31 2012 11 ACM Trans. Embed. Comput. Syst. 4 https://doi.org/10.1145/2362336.2362342 db/journals/tecs/tecs11.html#KoutsoukosKHELPS12

Emeka Eyisi Jia Bai Derek Riley Jiannian Weng Yan Wei Yuan Xue 0001 Xenofon D. Koutsoukos Janos Sztipanovits NCSWT: an integrated modeling and simulation tool for networked control systems. 287-290 2012 HSCC https://doi.org/10.1145/2185632.2185675 conf/hybrid/2012 db/conf/hybrid/hscc2012.html#EyisiBRWWXKS12 Jia Bai Emeka Eyisi Fan Qiu Yuan Xue 0001 Xenofon D. Koutsoukos Optimal Cross-Layer Design of Sampling Rate Adaptation and Network Scheduling for Wireless Networked Control Systems. 107-116 2012 ICCPS https://doi.org/10.1109/ICCPS.2012.19 https://doi.ieeecomputersociety.org/10.1109/ICCPS.2012.19 conf/iccps/2012 db/conf/iccps/iccps2012.html#BaiEQXK12

Emeka Eyisi Xenofon D. Koutsoukos Passivity-based self-triggered control: a case study on the trajectory tracking control of a robotic manipulator over wireless network. 15-18 2011 8 SIGBED Rev. 2 https://doi.org/10.1145/2000367.2000370 db/journals/sigbed/sigbed8.html#EyisiK11

Nicholas Kottenstette Heath LeBlanc Emeka Eyisi Xenofon D. Koutsoukos Multi-rate networked control of conic (dissipative) systems. 274-280 2011 ACC https://doi.org/10.1109/ACC.2011.5991597 conf/amcc/2011 db/conf/amcc/acc2011.html#KottenstetteLEK11 Derek Riley Emeka Eyisi Jia Bai Xenofon D. Koutsoukos Yuan Xue 0001 Janos Sztipanovits Networked control system wind tunnel (NCSWT): an evaluation tool for networked multi-agent systems. 9-18 2011 SimuTools https://doi.org/10.4108/icst.simutools.2011.245514 http://dl.acm.org/citation.cfm?id=2151057 conf/simutools/2011 db/conf/simutools/simutools2011.html#RileyEBKXS11 Jia Bai Emeka Eyisi Yuan Xue 0001 Xenofon D. Koutsoukos Dynamic Tuning Retransmission Limit of IEEE 802.11 MAC Protocol for Networked Control Systems. 666-671 2010 GreenCom/CPSCom https://doi.org/10.1109/GreenCom-CPSCom.2010.48 https://doi.ieeecomputersociety.org/10.1109/GreenCom-CPSCom.2010.48 conf/greencom/2010 db/conf/greencom/greencom2010.html#BaiEXK10 Heath LeBlanc Emeka Eyisi Nicholas Kottenstette Xenofon D. Koutsoukos Janos Sztipanovits A Passivity-based Approach to Deployment in Multi-agent Networks. 53-62 2010 ICINCO (1) conf/icinco/2010-1 db/conf/icinco/icinco2010-1.html#LeBlancEKKS10 Heath LeBlanc Emeka Eyisi Nicholas Kottenstette Xenofon D. Koutsoukos Janos Sztipanovits A Passivity-Based Approach to Group Coordination in Multi-agent Networks. 135-149 2010 ICINCO (Selected Papers) https://doi.org/10.1007/978-3-642-19539-6_9 conf/icinco/2010s db/conf/icinco/icinco2010s.html#LeBlancEKKS10a Emeka Eyisi Joseph Porter Joe Hall Nicholas Kottenstette Xenofon D. Koutsoukos Janos Sztipanovits PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems. 2009 ACES-MB@MoDELS https://ceur-ws.org/Vol-507/paper03.pdf conf/models/2009acesmb db/conf/models/acesmb2009.html#EyisiPHKKS09 Jia Bai Joe Hall Joseph F. Hall Gabor Karsai Nicholas Kottenstette Xenofon D. Koutsoukos Heath LeBlanc Mark Moulin Joseph Porter Fan Qiu Derek Riley Richard D. ShangDi Shang Devu Manikantan Shila Janos Sztipanovits Yan Wei Jiannian Weng Yuan Xue 0001 Wei Yan 0025 Qinqing Zhang Zhenkai Zhang 0002