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