首页>外文会议>其他>International SPIN Symposium on Model Checking Software

International SPIN Symposium on Model Checking Software

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Abstraction-Based Guided Search for Hybrid Systems

机译：基于抽象的混合系统的导游搜索
- 作者：Sergiy Bogomolov;Alexandre Donze;Goran Frehse;Radu Grosu;Taylor T. Johnson;Hamed Ladan;Andreas Podelski;Martin Wehrle
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
2.A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software

机译：一种地图 - 减少自动合成控制软件的并行方法
- 作者：Vadim Alimguzhin;Federico Mari;Igor Melatti;Ivano Salvo;Enrico Tronci
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
3.Expression Reduction from Programs in a Symbolic Binary Executor

机译：从符号二进制执行程序中的程序中的表达减少
- 作者：Anthony Romano;Dawson Engler
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
4.Specification and Validation of Link Reversal Routing via Graph Transformations

机译：通过图形转换的链路反转路由规范和验证
- 作者：Giorgio Delzanno;Riccardo Traverso
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
5.On the Synergy of Probabilistic Causality Computation and Causality Checking

机译：论概率因果关系计算与因果关系的协同作用
- 作者：Florian Leitner-Fischer;Stefan Leue
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
6.Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms

机译：朝着建模与模型检查容错分布式算法
- 作者：Annu John;Igor Konnov;Ulrich Schmid;Helmut Veith;Josef Widder
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
7.Mining Sequential Patterns to Explain Concurrent Counterexamples

机译：挖掘顺序图案来解释并发的反例
- 作者：Stefan Leue;Mitra Tabaei Befrouei
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
- Concurrency bugs;
- Counterexample explanation;
- Sequential pattern mining;
- Model checking;
8.COMPLeTe-A COMmunication Protocol vaLidation Toolchain

机译：完整 - 通信协议验证工具链
- 作者：Sven Groning;Christopher Rosas;Christian Wietfeld
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
- Communication Protocol Validation;
- COMPL_eT_e;
- SPIN;
- UML-Statecharts;
- Electric Mobility;
9.Automatic Equivalence Checking of UF+IA Programs

机译：UF + IA程序的自动等价检查
- 作者：Nuno P. Lopes;Jose Monteiro
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
10.Synthesizing Controllers for Automation Tasks with Performance Guarantees

机译：合成控制器，用于自动化任务，具有性能保证
- 作者：Chih-Hong Cheng;Michael Geisinger;Christian Buckl
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
11.Property-Driven Benchmark Generation

机译：物业驱动的基准生成
- 作者：Bernhard Steffen;Malte Isberner;Stefan Naujokat;Tiziana Margaria;Maren Geske
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
- Benchmark generation;
- LTL synthesis;
- Model checking;
- Property-oriented expansion;
- Path condition extraction;
- Theorem proving;
- SAT solving;
- Code motion;
12.Proving Properties of Concurrent Programs

机译：证明并发计划的属性
- 作者：Gerard J. Holzmann
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
- Software verification;
- Logic model checking;
- Statistical model checking;
- Model extraction;
- Bitstate hashing;
- Swarm verification;
- Multicore;
- Cloud computing;
13.Regression Verification Using Impact Summaries

机译：使用影响摘要验证验证
- 作者：John Backes;Suzette Person;Neha Rungta;Oksana Tkachuk
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
14.Local Model Checking of Weighted CTL with Upper-Bound Constraints

机译：具有上限约束的加权CTL的本地模型检查
- 作者：Jonas Finnemann Jensen;Kim Guldstrand Larsen;Jiri Srba;Lars Kaerlund Oestergaard
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
15.Reuse of Verification Results Conditional Model Checking, Precision Reuse, and Verification Witnesses

机译：重用验证结果条件模型检查，精密再利用和验证证人
- 作者：Dirk Beyer;Philipp Wendler
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
16.Error-Completion in Interface Theories

机译：界面理论中的错误完成
- 作者：Stavros Tripakis;Christos Stergiou;Manfred Broy;Edward A. Lee
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
17.Compositional Approach to Suspension and Other Improvements to LTL Translation

机译：悬浮的组成方法和LTL翻译的其他改进
- 作者：Tomas Babiak;Thomas Badie;Alexandre Duret-Lutz;Mojmir Kretinsky;Jan Strejcek
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
18.Model Checking Unbounded Concurrent Lists

