蒙特勒 swMATH ID: 30369 软件作者： 多根乌鲁斯 描述： Montre：监控定时正则表达式的工具。我们介绍了Montre，它是一个监控工具，用于在实时行为上搜索由定时正则表达式指定的模式。我们使用定时正则表达式作为一种紧凑、自然和高度表达的模式规范语言，用于监控涉及定量定时约束的应用程序。我们的工具基本上结合了在线和离线定时模式匹配算法，因此它能够在日志和流行为上查找给定模式的所有出现。此外，Montre旨在通过标准接口与其他工具合作，执行更复杂、更通用的任务，以分析和推理网络物理系统。作为同类产品中的第一款，我们相信蒙特勒将在这些领域实现新的查询和技术路线。 主页： https://arxiv.org/abs/1605.05963 源代码： https://github.com/doganulus/montre网站 相关软件： 洛拉；蒙保利；天线；定时模式匹配；StreamQRE（流QRE）；轻型集装箱；VeriPhy公司；存档正式证据；ModelPlex公司；德贾武；GNU并联；MONAA公司；纯净；Simulink公司 引用于： 4文件 全部的 前5名15位作者引用 2 David A.Basin。 2 Sr Djan Krstić 2 德米特里·特拉泰尔 1 尤金·亚萨林 1 巴拉戈·纳加拉贾·巴特 1 蒂鲍特·达迪尼尔 1 托马斯·费雷尔 1 一郎·哈索 1 卢卡斯·海姆斯 1 德扬·尼科维奇 1 马丁·拉西克 1 Joshua P.施耐德。 1 Kohei Suenaga公司 1 多根·乌卢斯 1 Masaki Waga 连载1篇 1 系统设计中的形式化方法 在2个字段中引用 4 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文