停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场地搜索
出版物搜索

问别人

何塞·弗拉戈索·桑托斯

何塞·弗拉戈索（JoséFragoso Femenin dos Santos） – JoséFaustino Fragoso Femenin dos Santos女士

>主页 >珀森斯

人员信息

附属： 葡萄牙里斯本大学
隶属关系（前）： 英国帝国理工学院

优化列表

优化激活！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[j8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/RamosSANS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/RamosSANS23
弗雷德里克·拉莫斯,努诺·萨比诺,佩德罗·阿德诺,大卫·A·诺曼,何塞·弗拉戈索·桑托斯:
符号执行的工具无关总结（人工制品）。 Dagstuhl Artifacts爵士。 9(2):07:1-07:4(2023)
[j7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tr/BritoFMLBSS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tr/BritoFMLBSS23
蒂亚戈·布里托,马法尔达·费雷拉,米格尔·蒙泰罗,佩德罗·洛佩斯,米盖尔·巴罗斯,何塞·弗拉戈索·桑托斯,桑托斯:
研究用于检测Node.js包漏洞的JavaScript静态分析工具。 IEEE传输。Reliab公司。 72(4):1324-1339(2023)
[公元22年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/RamosSANS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/RamosSANS23
弗雷德里科·拉莫斯,努诺·萨比诺,佩德罗·阿德诺,大卫·A·诺曼,何塞·弗拉戈索·桑托斯:
面向符号执行的工具无关摘要。 ECOOP公司 2023:24:1-24:29
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/AlmeidaGSA23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/AlmeidaGSA23网址
路易斯·阿尔梅达,米盖尔·冈萨加,何塞·弗拉戈索·桑托斯,鲁伊·阿布鲁:
Rexstepper:JavaScript正则表达式的引用调试器。 ICSE伴侣 2023:41-45
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/issta/RamosRT0S23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issta/RamosRT0S23
弗雷德里科·拉莫斯,迪奥戈·科斯塔·里斯,米盖尔·特里戈,安托尼奥·莫尔加多,何塞·弗拉戈索·桑托斯:
MetaData262：部分JavaScript实现的自动测试套件选择。 ISSTA公司 2023:1499-1502
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sp/FerreiraBSS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sp/FerreiraBSS23
玛法尔达·费雷拉,蒂亚戈·布里托,何塞·弗拉戈索·桑托斯,桑托斯:
RuleKeeper:GDPR-Web框架的个人数据符合性软件。服务提供商 2023:2817-2834
[i5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2301-05097
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2301-05097
蒂亚戈·布里托,马法尔达·费雷拉,米格尔·蒙泰罗,佩德罗·洛佩斯,米盖尔·巴罗斯,何塞·弗拉戈索·桑托斯,桑托斯:
研究用于检测Node.js包漏洞的JavaScript静态分析工具。 CoRR公司 abs/2301.05097(2023)
2022
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/compsec/BritoLSS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/compsec/BritoLSS22
蒂亚戈·布里托,佩德罗·洛佩斯,桑托斯,何塞·弗拉戈索·桑托斯:
Wasmati：一个高效的WebAssembly静态漏洞扫描程序。计算。安全。 118:102745(2022)
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/MarquesS0A22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/MarquesS0A22
菲利佩·马尔克斯,何塞·弗拉戈索·桑托斯,桑托斯,佩德罗·阿德诺:
WebAssembly的和谐执行（工件）。 Dagstuhl Artifacts爵士。 8(2):20:1-20:3(2022)
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccs/FerreiraBS022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/FerreiraBS022
马法尔达·费雷拉,蒂亚戈·布里托,何塞·弗拉戈索·桑托斯,桑托斯:
海报：在Web开发堆栈中实现GDPR兼容设计的系统方法。 CCS系统 2022:3347-3349
[第17条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/MarquesS0A22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/MarquesS0A22
菲利佩·马尔克斯,何塞·弗拉戈索·桑托斯,桑托斯,佩德罗·阿多:
WebAssembly的简洁执行。 ECOOP公司 2022:11:1-11:29
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rv/MarquesMSJ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rv/MarquesMSJ22网站
菲利佩·马尔克斯,安托尼奥·莫尔加多,何塞·弗拉戈索·桑托斯,米科拉斯·加诺塔:
TestSelector：学生项目的自动测试套件选择。 RV汽车 2022:283-292
[i4]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2204-12575
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2204-12575
蒂亚戈·布里托,佩德罗·洛佩斯,桑托斯,何塞·弗拉戈索·桑托斯:
Wasmati：一种高效的WebAssembly静态漏洞扫描程序。 CoRR公司 abs/2204.12575(2022)
[i3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2207-09509
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2207-09509
菲利佩·马尔克斯,安托尼奥·莫尔加多,何塞·弗拉戈索·桑托斯,米科拉斯·加诺塔:
TestSelector:学生项目的自动测试套件选择-扩展版。 CoRR公司腹肌/2207.09509(2022)
2021
[第15条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/MaksimovicASG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MaksimovicASG20
彼得·马克西莫维奇,萨查·埃利·阿永,何塞·弗拉戈索·桑托斯,菲利普·加德纳:
Gillian，第二部分：JavaScript和C的真实世界验证。 CAV（2） 2021:827-850
[第14条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cp/JanotaMSM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cp/JanotaMSM21
米科拉斯·加诺塔,安托尼奥·莫尔加多,何塞·弗拉戈索·桑托斯,Vasco M.Manquinho公司:
跷跷板算法：使用隐式命中集进行函数优化。人物配对关系 2021:31:1-31:16
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/Geraldo SS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/GeraldoSS21
爱德华多·杰拉尔多,何塞·弗拉戈索·桑托斯,乔·科斯塔·塞科:
低层代码的混合信息流控制。 SEFM公司 2021:141-159
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2105-14769
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-14769
彼得·马克西莫维奇,何塞·弗拉戈索·桑托斯,萨查·埃利·阿永,菲利普·加德纳:
Gillian：统一符号分析的多语言平台。 CoRR公司 abs/2105.14769(2021)
2020
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/SampaioSMG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/sampaioSMCG20
加布里埃拉·桑帕约,何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,菲利普·加德纳:
用于事件驱动的Web应用程序（工件）的符号分析的可信基础设施。 Dagstuhl Artifacts爵士。 6(2):05:1-05:3(2020)
[第12条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/SampaioSMG19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/SampaioSMG19
加布里埃拉·桑帕约,何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,菲利普·加德纳:
事件驱动Web应用程序符号分析的可信基础结构。 ECOOP公司 2020:28:1-28:29
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/SantosMAG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SantosMAG20网址
何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,萨查·埃利·阿永,菲利普·加德纳:
Gillian，第一部分：符号执行的多语言平台。 PLDI公司 2020:927-942
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2001-05059
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2001-05059
何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,萨查·埃利·阿永,菲利普·加德纳:
吉莉安：为所有人创作的象征性执行。 CoRR公司 abs/2001.05059(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/SantosMSG19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/SantosMSG19
何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,加布里埃拉·桑帕约,菲利普·加德纳:
JaVerT 2.0：JavaScript的组合符号执行。程序。ACM计划。语言。三(POPL公司):66:1-66:31(2019)
2018
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/SantosMNWG18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/SantosMNWG18
何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,Daiva Naudziuniene公司,汤玛斯·伍德,菲利普·加德纳:
JaVerT:JavaScript验证工具链。程序。ACM计划。语言。 2(POPL公司):50:1-50:33(2018)
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/SantosMGDG18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/SantosMGDG18
何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,Théotime Grohens公司,朱利安·杜比,菲利普·加德纳:
JavaScript的符号执行。 PPDP（PPDP） 2018:11:1-11:14
2017
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SantosGMN17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SantosGMN17
何塞·弗拉戈索·桑托斯,菲利普·加德纳,彼得·马克西莫维奇,Daiva Naudziuniene公司:
JavaScript程序的基于逻辑的验证。 CADE公司 2017:8-25
2016
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jcs/LouSMR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jcs/LouSMR16
罗正琴,何塞·弗拉戈索·桑托斯,安娜·阿尔梅达·马托斯,塔玛拉·雷兹克:
Mashic编译器：基于帧间通信的Mashup沙盒。 J.计算。安全。 24(1):91-136(2016)
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/RaadSG16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/RaadSG16
杜鹃花,何塞·弗拉戈索·桑托斯,菲利普·加德纳:
DOM：规范和客户推理。阿普拉斯 2016:401-422
2015
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tgc/桑托斯RM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tgc/SantosRM15
何塞·弗拉戈索·桑托斯,塔玛拉·雷兹克,安娜·阿尔梅达·马托斯:
JavaScript信息流安全模块化监视器扩展。 TGC公司 2015:47-62
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tgc/SantosJRS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tgc/SantosJRS15
何塞·弗拉戈索·桑托斯,托马斯·詹森,塔玛拉·雷兹克,阿兰·施密特:
类JavaScript语言中安全信息流的混合类型。 TGC公司 2015:第63页至第78页
2014
【b1】
- 看法
  - 电子版@archives-ouvertes.fr（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - phd/hal/FragosoFemenindosSantos14博士
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/hal/FragosoFemenindosSantos14
何塞·弗拉戈索（JoséFragoso Femenin dos Santos）:
在客户端Web应用程序中实施安全信息流。（Vers l’étabissement du flux d‘information sûr dans les applications Web côtéclient）。法国尼斯大学索菲亚·安蒂波利斯分校，2014
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sec/SantosR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sec/SantosR14
何塞·弗拉戈索·桑托斯,塔玛拉·雷兹克:
用于保护JavaScript核心安全的信息流监视器联机编译器。秒 2014:278-292
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tgc/MatosSR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tgc/MatosSR14
安娜·瓜尔迪娜·阿尔梅达·马托斯,何塞·弗拉戈索·桑托斯,塔玛拉·雷兹克:
DOM核心的信息流监视器-引入引用和活动原语。 TGC公司 2014:1-16
2012
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/MatosS12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/MatosS12
安娜·阿尔梅达·马托斯,何塞·弗拉戈索·桑托斯:
键入非法信息流作为程序效果。血浆 2012:1
2010
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iros/SantosBS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iros/SantosBS10
何塞·弗拉戈索·桑托斯,亚历山大·贝纳迪诺,若泽·桑托斯·维克多:
iCub头部基于传感器的自校准。伊罗斯 2010:5666-5672

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2008
【c1】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lpar/桑托斯M08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/SantosM08
JoséFaustino Fragoso Femenin dos Santos女士,Vasco M.Manquinho公司:
伪布尔解的学习技巧。 LPAR研讨会 2008

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。