×

找到47个文档（结果1-47）

最新的 引文 关联
阿尔贝托·佩特罗西

我早期研究兴趣的历史记录。 （英文） Zbl 07453187号

Fribourg，Laurent（ed.）等人，第八届核查与程序转换国际研讨会和第七届霍恩条款核查与合成研讨会会议记录，VPT/HCVS 2020，爱尔兰都柏林，2020年4月25日至26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）320，1-28（2020年）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Pettorosi}，电子。程序。西奥。计算。科学。（EPTCS）320，1--28（2020；Zbl 07453187）
全文： arXiv公司 链接
伊曼纽尔·德·安吉利斯；法比奥·菲奥拉万蒂；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

排序程序属性的证明：Horn子句验证中的一个案例研究。 （英文） Zbl 1483.68189号

De Angelis，Emanuele（ed.）等人，《第六次Horn子句验证与合成研讨会论文集》，HCVS 2019，以及第三次程序等效与关系推理研讨会论文集，2019年4月6日至7日，捷克共和国布拉格，PERR 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）29648-75（2019年）。
MSC公司：60年第68季度 03B70号 68甲18 68号30 68页第10页
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，《电子》。程序。西奥。计算。科学。（EPTCS）296、48-75（2019年；Zbl 1483.68189）
全文： arXiv公司 链接
伊曼纽尔·德·安吉利斯；法比奥·菲奥拉万蒂；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

勘误表：“在没有归纳的情况下解决归纳数据类型上的Horn子句”。 （英文） Zbl 1472.68086号

理论与实践。日志。程序。 19，第4号，629（2019）.
MSC公司：60年第68季度 03B70号 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，理论与实践。日志。程序。19，第4号，629（2019；Zbl 1472.68086）
全文： 内政部
伊曼纽尔·德·安吉利斯；法比奥·菲奥拉万蒂；阿德里安·帕拉西奥斯；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

Erlang程序运行时错误检测的有界符号执行。 （英文） Zbl 1525.68008号

Kahsai，Temesghen（ed.）等人，《验证和合成Horn条款第五次研讨会论文集》，HCVS 2018，英国牛津，2018年7月13日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）27819-26（2018）。
MSC公司：68甲15 68N20型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，《电子》。程序。西奥。计算。科学。（EPTCS）278，19-26（2018；兹比尔1525.68008）
全文： arXiv公司 链接
伊曼纽尔·德·安吉利斯；法比奥·菲奥拉万蒂；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

在没有归纳法的情况下解决归纳数据类型上的Horn子句。 （英文） Zbl 1451.68172号

理论与实践。日志。程序。 18，编号3-4，452-469（2018）; 勘误表同上，第19号，第4，629（2019）。
MSC公司：60年第68季度 03B70号 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，理论与实践。日志。程序。18、编号3--4、452--469（2018；Zbl 1451.68172）
全文： 内政部 arXiv公司
伊曼纽尔·德·安吉利斯；法比奥·菲奥拉万蒂；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

谓词配对与抽象用于关系验证。 （英文） Zbl 1508.68058号

Fioravanti，Fabio（编辑）等，基于逻辑的程序合成和转换。第27届国际研讨会，2017年LOPSTR，2017年10月10日至12日，比利时纳穆尔。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。10855, 289-305 (2018).
MSC公司：68号30 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，Lect。注释计算。科学。10855、289--305（2018年；Zbl 1508.68058）
全文： 内政部 arXiv公司
伊曼纽尔·德·安吉利斯；法比奥·菲奥拉万蒂；Maria Chiara Meo女士；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

使用约束Horn子句验证具有时间意识的业务流程。 （英文） Zbl 1485.68149号

Hermenegildo，Manuel V.（编辑）等，基于逻辑的程序合成和转换。2016年9月6日至8日在英国爱丁堡举行的2016年LOPSTR第26届国际研讨会。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。10184, 38-55 (2017).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，Lect。注释计算。科学。10184，38-55（2017；Zbl 1485.68149）
全文： 内政部 arXiv公司
伊曼纽尔·德·安吉利斯；法比奥·菲奥拉万蒂；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

从Horn子句验证条件中删除不必要的变量。 （英文） Zbl 1482.68136号

Gallagher，John P.（编辑）等人，《验证和合成Horn条款第三次研讨会论文集》，HCVS 2016，荷兰埃因霍温，2016年4月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）21949-55（2016）。
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，《电子》。程序。西奥。计算。科学。（EPTCS）219，49-55（2016；Zbl 1482.68136）
全文： arXiv公司 链接
伊曼纽尔·德·安吉利斯；法比奥·菲奥拉万蒂；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

通过Horn子句转换进行关系验证。 （英文） Zbl 1394.68227号

对手，Xavier（编辑），静态分析。2016年9月8日至10日在英国爱丁堡举行的第23届SAS国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-53412-0/pbk；978-3-562-53413-7/电子书）。计算机科学讲座笔记9837，147-169（2016）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，Lect。注释计算。科学。9837、147--169（2016年；Zbl 1394.68227）
全文： 内政部
伊曼纽尔·德·安吉利斯；法比奥·菲奥拉万蒂；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

通过线性化约束Horn子句来证明命令式程序的正确性。 （英文） Zbl 1379.68093号

理论与实践。日志。程序。 15，编号4-5，635-650（2015）.
MSC公司：68号30 68N17号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，理论与实践。日志。程序。15，编号4--5，635--650（2015；Zbl 1379.68093）
全文： 内政部 arXiv公司
伊曼纽尔·德·安吉利斯；法比奥·菲奥拉万蒂；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

通过转换验证条件来验证数组程序。 （英文） Zbl 1428.68182号

McMillan，Kenneth L.（编辑）等人，《验证、模型检查和抽象解释》。2014年1月19日至21日，第15届国际会议，VMCAI 2014，美国加利福尼亚州圣地亚哥。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。8318, 182-202 (2014).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，Lect。注释计算。科学。8318，182--202（2014；Zbl 1428.68182）
全文： 内政部
伊曼纽尔·德·安吉利斯；法比奥·菲奥拉万蒂；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

用于软件模型检查的带有约束泛化的专业化。 （英文） Zbl 1394.68072号

Albert，Elvira（编辑），基于逻辑的程序合成和转换。第22届国际研讨会，2012年LOPSTR，比利时鲁汶，2012年9月18-20日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-38196-6/pbk）。计算机科学课堂讲稿7844，51-70（2013）。
MSC公司：68号30 68N17号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，Lect。注释计算。科学。7844、51-70（2013年；Zbl 1394.68072）
全文： 内政部
法比奥·菲奥拉万蒂；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂；瓦莱里奥·塞尼

通过专门化改进无限状态系统的可达性分析。 （英文） Zbl 1348.68136号

Delzanno，Giorgio（编辑）等人，《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24287-8/pbk）。计算机科学课堂讲稿6945165-179（2011）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Fioravanti}等人，Lect。注释计算。科学。6945，165--179（2011；Zbl 1348.68136）
全文： 内政部 链接
法比奥·菲奥拉万蒂；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂；瓦莱里奥·塞尼

验证无限状态系统的程序专门化：实验评估。 （英文） Zbl 1326.68184号

Alpunte，María（编辑），基于逻辑的程序合成和转换。2010年7月23日至25日，第20届国际研讨会，LOPSTR 2010，奥地利哈根贝格。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-20550-7/pbk）。计算机科学课堂讲稿6564，164-183（2011）。
MSC公司：60年第68季度 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{F.Fioravanti}等人，Lect。注释计算。科学。6564、164--183（2011年；Zbl 1326.68184）
全文： 内政部
阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂；瓦莱里奥·塞尼

通过程序转换确定全分支时间逻辑。 （英文） Zbl 1284.68413号

De Schreye，Danny（编辑），基于逻辑的程序合成和转换。第19届国际研讨会，2009年LOPSTR，2009年9月，葡萄牙科英布拉。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-12591-1/pbk）。计算机科学课堂讲稿6037，5-21（2010）。
MSC公司：60年第68季度 03B44号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Pettorosi}等人，Lect。注释计算。科学。6037，5--21（2010年；Zbl 1284.68413）
全文： 内政部 链接
阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂；瓦莱里奥·塞尼

使用数组公式对参数化协议进行转换验证。 （英文） Zbl 1156.68474号

