丹尼尔·皮劳
人员信息
优化列表
1990 – 1999
1999 【j4】 保罗·卡斯皮 , 阿兰·吉罗 , 丹尼尔·皮劳 :
异步处理器网络无功系统的自动分配。 IEEE传输。 软件工程。 25 ( 三 ) : 416-427 ( 1999 ) 1997 [j3] 丹尼尔·皮劳 :
嵌入式系统的高效自动代码生成。 微加工。 微系统 20 ( 8 ) : 501-504 ( 1997 ) 1995 [注2] 多米尼克·布里埃 , D.核桃 , 丹尼尔·皮劳 , J.-L.加缪 :
空客机载系统的方法和规范工具。 微加工。 微系统 19 ( 9 ) : 511-515 ( 1995 ) 1991 [j1] 尼古拉斯·哈尔巴赫斯 , 保罗·卡斯皮 , 帕斯卡·雷蒙德 , 丹尼尔·皮劳 :
同步数据流编程语言LUSTRE。 程序。 电气与电子工程师协会 79 ( 9 ) : 1305-1320 ( 1991 )
1980 – 1989
1989 【c4】 尼古拉斯·哈尔巴赫斯 , 丹尼尔·皮劳 , 法里德·瓦布德斯兰 , Anne-Cille荣耀 :
使用同步声明语言指定、编程和验证实时系统。 有限状态系统的自动验证方法 1989 : 213-231 1988 【c3】 丹尼尔·皮劳 , 尼古拉斯·哈尔巴赫斯 :
从同步声明语言到处理多形式时间的时序逻辑。 英尺-英尺 1988 : 99-110 1987 【c2】 保罗·卡斯皮 , 丹尼尔·皮劳 , 尼古拉斯·哈尔巴赫斯 , 约翰·普莱斯 :
Lustre:同步系统编程的声明性语言。 POPL公司 1987 : 178-188 1985 【c1】 Jean-Louis Bergerand女士 , 保罗·卡斯皮 , 丹尼尔·皮劳 , 尼古拉斯·哈尔巴赫斯 , 埃里克·皮劳 :
实时数据流语言概述。 RTSS系统 1985 : 33-42 1982 【b1】 丹尼尔·皮劳 :
概念的方法是临时制度的后代。 法国格勒诺布尔理工学院, 1982