掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International conference on software engineering and formal methods
International conference on software engineering and formal methods
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Abstraction as a Unifying Link for Formal Approaches to Concurrency
机译:
抽象是形式化并发方法的统一链接
作者:
Cliff B.Jones
会议名称:
《International conference on software engineering and formal methods》
|
2012年
2.
A Rule-Based and Imperative Language for Biochemical Modeling and Simulation
机译:
基于规则的命令式语言的生化建模和仿真
作者:
Durica Nikolic
;
Corrado Priami
;
Roberto Zunino
会议名称:
《International conference on software engineering and formal methods》
|
2012年
3.
Sound Control-Flow Graph Extraction for Java Programs with Exceptions
机译:
带有例外的Java程序的声音控制流图提取
作者:
Afshin Amighi
;
Pedro de C. Gomes
;
Dilian Gurov
;
Marieke Huisman
会议名称:
《International conference on software engineering and formal methods》
|
2012年
4.
Checking Sanity of Software Requirements
机译:
检查软件需求的合理性
作者:
Jiff Barnat
;
Petr Bauch
;
Lubos Brim
会议名称:
《International conference on software engineering and formal methods》
|
2012年
5.
TVAL+ : TVLA and Value Analyses Together
机译:
TVAL +:TVLA和价值一起分析
作者:
Pietro Ferrara
;
Raphael Fuchs
;
Uri Juhasz
会议名称:
《International conference on software engineering and formal methods》
|
2012年
6.
A Systematic Approach to Atomicity Decomposition in Event-B
机译:
事件B中原子性分解的系统方法
作者:
Asieh Salehi Fathabadi
;
Michael Butler
;
Abdolbaghi Rezazadeh
会议名称:
《International conference on software engineering and formal methods》
|
2012年
7.
Compositional Reasoning about Shared Futures
机译:
共享期货的成分推理
作者:
Crystal Chang Din
;
Johan Dovland
;
Olaf Owe
会议名称:
《International conference on software engineering and formal methods》
|
2012年
8.
Verification of Aspectual Composition in Feature-Modeling
机译:
特征建模中方面构成的验证
作者:
Qinglei Zhang
;
Ridha Khedri
;
Jason Jaskolka
会议名称:
《International conference on software engineering and formal methods》
|
2012年
9.
A Denotational Model for Instantaneous Signal Calculus
机译:
瞬时信号演算的推导模型
作者:
Yongxin Zhao
;
Longfei Zhu
;
Huibiao Zhu
;
Jifeng He
会议名称:
《International conference on software engineering and formal methods》
|
2012年
10.
A Timed Mobility Semantics Based on Rewriting Strategies
机译:
基于重写策略的定时移动语义
作者:
Gabriel Ciobanu
;
Maciej Koutny
;
Jason Steggles
会议名称:
《International conference on software engineering and formal methods》
|
2012年
关键词:
process algebra;
mobility;
time;
rewriting logic;
strategies;
11.
Towards a Formal Component Model for the Cloud *
机译:
迈向云的正式组件模型*
作者:
Roberto Di Cosmo
;
Stefano Zacchiroli
;
Gianluigi Zavattaro
会议名称:
《International conference on software engineering and formal methods》
|
2012年
12.
The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs
机译:
验证并发BPEL程序的依赖/保证方法
作者:
Huibiao Zhu
;
Qiwen Xu
;
Chris Ma
;
Shengchao Qin
;
Zongyan Qiu
会议名称:
《International conference on software engineering and formal methods》
|
2012年
13.
Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification
机译:
完成小型虚拟机管理程序的自动验证-汇编代码验证
作者:
Wolfgang Paul
;
Sabine Schmaltz
;
Andrey Shadrin
会议名称:
《International conference on software engineering and formal methods》
|
2012年
14.
A Configuration Approach for IMA Systems
机译:
IMA系统的配置方法
作者:
Visar Januzaj
;
Stefan Kugele
;
Florian Biechele
;
Ralf Mauersberger
会议名称:
《International conference on software engineering and formal methods》
|
2012年
15.
poly Larva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries
机译:
poly Larva:具有可配置的资源感知监视边界的运行时验证
作者:
Christian Colombo
;
Adrian Francalanza
;
Ruth Mizzi
;
Gordon J. Pace
会议名称:
《International conference on software engineering and formal methods》
|
2012年
16.
An Optimization Approach for Effective Formalized fUML Model Checking
机译:
有效形式化fUML模型检查的优化方法
作者:
Islam Abdelhalim
;
Steve Schneider
;
Helen Treharne
会议名称:
《International conference on software engineering and formal methods》
|
2012年
17.
Frama-C A Software Analysis Perspective
机译:
Frama-C软件分析的观点
作者:
Pascal Cuoq
;
Florent Kirchner
;
Nikolai Kosmatov
;
Virgile Prevosto
;
Julien Signoles
;
Boris Yakobowski
;
Patrick Baudin
;
Richard Bonichon
;
Bernard Botella
;
Loic Correnson
;
Zaynah Dargaye
;
Philippe Herrmann
;
Benjamin Monate
;
Yannick Moy
;
Anne Pacalet
;
Armand Puccetti
;
Muriel Roger
;
Nicky Williams
会议名称:
《International conference on software engineering and formal methods》
|
2012年
18.
Efficient Probabilistic Abstraction for SysML Activity Diagrams
机译:
SysML活动图的高效概率抽象
作者:
Samir Ouchani
;
Otmane Ait Mohamed
;
Mourad Debbabi
会议名称:
《International conference on software engineering and formal methods》
|
2012年
关键词:
Abstraction;
SysML Activity Diagram;
Probabilistic Automata;
PCTL;
19.
ML Dependency Analysis for Assessors
机译:
评估者的ML依赖性分析
作者:
Philippe Ayrault
;
Vincent Benayoun
;
Catherine Dubois
;
Frangois Pessaux
会议名称:
《International conference on software engineering and formal methods》
|
2012年
20.
An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms
机译:
利用遗传算法改进的扩展有限状态机测试生成方法
作者:
Raluca Lefticaru
;
Florentin Ipate
会议名称:
《International conference on software engineering and formal methods》
|
2012年
关键词:
fitness function;
state-based testing;
genetic algorithms;
21.
Securely Accessing Shared Resources with Concurrent Constraint Programming
机译:
通过并行约束编程安全地访问共享资源
作者:
Stefano Bistarelli
;
Francesco Santini
会议名称:
《International conference on software engineering and formal methods》
|
2012年
22.
A Practical Approach for Closed Systems Formal Verification Using Event-B
机译:
一种使用事件B的封闭系统形式验证的实用方法
作者:
Brett Bicknell
;
Jose Reis
;
Michael Butler
;
John Colley
;
Colin Snook
会议名称:
《International conference on software engineering and formal methods》
|
2012年
关键词:
closed systems;
COTS;
Event-B;
Rodin;
formal verification;
visualisation;
VMWare;
23.
Extensible Specifications for Automatic Re-use of Specifications and Proofs
机译:
可自动重复使用规格和证明的可扩展规格
作者:
Daniel Matichuk
;
Toby Murray
会议名称:
《International conference on software engineering and formal methods》
|
2012年
24.
Implementing Tactics of Refinement in CRefine
机译:
CRefine中的细化实施策略
作者:
Madiel Conserva Filho
;
Marcel Vinicius Medeiros Oliveira
会议名称:
《International conference on software engineering and formal methods》
|
2012年
关键词:
Circus;
CRefine;
ArcAngelC;
refinement tactics;
25.
JSXM: A Tool for Automated Test Generation
机译:
JSXM:自动生成测试的工具
作者:
Dimitris Dranidis
;
Konstantinos Bratanis
;
Florentin Ipate
会议名称:
《International conference on software engineering and formal methods》
|
2012年
关键词:
model-based testing;
automated test generation;
functional conformance;
incremental testing;
stream x-machines;
implementation;
tool;
26.
A Low-Overhead, Value-Tracking Approach to Information Flow Security
机译:
一种低开销,价值跟踪的信息流安全方法
作者:
Kostyantyn Vorobyov
;
Padmanabhan Krishnan
;
Phil Stocks
会议名称:
《International conference on software engineering and formal methods》
|
2012年
关键词:
Information flow;
Program instrumentation;
Assertion generation;
Monitoring;
27.
Local Nontermination Detection for Parallel C++ Programs
机译:
Parallel C ++程序的本地非全动检测
作者:
Vladimir Still
;
Jiff Barnat
会议名称:
《International conference on software engineering and formal methods》
|
2019年
28.
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
机译:
通过电池预测和健康管理整合自主机器人的正式验证
作者:
Xingyu Zhao
;
Matt Osborne
;
Jenny Lantair
;
Valentin Robu
;
David Flynn
;
Xiaowei Huang
;
Michael Fisher
;
Fabio Papacchini
;
Angelo Ferrando
会议名称:
《International conference on software engineering and formal methods》
|
2019年
关键词:
Formal verification;
Probabilistic model checking;
PRISM;
Autonomous systems;
Unmanned aerial vehicle;
Battery PHM;
29.
SAT Encodings of the At-Most-k Constraint A Case Study on Configuring University Courses
机译:
at MOST-K约束的SAT编码是配置大学课程的案例研究
作者:
Paul Maximilian Bittner
;
Thomas Thiim
;
Ina Schaefer
会议名称:
《International conference on software engineering and formal methods》
|
2019年
30.
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages
机译:
使用威胁分析技术来指导正式验证:采用合作意识消息的案例研究
作者:
Marie Farrell
;
Matthew Bradbury
;
Michael Fisher
;
Louise A. Dennis
;
Clare Dixon
;
Hu Yuan
;
Carsten Maple
会议名称:
《International conference on software engineering and formal methods》
|
2019年
31.
Software Evolution with a Typeful Version Control System
机译:
具有类型的版本控制系统的软件演进
作者:
Luis Carvalho
;
Joao Costa Seco
会议名称:
《International conference on software engineering and formal methods》
|
2019年
32.
Let's Prove It Later—Verification at Different Points in Time
机译:
让我们在不同时间点证明它以后验证
作者:
Martin Ring
;
Christoph Lueth
会议名称:
《International conference on software engineering and formal methods》
|
2019年
33.
Automatic Failure Explanation in CPS Models
机译:
CPS模型中的自动故障说明
作者:
Ezio Bartocci
;
Niveditha Manjunath
;
Leonardo Mariani
;
Cristinel Mateis
;
Dejan Nickovic
会议名称:
《International conference on software engineering and formal methods》
|
2019年
34.
Efficient Formal Verification for the Linux Kernel
机译:
高效的Linux内核验证
作者:
Daniel Bristot de Oliveira
;
Tommaso Cucinotta
;
Romulo Silva de Oliveira
会议名称:
《International conference on software engineering and formal methods》
|
2019年
关键词:
Verification;
Linux kernel;
Automata;
Testing;
35.
Towards Logical Specification of Statistical Machine Learning
机译:
朝着统计机器学习的逻辑规范
作者:
Yusuke Kawamoto
会议名称:
《International conference on software engineering and formal methods》
|
2019年
关键词:
Epistemic logic;
Possible world semantics;
Divergence;
Machine learning;
Statistical classification;
Robustness;
Fairness;
36.
Test Model Coverage Analysis Under Uncertainty
机译:
在不确定性下测试模型覆盖率分析
作者:
I. S. W. B. Prasetya
;
Rick Klomp
会议名称:
《International conference on software engineering and formal methods》
|
2019年
关键词:
Probabilistic model based testing;
Probabilistic test coverage;
Testing non-deterministic systems;
37.
Compositional Feature-Oriented Systems
机译:
成分面向体系
作者:
Clemens Dubslaff
会议名称:
《International conference on software engineering and formal methods》
|
2019年
38.
Automated Test Generation: A Journey from Symbolic Execution to Smart Fuzzing and Beyond
机译:
自动测试生成:从符号执行到智能模糊和超越的旅程
作者:
Koushik Sen
会议名称:
《International conference on software engineering and formal methods》
|
2019年
39.
Evolution of Formal Model-Based Assurance Cases for Autonomous Robots
机译:
自治机器人正式模型的保证案件的演变
作者:
Mario Gleirscher
;
Simon Foster
;
Yakoub Nemouchi
会议名称:
《International conference on software engineering and formal methods》
|
2019年
关键词:
Assurance case;
Formal verification;
Refinement;
Autonomous robot;
Integrated formal methods;
Model-based engineering;
40.
Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct Environment
机译:
朝着检测二进制中的触发器行为:揭示正确的环境
作者:
Dorottya Papp
;
Thorsten Tarrach
;
Levente Buttyan
会议名称:
《International conference on software engineering and formal methods》
|
2019年
关键词:
Directed symbolic execution;
Trigger-based behavior;
Software verification;
41.
Relating Session Types and Behavioural Contracts: The Asynchronous Case
机译:
相关会话类型和行为合同:异步案例
作者:
Mario Bravetti
;
Gianluigi Zavattaro
会议名称:
《International conference on software engineering and formal methods》
|
2019年
42.
An Operational Guide to Monitorability
机译:
监控性的操作指南
作者:
Luca Aceto
;
Antonis Achilleos
;
Adrian Francalanza
;
Anna Ingolfsdottir
;
Karoliina Lehtinen
会议名称:
《International conference on software engineering and formal methods》
|
2019年
43.
Isabelle/DOF: Design and Implementation
机译:
Isabelle / DOF:设计和实施
作者:
Achim D. Brucker
;
Burkhart Wolff
会议名称:
《International conference on software engineering and formal methods》
|
2019年
关键词:
Ontology;
Formal document development;
Certification;
DOF;
Isabelle/DOF;
44.
Preface
机译:
前言
作者:
Peter Csaba Olveczky
;
Gwen Salauen
会议名称:
《International conference on software engineering and formal methods》
|
2019年
45.
Security Protocols: Model Checking Standards
机译:
安全协议:模型检查标准
作者:
David Basin
会议名称:
《International conference on software engineering and formal methods》
|
2019年
46.
Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators
机译:
模块化间接按钮的多线程代码生成器的正式验证
作者:
Anton Wijs
;
Maciej Wilkowski
会议名称:
《International conference on software engineering and formal methods》
|
2019年
47.
Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach
机译:
学习最小的DFA:从RPNI获取灵感以提高坐立的方法
作者:
Florent Avellaneda
;
Alexandre Petrenko
会议名称:
《International conference on software engineering and formal methods》
|
2019年
关键词:
Machine inference;
Machine identification;
Learning automata;
DFA;
Grammatical inference;
SAT solver;
48.
Incorporating Data into EFSM Inference
机译:
将数据纳入EFSM推理
作者:
Michael Foster
;
Achim D. Brucker
;
Ramsay G. Taylor
;
Siobhan North
;
John Derrick
会议名称:
《International conference on software engineering and formal methods》
|
2019年
关键词:
EFSM inference;
Model inference;
Reverse engineering;
49.
Asynchronous Cooperative Contracts for Cooperative Scheduling
机译:
合作调度的异步合作合同
作者:
Eduard Kamburjan
;
Crystal Chang Din
;
Reiner Hahnle
;
Einar Broch Johnsen
会议名称:
《International conference on software engineering and formal methods》
|
2019年
50.
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time
机译:
具有拒绝和离散时间的循环系统的实施关系
作者:
Raluca Lefticaru
;
Robert M. Hierons
;
Manuel Nunez
会议名称:
《International conference on software engineering and formal methods》
|
2019年
51.
Mutation Testing with Hyperproperties
机译:
突变测试用超值
作者:
Andreas Fellner
;
Mitra Tabaei Befrouei
;
Georg Weissenbacher
会议名称:
《International conference on software engineering and formal methods》
|
2019年
52.
Multi-objective Search for Effective Testing of Cyber-Physical Systems
机译:
多目标搜索有效测试网络物理系统
作者:
Hugo Araujo
;
Gustavo Carvalho
;
Mohammad Reza Mousavi
;
Augusto Sampaio
会议名称:
《International conference on software engineering and formal methods》
|
2019年
关键词:
Cyber-Physical Systems;
Search based;
Input selection;
53.
Partially Bounded Context-Aware Verification
机译:
部分有限的上下文感知验证
作者:
Luka Le Roux
;
Ciprian Teodorov
会议名称:
《International conference on software engineering and formal methods》
|
2019年
54.
Reproducible Execution of POSIX Programs with DiOS
机译:
使用DIOS的POSIX程序的可重复执行
作者:
Petr Rockai
;
Zuzana Baranova
;
Jan Mrazek
;
Katarina Kejstova
;
Jiff Barnat
会议名称:
《International conference on software engineering and formal methods》
|
2019年
55.
Formal Verification of Rewriting Rules for Dynamic Fault Trees
机译:
动态故障树重写规则的正式验证
作者:
Yassmeen Elderhalli
;
Matthias Volk
;
Osman Hasan
;
Joost-Pieter Katoen
;
Sofiene Tahar
会议名称:
《International conference on software engineering and formal methods》
|
2019年
关键词:
Dynamic Fault Trees;
Rewriting rules;
Theorem proving;
HOL4;
56.
Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data
机译:
以对象的过程挖掘:在事件数据中处理分歧和融合
作者:
Wil M. P. van der Aalst
会议名称:
《International conference on software engineering and formal methods》
|
2019年
关键词:
Process mining;
Process discovery;
Divergence;
Convergence;
Artifact-centric modeling;
57.
Using Relational Verification for Program Slicing
机译:
使用与程序切片的关系验证
作者:
Bernhard Beckert
;
Thorsten Bormer
;
Stephan Gocht
;
Mihai Herda
;
Daniel Lentzsch
;
Mattias Ulbrich
会议名称:
《International conference on software engineering and formal methods》
|
2019年
关键词:
Program slicing;
Relational verification;
58.
Preface
机译:
前言
作者:
Frank de Boer
;
Antonio Cerone
会议名称:
《International conference on software engineering and formal methods》
|
2020年
59.
A Software Exoskeleton to Protect Ethics and Privacy of Users in the Digital World (Abstract of a Keynote Talk)
机译:
一种软件外骨骼,保护数字世界中用户的道德和隐私(摘要主题演讲)
作者:
Paola Inverardi
会议名称:
《International conference on software engineering and formal methods》
|
2020年
关键词:
Ethics;
Privacy;
Software exoskeleton;
60.
Multi-purpose Syntax Definition with SDF3
机译:
具有SDF3的多功能语法定义
作者:
Luis Eduardo de Souza Amorim
;
Eelco Visser
会议名称:
《International conference on software engineering and formal methods》
|
2020年
关键词:
Syntax definition;
Programming language;
Parsing;
61.
Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector A Story on Applied Formal Methods
机译:
在Go Memory Model和Data-Race探测器之间查找和修复不匹配的应用形式方法
作者:
Daniel Schnetzer Fava
会议名称:
《International conference on software engineering and formal methods》
|
2020年
62.
Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
机译:
基于Colreg的海上自治系统导航的正式验证
作者:
Fatima Shokri-Manninen
;
Jueri Vain
;
Marina Walden
会议名称:
《International conference on software engineering and formal methods》
|
2020年
关键词:
Verification;
Refinement;
Maritime autonomous systems;
COLREG rules;
Collisions avoidance;
Navigation;
Safety;
Optimization;
Game theory;
UPPAAL STRATEGO;
63.
End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK
机译:
GR(1)设计的初始和转换特性的端到端验证
作者:
Laura R. Humphrey
;
James Hamil
;
Joffrey Huguet
会议名称:
《International conference on software engineering and formal methods》
|
2020年
关键词:
Reactive synthesis;
End-to-end verification;
Functional verification;
64.
Affine Systems of ODEs in Isabelle/HOL for Hybrid-Program Verification
机译:
ISAbelle / HOR中的缺陷系统进行混合程序验证
作者:
Jonathan Julian Huerta y Munive
会议名称:
《International conference on software engineering and formal methods》
|
2020年
关键词:
Hybrid systems;
Formal verification;
Proof assistants;
65.
Interoperability and Integration Testing Methods for IoT Systems: A Systematic Mapping Study
机译:
IOT系统的互操作性和集成测试方法:系统映射研究
作者:
Miroslav Bures
;
Matej Klima
;
Vaclav Rechtberger
;
Xavier Bellekens
;
Christos Tachtatzis
;
Robert Atkinson
;
Bestoun S. Ahmed
会议名称:
《International conference on software engineering and formal methods》
|
2020年
关键词:
Internet of Things;
Testing;
Verification;
Integration;
Interoperability;
Automated testing;
66.
FRED: Conditional Model Checking via Reducers and Folders
机译:
FRED:通过减速器和文件夹检查有条件的模型检查
作者:
Dirk Beyer
;
Marie-Christine Jakobs
会议名称:
《International conference on software engineering and formal methods》
|
2020年
67.
Difference Verification with Conditions
机译:
与条件差异验证
作者:
Dirk Beyer
;
Marie-Christine Jakobs
;
Thomas Lemberger
会议名称:
《International conference on software engineering and formal methods》
|
2020年
68.
A Formal Modeling Approach for Portable Low-Level OS Functionality
机译:
便携式低级OS功能的正式建模方法
作者:
Renata Martins Gomes
;
Bernhard Aichernig
;
Marcel Baunach
会议名称:
《International conference on software engineering and formal methods》
|
2020年
关键词:
Event-B;
RTOS;
Portability;
Refinement;
Verification;
69.
Model-Based Testing Under Parametric Variability of Uncertain Beliefs
机译:
基于模型的不确定信念变异性下的基于模型测试
作者:
Matteo Camilli
;
Barbara Russo
会议名称:
《International conference on software engineering and formal methods》
|
2020年
关键词:
Model-based Testing;
Parametric Markov Decision Processes;
Uncertainty analysis;
Bayesian inference;
70.
Hoare-Style Logic for Unstructured Programs
机译:
联合会的逻辑
作者:
Didrik Lundberg
;
Roberto Guanciale
;
Andreas Lindner
;
Mads Dam
会议名称:
《International conference on software engineering and formal methods》
|
2020年
关键词:
Program logics;
Formal verification;
Theorem proving;
Binary analysis;
Hoare logic;
71.
Synthesis of P-Stable Abstractions
机译:
p稳态抽象的合成
作者:
Anna Becchi
;
Alessandro Cimatti
;
Enea Zaffanella
会议名称:
《International conference on software engineering and formal methods》
|
2020年
72.
Runtime Verification of Contracts with Themulus
机译:
运行时验证合同的单极
作者:
Alberto Aranda Garcia
;
Maria-Emilia Cambronero
;
Christian Colombo
;
Luis Llana
;
Gordon J. Pace
会议名称:
《International conference on software engineering and formal methods》
|
2020年
关键词:
Deontic logic;
Formal methods;
Runtime verification;
LARVA;
73.
Sound C Code Decompilation for a Subset of x86-64 Binaries
机译:
X86-64二进制文件的子集声音C代码反作用
作者:
Freek Verbeek
;
Pierre Olivier
;
Binoy Ravindran
会议名称:
《International conference on software engineering and formal methods》
|
2020年
74.
Statically Checking REST API Consumers
机译:
静态检查REST API消费者
作者:
Nuno Burnay
;
Antonia Lopes
;
Vasco T. Vasconcelos
会议名称:
《International conference on software engineering and formal methods》
|
2020年
75.
A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis
机译:
DR-BIP支持运行时间监控和分析的分层实现
作者:
Antoine El-Hokayem
;
Saddek Bensalem
;
Marius Bozga
;
Joseph Sifakis
会议名称:
《International conference on software engineering and formal methods》
|
2020年
76.
Formal Verification of Human-Robot Interaction in Healthcare Scenarios
机译:
正式验证医疗情景中的人机互动
作者:
Livia Lestingi
;
Mehrnoosh Askarpour
;
Marcello M. Bersani
;
Matteo Rossi
会议名称:
《International conference on software engineering and formal methods》
|
2020年
关键词:
Human-robot interaction;
Service robots;
Healthcare robotics;
Model-driven approach;
Statistical Model Checking;
77.
Preface
机译:
前言
作者:
Robert M. Hierons
;
Mercedes G. Merayo
;
Mario Bravetti
会议名称:
《International conference on software engineering and formal methods》
|
2013年
78.
Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems
机译:
基于OSEK / VDX的操作系统的约束规范和测试生成
作者:
Yunja Choi
会议名称:
《International conference on software engineering and formal methods》
|
2013年
79.
Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting
机译:
事务设置中隐式连接同步的组成静态分析
作者:
Thi Mai Thuong Tran
;
Martin Steffen
;
Hoang Truong
会议名称:
《International conference on software engineering and formal methods》
|
2013年
80.
Sound Symbolic Linking in the Presence of Preprocessing
机译:
在预处理存在下的声音符号链接
作者:
Gijs Vanspauwen
;
Bart Jacobs
会议名称:
《International conference on software engineering and formal methods》
|
2013年
关键词:
modular program verification;
verification of C programs;
C preprocessor;
81.
Model Checking of Security-Critical Applications in a Model-Driven Approach
机译:
模型检查模型驱动方法中的安全关键应用
作者:
Marian Borek
;
Nina Moebius
;
Kurt Stenzel
;
Wolfgang Reif
会议名称:
《International conference on software engineering and formal methods》
|
2013年
82.
Early Fault Detection in DSLs Using SMT Solving and Automated Debugging
机译:
使用SMT求解和自动调试的DSL中的早期故障检测
作者:
Sarmen Keshishzadeh
;
Arjan J. Mooij
;
Mohammad Reza Mousavi
会议名称:
《International conference on software engineering and formal methods》
|
2013年
关键词:
Early Fault Detection;
Formal Verification;
Domain Spe-cific Language (DSL);
Satisfiability Modulo Theories (SMT);
Delta Debugging;
83.
Static Detection of Implementation Errors Using Formal Code Specification
机译:
使用正式代码规范静态检测实现错误
作者:
Iman Saleh
;
Gregory Kulczycki
;
M. Brian Blake
;
Yi Wei
会议名称:
《International conference on software engineering and formal methods》
|
2013年
关键词:
Formal Methods;
Mutation Testing;
Experimentation;
84.
A Type System for Components
机译:
组件类型系统
作者:
Ornela Dardha
;
Elena Giachino
;
Michaeel Lienhardt
会议名称:
《International conference on software engineering and formal methods》
|
2013年
85.
From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models
机译:
从提取逻辑规范到扣除基于扣除的要求模型
作者:
Radoslaw Klimek
会议名称:
《International conference on software engineering and formal methods》
|
2013年
关键词:
requirements engineering;
formal verification;
deductive rea-soning;
use case diagrams;
use case scenarios;
activity diagrams;
workflows patterns;
temporal logic;
logical specifications;
semantic tableaux method;
86.
A Tool for Behaviour-Based Discovery of Approximately Matching Web Services
机译:
一种基于行为的基于行为的方法,对大致匹配的Web服务
作者:
Mahdi Sargolzaei
;
Francesco Santini
;
Farhad Arbab
;
Hamideh Afsarmanesh
会议名称:
《International conference on software engineering and formal methods》
|
2013年
87.
Program Transformation Based on Symbolic Execution and Deduction*
机译:
基于符号执行和扣除的程序转换*
作者:
Ran Ji
;
Reiner Haehnle
;
Richard Bubel
会议名称:
《International conference on software engineering and formal methods》
|
2013年
88.
A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP
机译:
验证协议,以实现CSP中的多路同步和交织
作者:
Marcel Vinicius Medeiros Oliveira
;
Ivan Soares De Medeiros Junior
;
Jim Woodcock
会议名称:
《International conference on software engineering and formal methods》
|
2013年
关键词:
concurrency;
multi-synchronisation;
compilation;
protocols;
89.
Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning
机译:
自动化介质综合:组合行为和本体理论推理
作者:
Amel Bennaceur
;
Chris Chilton
;
Malte Isberner
;
Bengt Jonsson
会议名称:
《International conference on software engineering and formal methods》
|
2013年
关键词:
mediator synthesis;
quotient;
ontology;
deadlock-freeness;
90.
{log} as a Test Case Generator for the Test Template Framework
机译:
{log}作为测试模板框架的测试用例生成器
作者:
Maximiliano Cristia
;
Gianfranco Rossi
;
Claudia Frydman
会议名称:
《International conference on software engineering and formal methods》
|
2013年
91.
Real-Time Migration Properties of rTiMo Verified in Uppaal
机译:
UPPAAL验证的RTIMO的实时迁移属性
作者:
Bogdan Aman
;
Gabriel Ciobanu
会议名称:
《International conference on software engineering and formal methods》
|
2013年
92.
A Transformation Approach for Multiform Time Requirements
机译:
多种时代要求的转化方法
作者:
Nadia Menad
;
Philippe Dhaussy
会议名称:
《International conference on software engineering and formal methods》
|
2013年
关键词:
Formal verification;
model-checking;
CCSL time constraints;
observer automata;
93.
Inferring Physical Units in B Models
机译:
推断B型号的物理单位
作者:
Sebastian Krings
;
Michael Leuschel
会议名称:
《International conference on software engineering and formal methods》
|
2013年
关键词:
B-Method;
Event-B;
Physical Units;
Model Checking;
Ab-stract Interpretation;
94.
Lifting Verification Results for Preemption Statements
机译:
提升抢占声明的验证结果
作者:
Manuel Gesell
;
Andreas Morgenstern
;
Klaus Schneider
会议名称:
《International conference on software engineering and formal methods》
|
2013年
95.
Zero Overhead Runtime Monitoring
机译:
零开销运行时监控
作者:
Daniel Wonisch
;
Alexander Schremmer
;
Heike Wehrheim
会议名称:
《International conference on software engineering and formal methods》
|
2013年
96.
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL
机译:
使用UPPAAL验证Marte / CCSL模式行为
作者:
Jagadish Suryadevara
;
Cristina Seceleanu
;
Frederic Mallet
;
Paul Pettersson
会议名称:
《International conference on software engineering and formal methods》
|
2013年
关键词:
MARTE;
CCSL;
Modes;
Verification;
Model-checking;
UPPAAL;
97.
Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure
机译:
基于边缘传递关闭的不变性曲线图变换规则级验证
作者:
Christian Percebois
;
Martin Strecker
;
Hanh Nhi Tran
会议名称:
《International conference on software engineering and formal methods》
|
2013年
关键词:
graph transformations;
verification;
formal methods;
tran-sitive closure;
global property;
98.
Run-Time Verification of Coboxes
机译:
coboxes的运行时间验证
作者:
Frank S. de Boer
;
Stijn de Gouw
;
Peter Y. H. Wong
会议名称:
《International conference on software engineering and formal methods》
|
2013年
99.
Preface
机译:
前言
作者:
Antonio Cerone
;
Donatella Persico
;
Sara Fernandes
;
Alexeis Garcia-Perez
;
Panagiotis Katsaros
;
Siraj Ahmed Shaikh
;
Ioannis Stamelos
会议名称:
《International conference on software engineering and formal methods》
|
2014年
100.
Modelling and Knowledge Management for Sustainable Development
机译:
可持续发展的建模与知识管理
作者:
Antonio Cerone
;
Alexeis Garcia-Perez
会议名称:
《International conference on software engineering and formal methods》
|
2014年
意见反馈
回到顶部
回到首页