乔治·吉安塔米迪斯
人员信息
优化列表
2020年–今天
2023 【c5】 Stylianos Basagiannis公司 , 卢多维科·巴蒂斯塔 , 安娜·贝基 , 亚历山德罗·西马蒂 , 乔治奥斯·詹塔米迪斯 , 塞尔吉奥·莫弗 , 阿尔贝托·塔切拉 , 斯特凡诺·托内塔 , 瓦西里奥斯A.Tsachouridis :
基于SMT的工业切换PI控制系统稳定性验证。 DSN-W公司 2023 : 243-250 2021 [j3] Joseba Andoni阿吉雷 , Leire Etxeberria公司 , 劳尔·巴博萨 , Stylianos Basagiannis公司 , 乔治·吉安塔米迪斯 , 托马斯·鲍尔 , Enrico Ferrari公司 , 米凯尔·拉巴恩·埃斯纳奥拉 , 瓦妮莎·奥拉尼 , 约翰尼·伯格 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 亚历斯·斯姆卡 , 沃尔特·蒂贝蒂 , 斯特凡诺·托内塔 , 马可·波扎诺 , 艾哈迈特·亚齐奇 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
VALU3S ECSEL项目:自动化系统安全和安保的验证和确认。 微加工。 微系统 87 : 104349 ( 2021 ) [注2] 乔治·吉安塔米迪斯 , 斯塔夫罗斯·特里帕基斯 , Stylianos Basagiannis公司 :
从输入输出轨迹学习摩尔机器。 国际期刊软件。 技术工具。 Transf公司。 23 ( 1 ) : 1-29 ( 2021 ) 2020 [j1] 乔治·吉安塔米迪斯 , 乔治奥斯·帕帕尼科劳 , 马塞洛·米兰达 , 冈萨洛·萨利纳斯·赫南多 , 胡安·瓦尔弗德·阿尔卡拉 , 苏雷什·维卢鲁 , Stylianos Basagiannis公司 :
重新形成:快速需求形式化的工具。 电子。 Commun公司。 欧洲协会软件。 科学。 技术。 79 ( 2020 ) 【c4】 劳尔·巴博萨 , Stylianos Basagiannis公司 , 乔治·吉安塔米迪斯 , H.贝克尔 , Enrico Ferrari公司 , J.贾希 , A.卡纳克 , 米凯尔·拉巴恩·埃斯纳奥拉 , 瓦妮莎·奥拉尼 , 大卫·佩雷拉 , 路易吉·波曼特 , 鲁珀特·施利克 , 亚历斯·斯姆卡 , 艾哈迈特·亚齐奇 , 彼得·福克森 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
VALU3S ECSEL项目:自动化系统安全与安保的验证与确认。 DSD公司 2020 : 352-359 【c3】 乔治·吉安塔米迪斯 , Stylianos Basagiannis公司 , 斯塔夫罗斯·特里帕基斯 :
使用符号自动机学习和归纳推理将安全LTL高效转换为DFA。 SAFECOMP公司 2020 : 115-129
2010年至2019年
2019 【c2】 瓦西里奥斯A.Tsachouridis , 乔治·吉安塔米迪斯 :
矩阵Riccati算法的计算机辅助验证。 疾病预防控制中心 2019 : 8073-8078 2016 【c1】 乔治·吉安塔米迪斯 , 斯塔夫罗斯·特里帕基斯 :
从输入输出轨迹学习摩尔机器。 FM公司 2016 : 291-309 [i1] 乔治·吉安塔米迪斯 , 斯塔夫罗斯·特里帕基斯 :
从输入输出轨迹学习摩尔机器。 CoRR公司 abs/1605.07805 ( 2016 )