Humboldt-Universität zu Berlin Berlin Germany;
Carnegie Mellon University Silicon Valley Moffett Field USA NASA Ames Research Center Mountain View USA;
Carnegie Mellon University Silicon Valley Moffett Field USA;
Stellenbosch University Stellenbosch South Africa;
机译:Symbolic PathFinder:将符号执行与模型检查集成在一起,以进行Java字节码分析
机译:欧洲象征性国际主义者的贡献:对方法的反思,象征性互动研究
机译:走远:符号符号对空间注意的符号控制的贡献
机译:SV-COMP(竞争贡献)的符号探路机
机译:响应速度和语义记忆组织对精神分裂症动物流畅性表现的贡献:探路者网络分析。
机译:数学能力水平:非符号和空间幅度比较技能的贡献
机译:java pathfinder在sv-comp 2019(竞争贡献)