萨米·伊万格利斯塔;克里斯滕森，拉尔斯·迈克尔 基于Büchi自动机的模型检查的扫线方法。 （英语） Zbl 1359.68190号 芬丹。通知。 131，第1期，27-53（2014）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Evangelista}和\textit{L.M.Kristensen}，Fundam。通知。131，第1号，27-53（2014；Zbl 1359.68190） 全文： 内政部
萨米语Evangelista;阿尔芬斯·拉阿尔曼;劳雷·佩特鲁奇;雅各布·范德波尔 改进了多核嵌套深度优先搜索。 （英语） Zbl 1374.68281号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561269-283（2012）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Evangelista}等人，莱克特。注释计算。科学。7561、269--283（2012年；Zbl 1374.68281） 全文： 内政部 链接
萨米·伊万格利斯塔;克里斯滕森，拉尔斯·迈克尔 用扫线法对混合在轨LTL模型进行检验。 （英语） Zbl 1357.68112号 Haddad，Serge（编辑）等人，《Petri网的应用和理论》。第33届国际会议，2012年6月25日至29日，德国汉堡，PETRI NETS 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31130-7/pbk）。计算机科学课堂讲稿7347248-267（2012）。MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.Evangelista｝和\textit｛L.M.Kristensen｝，Lect。注释计算。科学。7347，248--267（2012；Zbl 1357.68112） 全文： 内政部
Hong，Silien先生;Fabrice Kordon公司;艾曼纽尔·帕维奥德·阿代特;萨米·伊万格利斯塔 计算基于P/T网的决策图表示的层次静态顺序。 （英语） Zbl 1350.68202号 Jensen，Kurt（编辑）等人，《Petri网和其他并发模型事务》V.Berlin:Springer（ISBN 978-3-642-29071-8/pbk）。计算机科学6900课堂讲稿。《期刊副刊》，121-140（2012）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Hong}等人，Lect。注释计算。科学。6900、121--140（2012年；Zbl 1350.68202） 全文： 内政部
萨米·伊万格利斯塔;劳雷·佩特鲁奇;萨米尔·优素福 并行嵌套深度优先搜索用于LTL模型检查。 （英语） Zbl 1348.68134号 Bultan，Tevfik（编辑）等人，《验证和分析自动化技术》。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24371-4/pbk）。计算机科学课堂讲稿6996，381-396（2011）。MSC公司：60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Evangelista}等人，莱克特。注释计算。科学。6996、381--396（2011年；Zbl 1348.68134） 全文： 内政部
萨米·伊万格利斯塔;克里斯滕森，拉尔斯·迈克尔 独立于搜索顺序的状态缓存。 （英语） Zbl 1312.68132号 Jensen，Kurt（编辑）等人，《Petri网和其他并发模型学报》IV。柏林：施普林格出版社（ISBN 978-3-642-18221-1/pbk）。计算机科学课程讲稿6550。《Subline期刊》，21-41（2010）。MSC公司：60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛S.Evangelista｝和\textit｛L.M.Kristensen｝，Lect。注释计算。科学。6550，21-41（2010；Zbl 1312.68132） 全文： 内政部
萨米·伊万格利斯塔;迈克尔·韦斯特加德;Kristensen，Lars M。 重温ComBack方法：缓存策略和延迟重复检测扩展。 （英语） Zbl 1266.68048号 Jensen，Kurt（编辑）等人，《Petri网和其他并发模型事务处理III。柏林：施普林格出版社》（ISBN 978-3-642-04854-8/pbk）。计算机科学5800课堂讲稿。《期刊副刊》，189-215（2009）。MSC公司：68米14 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.Evangelista｝等人，Lect。注释计算。科学。5800、189--215（2009年；Zbl 1266.68048） 全文： 内政部
南卡罗来纳州伊万杰利斯塔。;巴约，C。;普拉达特·佩尔，J.F。 一个简单的正流计算算法，用于一个大型有色网络子类。 （英语） Zbl 1215.68147号 Derrick，John（编辑）等人，《网络和分布式系统的形式化技术——FORTE 2007》。2007年6月27日至29日在爱沙尼亚塔林举行的第27届IFIP工作组6.1国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73195-5/pbk）。计算机科学课堂讲稿4574177-195（2007）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Evangelista}等人，莱克特。注释计算。科学。4574、177--195（2007年；Zbl 1215.68147） 全文： 内政部
萨米语Evangelista;Jean-François，Pradat-Peyre 关于有色Petri网顽固集的计算。 （英语） Zbl 1234.68294号 Donatelli，Susanna（编辑）等人，Petri网和其他并发模型——ICATPN 2006。第27届Petri网和其他并发模型的应用和理论国际会议，2006年6月26日至30日，芬兰图尔库。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-34699-9/pbk）。《计算机科学讲义》4024146-165（2006）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Evangelista}和\textit{J.-F.Pradat-Peyre}，莱克特。注释计算。科学。4024146--165（2006年；Zbl 1234.68294） 全文： 内政部 哈尔
萨米语Evangelista;Jean-François，Pradat-Peyre 显式软件模型检查中的内存高效状态空间存储。 （英语） Zbl 1151.68369号 Patrice Godefroid（编辑），模型检查软件。第十二届SPIN国际研讨会，美国加利福尼亚州旧金山，2005年8月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28195-9/pbk）。计算机科学课堂讲稿3639，43-57（2005）。MSC公司：68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Evangelista}和\textit{J.-F.Pradat-Peyre}，莱克特。注释计算。科学。3639、43-57（2005年；Zbl 1151.68369） 全文： 内政部
南卡罗来纳州伊万杰利斯塔。;哈达德，S。;Pradat-Peyre，J.-F。 语法着色Petri网约简。 （英语） Zbl 1170.68538号 Peled，Doron A.（编辑）等人，《验证和分析自动化技术》。2005年10月4日至7日，第三届国际研讨会，ATVA 2005，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29209-8/pbk）。计算机科学讲座笔记3707202-216（2005）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Evangelista}等人，莱克特。注释计算。科学。3707202--216（2005年；Zbl 1170.68538） 全文： 内政部
萨米·伊万格利斯塔 与海伦娜进行高级Petri网分析。 （英语） Zbl 1128.68377号 Ciardo，Gianfranco（编辑）等人，《Petri网的应用和理论》，2005年。第26届国际会议，ICATPN 2005，迈阿密，佛罗里达州，美国，2005年6月20日至25日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-26301-2/pbk）。计算机科学课堂讲稿3536，455-464（2005）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Evangelista}，莱克特。注释计算。科学。3536、455--464（2005年；Zbl 1128.68377） 全文： 内政部
萨米·伊万格利斯塔;克劳德·凯泽;Jean-François，Pradat-Peyre;皮埃尔·卢梭 Quasar：一种用于并行Ada程序分析的新工具。 （英语） Zbl 1032.68849号 Rosen，Jean-Pierre（编辑）等人，《可靠的软件技术——Ada-Europe 2003》。第八届Ada-Europe可靠软件技术国际会议，法国图卢兹，2003年6月16-20日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2655, 168-181 (2003).MSC公司：68单位99 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{S.Evangelista}等人，莱克特。注释计算。科学。2655168--181（2003年；Zbl 1032.68849） 全文： 链接