menu 简单麦麦
account_circle

计算理论方面——ICTAC 2019:第16届国际学术讨论会,Hammamet,突尼斯,2019年10月31日至11月4日,会议记录-Theoretical Aspects of Computing

帮助2581人找到了他们想要的文件
上传于 2020-03-06 0次下载 4435次围观
文件编号:6684
文件详情
标题(title):Theoretical Aspects of Computing – ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings
计算理论方面——ICTAC 2019:第16届国际学术讨论会,Hammamet,突尼斯,2019年10月31日至11月4日,会议记录
作者(author):Robert Mark Hierons, Mohamed Mosbah
出版社(publisher):Springer International Publishing
大小(size):13 MB (13355637 bytes)
格式(extension):pdf
注意:如果文件下载完成后为无法打开的格式,请修改后缀名为格式对应后缀



This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia, in October/November 2019.
The 17 revised full papers presented together with 2 keynote papers and 1 industrial paper were carefully reviewed and selected from 138 submissions.
The papers are grouped in topical sections on models and transition systems; real-time and temporal logics; verification and concurrency; privacy and security; equations, types, and programming languages.


Table of contents :
Front Matter ....Pages i-xi
Front Matter ....Pages 1-1
Calculational Design of a Regular Model Checker by Abstract Interpretation (Patrick Cousot)....Pages 3-21
Verification by Construction of Distributed Algorithms (Dominique Méry)....Pages 22-38
Front Matter ....Pages 39-39
The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism (Arpit Sharma)....Pages 41-58
Computing Branching Distances Using Quantitative Games (Uli Fahrenberg, Axel Legay, Karin Quaas)....Pages 59-75
Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems (Fateh Latreche, Abdelkader Moudjari, Hichem Talbi)....Pages 76-90
Optimal Run Problem for Weighted Register Automata (Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata)....Pages 91-110
Front Matter ....Pages 111-111
Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty (Étienne André, Jawher Jerray, Sahar Mhiri)....Pages 113-123
Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains (Moez Krichen)....Pages 124-133
Verification of Multi-agent Systems with Timeouts for Migration and Communication (Bogdan Aman, Gabriel Ciobanu)....Pages 134-151
LTL to Smaller Self-Loop Alternating Automata and Back (František Blahoudek, Juraj Major, Jan Strejček)....Pages 152-171
Front Matter ....Pages 173-173
Starvation-Free Monitors (Jafar Hamin)....Pages 175-195
Taming Concurrency for Verification Using Multiparty Session Types (Kirstin Peters, Christoph Wagner, Uwe Nestmann)....Pages 196-215
Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams (Samir Ouchani)....Pages 216-234
Context-Free Grammars for Deterministic Regular Expressions with Interleaving (Xiaoying Mou, Haiming Chen, Yeting Li)....Pages 235-252
Front Matter ....Pages 253-253
Completeness of Abstract Domains for String Analysis of JavaScript Programs (Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni)....Pages 255-272
BCARET Model Checking for Malware Detection (Huu-Vu Nguyen, Tayssir Touili)....Pages 273-291
DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain (Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana)....Pages 292-312
Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks (Daniele Gorla, Federica Granese, Catuscia Palamidessi)....Pages 313-331
Front Matter ....Pages 333-333
Taylor Series Revisited (Xavier Thirioux, Alexis Maffart)....Pages 335-352
Solving the Expression Problem in C++, á la LMS (Seyed Hossein Haeri, Paul Keir)....Pages 353-371
Laws of Monadic Error Handling (Härmel Nestra)....Pages 372-391
Solving of Regular Equations Revisited (Martin Sulzmann, Kenny Zhuo Ming Lu)....Pages 392-409
Back Matter ....Pages 411-411
下载方式
购买后可查看 购买按钮在底部

常见问题

  • question_answer
    解压密码,提取码在哪?
    keyboard_arrow_down
    • 均在下载旁边哦,请注意查看,如果没有则是不需要密码
  • question_answer
    文件不符合描述怎么办?
    keyboard_arrow_down
    • 如果有文件问题,可以通过 卖家联系方式 联系卖家,如果 联系不上卖家 或 卖家无法解决则可以在我的订单页面申请售后
  • question_answer
    其他
    keyboard_arrow_down
    • 3.本文件为公益分享,文件由网上采集而来,如有侵权等问题,请及时联系客服删除
      常见问题及官方客服联系方式:点击前往
      售后问题处理方式:点击前往
-到底部了哦-
微信扫码支付
计算理论方面——ICTAC 2019:第16届国际学术讨论会,Hammamet,突尼斯,2019年10月31日至11月4日,会议记录-Theoretical Aspects of Computing
支付金额: 共计:¥0.0

添加收藏

创建新合集