胡安·瓦尔弗德·阿尔卡拉
人员信息
优化列表
2020年–今天
2020 [j1] 乔治·吉安塔米迪斯 , 乔治奥斯·帕帕尼科劳 , 马塞洛·米兰达 , 冈萨洛·萨利纳斯·赫南多 , 胡安·瓦尔弗德·阿尔卡拉 , 苏雷什·维卢鲁 , Stylianos Basagiannis公司 :
重新形成:快速需求形式化的工具。 电子。 公社。 欧洲协会软件。 科学。 Technol公司。 79 ( 2020 )
2010 – 2019
2017 【c1】 帕斯奎尔·安东南特 , 胡安·瓦尔弗德·阿尔卡拉 , Stylianos Basagiannis公司 , 马可·迪纳塔莱 :
多核平台中混合临界应用的安全实现:基于模型的设计方法。 SAFECOMP研讨会 2017 : 141-156