费德里科·马里
人员信息
其他同名人员
费德里科·考 (又名:费德里科·玛丽亚·考) 玛丽亚·费德里科 费德里科·马里亚尼 费德里科·马里纳奇 费德里科·马里内利 费德里科·马里尼 0001 -意大利罗马萨皮恩扎大学化学系 费德里科·马里尼 0002 -美因茨大学,德国约翰内斯·古腾堡大学医学中心 费德里科·玛丽亚·潘多尔菲 费德里科·斯卡福利里 (又名:Federico Maria Scafoglieri) 费德里科·玛丽亚·特奥蒂尼
优化列表
2020年–今天
2022 [公元11年] 伊戈尔·梅拉蒂 , 费德里科·马里 , 托尼·曼奇尼 , 米兰·普罗达诺维奇 , 恩里科·特隆西 :
通过家庭电池实现变电站约束管理的两层近最优策略。 IEEE传输。 Ind.Electron公司。 69 ( 8 ) : 8566-8578 ( 2022 ) 2021 [j10] 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 恩里科·特朗西 :
基于约束优化的交互式企业绩效管理感知与响应系统。 申请。 Artif公司。 智力。 35 ( 5 ) : 353-372 ( 2021 ) [公元9年] 伊戈尔·梅拉蒂 , 费德里科·马里 , 伊万诺·萨尔沃 , 恩里科·特朗西 :
网络物理系统控制软件可视化。 信息。 12 ( 5 ) : 178 ( 2021 ) [j8] 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
关于检查模拟脚本的等效性。 J.日志。 代数方法课程。 120 : 100640 ( 2021 ) [公元28年] 伊曼纽尔·达安吉兰托尼奥 , 莱安德罗·卢坎格利 , 瓦伦蒂娜·卡莫米拉 , 费德里科·马里 , 吉多·马斯西亚 , 安东尼奥·帕洛蒂 :
使用智能袜子对静脉病患者进行分类筛查。 甲基丙烯酸甲酯 2021 : 1-6 [第九章] 斯特凡诺·西尼西 , 瓦迪姆·阿利姆古津 , 托尼·曼奇尼 , 恩里科·特隆西 , 费德里科·马里 , 布里吉特·利纳斯 :
通过对患者数字双胞胎进行电子临床试验,优化个性化治疗计算。 CoRR公司 abs/2106.10684 ( 2021 ) [i8] 托尼·曼奇尼 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 , 乔恩·克拉斯·格鲁伯 , 巴里·海耶斯 , 米兰·普罗达诺维奇 , 拉尔斯·埃尔梅加德 :
智能电网安全验证的并行统计模型检查。 CoRR公司 abs/2106.10692 ( 2021 ) [i7] 伊戈尔·梅拉蒂 , 费德里科·马里 , 托尼·曼奇尼 , 米兰·普罗达诺维奇 , 恩里科·特隆西 :
通过家庭电池实现变电站约束管理的两层近最优策略。 CoRR公司 abs/2108.06735 ( 2021 ) 2020 [j7] 斯特凡诺·西尼西 , 瓦迪姆·阿利姆古津 , 托尼·曼奇尼 , 恩里科·特隆西 , 费德里科·马里 , 布里吉特·利纳斯 :
通过患者数字双胞胎的Silico临床试验进行最佳个性化治疗计算。 芬达姆。 信息学 174 ( 3-4 ) : 283-310 ( 2020 ) [公元27年] 斯特凡诺·西尼西 , 瓦迪姆·阿利姆古津 , 托尼·曼奇尼 , 恩里科·特隆西 , 费德里科·马里 , 布里吉特·利纳斯 :
AI-通过硅内临床试验指导个性化药物治疗的合成。 覆盖层 2020 : 59-64 [公元26年] 伊戈尔·梅拉蒂 , 瓦迪姆·阿利姆古津 , 费德里科·马里 , 米兰·普罗达诺维奇 , 巴里·海耶斯 :
使用个性化需求感知价格政策进行电网约束管理。 覆盖层 2020 : 71-76 [电子1] 尼古拉·吉甘特 , 费德里科·马里 , 安德烈亚·奥兰迪尼 :
与意大利人工智能协会第18届国际会议合办的第一届人工智能与形式验证、逻辑、自动化和合成研讨会会议记录, AI覆盖层 *IA 2019,意大利伦德,2019年11月19-20日。 CEUR研讨会记录 2509, CEUR-WS.org公司 2020 [目录]
2010 – 2019
2019 [公元25年] 瓦迪姆·阿利姆古津 , 费德里科·马里 , 伊戈尔·梅拉蒂 :
基于QKS的网络物理系统控制软件综合。 AI覆盖层 *IA公司 2019 : 95-100 2018 [公元24年] 托尼·曼奇尼 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
恶意攻击下网络脆弱性分析的有效算法。 ISMIS系统 2018 : 302-312 【c23】 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 斯特凡诺·西尼西 , 恩里科·特隆西 , 雷纳德·埃里格 , 苏珊娜·罗布利茨 , 布里吉特·利纳斯 :
通过硅胶临床试验计算个性化治疗。 FLoC下的RCRA 2018 [公元22年] 托尼·曼奇尼 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 , 乔恩·克拉斯·格鲁伯 , 巴里·海耶斯 , 米兰·普罗达诺维奇 , 拉尔斯·埃尔梅加德 :
智能电网安全验证的并行统计模型检查。 智能电网通信 2018 : 1-6 2017 [j6] 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特朗西 :
最小化最大预期验证时间。 信息处理。 莱特。 122 : 8-16 ( 2017 ) [j5] 瓦迪姆·阿利姆古津 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
线性化离散时间混合系统。 IEEE传输。 自动。 控制。 62 ( 10 ) : 5357-5364 ( 2017 ) 2016 【j4】 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
SyLVaaS:作为服务的系统级正式验证。 芬达姆。 信息学 149 ( 1-2 ) : 101-132 ( 2016 ) [j3] 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
通过并行随机穷举硬件在环仿真进行任何时间的系统级验证。 微加工。 微系统 41 : 12-28 ( 2016 ) 2015 【c21】 瓦迪姆·阿利姆古津 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 , 埃马德·塞缪尔·马尔基·埃贝德 , 瑟伦·阿加尔·米克尔森 , 鲁恩·海尔斯贝格·雅各布森 , 乔恩·克拉斯·格鲁伯 , 巴里·海耶斯 , 弗朗西斯科·韦尔塔 , 米兰·普罗达诺维奇 :
SmartHG项目测试平台和通信基础设施一瞥。 DSD公司 2015 : 225-232 [公元20年] 托尼·曼奇尼 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 , 乔恩·克拉斯·格鲁伯 , 巴里·帕特里克·海斯 , 米兰·普罗达诺维奇 , 拉尔斯·埃尔梅加德 :
智能电网用户灵活性感知价格政策综合。 DSD公司 2015 : 478-485 [第19条] 托尼·曼奇尼 , 恩里科·特隆西 , 伊万诺·萨尔沃 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 :
通过并行统计模型检查计算生物模型参数。 IWBBIO(2) 2015 : 542-554 [第18条] 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
SyLVaaS:作为服务的系统级正式验证。 产品开发计划 2015 : 476-483年 [第17条] 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
系统级形式验证的模拟器语义。 甘道夫 2015 : 86-99 2014 [注2] 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
根据系统级正式规范对控制软件进行基于模型的综合。 ACM事务处理。 柔和。 工程方法。 23 ( 1 ) : 6:1-6:42 ( 2014 ) [第16条] 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
通过随机穷举硬件在环仿真进行的任何时间系统级验证。 DSD公司 2014 : 236-245 [第15条] 恩里科·特隆西 , 托尼·曼奇尼 , 伊万诺·萨尔沃 , 斯特凡诺·西尼西 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 安娜丽莎·马西尼 , 弗朗西斯科·达维 , 托马斯·迪尔克斯 , 雷纳德·埃里格 , 苏珊娜·罗布利茨 , 布里吉特·利纳斯 , 蒂尔曼·H·C·克鲁格 , 马塞尔·埃格利 , 费比安·伊利 :
来自患者间生物模型和临床记录的患者特异性模型。 FMCAD公司 2014 : 207-214 [第14条] 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
通过分布式多核硬件在环仿真进行系统级形式验证。 产品开发计划 2014 : 734-742 [第13条] 托尼·曼奇尼 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 , 乔恩·克拉斯·格鲁伯 , 巴里·海耶斯 , 米兰·普罗达诺维奇 , 拉尔斯·埃尔梅加德 :
智能电网的需求软件价格政策综合和验证服务。 智能网格通信 2014 : 794-799年 2013 [j1] 费德里科·马里 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 , 阿尔贝托·芬奇 :
一种用于多管理域MANET的多跳广告发现和交付协议。 暴徒。 信息系统。 9 ( 三 ) : 261-280 ( 2013 ) [第12条] 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 法比奥·梅利 , 恩里科·特隆西 :
通过模型检查驱动仿真进行系统级形式验证。 CAV汽车 2013 : 296-312 [第11条] 瓦迪姆·阿利姆古津 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
控制软件自动综合的Map-Reduce并行方法。 自旋蛋白 2013 : 43-60 [第10条] 瓦迪姆·阿利姆古津 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
现场控制软件综合。 自旋蛋白 2013 : 61-80 2012 【c9】 瓦迪姆·阿利姆古津 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
量化离散时间混合系统的自动控制软件综合。 疾病预防控制中心 2012 : 6120-6125 【c8】 瓦迪姆·阿利姆古津 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
基于模型的嵌入式控制软件综合。 EMSOFT公司 2012 : 227-236 【c7】 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
离散时间线性混合系统量化状态反馈控制的不确定性。 ICTAC公司 2012 : 243-258 [i6] 瓦迪姆·阿利姆古津 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
量化离散时间混合系统的自动控制软件综合。 CoRR公司 abs/1207.4098 ( 2012 ) [i5] 瓦迪姆·阿利姆古津 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
基于模型的嵌入式控制软件综合。 CoRR公司 abs/1207.4474 ( 2012 ) [i4] 瓦迪姆·阿利姆古津 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
控制软件自动综合的Map-Reduce并行方法。 CoRR公司 abs/1210.2276 ( 2012 ) 2011 [i3] 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
基于Buck DC/DC变换器系统级形式规范的量化反馈控制软件综合。 CoRR公司 腹肌/1105.5640 ( 2011 ) [i2] 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
从布尔函数方程到控制软件。 CoRR公司 abs/1106.0468 ( 2011 ) [i1] 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
基于系统级形式规范的量化反馈控制软件综合。 CoRR公司 abs/1107.5638 ( 2011 ) 2010 【c6】 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
离散时间线性混合系统量化反馈控制软件的综合。 CAV汽车 2010 : 180-195
2000 – 2009
2009 【c5】 安德烈亚·博比奥 , 埃斯特·西安卡梅拉 , 萨维里奥·迪·布拉西 , 亚历山德罗·亚科米尼 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 米歇尔·米尼奇诺 , 亚历山德罗·斯卡拉蒂 , 恩里科·特隆西 , 罗伯塔·特鲁吉亚 , 埃米利奥·赞德里 :
通过SCADA互联电网和电信网络的异构模型进行风险分析。 CRiSIS公司 2009 : 90-97 【c4】 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 , 洛伦佐·阿尔维西 , 艾伦·克莱门特 , 哈里·C·李 :
MAD分布式系统中联盟纳什均衡的模型检验。 SSS系统 2009 : 531-546 2008 【c3】 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 , 洛伦佐·阿尔维西 , 艾伦·克莱门特 , 哈里·C·李 :
MAD分布式系统中Nash均衡的模型检验。 FMCAD公司 2008 : 1-8 【c2】 弗拉维奥·切里切蒂 , 西尔维奥·拉坦齐 , 费德里科·马里 , 亚历山德罗·潘科内西 :
在期望的情况下,以最佳方式放置跳过。 WSDM公司 2008 : 15-24 2007 【c1】 费德里科·马里 , 恩里科·特隆西 :
基于CEGAR的离散时间混合系统有界模型检验。 高速列车控制中心 2007 : 399-412