by Fainekos, Georgios E., Pappas, George J.
Published in Theoretical computer science (28.09.2009)

by Dokhanchi, Adel, Hoxha, Bardh, Fainekos, Georgios
Published in Runtime Verification

by Fainekos, Georgios E., Girard, Antoine, Kress-Gazit, Hadas, Pappas, George J.
Published in Automatica (Oxford) (01.02.2009)

by Kress-Gazit, H., Fainekos, G.E., Pappas, G.J.
Published in IEEE transactions on robotics (01.12.2009)

by Kress-Gazit, Hadas, Fainekos, Georgios E., Pappas, George J.
Published in Advanced robotics (01.01.2008)

by Cameron, Fraser, Fainekos, Georgios, Maahs, David M., Sankaranarayanan, Sriram
Published in Runtime Verification

by Tuncali, Cumhur Erkan, Fainekos, Georgios
Published in 2019 IEEE Intelligent Transportation Systems Conference (ITSC) (01.10.2019)

by FAINEKOS, Georgios E, PAPPAS, George J
Published in Lecture notes in computer science (2006)

by Yaghoubi, Shakiba, Fainekos, Georgios, Sankaranarayanan, Sriram
Published in 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) (20.09.2020)

by Annapureddy, Yashwanth Singh Rahul, Fainekos, Georgios E
Published in IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society (01.11.2010)

by Yaghoubi, Shakiba, Fainekos, Georgios
Published in IFAC-PapersOnLine (2018)

by YAGHOUBI, SHAKIBA, FAINEKOS, GEORGIOS
Published in 2020 Information Theory and Applications Workshop (ITA) (02.02.2020)

by Fainekos, Georgios E., Girard, Antoine, Pappas, George J.
Published in Formal Modeling and Analysis of Timed Systems (2006)

by Tuncali, Cumhur Erkan, Fainekos, Georgios, Ito, Hisahiro, Kapinski, James
Published in 2018 IEEE Intelligent Vehicles Symposium (IV) (01.06.2018)

by Hoxha, Bardh, Dokhanchi, Adel, Fainekos, Georgios
Published in International journal on software tools for technology transfer (01.02.2018)

by Bartocci, Ezio, Deshmukh, Jyotirmoy, Donzé, Alexandre, Fainekos, Georgios, Maler, Oded, Ničković, Dejan, Sankaranarayanan, Sriram
Published in Lectures on Runtime Verification (2018)

by Abbas, Houssam, Mittelmann, Hans, Fainekos, Georgios
Published in 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) (01.10.2014)

by Dokhanchi, Adel, Yaghoubi, Shakiba, Hoxha, Bardh, Fainekos, Georgios
Published in 2017 13th IEEE Conference on Automation Science and Engineering (CASE) (01.08.2017)

by Tuncali, Cumhur Erkan, Fainekos, Georgios, Prokhorov, Danil, Ito, Hisahiro, Kapinski, James
Published in IEEE transactions on intelligent vehicles (01.06.2020)

by Lafmejani, Amir Salimi, Berman, Spring, Fainekos, Georgios
Published in 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (23.10.2022)