机译：模型检查无限的并发列表
- 作者：Divjyot Sethi;Muralidhar Talupur;Sharad Malik
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
19.Guard-Based Partial-Order Reduction

机译：基于守卫的部分顺序减少
- 作者：Alfons Laarman;Elwin Pater;Jaco van de Pol;Michael Weber
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
20.On-the-Fly Control Software Synthesis

机译：现场控制软件合成
- 作者：Vadim Alimguzhin;Federico Mari;Igor Melatti;Ivano Salvo;Enrico Tronci
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
21.Probabilistic Verification of Coordinated Multi-robot Missions

机译：协调多机器人任务的概率验证
- 作者：Sagar Chaki;Joseph Andrew Giampapa
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
22.Verifying a Quantitative Relaxation of Linearizability via Refinement

机译：通过改进验证定量松弛线性化性
- 作者：Kiran Adhikari;James Street;Chao Wang;Yang Liu;ShaoJie Zhang
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2013年
23.Model Counting for Complex Data Structures

机译：复杂数据结构的模型计数
- 作者：Antonio Filieri;Marcelo F. Frias;Corina S. Pasareanu;Willem Visser
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2015年
- Model counting;
- Probabilistic software analysis;
- Symbolic execution;
24.From HELENA Ensemble Specifications to PROMELA Verification Models

机译：从Helena合奏规范到Promela验证模型
- 作者：Annabelle Klarl
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2015年
25.Symbolic Causality Checking Using Bounded Model Checking

机译：符号因果关系检查使用有限模型检查
- 作者：Adrian Beer;Stephan Heidinger;Uwe Kuhne;Florian Leitner-Fischer;Stefan Leue
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2015年
26.Comparative Analysis of Leakage Tools on Scalable Case Studies

机译：可扩展案例研究中泄漏工具的比较分析
- 作者：Fabrizio Biondi;Axel Legay;Jean Quilbeuf
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2015年
27.Runtime Verification of Expected Energy Consumption in Smartphones

机译：智能手机中预期能耗的运行时间验证
- 作者：Ana Rosario Espada;Maria del Mar Gallardo;Alberto Salmeron;Pedro Merino
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2015年
- Runtime verification;
- Interval logic;
- Energy consumption;
- Analysis of traces;
28.ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems

机译：Astra：一种抽象诠释图形转换系统的工具
- 作者：Peter Backes;Jan Reineke
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2015年
- Abstract interpretation;
- Graph transformation systems;
- Parameterized verification;
- Shape analysis;
- Tools;
29.Fast, Dynamically-Sized Concurrent Hash Table

机译：快速，动态大小的并发哈希表
- 作者：J. Barnat;P. Rockai;V. Still;J. Weiser
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2015年
30.Directed Model Checking for PROMELA with Relaxation-Based Distance Functions

机译：针对基于放松的距离功能检查Promela的定向模型检查
- 作者：Ahmad Siyar Andisha;Martin Wehrle;Bernd Westphal
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2015年
31.MESS: Memory Performance Debugging on Embedded Multi-core Systems

机译：混乱：嵌入式多核系统上的内存性能调试
- 作者：Sudipta Chattopadhyay
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2015年
32.PICKLOCK: A Deadlock Prediction Approach under Nested Locking

机译：拾取：嵌套锁定下的死锁预测方法
- 作者：Francesco Sorrentino
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2015年
33.DSVerifier: A Bounded Model Checking Tool for Digital Systems

机译：DSpreifier：数字系统的有界模型检查工具
- 作者：Hussama I. Ismail;Iury V. Bessa;Lucas C. Cordeiro;Eddie B. de Lima Filho;Joao E. Chaves Filho
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2015年
34.Family-Based Model Checking Without a Family-Based Model Checker

机译：基于家庭的模型检查，没有基于家庭的模型检查器
- 作者：Aleksandar S. Dimovski;Ahmad Salim Al-Sibahi;Claus Brabrand;Andrzej Wasowski
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2015年
35.String Analysis for Vulnerability Detection and Repair

机译：漏洞检测和修复的字符串分析
- 作者：Tevfik Bultan
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2015年
36.Benchmarking and Resource Measurement

机译：基准和资源测量
- 作者：Dirk Beyer;Stefan Lowe;Philipp Wendler
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2015年
37.On Refinement of Buchi Automata for Explicit Model Checking

