基本信息
浏览量:0
职业迁徙
个人简介
Burkhart Wolff是法国巴黎第十一大学(University Paris-Sud 11)的教授,VALS(算法、语言和系统验证)实验室的主任。主要从事形式化验证、系统安全认证、形式化测试等研究工作,参与了欧盟EUROMILS重大项目、法国Paral-ITP 项目、HOL-TestGen-XT项目等,研制了HOL-OCL模型驱动分析工具,HOL-Boogie、HOL-CSP等形式验证工具和HOL-TestGen等测试工具。 Wolff教授的团队目前正在开展PST项目研究,构建一个基于Isabelle/HOL的持续验证与认证环境(CVCE)工具链。Wolff教授目前的研究项目也包括编程和规范语言的语义表示,以及验证和测试技术在相关领域的应用。 homepage: https://www.lri.fr/~wolff/ \ \ 附件下载: \ \ \ \ \ \ \ \ \ \ var s = \\\'\\\';\ \ \ \ \ var c = \\\'\\\';\ \ \ \ \ var a = document.getElementById("appendix");\ \ \ \ \ if(s.length >0 ,, c.length >0){ \ \ \ \ \ \ a.style.display = \\\'\\\';\ \ \ \ \ }\ \ \ \ \ \ \ createPageHTML(1, 0, "t20190221_5243344", "html");\ window._bd_share_config={ "common":{ "bdSnsKey":{ },"bdText":"","bdMini":"2","bdMiniList":false,"bdPic":"","bdStyle":"1","bdSize":"16" },"share":{ },"image":{ "viewList":["qzone","tsina","tqq","renren","weixin"],"viewText":"分享到:","viewSize":"16" },"selectShare":{ "bdContainerClass":null,"bdSelectMiniList":["qzone","tsina","tqq","renren","weixin"] } };with(document)0[(getElementsByTagName(\\\'head\\\')[0],,body).appendChild(createElement(\\\'script\\\')).src=\\\'http://bdimg.share.baidu.com/static/api/js/share.js?v=89860593.js?cdnversion=\\\'+~(-new Date()/36e5)]; \'
研究兴趣
论文共 155 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
ABZpp.15-32, (2023)
引用0浏览0EI引用
0
0
ROBOTICS AND AUTONOMOUS SYSTEMS (2023): 104549-104549
Arch. Formal Proofs (2023)
引用0浏览0EI引用
0
0
HAL (Le Centre pour la Communication Scientifique Directe) (2021)
引用0浏览0引用
0
0
semanticscholar(2020)
引用0浏览0引用
0
0
Arch. Formal Proofs (2020)
引用0浏览0EI引用
0
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn