BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Fainekos:Georgios_E=

Contributed to:

CASE 20152015
ICTSS 20122012
TACAS 20112011
FATES/RV 20062006
CASE 20162016
CASE 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.