掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International symposium on leveraging applications of formal method, verification and validation
International symposium on leveraging applications of formal method, verification and validation
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Adaptable and Evolving Software for Eternal Systems (Track Summary)
机译:
适用于永恒系统的适应性和不断发展的软件(跟踪摘要)
作者:
Reiner Hahnle
;
Ina Schaefer
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
2.
Challenges in Defining a Programming Language for Provably Correct Dynamic Analyses
机译:
定义可正确校正动态分析的编程语言所面临的挑战
作者:
Eric Bodden
;
Andreas Follner
;
Siegfried Rasthofer
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
关键词:
Runtime verification;
inline reference monitors;
code syn-thesis;
declarative programming languages;
information flow;
buffer over-flows;
3.
Eternal Embedded Software: Towards Innovation Experiment Systems
机译:
永恒的嵌入式软件:迈向创新实验系统
作者:
Jan Bosch
;
Ulrik Eklund
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
关键词:
innovation experiment system;
embedded systems;
software architecture;
automotive software;
4.
A Liskov Principle for Delta-Oriented Programming
机译:
面向Delta编程的Liskov原理
作者:
Reiner Hahnle
;
Ina Schaefer
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
5.
Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions
机译:
科学的工作流程:永恒的组成部分,不断变化的界面,变化的成分
作者:
Anna-Lena Lamprecht
;
Tiziana Margaria
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
6.
An Object Group-Based Component Model
机译:
基于对象组的组件模型
作者:
Michael Lienhardt
;
Mario Bravetti
;
Davide Sangiorgi
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
7.
Automated Inference of Models for Black Box Systems Based on Interface Descriptions
机译:
基于接口描述的黑匣子系统模型自动推理
作者:
Maik Merten
;
Falk Howar
;
Bernhard Steffen
;
Patrizio Pellicione
;
Massimo Tivoli
会议名称:
《》
|
2012年
8.
Model-Based Compatibility Checking of System Modifications
机译:
系统修改的基于模型的兼容性检查
作者:
Arnd Poetzsch-Heffter
;
Christoph Feller
;
Ilham W. Kurnia
;
Yannick Welsch
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
9.
A Generic Platform for Model-Based Regression Testing
机译:
基于模型的回归测试的通用平台
作者:
Philipp Zech
;
Michael Felderer
;
Philipp Kalb
;
Ruth Breu
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
10.
Approaches for Mastering Change
机译:
掌握变化的方法
作者:
Ina Schaefer
;
Malte Lochau
;
Martin Leucker
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
11.
A Formal Approach to Software Product Families
机译:
正式的软件产品系列方法
作者:
Martin Leucker
;
Daniel Thoma
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
12.
A Compositional Framework to Derive Product Line Behavioural Descriptions
机译:
派生产品线行为描述的组成框架
作者:
Patrizia Asirelli
;
Maurice H. ter Beek
;
Alessandro Fantechi
;
Stefania Gnesi
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
13.
Learning-Based Test Programming for Programmers
机译:
程序员的基于学习的测试编程
作者:
Alex Groce
;
Alan Fern
;
Martin Erwig
;
Jervis Pinto
;
Tim Bauer
;
Amin Alipour
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
14.
LearnLib Tutorial: Prom Finite Automata to Register Interface Programs
机译:
LearnLib教程:Prom有限自动机来注册接口程序
作者:
Falk Howar
;
Malte Isberner
;
Maik Merten
;
Bernhard Steffen
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
15.
Automated Learning Setups in Automata Learning
机译:
自动学习中的自动学习设置
作者:
Maik Merten
;
Malte Isberner
;
Falk Howar
;
Bernhard Steffen
;
Tiziana Margaria
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
16.
The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems
机译:
2012年RERS格力挑战赛:事件条件行为系统分析
作者:
Falk Howar
;
Malte Isberner
;
Maik Merten
;
Bernhard Steffen
;
Dirk Beyer
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
关键词:
Program Analysis;
Model Checking;
Verification;
Model-Based Testing;
Competition;
Event-Condition-Action System;
17.
Conflict Detection in Delta-Oriented Programming
机译:
面向增量编程中的冲突检测
作者:
Michaeel Lienhardt
;
Dave Clarke
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
18.
What Does AI Have to Do with RV? (Extended Abstract)
机译:
AI与RV有什么关系? (扩展摘要)
作者:
Klaus Havelund
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
19.
A Unified Approach for Static and Runtime Verification: Framework and Applications
机译:
静态和运行时验证的统一方法:框架和应用
作者:
Wolfgang Ahrendt
;
Gordon J. Pace
;
Gerardo Schneider
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
20.
Delta-Oriented Monitor Specification
机译:
面向台达的显示器规格
作者:
Eric Bodden
;
Kevin Falzon
;
Ka I. Pun
;
Volker Stolz
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
关键词:
Runtime Verification;
Monitor-oriented Programming;
Interface Protocols;
Software Product Lines;
21.
Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines
机译:
基于族的面向Delta的软件产品线类型安全性分析
作者:
Ferruccio Damiani
;
Ina Schaefer
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
22.
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines
机译:
基于参数的预购关系,用于基于模型的软件产品线测试
作者:
Malte Lochau
;
Jochen Kamischke
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
23.
A Vision for Behavioural Model-Driven Validation of Software Product Lines
机译:
行为模型驱动的软件产品线验证的愿景
作者:
Xavier Devroey
;
Maxime Cordy
;
Gilles Perrouin
;
Eun-Young Kang
;
Pierre-Yves Schobbens
;
Patrick Heymans
;
Axel Legay
;
Benoit Baudry
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
关键词:
Software Product Line;
Model-Based Testing;
Model-Checking;
24.
SmartTies -Management of Safety-Critical Developments
机译:
SmartTies-安全关键开发的管理
作者:
Serge Autexier
;
Dominik Dietrich
;
Dieter Hutter
;
Christoph Lueth
;
Christian Maeder
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
25.
Tracking Behavioral Constraints during Object-Oriented Software Evolution
机译:
在面向对象的软件开发过程中跟踪行为约束
作者:
Johan Dovland
;
Einar Broch Johnsen
;
Ingrid Chieh Yu
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
26.
Towards the Verification of Adaptable Processes
机译:
验证适应性过程
作者:
Mario Bravetti
;
Cinzia Di Giusto
;
Jorge A. Perez
;
Gianluigi Zavattaro
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
27.
Runtime Verification: The Application Perspective
机译:
运行时验证:应用程序角度
作者:
Ylies Falcone
;
Lenore D. Zuck
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
28.
A Case for 'Piggyback' Runtime Monitoring
机译:
“搭载”运行时监视的案例
作者:
Sylvain Halle
;
Raphaeel Tremblay-Lessard
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
29.
Statistical Model Checking QoS Properties of Systems with SBIP
机译:
使用SBIP的统计模型检查QoS属性
作者:
Saddek Bensalem
;
Marius Bozga
;
Benoit Delahaye
;
Cyrille Jegourel
;
Axel Legay
;
Ayoub Nouri
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
30.
Monitoring Temporal Information Flow
机译:
监视时间信息流
作者:
Rayna Dimitrova
;
Bernd Finkbeiner
;
Markus N. Rabe
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
31.
Model-Based Testing and Model Inference
机译:
基于模型的测试和模型推断
作者:
Karl Meinke
;
Neil Walkinshaw
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
32.
Dynamic Information-Flow Analysis for Multi-threaded Applications
机译:
多线程应用程序的动态信息流分析
作者:
Laurent Mounier
;
Emmanuel Sifakis
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
33.
Bounded-Interference Sequentialization for Testing Concurrent Programs
机译:
测试并行程序的有界干扰序列化
作者:
Niloofar Razavi
;
Azadeh Farzan
;
Andreas Holzer
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
34.
Runtime Verification of Biological Systems
机译:
生物系统的运行时验证
作者:
Alexandre David
;
Kim Guldstrand Larsen
;
Axel Legay
;
Marius Mikucionis
;
Danny Bogsted Poulsen
;
Sean Sedwards
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
关键词:
runtime verification;
synthetic biology;
statistical model checking;
genetic oscillator;
MITL;
frequency domain analysis;
Uppaal-smc;
Plasma;
35.
Behavioral Specification Based Runtime Monitors for OSGi Services
机译:
基于行为规范的OSGi服务运行时监视器
作者:
Jan Olaf Blech
;
Ylies Falcone
;
Harald Ruess
;
Bernhard Schaetz
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
36.
Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids
机译:
自稳定电力微电网的建模和分散运行时控制
作者:
Arnd Hartmanns
;
Holger Hermanns
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
37.
Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing
机译:
对软件模型的常规推理的算法改进和安全测试的观点
作者:
Roland Groz
;
Muhammad-Naeem Man
;
Catherine Oriat
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
38.
Test-Case Design by Feature Trees
机译:
通过特征树进行测试案例设计
作者:
Takashi Kitamura
;
Ngoc Thi Bich Do
;
Hitoshi Ohsaki
;
Ling Fang
;
Shunsuke Yatabe
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
关键词:
black-box testing;
combination testing;
SAT-based analysis;
39.
Model-Based Static Code Analysis for MATLAB Models
机译:
MATLAB模型的基于模型的静态代码分析
作者:
Zheng Lu
;
Supratik Mukhopadhyay
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
40.
An Incremental Learning Algorithm for Extended Mealy Automata
机译:
扩展Mealy自动机的增量学习算法
作者:
Karl Meinke
;
Fei Niu
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
关键词:
algebraic automata theory;
computational learning theory;
finite state machine;
initial algebra;
Mealy automaton;
string rewriting;
41.
Learning Techniques for Software Verification and Validation
机译:
软件验证和验证的学习技术
作者:
Corina S. Pasareanu
;
Mihaela Bobaru
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
42.
Learning Stochastic Timed Automata from Sample Executions
机译:
从样本执行中学习随机定时自动机
作者:
Andre de Matos Pedro
;
Paul Andrew Crocker
;
Simao Melo de Sousa
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
43.
Learning Minimal Deterministic Automata from Inexperienced Teachers
机译:
向经验不足的老师学习最小确定性自动机
作者:
Martin Leucker
;
Daniel Neider
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
44.
Model Learning and Test Generation for Event-B Decomposition
机译:
事件B分解的模型学习和测试生成
作者:
Ionut Dinca
;
Florentin Ipate
;
Alin Stefanescu
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
45.
Inferring Semantic Interfaces of Data Structures
机译:
推断数据结构的语义接口
作者:
Falk Howar
;
Malte Isberner
;
Bernhard Steffen
;
Oliver Bauer
;
Bengt Jonsson
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2012年
46.
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition
机译:
集体自适应系统的严格工程,第三次轨道版介绍
作者:
Martin Wirsing
;
Rocco Do Nicola
;
Stefan Jaehnichen
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Adaptive system;
Collective system;
Ensemble;
Software engineering;
Formal method;
Rigorous method;
47.
Composition of Component Models - A Key to Construct Big Systems
机译:
组件模型的构成 - 构建大系统的关键
作者:
Wolfgang Reisig
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Modeling techniques;
Components;
Composition;
48.
Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles
机译:
协调自动驾驶车辆集体中的自主程度
作者:
Stefano Mariani
;
Franco Zambonelli
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Self-driving vehicles;
Coordination;
Autonomy;
Intersection crossing;
49.
Introduction
机译:
介绍
作者:
Tiziana Margaria
;
Bernhard Steffen
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
50.
Automating Software Re-engineering Introduction to the ISoLA 2020 Track
机译:
自动化软件重新工程索引2020轨道介绍
作者:
Serge Demeyer
;
Reiner Haehnle
;
Heiko Mantel
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
51.
Engineering Semantic Self-composition of Services Through Tuple-Based Coordination
机译:
通过基于元组协调的服务的工程语义自我构成
作者:
Ashley Caselli
;
Giovanni Ciatto
;
Giovanna Di Marzo Serugendo
;
Andrea Omicini
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Service self-composition;
Semantic reasoning;
Tuple-based coordination;
52.
A Dynamic Logic for Systems with Predicate-Based Communication
机译:
基于谓词的通信系统的动态逻辑
作者:
Rolf Hennicker
;
Martin Wirsing
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Ensemble;
Collective adaptive system;
Component;
Dynamic logic;
Multi-cast communication;
Global behaviour specification;
Ensemble realisation;
Ensemble transition system;
53.
Formal Verification of Developer Tests: A Research Agenda Inspired by Mutation Testing
机译:
开发人员测试的正式验证:由突变测试启发的研究议程
作者:
Serge Demeyer
;
Ali Parsai
;
Sten Vercammen
;
Brent van Bladel
;
Mehrdad Abdi
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Testware;
Formal verification;
Mutation testing;
54.
Modular Regression Verification for Reactive Systems
机译:
反应系统的模块化回归验证
作者:
Alexander Weig
;
Mattias Ulbrich
;
Daniel Lentzsch
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
55.
Abstractions for Collective Adaptive Systems
机译:
集体自适应系统的抽象
作者:
Omar Inverso
;
Catia Trubiani
;
Emilio Tuosto
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
56.
Verifying AbC Specifications via Emulation
机译:
通过仿真验证ABC规格
作者:
Rocco De Nicola
;
Tan Duong
;
Omar Inverso
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Attribute-based communication;
Formal analysis;
Bounded model checking;
57.
Finding Idioms in Source Code Using Subtree Counting Techniques
机译:
使用子树计数技术在源代码中找到成语
作者:
Dmitry Orlov
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Source code analysis;
Static analysis;
Programming language idioms;
Frequent subtree counting;
Python;
Data mining;
58.
Parametric Timed Bisimulation
机译:
参数定时双刺激
作者:
Malte Lochau
;
Lars Luthmann
;
Hendrik Goettmann
;
Isabelle Bacher
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Software re-engineering;
Timed automata;
Bisimulation;
Parametric timed automata;
59.
Adaptive Security Policies
机译:
自适应安全政策
作者:
Flemming Nielson
;
Rene Rydhof Hansen
;
Hanne Riis Nielson
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
60.
Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns
机译:
通过情境模式捕捉安全和信任中的动态和不确定性
作者:
Tomas Bures
;
Petr Hnetynka
;
Robert Heinrich
;
Stephan Seifermann
;
Maximilian Walter
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Dynamic systems;
Security;
Access control;
Uncertainty;
61.
A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations
机译:
动态监测的统一框架和优化的分类
作者:
Marie-Christine Jakobs
;
Heiko Mantel
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
62.
Thirty-Seven Years of Relational Hoare Logic: Remarks on Its Principles and History
机译:
三十七年的关系HOARE逻辑:关于其原则和历史的备注
作者:
David A. Naumann
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
63.
Guaranteeing Type Consistency in Collective Adaptive Systems
机译:
保证集体自适应系统的类型一致性
作者:
Jonas Schuermann
;
Tim Tegeler
;
Bernhard Steffen
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Domain-Specific Language;
GraphQL;
Type Safety;
TypeScript;
Web Service;
64.
Epistemic Logic in Ensemble Specification
机译:
集合规范中的认知逻辑
作者:
Jan Suermeli
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Epistemic logic;
Formal methods;
Distributed systems;
65.
Safer Parallelization
机译:
更安全的并行化
作者:
Reiner Haehnle
;
Asmae Heydari Tabar
;
Arya Mazaheri
;
Mohammad Norouzi
;
Dominic Steinhoefel
;
Felix Wolf
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
66.
Refactoring and Active Object Languages
机译:
重构和活动对象语言
作者:
Volker Stolz
;
Violet Ka I Pun
;
Rohit Gheyi
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
67.
FSCAFI: A Core Calculus for Collective Adaptive Systems Programming
机译:
FSCAFI:用于集体自适应系统编程的核心微积分
作者:
Roberto Casadei
;
Mirko Viroli
;
Giorgio Audrito
;
Ferruccio Damiani
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
68.
Writing Robotics Applications with X-KLAIM
机译:
用X-Blaim编写机器人应用程序
作者:
Lorenzo Bettini
;
Khalid Bourr
;
Rosario Pugliese
;
Francesco Tiezzi
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Robotics applications;
X-KLAIM;
Tuple spaces;
ROS;
69.
Measuring Adaptability and Reliability of Large Scale Systems
机译:
测量大规模系统的适应性和可靠性
作者:
Valentina Castiglioni
;
Michele Loreti
;
Simone Tini
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
70.
Centrality-Preserving Exact Reductions of Multi-Layer Networks
机译:
维持多层网络的精确减少
作者:
Tatjana Petrov
;
Stefano Tognazzi
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Multi-Layer Networks;
Centrality measures;
Model reduction;
Efficient algorithms;
71.
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification
机译:
通过基于证据的连续认证来实现动态可靠的系统
作者:
Rasha Faqeh
;
Christof Fetzer
;
Holger Hermanns
;
Joerg Hoffmann
;
Michaela Klauck
;
Maximilian A. Koehl
;
Marcel Steinmetz
;
Christoph Weidenbach
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Certification;
Dependability;
Model checking;
Planning;
Supervision;
72.
Forming Ensembles at Runtime: A Machine Learning Approach
机译:
在运行时形成合奏:机器学习方法
作者:
Tomas Bures
;
Ilias Gerostathopoulos
;
Petr Hnetynka
;
Jan Pacovsky
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Adaptation;
Ensembles;
Cooperative systems;
Machine learning;
73.
Synthesizing Control for a System with Black Box Environment, Based on Deep Learning
机译:
基于深度学习的黑匣子环境系统合成控制
作者:
Simon Iosti
;
Doron Peled
;
Khen Aharon
;
Saddek Bensalem
;
Yoav Goldberg
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
74.
A Formal Model for Reasoning About the Ideal Fitness in Evolutionary Processes
机译:
一种正式模型,用于推理进化过程中理想的健身
作者:
Thomas Gabor
;
Claudia Linnhoff-Popien
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Evolution;
Evolutionary algorithms;
Fitness;
75.
A Case Study of Policy Synthesis for Swarm Robotics
机译:
群体机器人政策综合的案例研究
作者:
Paul Piho
;
Jane Hillston
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
76.
Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-Planning
机译:
枫树群:通过扩展HTN规划来编程集体行为
作者:
Oliver Kosak
;
Lukas Huhn
;
Felix Bohn
;
Constantin Wanninger
;
Alwin Hoffmann
;
Wolfgang Reif
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Task orchestration;
HTN-Planning;
Swarm behavior;
Robot swarms;
Multi-agent systems;
Multipotent systems;
77.
Swarm and Collective Capabilities for Multipotent Robot Ensembles
机译:
多能机器人合奏的群体和集体功能
作者:
Oliver Kosak
;
Felix Bohn
;
Lennart Eing
;
Dennis Rall
;
Constantin Wanninger
;
Alwin Hoffmann
;
Wolfgang Reif
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Swarm behavior;
Multi-agent systems;
Robot swarms;
Multipotent systems;
Collective adaptive systems;
Ensembles;
78.
Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems
机译:
协作嵌入式系统的规范,综合和验证
作者:
Bernd-Holger Schlingloff
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
79.
Formal Methods for Distributed Computing in Future Railway Systems
机译:
在未来铁路系统中分布式计算的正式方法
作者:
Alessandro Fantechi
;
Stefania Gnesi
;
Anne E. Haxthausen
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
80.
Ensuring Safety with System Level Formal Modelling
机译:
确保系统级正式建模安全
作者:
Thierry Lecomte
;
Mathieu Comptier
;
Julien Molinero
;
Denis Sabatier
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
B method;
Safety platform;
Automated proof;
81.
A Modular Design Framework to Assess Intelligent Trains
机译:
模块化设计框架,用于评估智能列车
作者:
Simon Collart-Dutilleul
;
Philippe Bon
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Formal methods;
Composition by refinement;
Railway safety;
82.
Introduction
机译:
介绍
作者:
Tiziana Margaria
;
Bernhard Steffen
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
83.
Reliable Smart Contracts
机译:
可靠的智能合同
作者:
Gordon J. Pace
;
Cesar Sanchez
;
Gerardo Schneider
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
84.
Functional Verification of Smart Contracts via Strong Data Integrity
机译:
通过强大的数据完整性功能验证智能合同
作者:
Wolfgang Ahrendt
;
Richard Bubel
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
85.
Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL
机译:
使用UPPAAL分布式铁路互锁系统的正式建模与验证
作者:
Per Lange Laursen
;
Van Anh Thi Trinh
;
Anne E. Haxthausen
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Distributed systems;
Railway interlocking systems;
Formal verification;
Model Checking;
UPPAAL;
86.
New Distribution Paradigms for Railway Interlocking
机译:
铁路互锁的新分布范式
作者:
Jan Peleska
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Railway interlocking systems;
Distributed systems;
Cloud-computing;
Safety;
Verification;
87.
Bitcoin Covenants Unchained
机译:
比特币契约未受干彻
作者:
Massimo Bartoletti
;
Stefano Lande
;
Roberto Zunino
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
88.
Specifying Framing Conditions for Smart Contracts
机译:
指定智能合同的框架条件
作者:
Bernhard Beckert
;
Jonas Schiffl
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Smart contract verification;
Frame conditions;
Dynamic frames;
Solidity;
Hyperledger Fabric;
89.
Model Checking a Distributed Interlocking System Using κ-induction with RT-Tester
机译:
使用RT-Tester使用κ诱导检查分布式联锁系统的模型
作者:
Signe Geisler
;
Anne E. Haxthausen
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Model checking;
RAISE;
Railway interlocking systems;
Distributed systems;
κ-induction;
RT-Tester;
90.
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers
机译:
设计铁路基础设施管理人员正式方法示意图
作者:
Davide Basile
;
Maurice H. ter Beek
;
Alessandro Fantechi
;
Alessio Ferrari
;
Stefania Gnesi
;
Laura Masullo
;
Franco Mazzanti
;
Andrea Piattino
;
Daniele Trentini
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
91.
Making Tezos Smart Contracts More Reliable with Coq
机译:
使Tezos Smart合同与COQ更可靠
作者:
Bruno Bernardo
;
Raphaeel Cauderlier
;
Guillaume Claret
;
Arvid Jakobsson
;
Basile Pesin
;
Julien Tesson
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Certified programming;
Certified compilation;
Programming languages;
Blockchains;
Smart contracts;
92.
UTxO- vs Account-Based Smart Contract Blockchain Programming Paradigms
机译:
UTXO-VS基于帐户的智能合同区块链编程范式
作者:
Lars Bruenjes
;
Murdoch J.Gabbay
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
93.
Native Custom Tokens in the Extended UTXO Model
机译:
扩展UTXO模型的本机自定义令牌
作者:
Manuel M. T. Chakravarty
;
James Chapman
;
Kenneth MacKenzie
;
Orestis Melkonian
;
Jann Mueller
;
Michael Peyton Jones
;
Polina Vinogradova
;
Philip Wadler
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Blockchain;
UTXO;
Tokens;
Functional programming;
State machines;
Bisimulation;
94.
UTXO_(ma): UTXO with Multi-asset Support
机译:
UTXO_(MA):UTXO具有多资产支持
作者:
Manuel M. T. Chakravarty
;
James Chapman
;
Kenneth MacKenzie
;
Orestis Melkonian
;
Jann Mueller
;
Michael Peyton Jones
;
Polina Vinogradova
;
Philip Wadler
;
Joachim Zahnentferner
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Blockchain;
UTXO;
Native tokens;
Functional programming;
95.
Towards Configurable and Efficient Runtime Verification of Blockchain Based Smart Contracts at the Virtual Machine Level
机译:
朝着虚拟机级别的基于区块链的可配置和有效的运行时验证
作者:
Joshua Ellul
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Virtual machines;
Runtime verification;
Smart contracts;
Blockchain;
96.
Compiling Quantitative Type Theory to Michelson for Compile-Time Verification and Run-time Efficiency in Juvix
机译:
编译定量类型理论到迈克尔森进行juvix中的编译时间验证和运行时效率
作者:
Christopher Goes
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
qtt;
Michelson;
Tezos;
Juvix;
97.
Efficient Static Analysis of Marlowe Contracts
机译:
高效静态分析Marlowe合约
作者:
Pablo Lamela Seijas
;
David Smith
;
Simon Thompson
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
98.
Accurate Smart Contract Verification Through Direct Modelling
机译:
通过直接建模准确智能合同验证
作者:
Matteo Marescotti
;
Rodrigo Otoni
;
Leonardo Alt
;
Patrick Eugster
;
Antti E. J. Hyvaerinen
;
Natasha Sharygina
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
99.
Smart Derivatives: On-Chain Forwards for Digital Assets
机译:
智能衍生品:用于数字资产的链向前
作者:
Alfonso D. D. M. Rius
;
Eamonn Gashier
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Financial cryptography;
Blockchain;
Smart contracts;
Derivatives;
100.
The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts
机译:
好的,坏和丑陋的丑陋:陷阱和以外的智能合同自动声音静态分析中的最佳实践
作者:
Clara Schneidewind
;
Markus Scherer
;
Matteo Maffei
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2020年
关键词:
Static analysis;
Smart contracts;
Formal methods;
意见反馈
回到顶部
回到首页