出版物和研讨会
本页面链接了ABS研讨会,以及关于ABS建模语言和分析工具的开发和使用的精选研究论文。
ABS车间
案例研究
-
G.Turin、A.Borgarelli、S.Donetti、E.B.Johnsen、S.L.Tapia Tarifa和F.Damiani。
Kubernetes容器框架的形式化模型。。
利用形式方法的应用、验证和确认(ISoLA 2020)。LNCS 12476。斯普林格,2020年。
内政部:10.1007/978-3-030-61362-4_32。下载预印本.
-
J-C Lin、M-C Lee、I.C Yu和E.B.Johnsen。
Apache YARN上的Spark Streaming的可配置和可执行模型。
国际网格与实用计算杂志。第11卷(2)。Indescience,2020年。
内政部:10.1504/IJGUC.2020.105531。下载预印本.
-
E.Kamburjan、R.Hähnle和S.Schön使用活动对象对铁路运营进行形式化建模和分析。
计算机程序设计科学。第166卷。爱思唯尔,2018年。
内政部:2016年10月10日/j.scico.2018.07.01.
-
E.Albert、F.de Boer、R.Hähnle、E.B.Johnsen、R.Schlatte、S.L.Tapia Tarifa和P.Y.H.Wong。
云架构资源管理的形式化建模和分析:使用Real-Time ABS的工业案例研究。
面向服务的计算和应用8(4):323-3392014。
内政部:2007年10月17日/11761-013-0148-0。下载预印本.
语言发展
-
L.Tveito、E.B.Johnsen和R.Schlatte。
通过分布式活动对象的局部控制实现全局再现性。
程序中。第23届软件工程基本方法国际会议(FASE 2020),LNCS 12076。施普林格,2020年。
内政部:10.1007/978-3-030-45234-6_7。下载预印本.
-
R.Schlatte、E.B.Johnsen、J.Mauro、S.L.Tapia Tarifa和I.C.Yu。
释放野兽:当正式方法遇到真实世界的数据时。
Festschrift Farhad Arbab,LNCS 10865。施普林格,2018年。
内政部:10.1007/978-3-642-25271-6_8。下载预印本.
-
E.坎伯詹。
从后条件到后区域不变量:混合对象的演绎验证。。
第24届ACM混合系统国际会议:计算与控制(HSCC 2021)。ACM,2021年。
内政部:10.1145/3447928.3456633.
-
E.B.约翰森、R.Hähnle、J.Schäfer、R.Schlatte和M.Steffen。
ABS:抽象行为规范的核心语言。
程序中。第九届国际交响乐团。组件和对象的形式化方法(FMCO 2010),LNCS 6957。施普林格,2011年。
内政部:10.1007/978-3-642-25271-6_8。下载预印本.
-
E.B.Johnsen、R.Schlatte和S.L.Tapia Tarifa。
在面向对象的时间模型中集成部署体系结构和资源消耗。
《程序设计中的逻辑和代数方法杂志》84(1):67-912015。
内政部:2016年10月10日/j.jlamp.2014.07.001。下载预印本.
-
约阿金·比约克(Joakim Björk)、弗兰克·S·德·波尔(Frank S.de Boer)、艾纳·布罗奇·约翰森(Einar Broch Johnsen)、鲁道夫·施拉特(Rudolf Schlatte)和S.L.塔皮亚·塔里法。
实时并发对象的用户定义调度程序。
创新系统软件工程9(1):29-43(2013)。
内政部:2007年10月17日/11334-012-0184-5。下载预印本.
-
F.Damiani、R.Hähnle、E.Kamburjan、M.Lienhardt。
增量和特征的统一形式化编程模型。
程序。第20届软件工程基本方法国际会议(FASE 2017),LNCS 10202。施普林格,2017年。
内政部:10.1007/978-3-662-54494-5_25。下载后印本.
软件产品线
-
F.Damiani、R.Hähnle、E.Kamburjan、M.Lienhardt、L.Paolini。
类Java语言的可变模块。
程序。第25届ACM国际系统和软件产品线会议(SPLC 2021)。ACM,2021年。
内政部:10.1145/3461001.3471143.
-
F.Damiani、M.Lienhardt、R.Muschevic、I.Schaefer。
带有SPL类型检查机制的ABS工具链的扩展。
程序。第十三届综合形式方法国际会议(IFM 2017),LNCS 10510。施普林格,2017年。
内政部:10.1007/978-3-319-66845-1_8。下载后印本.
演绎验证
分析
- 鲁道夫·施拉特(Rudolf Schlatte)、艾纳尔·布罗奇·约翰森(Einar Broch Johnsen)、爱德华·坎伯扬(Eduard Kamburjan)和S.利泽斯·塔皮亚·塔里法(S.Lizeth Tapia Tarifa)
ABS模拟器工具链计算机程序设计科学。第233卷。爱思唯尔,2022年。
内政部:10.1016/j.scico.2022.102861.
从ABS生成代码
基于模型的部署和监视