首页>外文会议>International symposium on leveraging applications of formal method, verification and validation

International symposium on leveraging applications of formal method, verification and validation

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Towards a Unified View of Modeling and Programming (Track Summary)

机译：迈向建模和编程的统一视图（跟踪摘要）
- 作者：Manfred Broy;Klaus Havelund;Rahul Kumar;Bernhard Steffen
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
2.Programming is contained in Modeling is contained in Engineering

机译：编程包含在建模中包含在工程学中
- 作者：Bran Selic
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
- Model-based engineering;
- Software engineering methodology;
- Modeling languages;
3.On a Unified View of Modeling and Programming Position Paper

机译：关于建模和编程立场文件的统一观点
- 作者：Ed Seidewitz
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
- Programming languages;
- Modeling languages;
- UML;
- fUML;
- Alf;
- Action language;
- Modeling tools;
4.On the Feasibility of a Unified Modelling and Programming Paradigm

机译：关于统一建模和编程范例的可行性
- 作者：Anne E. Haxthausen;Jan Peleska
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
5.Modeling Meets Programming: A Comparative Study in Model Driven Engineering Action Languages

机译：建模遇上编程：模型驱动工程动作语言的比较研究
- 作者：Maged Elaasar;Omar Badreddin
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
- Modeling;
- Programming;
- UML;
- ALF;
- Umple;
- Model Driven Engineering;
- Action language;
6.Abstractions for Modeling Complex Systems

机译：复杂系统建模的抽象
- 作者：Zsolt Lattmann;Tamas Kecskes;Patrik Meijer;Gabor Karsai;Peter Voelgyesi;Akos Ledeczi
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
- Model;
- Metamodel;
- DSML;
- Inheritance;
7.Specifying and Verifying Advanced Control Features

机译：指定和验证高级控制功能
- 作者：Gary T. Leavens;David Naumann;Hridesh Rajan;Tomoyuki Aotani
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
- Greybox specification;
- Modular verification;
- JML language;
8.Simplifying OMG MOF-Based Metamodeling

机译：简化基于OMG MOF的元建模
- 作者：Nicolas F. Rouquette
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
9.Modelling and Testing of Real Systems

机译：真实系统的建模和测试
- 作者：Andreas Prinz;Birger Moller-Pedersen;Joachim Fischer
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
10.Unifying Modelling and Programming: A Systems Biology Perspective

机译：统一建模与编程：系统生物学的视角
- 作者：Hillel Kugler
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
11.Formally Unifying Modeling and Design for Embedded Systems - A Personal View

机译：正式统一嵌入式系统的建模和设计-个人观点
- 作者：G. Berry
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
12.Interactive Model-Based Compilation Continued - Incremental Hardware Synthesis for SCCharts

机译：继续基于交互式模型的编译-SCCharts的增量硬件综合
- 作者：Francesca Rybicki;Steven Smyth;Christian Motika;Alexander Schulz-Rosengarten;Reinhard von Hanxleden
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
13.Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design

机译：迈向网络物理系统设计的语义集成模型和工具
- 作者：Peter Gorm Larsen;John Fitzgerald;Jim Woodcock;Rene Nilsson;Carl Gamble;Simon Foster
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
14.Merging Modeling and Programming Using Umple

机译：使用Umple合并建模和编程
- 作者：Timothy C. Lethbridge;Vahdat Abdelzad;Mahmoud Husseini Orabi;Ahmed Husseini Orabi;Opeyemi Adesina
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
- Modeling;
- Programming languages;
- Duality;
- State machines;
- Associations;
15.Systems Modeling and Programming in a Unified Environment Based on Julia

机译：基于Julia的统一环境中的系统建模和编程
- 作者：Hilding Elmqvist;Toivo Henningsson;Martin Otter
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
- Modelica;
- Julia;
- Modeling;
- Simulation;
16.Meta-Level Reuse for Mastering Domain Specialization

机译：元级重用，用于掌握领域专业化
- 作者：Stefan Naujokat;Johannes Neubauer;Tiziana Margaria;Bernhard Steffen
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
- Simplicity;
- tool specification;
- Full code generation;
- Metamodeling;
- Domain-specific tools;
- Hierarchy;
- Service-orientation;
- Modularity;
17.Towards a Unified View of Modeling and Programming

