出版物和研讨会

本页面链接了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。下载后印本.

演绎验证

  • E.Kamburjan、C.C.Din、R.Hähnle和E.B.Johnsen。
    合作调度的行为契约。
    演绎软件验证:未来展望,LNCS 12345。斯普林格,2020年。
    内政部:10.1007/978-3-030-64354-6_4。下载预印本.

  • C.C.Din、R.Bubel和R.Hähnle。
    KeY-ABS:并发建模语言ABS的演绎验证工具。
    程序中。第25届国际自动扣除协调会(CADE 2015),LNCS 9195。斯普林格,2015年。
    内政部:10.1007/978-3-319-21401-6_35。下载预印本.

  • C.C.Din、S.L.Tapia Tarifa、R.Hähnle和E.B.Johnsen。
    可扩展并发和分布式系统的基于历史的规范和验证。
    程序中。第17届国际正式工程方法会议(ICFEM 2015),LNCS 9407。斯普林格,2015年。
    内政部:10.1007/978-3-319-25423-4_14。下载预印本.

分析

  • C.Laneve、M.Lienhardt、K.I Pun和G.Román-Díez。
    演员节目的时间分析。
    《程序设计中的逻辑和代数方法杂志》,第105卷,爱思唯尔出版社,2019年。
    内政部:2016年10月10日/j.jlamp.2019.02.007.

  • A.Garcia、C.Laneve和M.Lienhardt。
    云弹性的静态分析。
    《计算机编程科学》,第147卷,爱思唯尔出版社,2017年。
    内政部:2016年10月10日/j.scico.2017.03.008.

  • E.Albert、P.Arenas、A.Flores-Montoya、S.Genaim、M.Gomez-Zamalloa、E.Martin-Martin、G.Puebla和G.Román-Díez。
    SACO:并发对象的静态分析器。
    程序中。第20届国际系统构建与分析工具与算法会议(TACAS)。LNCS 8413,施普林格,2014年。
    内政部:10.1007/978-3-642-54862-8_46。下载预印本.

  • E.Giachino、C.Laneve和M.Lienhardt。
    ABS死锁检测框架。
    《软件和系统建模杂志》,第15卷(4),Springer,2015年。
    内政部:10.1007/s10270-014-0444年.

ABS工具

  • 鲁道夫·施拉特(Rudolf Schlatte)、艾纳尔·布罗奇·约翰森(Einar Broch Johnsen)、爱德华·坎伯扬(Eduard Kamburjan)和S.利泽斯·塔皮亚·塔里法(S.Lizeth Tapia Tarifa)
    ABS模拟器工具链计算机程序设计科学。第233卷。爱思唯尔,2022年。
    内政部:10.1016/j.scico.2022.102861.

从ABS生成代码

  • B.Nobakht和F.S.de Boer。
    用Java 8中的Actor编程。
    程序中。第六届国际标准化组织形式方法应用、验证和确认研讨会(ISoLA’14)。LNCS 8803。斯普林格,2014年。
    内政部:10.1007/978-3-662-45231-8_4。下载预印本.

基于模型的部署和监视

  • R.Hähnle和E.B.Johnsen。
    设计资源软件云应用程序。
    IEEE计算机48(6),2015年。
    内政部:10.1109/MC.2015.172。下载预印本.

  • B.Nobakht、S.de Gouw和F.S.de Boer。
    通过分布式监视对服务级别协议进行正式验证。
    程序中。第四届欧洲面向服务和云计算大会(ESOCC 2015)。LNCS 9306,施普林格,2015年。
    内政部:10.1007/978-3-319-24072-5_9。下载预印本.