Patricia Hill（编辑），《基于逻辑的程序合成和转换》。2005年9月7日至9日在英国伦敦举行的2005年LOPSTR第15届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-32654-0/pbk）。计算机科学课堂讲稿390123-43（2006）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Pettorosi}等人，Lect。注释计算。科学。3901，23-43（2006年；兹bl 1156.68474）
全文： 内政部
法比奥·菲奥拉万蒂；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

通过程序转换自动证明协议。 （英文） Zbl 1090.68067号

Dunin-Kȩplicz，Barbara（编辑）等人，多智能体系统中的监测、安全和救援技术。在2004年6月7日至9日于波兰普洛克举行的“多智能体系统中的监测、安全和救援技术”国际研讨会（MSRAS 2004）上发表了部分论文。柏林：施普林格出版社（ISBN 3-540-23245-1/pbk）。《软计算进展》，99-116（2005）。
MSC公司：60年第68季度 68T05型 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Fioravanti}等人，in：多代理系统中的监视、安全和救援技术。在2004年6月7日至9日于波兰普洛克举行的“多智能体系统中的监测、安全和救援技术”国际研讨会（MSRAS 2004）上发表了部分论文。柏林：斯普林格。99-116（2005年；Zbl 1090.68067）
法比奥·菲奥拉万蒂；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

通过程序转换将逻辑程序和一元二阶逻辑结合起来。 （英文） Zbl 1278.68049号

Michael Leuschel（编辑），《基于逻辑的程序合成和转换》。第十二届国际研讨会，2002年LOPSTR，西班牙马德里，2002年9月17日至20日。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-40438-4/pbk）。计算机科学课堂讲稿2664160-181（2003）。
MSC公司：68N17号 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Fioravanti}等人，Lect。注释计算。科学。2664160-181（2003年；Zbl 1278.68049）
全文： 内政部 arXiv公司
法比奥·菲奥拉万蒂；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

使用程序转换验证无限状态过程集。 （英文） Zbl 1073.68693号

Pettorossi，Alberto（编辑），基于逻辑的程序合成和转换。2001年11月28日至30日，第11届国际研讨会，LOPSTR 2001，塞浦路斯帕福斯。精选论文。柏林：施普林格出版社（ISBN 3-540-43915-3）。勒克特。注释计算。科学。2372, 111-128 (2002).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Fioravanti}等人，Lect。注释计算。科学。2372111-128（2002年；Zbl 1073.68693）
全文： 链接
阿尔贝托·佩特罗西（编辑）

基于逻辑的程序合成和转换。2001年11月28日至30日，第11届国际研讨会，LOPSTR 2001，塞浦路斯帕福斯。精选论文。 （英文） Zbl 0992.00050号

计算机科学课堂讲稿. 2372. 柏林：斯普林格。viii，第267页（2002年）。
MSC公司：00B25型 68-06 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Pettorosi}（编辑），基于逻辑的程序合成和转换。2001年11月28日至30日在塞浦路斯帕福斯举行的第11届国际研讨会，LOPSTR 2001。精选论文。柏林：施普林格（2002年；Zbl 0992.00050）
阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

通过展开/折叠变换进行完美的模型检查。 （英文） Zbl 0983.68041号

Lloyd，John（编辑）等人，《计算逻辑-CL 2000》。第一届国际会议，英国伦敦，2000年7月24日至28日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1861, 613-628 (2000).
MSC公司：68号30 68N17号 68吨15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Pettorosi}和\textit{M.Proietti}，莱克特。注释计算。科学。1861613--628（2000年；Zbl 0983.68041）
毛里齐奥·普罗埃蒂；阿尔贝托·佩特罗西

按此顺序展开定义折叠，以避免逻辑程序中不必要的变量。 （英文） Zbl 0789.68019号

Maluszyñski，Jan（编辑）等人，《编程语言实现和逻辑编程》。1991年8月26日至28日，第三届国际研讨会，PLILP’91，德国帕绍。诉讼程序。柏林等：Springer-Verlag。勒克特。注释计算。科学。528, 347-358 (1991).
MSC公司：68N17号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Proietti}和\textit{A.Pettorosi}，莱克特。注释计算。科学。528347-358（1991年；Zbl 0789.68019）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件