机译：走向建模和编程的统一视图
- 作者：Manfred Broy;Klaus Havelund;Rahul Kumar
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
18.Formal Methods and Safety Certification: Challenges in the Railways Domain

机译：正式方法和安全认证：铁路领域的挑战
- 作者：Alessandro Fantechi;Alessio Ferrari;Stefania Gnesi
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
19.On the Use of Static Checking in the Verification of Interlocking Systems

机译：静态检查在联锁系统验证中的应用
- 作者：Anne E. Haxthausen;Peter H. Ostergaard
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
20.Compositional Verification of Multi-station Interlocking Systems

机译：多工位联锁系统的组成验证
- 作者：Hugo D. Macedo;Alessandro Fantechi;Anne E. Haxthausen
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
21.OnTrack: The Railway Verification Toolset Extended Abstract

机译：OnTrack：铁路验证工具集扩展摘要
- 作者：Phillip James;Faron Moller;Hoang Nga Nguyen;Markus Roggenbach;Helen Treharne;Xu Wang
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
22.Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System

机译：CBTC系统的避免死锁算法的形式化建模实验
- 作者：Franco Mazzanti;Alessio Ferrari;Giorgio O. Spagnolo
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
- Model checking;
- Formal design;
- NuSMV;
- SPIN;
- UMC;
- mCRL2;
- Comparison of model checkers;
- CBTC;
- Deadlock avoidance;
- Railways;
23.Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach

机译：调整铁路领域的能耗策略：基于模型的方法
- 作者：Davide Basile;Felicita Di Giandomenico;Stefania Gnesi
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
24.Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction)

机译：运行时验证和执行，（工业）应用程序透视图（跟踪介绍）
- 作者：Ezio Bartocci;Ylies Falcone
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
25.What Is a Trace? A Runtime Verification Perspective

机译：什么是痕迹？运行时验证的观点
- 作者：Giles Reger;Klaus Havelund
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
26.Execution Trace Analysis Using LTL-FO~+

机译：使用LTL-FO〜+的执行跟踪分析
- 作者：Raphaeel Khoury;Sylvain Halle;Omar Waldmann
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
27.Challenges in Fault-Tolerant Distributed Runtime Verification

机译：容错分布式运行时验证中的挑战
- 作者：Borzoo Bonakdarpour;Pierre Fraigniaud;Sergio Rajsbaum;Corentin Travers
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
28.The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems

机译：HARMONIA项目：汽车系统级系统的硬件监视
- 作者：Thang Nguyen;Ezio Bartocci;Dejan Nickovic;Radu Grosu;Stefan Jaksic;Konstantin Selyunin
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
29.Runtime Verification for Interconnected Medical Devices

机译：互连医疗设备的运行时验证
- 作者：Martin Leucker;Malte Schmitz;Danilo a Tellinghusen
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
30.Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions

机译：工业系统回归问题的动态分析：挑战与解决方案
- 作者：Fabrizio Pastore;Leonardo Mariani
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
31.Towards a Logic for Inferring Properties of Event Streams

机译：走向推理事件流属性的逻辑
- 作者：Sean Kauffman;Rajeev Joshi;Klaus Havelund
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
32.Runtime Verification for Stream Processing Applications

机译：流处理应用程序的运行时验证
- 作者：Christian Colombo;Gordon J. Pace;Luke Camilleri;Claire Dimech;Reuben Farrugia;Jean Paul Grech;Alessio Magro;Andrew C. Sammut;Kristian Zarb Adami
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
33.On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks

机译：在线社交网络中不断发展的隐私策略的运行时执行
- 作者：Gordon J. Pace;Raul Pardo;Gerardo Schneider
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
34.On the Specification and Enforcement of Privacy-Preserving Contractual Agreements

机译：关于隐私保护合同协议的规范和执行
- 作者：Gerardo Schneider
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
35.Introduction to the Track on Variability Modeling for Scalable Software Evolution

机译：用于可扩展软件演进的可变性模型的介绍
- 作者：Ferruccio Damiani;Christoph Seidl;Ingrid Chieh Yu
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
36.Towards Incremental Validation of Railway Systems

