瓦伦蒂娜·卡斯蒂格利奥尼
人员信息
附属: 荷兰埃因霍温理工大学
优化列表
2020年–今天
2024 [j13] 瓦伦蒂娜·卡斯蒂格利奥尼 , 拉格罗·拉诺特 , 西蒙·蒂尼 :
回到形式:概率过程的SOS调查。 J.日志。 代数方法课程。 137 : 100929 ( 2024 ) 2023 [j12] 瓦伦蒂娜·卡斯蒂格利奥尼 , 米歇尔·洛雷蒂 , 西蒙·蒂尼 :
在不可预测的环境中衡量程序健壮性的框架。 日志。 方法计算。 科学。 19 ( 三 ) ( 2023 ) [第18条] 瓦伦蒂娜·卡斯蒂格利奥尼 , 米歇尔·洛雷蒂 , 西蒙·蒂尼 :
Stark:用于分析未知环境中鲁棒性的软件工具。 协调 2023 : 115-132 [第17条] 瓦伦蒂娜·卡斯蒂格利奥尼 , 米歇尔·洛雷蒂 , 西蒙·蒂尼 :
DisTL:用于分析网络物理系统预期行为的时间逻辑。 信息通信与通信系统 2023 : 15-30 2022 [公元11年] 卢卡·埃特罗 , 瓦伦蒂娜·卡斯蒂格利奥尼 , Anna Ingólfsdóttir女士 , 巴斯·卢提克 , 马蒂亚斯·拉加德·佩德森 :
论平行组合的公理性。 日志。 方法计算。 科学。 18 ( 1 ) ( 2022 ) [公元10年] 卢卡·埃特罗 , 瓦伦蒂娜·卡斯蒂格利奥尼 , 万·J·福克金 , Anna Ingólfsdóttir女士 , 巴斯·卢提克 :
获得并行组合的有限公理化需要两个二元运算符吗? ACM事务处理。 计算。 日志。 23 ( 4 ) : 22:1-22:56 ( 2022 ) [第16条] 卢卡·埃特罗 , 埃利·阿纳斯塔西亚迪 , 瓦伦蒂娜·卡斯蒂格利奥尼 , Anna Ingólfsdóttir女士 :
通过约简得到的非有限公理化结果:CSP并行组合和CCS限制。 从过程代数到时间自动机到模型学习的旅程 2022 : 1-26 [第15条] 卢卡·埃特罗 , 瓦伦蒂娜·卡斯蒂格利奥尼 , Anna Ingólfsdóttir女士 , 巴斯·卢提克 :
CCS上分支互模拟同余的公理化。 CONCUR公司 2022 : 6:1-6:18 [电子2] 瓦伦蒂娜·卡斯蒂格利奥尼 , 克劳迪奥·安塔雷斯·梅齐纳 :
《第29届并发表达性国际研讨会和第19届结构化操作语义研讨会论文集》,EXPRESS/SOS 2022,波兰华沙,2022年9月12日。 EPTCS系统 368, 2022 [目录] [第九章] 瓦伦蒂娜·卡斯蒂格利奥尼 , 米歇尔·洛雷蒂 , 西蒙·蒂尼 :
EvTL:用于网络物理系统瞬态分析的时间逻辑。 CoRR公司 abs/2204.13357 ( 2022 ) [i8] 卢卡·埃特罗 , 瓦伦蒂娜·卡斯蒂格利奥尼 , Anna Ingólfsdóttir女士 , 巴斯·卢提克 :
CCS上分支互模拟同余的公理化。 CoRR公司 abs/2206.13927 ( 2022 ) [i7] 瓦伦蒂娜·卡斯蒂格利奥尼 , 米歇尔·洛雷蒂 , 西蒙·蒂尼 :
RobTL:网络物理系统鲁棒性的时间逻辑。 CoRR公司 abs/2212.11158 ( 2022 ) 2021 [第14条] 卢卡·埃特罗 , 瓦伦蒂娜·卡斯蒂格利奥尼 , 万·J·福克金 , Anna Ingólfsdóttir女士 , 巴斯·卢提克 :
有限公理化并行组合需要两个二元运算符吗? CSL公司 2021 : 8:1-8:17 [第13条] 瓦伦蒂娜·卡斯蒂格利奥尼 , 米歇尔·洛雷蒂 , 西蒙·蒂尼 :
您的程序的适应性和可靠性如何? 复地 2021 : 60-79 [第12条] 卢卡·埃特罗 , 埃利·阿纳斯塔西亚迪 , 瓦伦蒂娜·卡斯蒂格利奥尼 , Anna Ingólfsdóttir女士 , 巴斯·卢提克 :
寻找失去的时间:过程代数中的公理化并行合成。 低收入国家 2021 : 1-14 [e1] 奥内拉·达达 , 瓦伦蒂娜·卡斯蒂格利奥尼 :
论文集结合了第28届并发表达国际研讨会和第18届结构操作语义研讨会,EXPRESS/SOS 2021,以及第18届结构操作语义研讨会巴黎,法国(在线活动),2021年8月23日。 EPTCS系统 339, 2021 [目录] [i6] 卢卡·埃特罗 , 瓦伦蒂娜·卡斯蒂格利奥尼 , Anna Ingólfsdóttir女士 , 巴斯·卢提克 , 马蒂亚斯·拉加德·佩德森 :
论平行组合的公理性。 CoRR公司 abs/2102.11166 ( 2021 ) [i5] 卢卡·埃特罗 , 埃利·阿纳斯塔西亚迪 , 瓦伦蒂娜·卡斯蒂格利奥尼 , Anna Ingólfsdóttir女士 , 巴斯·卢提克 :
寻找失去的时间:过程代数中的公理化并行合成。 CoRR公司 abs/2105.00735 ( 2021 ) [i4] 瓦伦蒂娜·卡斯蒂格利奥尼 , 米歇尔·洛雷蒂 , 西蒙·蒂尼 :
在不可预测的环境中衡量程序健壮性的框架。 CoRR公司 abs/2111.15319 ( 2021 ) 2020 [公元9年] 瓦伦蒂娜·卡斯蒂格利奥尼 , 西蒙·蒂尼 :
失去等价性的袭击者:概率分支相似性。 信息处理。 莱特。 159-160 : 105947 ( 2020 ) [j8] 瓦伦蒂娜·卡斯蒂格利奥尼 , 康斯坦丁诺斯·查齐科科拉基斯 , 帕拉米德斯猫 :
差异隐私的逻辑特征。 科学。 计算。 程序。 188 : 102388 ( 2020 ) [j7] 瓦伦蒂娜·卡斯蒂格利奥尼 , 西蒙·蒂尼 :
概率除法与同余:分支二相似性。 理论。 计算。 科学。 802 : 147-196 ( 2020 ) [j6] 瓦伦蒂娜·卡斯蒂格利奥尼 , 米歇尔·洛雷蒂 , 西蒙·蒂尼 :
非确定性概率过程的度量线性时间分支时间谱。 理论。 计算。 科学。 813 : 20-69 ( 2020 ) [j5] 卢卡·埃特罗 , 埃利·阿纳斯塔西亚迪 , 瓦伦蒂娜·卡斯蒂格利奥尼 , Anna Ingólfsdóttir女士 , 巴斯·卢提克 , 马蒂亚斯·拉加德·佩德森 :
关于优先权III的公理化:优先权再次打击。 理论。 计算。 科学。 837 : 223-246 ( 2020 ) [第11条] 卢卡·埃特罗 , 瓦伦蒂娜·卡斯蒂格利奥尼 , Anna Ingólfsdóttir女士 , 巴斯·卢提克 , 马蒂亚斯·拉加德·佩德森 :
论平行合成的公理性:光谱之旅。 CONCUR公司 2020 : 18:1-18:22 [第10条] 瓦伦蒂娜·卡斯蒂格利奥尼 , 米歇尔·洛雷蒂 , 西蒙·蒂尼 :
测量大型系统的适应性和可靠性。 ISoLA(2) 2020 : 380-396 [i3] 卢卡·埃特罗 , 瓦伦蒂娜·卡斯蒂格利奥尼 , 万·J·福克金 , Anna Ingólfsdóttir女士 , 巴斯·卢提克 :
有限公理化并行组合需要两个二元运算符吗? CoRR公司 腹肌/2010.01943 ( 2020 )
2010 – 2019
2019 【j4】 瓦伦蒂娜·卡斯蒂格利奥尼 , 西蒙·蒂尼 :
非确定概率转移系统分支度量的逻辑特征。 Inf.计算。 268 ( 2019 ) 【c9】 瓦伦蒂娜·卡斯蒂格利奥尼 , 拉格罗·拉诺特 , 西蒙·蒂尼 :
互模拟度量的完全句法一致连续格式。 计算系统建模的艺术 2019 : 293-312 【c8】 卢卡·埃特罗 , 埃利·阿纳斯塔西亚迪 , 瓦伦蒂娜·卡斯蒂格利奥尼 , Anna Ingólfsdóttir女士 , 马蒂亚斯·拉加德·佩德森 :
论优先权III的公理化:顺序写作的回归。 信息通信与通信系统 2019 : 145-157 2018 [j3] 瓦伦蒂娜·卡斯蒂格利奥尼 , 丹尼尔·格布勒 , 西蒙·蒂尼 :
基于SOS的非确定性概率过程模态分解。 日志。 方法计算。 科学。 14 ( 2 ) ( 2018 ) 【c7】 瓦伦蒂娜·卡斯蒂格利奥尼 , 康斯坦丁诺斯·查齐科科拉基斯 , 帕拉米德斯猫 :
通过行为指标对差异隐私进行逻辑描述。 FACS公司 2018 : 75-96 【c6】 瓦伦蒂娜·卡斯蒂格利奥尼 :
非确定性概率过程的跟踪和测试度量。 快递/SOS 2018 : 19至36 2017 【b1】 瓦伦蒂娜·卡斯蒂格利奥尼 :
概率语义学:非确定性概率过程的度量和逻辑字符。 意大利因苏布里亚大学, 2017 [c5] 瓦伦蒂娜·卡斯蒂格利奥尼 , 西蒙·蒂尼 :
跟踪度量的逻辑特征。 QAPL@ETAPS(预计到达时间) 2017 : 39-74 [i2] 瓦伦蒂娜·卡斯蒂格利奥尼 , 丹尼尔·格布勒 , 西蒙·蒂尼 :
基于SOS的非确定性概率过程模态分解。 CoRR公司 abs/1701.08330 ( 2017 ) 2016 [注2] 瓦伦蒂娜·卡斯蒂格利奥尼 , 拉格罗·拉诺特 , 西蒙·蒂尼 :
一种检验算术逻辑可满足性的函数消去方法。 芬丹。 信息学 143 ( 1-2 ) : 51-71 ( 2016 ) 【c4】 瓦伦蒂娜·卡斯蒂格利奥尼 , 丹尼尔·格布勒 , 西蒙·蒂尼 :
非确定性概率过程的模态分解。 CONCUR公司 2016 : 36:1-36:15 【c3】 瓦伦蒂娜·卡斯蒂格利奥尼 , 丹尼尔·格布勒 , 西蒙·蒂尼 :
互模拟度量的逻辑特征。 QAPL公司 2016 : 44-62 2015 [i1] 瓦伦蒂娜·卡斯蒂格利奥尼 , 拉格罗·拉诺特 , 马西莫·梅罗 :
物联网的语义理论。 CoRR公司 abs/1510.04854 ( 2015 ) 2014 [j1] 瓦伦蒂娜·卡斯蒂格利奥尼 , 拉格罗·拉诺特 , 西蒙·蒂尼 :
有根分支互模拟的规范格式。 芬丹。 信息学 135 ( 4 ) : 355-369 ( 2014 ) 【c2】 瓦伦蒂娜·卡斯蒂格利奥尼 , 拉格罗·拉诺特 , 西蒙·蒂尼 :
一种检验算术逻辑可满足性的函数消去方法。 CS&P公司 2014 : 46-57 2013 【c1】 瓦伦蒂娜·卡斯蒂格利奥尼 , 拉格罗·拉诺特 , 西蒙·蒂尼 :
有根分支互模拟的规则格式。 CS&P公司 2013 : 49-60