Uppaal公司 swMATH ID: 4702 软件作者： 瑞典乌普萨拉大学；丹麦奥尔堡大学 描述： Uppaal是一个用于实时系统建模、仿真和验证的集成工具环境，由丹麦奥尔堡大学计算机科学基础研究部和瑞典乌普萨拉大学信息技术系联合开发。它适用于可以建模为具有有限控制结构和实值时钟的非确定性过程集合的系统，通过通道或共享变量进行通信[WPD94，LPW97b]。典型的应用领域包括实时控制器和通信协议，尤其是那些时间方面至关重要的协议。 主页： 网址：http://www.uppaal.org/ 关键词： 实时系统建模;动态建模;建模工具;UPPAAL公司 相关软件： 克洛诺斯;高超声速;自旋蛋白;棱镜;IF-2.0型;NuSMV公司;Uppaal2k公司;UPPAAL TIGA公司;PVS公司;CMC公司;PHAVer公司;CADP公司;TINA公司;莫德;PPL（公私合营）;班德拉;CESAR公司;Coq公司;罗密欧;兔子 引用于： 541出版物 标准条款 3出版物描述软件，包括3出版物以zbMATH为单位 年份 UPPAAL教程。 Zbl 1105.68350号格德·贝尔曼;亚历山大·戴维;Larsen，Kim G。 2004 UPPAAL–现在、未来和未来。 Zbl 0985.68664号托拜厄斯·阿姆内尔;格德·贝尔曼;约翰·本特森;佩德罗·R·达吉尼奥。;亚历山大·戴维 2001 简单地说，很高兴。 Zbl 1060.68577号Larsen，Kim G。;保罗·佩特森;易、王 1997 全部的 前5名911作者引用 61 金·古德斯特兰·拉森 19 帕特里夏·鲍耶 18 亚历山大·戴维 16 易、王 14 保罗·佩特森 13 格德·贝尔曼 12 埃蒂安·安德烈 12 Legay、Axel 10 劳伦·弗里堡 9 弗兰克·卡塞兹 9 Marta Z.Kwiatkowska。 9 安德烈亚斯·波德尔斯基 9 Vaandrager，Frits W。 8 莱姆，迪迪埃 8 尼古拉斯·马基 8 布莱恩·尼尔森 7 拉杰夫·阿鲁尔 7 Thao Dang先生 7 佩德罗·鲁宾·达吉尼奥 7 何塞·梅塞盖尔·瓜伊塔 7 格钦·诺曼 7 Peter Csaba，Olveczky 7 Jean-François拉斯金 7 马尔詹·西尔贾尼 7 吉·斯尔巴 7 斯塔夫罗斯·特里帕基斯 6 海宁·迪尔克斯 6 鲁道夫·戈麦斯 6 Joost-Pieter卡托恩 6 弗朗索瓦·拉鲁西尼 6 奥尔德罗格（Ernst-Rüdiger Olderog） 6 雅各布·伊勒姆拉斯穆森 5 贝拉德，贝特里奇 5 霍华德·鲍曼 5 维克托·布拉伯曼 5 托马斯·查泰恩 5 乌里·法伦贝格 5 托马斯·亨辛格（Thomas A.Henzinger）。 5 托马斯·匈奴 5 塞巴斯蒂安·库普弗施米德 5 奥德·马勒 5 马吕斯·米库西奥尼斯 5 阿尔弗雷多·奥利维罗 5 米歇尔·阿德里安·雷尼尔 5 皮埃尔·阿莱·雷尼尔 5 雅各布斯·E·罗达。 5 阿恩·斯科 5 安德烈·索夫斯基 4 阿曼，博格丹 4 尤金·亚萨林 4 Jos C.M.Baeten。 4 埃德·布林克斯马 4 彼得·布利切夫（Peter E.Bulychev）。 4 加布里埃尔·乔巴努 4 当、哲 4 董金松 4 伊曼纽尔·弗勒里 4 迈克尔·赖赫哈特·汉森 4 洪丹凡 4 弗兰乔·伊万契奇 4 拉诺特、拉格罗 4 乔尔·欧·瓦克宁。 4 奥利维尔·H·鲁克斯。 4 R.R.H.希弗勒。 4 杰里米·斯普洛斯顿 4 玛丽·斯托琳加 4 孙骏 4 范·比克，D.A。 4 四川省韦尔市 4 王法恩 三 卢卡·埃特罗 三 阿克西，S。 三 桑迪·巴拉格 三 卢西亚诺·巴雷西 三 约翰·本特森 三 德克·拜尔 三 Jean-Paul Bodeveix公司 三 丹尼·鲍尔森（Danny Bougsted Poulsen） 三 托马斯·布里海耶 三 弗拉维奥·科拉迪尼 三 马蒂杰斯·德·维特（Mathijs M.de Weerdt）。 三 马丁·德·沃尔夫 三 劳伦特·多恩 三 法孔蒂，G.P。 三 安斯加·芬克 三 威廉·扬·福克金 三 安吉洛·富法罗 三 保罗·加斯丁 三 法特梅·加塞米 三 阿恩·哈特曼斯 三 马蒂恩·亨德里克斯 三 Jochen Hoenicke公司 三 霍夫曼，约格 三 拉塞·雅各布森 三 莫滕·雅各布森 三 穆罕默德·马赫迪·贾古奥里 三 亨利克·埃杰斯博·延森 三 彼得·格约尔·詹森 三 本特·琼森 三 埃桑·卡梅斯帕纳 …还有811位作者 全部的 前5名59篇连载文章中引用 35 理论计算机科学 32 系统设计中的形式化方法 30 计算的形式方面 16 实时系统 15 计算机科学课堂讲稿 12 程序设计中的逻辑和代数方法杂志 10 信息与计算 9 信息学报 9 计算机基础理论 9 逻辑与代数程序设计杂志 7 6 计算机程序设计科学 6 北欧计算机杂志 三 信息处理信件 三 计算机科学与技术杂志 三 机器学习 三 离散事件动态系统 三 欧洲控制杂志 三 计算机科学中的逻辑方法 2 倒排索引综述 2 Automatica公司 2 计算机与系统科学杂志 2 纯逻辑与应用逻辑年鉴 2 自动推理杂志 2 分布式计算 2 国际鲁棒非线性控制杂志 2 ACM计算逻辑事务 2 计算机科学前沿 1 人工智能 1 国际通用系统杂志 1 应用数学与计算 1 《计算机杂志》。A部分/B部分 1 计算 1 国际生产研究杂志 1 计算数学与建模 1 运筹学年鉴 1 逻辑与计算杂志 1 国际代数与计算杂志 1 国际计算机科学基础杂志 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 人工智能研究杂志 1 数学与人工智能年鉴 1 自动机、语言和组合数学杂志 1 优化方法和软件 1 高阶和符号计算 1 国际应用数学与计算机科学杂志 1 逻辑程序设计理论与实践 1 计算与信息学 1 东南大学学报。自然科学版 1 国际柔性制造系统杂志 1 数学生物科学与工程 1 DIMACS系统。离散数学和理论计算机科学系列 1 理论计算机科学电子笔记 1 计算智能研究 1 计算机科学中的数学 1 计算机科学评论 1 国际系统科学杂志。系统与集成原理与应用 1 商业信息处理课程讲稿 全部的 前5名16个领域引用 516 计算机科学（68至XX） 40 数学逻辑和基础（03-XX） 40 系统论；控制（93至XX） 24 运筹学、数学规划（90-XX） 20 博弈论、经济学、金融和其他社会和行为科学（91-XX） 19 总体主题；集合（00-XX） 5 信息与通信理论、电路（94-XX） 4 生物学和其他自然科学（92-XX） 三 动力系统和遍历理论（37至XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 1 阶、格、有序代数结构（06-XX） 1 交换代数（13-XX） 1 变分法与最优控制；最优化（49至XX） 1 凸和离散几何（52至XX） 1 统计学（62-XX） 1 数值分析（65-XX） 按年份列出的引文