机译：逐步验证铁路系统
- 作者：Reiner Haehnle;Radu Muschevici
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
37.Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners

机译：建模和优化汽车电气/电子（E / E）架构：致力于使从业人员容易接近Clafer
- 作者：Eldar Khalilov;Jordan Ross;Michal Antkiewicz;Markus Voelter;Krzysztof Czarnecki
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
- Architecture;
- Modeling;
- Optimization;
- Synthesis;
- Language engineering;
- Domain-specific language;
- DSL;
- Clafer;
- Meta-programming system;
- MPS;
38.Variability-Based Design of Services for Smart Transportation Systems

机译：基于可变性的智能交通系统服务设计
- 作者：Maurice H. ter Beek;Alessandro Fantechi;Stefania Gnesi;Laura Semini
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
39.Comparing AWS Deployments Using Model-Based Predictions

机译：使用基于模型的预测比较AWS部署
- 作者：Einar Broch Johnsen;Jia-Chun Lin;Ingrid Chieh Yu
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
40.A Toolchain for Delta-Oriented Modeling of Software Product Lines

机译：用于面向Delta的软件产品线建模的工具链
- 作者：Cristina Chesta;Ferruccio Damiani;Liudmila Dobriakova;Marco Guernieri;Simone Martini;Michael Nieke;Vitor Rodrigues;Sven Schuster
- 会议名称：《》 | 2016年
- Software Product Lines;
- Delta modeling;
- Model-driven engineering;
- Statecharts;
41.A Technology-Neutral Role-Based Collaboration Model for Software Ecosystems

机译：软件生态系统的基于技术的中立基于角色的协作模型
- 作者：Stefan Stanciulescu;Daniela Rabiser;Christoph Seidl
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
- Software ecosystem;
- Collaboration;
- Role modeling Marlin;
42.Adaptable Runtime Monitoring for the Java Virtual Machine

机译：Java虚拟机的自适应运行时监视
- 作者：Andrea Rosa;Yudi Zheng;Haiyang Sun;Omar Javed;Walter Binder
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
- Runtime monitoring;
- Runtime adaptation;
- Bytecode optimization;
- Bytecode instrumentation;
- Partial evaluation;
- Java Virtual Machine;
43.Identifying Variability in Object-Oriented Code Using Model-Based Code Mining

机译：使用基于模型的代码挖掘识别面向对象代码中的可变性
- 作者：David Wille;Michael Tiede;Sandro Schulze;Christoph Seidl;Ina Schaefer
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
44.User Profiles for Context-Aware Reconfiguration in Software Product Lines

机译：软件产品线中用于上下文感知重新配置的用户配置文件
- 作者：Michael Nieke;Jacopo Mauro;Christoph Seidl;Ingrid Chieh Yu
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
- Dynamic Software Product Line;
- User profiles;
- Preferences;
- Reconfiguration;
- Context-awareness;
45.Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking

机译：重构面向Delta的产品线以实施有效的类型检查准则
- 作者：Ferruccio Damiani;Michael Lienhardt
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
46.Detecting and Understanding Software Doping - Track Introduction

机译：检测和了解软件掺杂-跟踪介绍
- 作者：Christel Baier;Holger Hermanns
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
47.Facets of Software Doping

机译：软件掺杂方面
- 作者：Gilles Barthe;Pedro R. DArgenio;Bernd Finkbeiner;Holger Hermanns
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
48.Software that Meets Its Intent

机译：符合其意图的软件
- 作者：Marieke Huisman;Herbert Bos;Sjaak Brinkkemper;Arie van Deursen;Jan Priso Groote;Patricia Lago;Jaco van de Pol;Eelco Visser
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
49.Compliance, Functional Safety and Fault Detection by Formal Methods

机译：法规遵从性，功能安全性和故障检测
- 作者：Christof Fetzer;Christoph Weidenbach;Patrick Wischnewski
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
50.What the Hack Is Wrong with Software Doping?

机译：软件掺杂有什么问题？
- 作者：Kevin Baum
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
51.Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems: Special Track at ISoLA 2016

机译：学习系统：软件产品中的机器学习和基于学习的软件系统分析：在ISoLA 2016上的专题
- 作者：Falk Howar;Karl Meinke;Andreas Rausch
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
52.ALEX: Mixed-Mode Learning of Web Applications at Ease

