威尔·马拉罗
人员信息
优化列表
2000 – 2009
2008 [j1] 简·克莱兰德·黄 , 威尔·马拉罗 , 布莱恩·贝伦巴赫 :
以目标为中心的可追溯性:使用虚拟羽状线保持关键的系统质量。 IEEE传输。 软件工程。 34 ( 5 ) : 685-699 ( 2008 ) 2005 【c5】 哈泽姆·H·哈米德 , 埃哈布·S·阿尔沙尔 , 威尔·马拉罗 :
IPSec和VPN安全策略的建模和验证。 ICNP公司 2005 : 259-278 【c4】 威尔·马拉罗 , 琥珀色定居 :
测试优先:在早期编程课程中强调测试。 ITiCSE公司 2005 : 4-8 【c3】 拉德哈·贾加迪桑 , 威尔·马拉罗 , 科林·皮彻 , 维杰·萨拉斯瓦特 :
时间约束编程:一种用于使用控制的声明性方法。 PPDP(PPDP) 2005 : 164-175 【c2】 威尔·马拉罗 :
使用BDD决定CTL。 TACAS公司 2005 : 222-236 2000 【c1】 谢尔盖·贝雷津 , 埃德蒙·克拉克 , 萨默什·贾 , 威尔·马拉罗 :
微积分的模型检查算法。 证明、语言和互动 2000 : 309-338