Georgios E. Fainekos Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georgios E. Fainekos, Eric Goubault, Franjo Ivancic, Sriram Sankaranarayanan: Editorial: Special Section VCPSS'09. ACM Trans. Embedded Comput. Syst. 11(S2): 52 (2012)
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sriram Sankaranarayanan, Georgios E. Fainekos: Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System. CMSB 2012: 322-341
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sriram Sankaranarayanan, Georgios E. Fainekos: Falsification of temporal properties of hybrid systems using the cross-entropy method. HSCC 2012: 125-134
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kangjin Kim, Georgios E. Fainekos, Sriram Sankaranarayanan: On the revision problem of specification automata. ICRA 2012: 5171-5176
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kangjin Kim, Georgios E. Fainekos: Approximate solutions for the minimal revision problem of specification automata. IROS 2012: 265-271
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hengyi Yang, Bardh Hoxha, Georgios E. Fainekos: Querying Parametric Temporal Logic Properties on Embedded Systems. ICTSS 2012: 136-151
2011
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georgios E. Fainekos, Eric Goubault, Sylvie Putot, Stefan Ratschan: Foreword. Mathematics in Computer Science 5(4): 357-358 (2011)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Houssam Abbas, Georgios E. Fainekos: Linear Hybrid System Falsification through Local Search. ATVA 2011: 503-510
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georgios E. Fainekos: Revising temporal logic specifications for motion planning. ICRA 2011: 40-45
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios E. Fainekos: Combining Time and Frequency Domain Specifications for Periodic Signals. RV 2011: 294-309
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yashwanth Annpureddy, Che Liu, Georgios E. Fainekos, Sriram Sankaranarayanan: S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. TACAS 2011: 254-257
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Houssam Abbas, Georgios E. Fainekos: Linear Hybrid System Falsification Through Descent. CoRR abs/1105.1733 (2011)
2010
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Truong Nghiem, Sriram Sankaranarayanan, Georgios E. Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas: Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. HSCC 2010: 211-220
2009
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas: Temporal logic motion planning for dynamic robots. Automatica 45(2): 343-352 (2009)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georgios E. Fainekos, George J. Pappas: Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. 410(42): 4262-4291 (2009)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: Temporal-Logic-Based Reactive Mission and Motion Planning. IEEE Transactions on Robotics 25(6): 1370-1381 (2009)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Robustness of Model-Based Simulations. RTSS 2009: 345-354
2008
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: Translating Structured English to Robot Controllers. Advanced Robotics 22(12): 1343-1359 (2008)
2007
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georgios E. Fainekos, George J. Pappas: Robust Sampling for MITL Specifications. FORMATS 2007: 147-162
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georgios E. Fainekos, Antoine Girard, George J. Pappas: Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. HSCC 2007: 203-216
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas: Robust Test Generation and Coverage for Hybrid Systems. HSCC 2007: 329-342
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: Where's Waldo? Sensor-Based Temporal Logic Motion Planning. ICRA 2007: 3116-3121
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: From structured english to robot motion. IROS 2007: 2717-2722
2006
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georgios E. Fainekos, George J. Pappas: Robustness of Temporal Logic Specifications. FATES/RV 2006: 178-192
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georgios E. Fainekos, Antoine Girard, George J. Pappas: Temporal Logic Verification Using Simulation. FORMATS 2006: 171-186
2005
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas: Temporal Logic Motion Planning for Mobile Robots. ICRA 2005: 2020-2025

Coauthor Index

1Houssam Abbas
[c14] [i1]
2Madhukar Anand
[c6]
3Yashwanth Annpureddy
[c11]
4Aleksandar Chakarov
[c12]
5Antoine Girard
[j4] [c7] [c2]
6Eric Goubault
[j6] [j5]
7Aarti Gupta
[c10] [c9]
8Bardh Hoxha
[c15]
9Franjo Ivancic
[j6] [c10] [c9]
10A. Agung Julius
[c6]
11Kangjin Kim
[c17] [c16]
12Hadas Kress-Gazit
[j4] [j2] [j1] [c5] [c4] [c1]
13Insup Lee
[c6]
14Che Liu
[c11]
15Truong Nghiem
[c10]
16George J. Pappas
[c10] [j4] [j3] [j2] [j1] [c8] [c7] [c6] [c5] [c4] [c3] [c2] [c1]
17Sylvie Putot
[j5]
18Stefan Ratschan
[j5]
19Sriram Sankaranarayanan
[j6] [c19] [c18] [c17] [c12] [c11] [c10] [c9]
20Hengyi Yang
[c15]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 15:00:45 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page