机译：ALEX：轻松学习Web应用程序的混合模式
- 作者：Alexander Bainczyk;Alexander Schieweck;Malte Isberner;Tiziana Margaria;Johannes Neubauer;Bernhard Steffen
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
- Active automata learning;
- Mixed-mode learning;
- Specification mining;
- Web services;
- Web applications;
53.Assuring the Safety of Advanced Driver Assistance Systems Through a Combination of Simulation and Runtime Monitoring

机译：通过仿真和运行时监控相结合来确保高级驾驶员辅助系统的安全
- 作者：Malte Mauritz;Falk Howar;Andreas Rausch
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
- Advanced driver assistance systems;
- Lane change assistant;
- Simulation-based testing;
- Runtime verification;
54.Enhancement of an Adaptive HEV Operating Strategy Using Machine Learning Algorithms

机译：使用机器学习算法增强自适应HEV操作策略
- 作者：Mark Schudeleit;Meng Zhang;Xiaofei Qi;Ferit Kuecuekay;Andreas Rausch
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
55.Testing the Internet of Things

机译：测试物联网
- 作者：Michael Felderer;Ina Schieferdecker
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
56.Data Science Challenges to Improve Quality Assurance of Internet of Things Applications

机译：数据科学挑战，以提高物联网应用程序的质量保证
- 作者：Harald Foidl;Michael Felderer
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
- Software quality assurance;
- Software testing;
- Internet of Things;
- Data science;
- Process mining;
- Software quality engineering;
57.Model-Based Testing as a Service for IoT Platforms

机译：物联网平台的基于模型的测试即服务
- 作者：Abbas Ahmad;Fabrice Bouquet;Elizabeta Fourneret;Franck Le Gall;Bruno Legeard
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
- Model Based Testing;
- Testing As A Service;
- Internet of Things;
- Standard compliance;
58.ISoLA Doctoral Symposium

机译：ISoLA博士研讨会
- 作者：Anna-Lena Lamprecht
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
59.Handling Domain Knowledge in Formal Design Models: An Ontology Based Approach

机译：在形式化设计模型中处理领域知识：基于本体的方法
- 作者：Kahina Hacid
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
60.A Retrospective of the Past Four Years with Industry 4.0

机译：过去四年工业4.0回顾
- 作者：Axel Hessenkaemper
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
61.Effective and Efficient Customization Through Lean Trans-Departmental Configuration

机译：通过精益跨部门配置进行有效，高效的定制
- 作者：Barbara Steffen;Steve Bosselmann;Axel Hessenkaemper
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
62.A Fully Model-Based Approach to Software Development for Industrial Centrifuges

机译：一种基于模型的工业离心机软件开发方法
- 作者：Nils Wortmann;Malte Michel;Stefan Naujokat
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
- Industrial automation;
- Model-based development;
- Domain-specific languages;
- Full code generation;
63.RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification

机译：RERS 2016：并行和顺序基准测试，重点是LTL验证
- 作者：Maren Geske;Marc Jasper;Bernhard Steffen;Falk Howar;Markus Schordan;Jaco van de Pol
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
64.Introduction

机译：介绍
- 作者：Kerkyra Corfu;John Hatcliff;Tiziana Margaria;Robby;Bernhard Steffen
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
65.DIME: A Programming-Less Modeling Environment for Web Applications

机译：DIME：Web应用程序的一种无需编程的建模环境
- 作者：Steve Bosselmann;Markus Frohme;Dawid Kopetzki;Michael Lybecait;Stefan Naujokat;Johannes Neubauer;Dominic Wirkner;Philip Zweihoff;Bernhard Steffen
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
66.Verification Techniques for Hybrid Systems

机译：混合系统的验证技术
- 作者：Pavithra Prabhakar
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
67.On the Power of Statistical Model Checking

机译：论统计模型检查的力量
- 作者：Kim G. Larsen;Axel Legay
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年
68.Preface

机译：前言
- 作者：Tiziana Margaria;Bernhard Steffen
- 会议名称：《International symposium on leveraging applications of formal method, verification and validation》 | 2016年