拉格罗·拉诺特
人员信息
优化列表
2020年–今天
2024 【j30】 瓦伦蒂娜·卡斯蒂格利奥尼 , 拉格罗·拉诺特 , 西蒙·蒂尼 :
回到形式:概率过程的SOS调查。 J.日志。 代数方法课程。 137 : 100929 ( 2024 ) [i11] 健翔 , 拉格罗·拉诺特 , 西蒙·蒂尼 , 斯蒂芬·庄(Stephen Chong) , 马西莫·梅罗 :
传感器攻击下网络物理系统的鲁棒性测量。 CoRR公司 abs/2403.05829 ( 2024 ) 2023 [公元29年] 拉格罗·拉诺特 , 马西莫·梅罗 , 安德烈·蒙泰努 :
通过运行时强制实现工业控制系统安全。 ACM变速器。 私人安全。 26 ( 1 ) : 4:1-4:41 ( 2023 ) [公元45年] 拉格罗·拉诺特 , 马西莫·梅罗 , 尼古拉·赞诺 :
通过统计模型检查对协同网络物理攻击的影响分析:案例研究。 复地 2023 : 75-94 [c44] 斯蒂芬·庄(Stephen Chong) , 拉格罗·拉诺特 , 马西莫·梅罗 , 西蒙·蒂尼 , 健翔 :
网络物理系统传感器攻击的定量稳健性分析。 高速列车控制中心 2023 : 20:1-20:12 [公元43年] 拉格罗·拉诺特 , 德西里·曼尼卡迪 , 西蒙·蒂尼 :
生化网络的分步鲁棒性。 信息通信与通信系统 2023 : 299-313 2022 [公元42年] 玛丽亚诺·塞卡托 , 尤塞夫·德里奇 , 拉格罗·拉诺特 , 马可·卢切斯 , 马西莫·梅罗 :
面向工业物理过程的逆向工程。 CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT和SECOMAN/EIS/ ESORICS的SecAssure 2022 : 273-290 2021 [j28] 拉格罗·拉诺特 , 马西莫·梅罗 , 西蒙·蒂尼 :
网络物理系统的概率演算。 Inf.计算。 279 : 104618 ( 2021 ) [公元27年] 拉格罗·拉诺特 , 西蒙·蒂尼 :
具有不确定性和连续状态空间的模型中互模拟度量的弱语义方法。 西奥。 计算。 科学。 869 : 29-61 ( 2021 ) [公元26年] 拉格罗·拉诺特 , 马西莫·梅罗 , 安德烈·蒙泰努 :
检测和缓解PLC恶意软件的过程演算方法。 西奥。 计算。 科学。 890 : 125-146 ( 2021 ) [公元41年] 拉格罗·拉诺特 , 马西莫·梅罗 , 安德烈·蒙蒂阿努 , 西蒙·蒂尼 :
网络物理攻击的正式影响指标。 CSF公司 2021 : 1-16 [i10] 拉格罗·拉诺特 , 马西莫·梅罗 , 安德烈·蒙泰努 :
可编程逻辑控制器的运行时执行。 CoRR公司 abs/2105.10668 ( 2021 ) 2020 [公元25年] 拉格罗·拉诺特 , 马西莫·梅罗 , 安德烈·蒙泰努 , 卢卡·维甘 :
网络物理系统中基于物理的攻击的形式化方法。 ACM变速器。 私人安全。 23 ( 1 ) : 3:1-3:41 ( 2020 ) [公元40年] 拉格罗·拉诺特 , 马西莫·梅罗 , 安德烈·蒙蒂阿努 :
控制系统安全的运行时强制。 CSF公司 2020 : 246-261 [公元39年] 拉格罗·拉诺特 , 马西莫·梅罗 , 安德烈·蒙泰努 :
PLC正确性执行的过程微积分方法。 信息通信与通信系统 2020 : 81-94 [第九章] 拉格罗·拉诺特 , 马西莫·梅罗 , 安德烈·蒙蒂阿努 :
PLC正确性实施的过程演算方法(完整版)。 CoRR公司 abs/2007.09399 ( 2020 )
2010 – 2019
2019 [公元38年] 瓦伦蒂娜·卡斯蒂格利奥尼 , 拉格罗·拉诺特 , 西蒙·蒂尼 :
互模拟度量的完全句法一致连续格式。 计算系统建模的艺术 2019 : 293-312 [公元37年] 拉格罗·拉诺特 , 马西莫·梅罗 , 法比奥·莫加维罗 :
线性有界周期计算机物理系统的可判定性。 高速列车控制中心 2019 : 87-98 [公元36年] 拉格罗·拉诺特 , 西蒙·蒂尼 :
概率时间自动机的双相似度量计算。 国际单项体育联合会 2019 : 303-321 [i8] 拉格罗·拉诺特 , 马西莫·梅罗 , 安德烈·蒙蒂阿努 , 卢卡·维甘 :
网络物理系统中基于物理的攻击的形式化方法(扩展版)。 CoRR公司 abs/1902.04572 ( 2019 ) 2018 [公元24年] 拉格罗·拉诺特 , 马西莫·梅罗 :
物联网的语义理论。 Inf.计算。 259 ( 1 ) : 72-101 ( 2018 ) [公元23年] 拉格罗·拉诺特 , 马西莫·梅罗 , 西蒙·蒂尼 :
无线网络流言协议中的等式推理。 日志。 方法计算。 科学。 14 ( 三 ) ( 2018 ) [公元35年] 拉格罗·拉诺特 , 马西莫·梅罗 , 安德烈·蒙泰努 :
网络物理系统的适度安全分析:案例研究。 复地 2018 : 58-78 [公元34年] 拉格罗·拉诺特 , 西蒙·蒂尼 :
非确定性和连续状态空间模型中的弱互模拟度量。 ICTAC公司 2018 : 292-312 [公元33年] 拉格罗·拉诺特 , 马西莫·梅罗 , 西蒙·蒂尼 :
网络物理攻击影响度量的正式概念。 国际单项体育联合会 2018 : 296-315 [i7] 拉格罗·拉诺特 , 马西莫·梅罗 , 西蒙·蒂尼 :
网络物理攻击影响度量的正式概念(完整版)。 CoRR公司 abs/1806.10463 ( 2018 ) 2017 [公元32年] 拉格罗·拉诺特 , 马西莫·梅罗 , 里卡多·穆拉多尔 , 卢卡·维甘 :
网络物理攻击的正式方法。 CSF公司 2017 : 436-450 [公元31年] 拉格罗·拉诺特 , 马西莫·梅罗 , 西蒙·蒂尼 :
绯闻场景中的弱模拟拟度量。 复地 2017 : 139-155 [公元30年] 拉格罗·拉诺特 , 马西莫·梅罗 :
网络物理系统微积分。 拉塔 2017 : 115-127 [公元29年] 拉格罗·拉诺特 , 马西莫·梅罗 , 西蒙·蒂尼 :
组密钥更新的组合弱度量。 MFCS公司 2017 : 72:1-72:16 [i6] 拉格罗·拉诺特 , 马西莫·梅罗 , 西蒙·蒂尼 :
网络物理系统的概率微积分。 CoRR公司 腹肌/1707.02279 ( 2017 ) [i5] 拉格罗·拉诺特 , 马西莫·梅罗 , 西蒙·蒂尼 :
无线网络流言协议中的等式推理。 CoRR公司 abs/1707.03215 ( 2017 ) 2016 [公元22年] 瓦伦蒂娜·卡斯蒂格利奥尼 , 拉格罗·拉诺特 , 西蒙·蒂尼 :
一种检验算术逻辑可满足性的函数消去方法。 芬丹。 信息学 143 ( 1-2 ) : 51-71 ( 2016 ) [公元28年] 拉格罗·拉诺特 , 马西莫·梅罗 :
物联网语义理论(扩展抽象)。 协调 2016 : 157-174 [c27] 拉格罗·拉诺特 , 西蒙·蒂尼 :
将泰勒近似推广到具有积分的混合系统。 CS&P公司 2016 : 141-152 [i4] 拉格罗·拉诺特 , 马西莫·梅罗 , 里卡多·穆拉多尔 , 卢卡·维甘 :
网络物理攻击的正式方法。 CoRR公司 abs/1611.01377 ( 2016 ) [i3] 拉格罗·拉诺特 , 马西莫·梅罗 :
网络物理系统微积分。 CoRR公司 abs/1612.00484 ( 2016 ) 2015 [i2] 瓦伦蒂娜·卡斯蒂格利奥尼 , 拉格罗·拉诺特 , 马西莫·梅罗 :
物联网的语义理论。 CoRR公司 abs/1510.04854 ( 2015 ) 2014 [公元21年] 瓦伦蒂娜·卡斯蒂格利奥尼 , 拉格罗·拉诺特 , 西蒙·蒂尼 :
有根分支互模拟的规范格式。 芬丹。 信息学 135 ( 4 ) : 355-369 ( 2014 ) [公元26年] 瓦伦蒂娜·卡斯蒂格利奥尼 , 拉格罗·拉诺特 , 西蒙·蒂尼 :
一种检验算术逻辑可满足性的函数消去方法。 CS&P公司 2014 : 46岁至57岁 2013 [公元20年] 丹尼尔·博基尔 , 乔尔·科恩 , 拉格罗·拉诺特 :
使用有限和下推式编辑自动机执行安全策略。 国际J.Inf.Sec。 12 ( 4 ) : 319-336年 ( 2013 ) [公元25年] 瓦伦蒂娜·卡斯蒂格利奥尼 , 拉格罗·拉诺特 , 西蒙·蒂尼 :
有根分支互模拟的规则格式。 CS&P公司 2013 : 49-60 2012 [公元19年] 卡塔琳·迪马 , 拉格罗·拉诺特 :
关于洗牌、秒表和独立进化时钟的研究。 分布式计算。 25 ( 1 ) : 5-33 ( 2012 ) 2011 [公元24年] 拉格罗·拉诺特 , 马西莫·梅罗 :
无线传感器网络中流言协议的语义分析。 CONCUR公司 2011 : 156-170 【c23】 劳拉·博泽利 , 拉格罗·拉诺特 :
CaRet的混合和一阶完全扩展。 TABLEAUX公司 2011 : 58-72 2010 [公元18年] 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 安吉洛·特罗伊纳 :
具有无界数据结构的时间自动机的可达性结果。 信息学报 47 ( 5-6 ) : 279-311 ( 2010 ) [公元17年] 劳拉·博泽利 , 拉格罗·拉诺特 :
线性时间混合逻辑的复杂性和简洁性问题。 西奥。 计算。 科学。 411 ( 2 ) : 454-469 ( 2010 ) [公元16年] 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 安吉洛·特罗伊纳 :
概率时间自动机的弱互模拟。 西奥。 计算。 科学。 411 ( 50 ) : 4291-4322 ( 2010 ) [公元15年] 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 安吉洛·特罗伊纳 :
基于时间和概率的信息流分析。 IEEE传输。 软件工程。 36 ( 5 ) : 719-734 ( 2010 )
2000 – 2009
2009 [公元14年] 拉格罗·拉诺特 , 丹尼尔·博基尔 :
时间概率系统的可判定概率逻辑。 芬丹。 信息学 96 ( 1-2 ) : 127-151 ( 2009 ) [j13] 拉格罗·拉诺特 , 西蒙·蒂尼 :
概率互模拟作为同余。 ACM变速器。 计算。 日志。 10 ( 2 ) : 9:1-9:48 ( 2009 ) [公元22年] 加泰罗尼亚迪玛 , 拉格罗·拉诺特 :
从定时自动机中删除所有静默转换。 格式 2009 : 118-132 2008 [公元12年] 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 保罗·米拉佐 , 安吉洛·特罗伊纳 :
在定时框架中设计和验证长时间运行的事务。 科学。 计算。 程序。 73 ( 2-3 ) : 76-94 ( 2008 ) 【c21】 劳拉·博泽利 , 拉格罗·拉诺特 :
线性时间混合逻辑的复杂性和简洁性问题。 杰莉亚 2008 : 48-61 [公元20年] Danièle Beauquier女士 , 乔尔·科恩 , 拉格罗·拉诺特 :
使用有限编辑自动机执行安全策略。 ICE@ICALP 2008 : 19-35 2007 [公元11年] 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 安吉洛·特罗伊纳 :
用于系统设计和分析的参数概率过渡系统。 形式方面计算。 19 ( 1 ) : 93-109 ( 2007 ) [公元10年] 拉格罗·拉诺特 , 西蒙·蒂尼 :
混合系统的泰勒近似。 Inf.计算。 205 ( 11 ) : 1575-1607 ( 2007 ) [公元9年] 拉格罗·拉诺特 :
具有实变量、整变量和数组的混合系统的表示能力。 J.汽车。 语言梳。 12 ( 三 ) : 2005年3月3日 ( 2007 ) [第19条] 卡塔琳·迪马 , 拉格罗·拉诺特 :
分布式时间同步自动机。 ICTAC公司 2007 : 185-200 2006 [第18条] 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 保罗·米拉佐 , 安吉洛·特罗伊纳 :
使用通信分层时间自动机对长时间运行事务进行建模。 FMOODS公司 2006 : 108-122 [第17条] 丹尼尔·博基尔 , 拉格罗·拉诺特 :
在多级安全系统中隐藏信息。 安全和信任的形式方面 2006 : 250-269 2005 [j8] 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 :
单调混合系统。 J.计算。 系统。 科学。 71 ( 1 ) : 34-69 ( 2005 ) [第16条] 拉格罗·拉诺特 , 西蒙·蒂尼 :
半随机生成过程的概率同余。 FoSSaCS公司 2005 : 63-78 [第15条] 拉格罗·拉诺特 , 西蒙·蒂尼 :
混合系统的泰勒近似。 高速列车控制中心 2005 : 402-416 [第14条] 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 安吉洛·特罗伊纳 :
分布式系统设计和分析用带数据结构的时间自动机。 SEFM公司 2005 : 44-53 [第13条] 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 安吉洛·特罗伊纳 :
时间和/或概率相关安全属性的分类。 QAPL公司 2005 : 177-193 2004 [j7] 罗伯托·戈里埃里 , 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 法比奥·马丁内利 , 西蒙·蒂尼 , 恩里科·特隆西 :
时间安全的自动分析:网络隐私的案例研究。 国际J.Inf.Sec。 2 ( 3-4 ) : 168-186 ( 2004 ) [j6] 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 西蒙·蒂尼 :
并发时间自动机中的Epsilon变换。 信息处理。 莱特。 89 ( 1 ) : 1-7 ( 2004 ) [j5] 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 西蒙·蒂尼 :
混合系统中的信息流。 ACM变速器。 嵌入。 计算。 系统。 三 ( 4 ) : 760-799 ( 2004 ) [第12条] 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 西蒙·蒂尼 , 安吉洛·特罗伊纳 , 恩里科·特隆西 :
多级安全组件的自动隐蔽通道分析。 ICICS公司 2004 : 249-261 [第11条] 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 安吉洛·特罗伊纳 :
概率时间自动机的信息流分析。 安全和信任的形式方面 2004 : 13-26 [第10条] 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 阿德里亚诺·佩隆 :
通信分层机器的结构模型检查。 MFCS公司 2004 : 525-536 【c9】 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 安吉洛·特罗伊纳 :
参数概率转移系统的可判定性结果及其在安全中的应用。 SEFM公司 2004 : 114-121 【c8】 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 安吉洛·特罗伊纳 :
非重复协议的自动分析。 QAPL公司 2004 : 113-129 [i1] 拉格罗·拉诺特 , 丹尼尔·博基尔 :
时间概率系统的可判定概率逻辑。 CoRR公司 完。 洛/0411100 ( 2004 ) 2003 【b1】 拉格罗·拉诺特 :
实时系统中安全和保障的自动机理论方法。 意大利比萨大学, 2003 【j4】 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 阿德里亚诺·佩隆 , 西蒙·蒂尼 :
动态分层机器。 芬丹。 信息学 54 ( 2-3 ) : 237-252 ( 2003 ) [j3] 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 西蒙·蒂尼 :
时间自动机中的并发性。 西奥。 计算。 科学。 309 ( 1-3 ) : 503-527 ( 2003 ) 【c7】 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 安吉洛·特罗伊纳 :
概率时间自动机的弱互模拟及其在安全中的应用。 SEFM公司 2003 : 34至43 【c6】 拉格罗·拉诺特 :
具有变量、参数和数组的混合系统的表示能力。 EXPRESS(快递) 2003 : 91至112 【c5】 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 西蒙·蒂尼 , 安吉洛·特罗伊纳 , 恩里科·特隆西 :
NRL泵的自动分析。 梅菲斯托 2003 : 245-266 2001 [注2] 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 西蒙·蒂尼 , 阿德里亚诺·佩隆 :
时间协同自动机的转换。 芬丹。 信息学 47 ( 3-4 ) : 271-282 ( 2001 ) 【c4】 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 西蒙·蒂尼 :
时间自动机中的并发性。 FCT公司 2001 : 240-251 【c3】 里卡多·福卡迪 , 罗伯托·戈里埃里 , 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 法比奥·马蒂内利 , 西蒙·蒂尼 , 恩里科·特隆西 :
Web隐私定时攻击的形式化模型。 TOSCA公司 2001 : 229-243 【c2】 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 西蒙·蒂尼 :
实时系统中的隐私。 MTCS系统 2001 : 295-305 2000 [j1] 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 , 阿德里亚诺·佩隆 :
定时协作自动机。 芬丹。 信息学 43 ( 1-4 ) : 153-173 ( 2000 ) 【c1】 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 :
单调活动的时间自动机。 MFCS公司 2000 : 518-527