机译：关于Buchi自动机的改进模型检查
- 作者：Frantisek Blahoudek;Alexandre Duret-Lutz;Vojtech Rujbr;Jan Strejcek
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2015年
38.Practical Stutter-Invariance Checks for ω-Regular Languages

机译：实用的口吃 - 不变性检查ω-常规语言
- 作者：Thibaud Michaud;Alexandre Duret-Lutz
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2015年
39.Parallel SAT-Based Parameterised Three-Valued Model Checking

机译：并行SAT基参数化三值模型检查
- 作者：Nils Timm;Stefan Gruner;Prince Sibanda
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2015年
40.IC-Cut: A Compositional Search Strategy for Dynamic Test Generation

机译：IC-CUT：动态测试生成的组成搜索策略
- 作者：Maria Christakis;Patrice Godefroid
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2015年
41.Refinement Selection

机译：精制选择
- 作者：Dirk Beyer;Stefan Lowe;Philipp Wendler
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2015年
42.Automated Analysis of Asynchronously Communicating Systems

机译：异步通信系统自动分析
- 作者：Lakhdar Akroun;Gwen Salaun;Lina Ye
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2016年
43.Symbolic Game Semantics for Model Checking Program Families

机译：用于模型检查程序系列的符号游戏语义
- 作者：Aleksandar S. Dimovski
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2016年
44.smid: A Black-Box Program Driver

机译：SMID：一个黑匣子程序驱动程序
- 作者：Kareem Khazem;Michael Tautschnig
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2016年
45.Finite-Horizon Bisimulation Minimisation for Probabilistic Systems

机译：概率系统有限地平分等最小化
- 作者：Nishanthan Kamaleson;David Parker;Jonathan E. Rowe
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2016年
46.Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking

机译：基于演员的模型检查的分布式实时传感器网络应用的调度分析
- 作者：Ehsan Khamespanah;Kirill Mechitov;Marjan Sirjani;Gul Agha
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2016年
- Sensor network;
- Schedulability analysis;
- Actor;
- Timed Rebeca;
- Model checking;
47.Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing

机译：旋转用于制造中的离散事件系统的优化调度
- 作者：Stefan Edelkamp;Christoph Greulich
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2016年
48.Compositional Semantics and Analysis of Hierarchical Block Diagrams

机译：分层框图的组成语义与分析
- 作者：Iulia Dragomir;Viorel Preoteasa;Stavros Tripakis
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2016年
49.River Basin Management with SPIN

机译：河流域管理与旋转
- 作者：Maria-del-Mar Gallardo;Pedro Merino;Laura Panizo;Alberto Salmeron
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2016年
50.SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration

机译：Symdivine：控制显式数据符号状态空间探索的工具
- 作者：Jan Mrazek;Petr Bauch;Henrich Lauko;Jiri Barnat
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2016年
51.A Tool Integrating Model Checking into a C Verification Toolset

机译：将模型检查的工具集成到C验证工具集中
- 作者：Subash Shankar;Gilbert Pajela
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2016年
52.On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators

机译：基于扩展的动作的概率运算符的在线模型检查
- 作者：Radu Mateescu;Jose Ignacio Requeno
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2016年
53.Fair Testing and Stubborn Sets

机译：公平测试和顽固的套装
- 作者：Antti Valmari;Walter Vogler
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2016年
- Partial-order methods;
- Fairness;
- Progress;
- Fair testing equivalence;
54.ESBMC~(QtOM): A Bounded Model Checking Tool to Verify Qt Applications

机译：ESBMC〜（QTOM）：一个有界模型检查工具，用于验证QT应用程序
- 作者：Mario Garcia;Felipe Monteiro;Lucas Cordeiro;Eddie de Lima Filho
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2016年
55.Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization

机译：通过离散化的实时策略综合定时 - 弧培养净游戏
- 作者：Peter Gjol Jensen;Kim Guldstrand Larsen;Jiri Srba
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2016年
56.Autonomous Agent Behaviour Modelled in PRISM - A Case Study

机译：在棱镜中建模的自主代理行为 - 以案例研究
- 作者：Ruth Hoffmann;Murray Ireland;Alice Miller;Gethin Norman;Sandor Veres
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2016年
57.Certification for μ-Calculus with Winning Strategies

机译：μ-微积分的认证，获胜策略
- 作者：Martin Hofmann;Christian Neukirchen;Harald Ruess
- 会议名称：《International SPIN Symposium on Model Checking Software》 | 2016年