Travelled to:1 × Denmark
1 × Germany
1 × Sweden
1 × USA
Collaborated with:B.Hoxha G.J.Pappas Shakiba Yaghoubi Cumhur Erkan Tuncali Theodore P. Pavlic H.Yang Y.Annpureddy C.Liu S.Sankaranarayanan Adel Dokhanchi K.Kim J.Campbell W.Duong Y.Zhang Joseph Campbell Peng Liu 0026 Ümit Özgüner
Talks about:system (4) tempor (3) logic (3) specif (2) falsif (2) dis (2) reconfigur (1) vehicular (1) distribut (1) asynchron (1)
Person: Georgios E. Fainekos
DBLP: Fainekos:Georgios_E=
Contributed to:
2015
2012
2011
200620162017Wrote 7 papers:
- CASE-2015-KimCDZF #distributed #flexibility
- DisCoF+: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems (KK, JC, WD, YZ, GEF), pp. 369–376.
- ICTSS-2012-YangHF #embedded #logic #parametricity #query
- Querying Parametric Temporal Logic Properties on Embedded Systems (HY, BH, GEF), pp. 136–151.
- TACAS-2011-AnnpureddyLFS #hybrid #logic #named
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (YA, CL, GEF, SS), pp. 254–257.
- FATES-RV-2006-FainekosP #logic #robust #specification
- Robustness of Temporal Logic Specifications (GEF, GJP), pp. 178–192.
- CASE-2016-CampbellTLPOF #approach #concurrent #configuration management #modelling #π-calculus
- Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach (JC, CET, PL0, TPP, ÜÖ, GEF), pp. 523–530.
- CASE-2017-DokhanchiYHF #specification
- Vacuity aware falsification for MTL request-response specifications (AD, SY, BH, GEF), pp. 1332–1337.
- CASE-2017-TuncaliYPF #automation #functional #generative #optimisation #testing
- Functional gradient descent optimization for automatic test case generation for vehicle controllers (CET, SY, TPP, GEF), pp. 1059–1064.