首页>外文会议>其他>Joint European Conferences on Theory and Practice of Software

Joint European Conferences on Theory and Practice of Software

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.The Polyhedral Model Is More Widely Applicable Than You Think

机译：多面体模型比你想象的更广泛
- 作者：Mohamed-Walid Benabderrahmane;Louis-Noel Pouchet;Albert Cohen;Cedric Bastoul
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2010年
2.Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs

机译：使用所有权在面向对象程序中的内在并行性
- 作者：Andrew Craik;Wayne Kelly
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2010年
3.The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations

机译：热门路径SSA形式：扩展静态单分配表格以进行投机优化
- 作者：Subhajit Roy;Y. N. Srikant
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2010年
4.RBAC-PAT: A Policy Analysis Tool for Role Based Access Control

机译：RBAC-PAT：基于角色的访问控制的策略分析工具
- 作者：Mikhail I. Gofman;Ruiqi Luo;Ayla C. Solomon;Yingbin Zhang;Ping Yang;Scott D. Stoller
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
5.ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets

机译：ITPN-Perfbound：间隔时间Petri网的性能绑定工具
- 作者：Elina Pacini Naumovich;Simona Bernardi;Marco Gribaudo
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
6.Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches

机译：罗密欧：带有秒表的Petri网的参数模型检查器
- 作者：Didier Lime;Olivier H. Roux;Charlotte Seidner;Louis-Marie Traonouez
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
- Time Petri nets;
- Model-checking;
- Stopwatches;
- Parameters;
- TCTL;
- Tool;
7.Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays

机译：Boolector：用于位向载体和阵列的高效SMT求解器
- 作者：Robert Brummayer;Armin Biere
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
8.MOONWALKER: Verification of .NET Programs

机译：MoonWalker：.NET程序验证
- 作者：Niels H. M. Aan de Brugh;Viet Yen Nguyen;Theo C. Ruys
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
9.Alpaga: A Tool for Solving Parity Games with Imperfect Information

机译：ALPAGA：使用不完美信息解决奇偶校验游戏的工具
- 作者：Dietmar Berwanger;Krishnendu Chatterjee;Martin De Wulf;Laurent Doyen;Thomas A. Henzinger
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
10.TaPAS: The Talence Presburger Arithmetic Suite

机译：Tapas：Talence Presburger算术套件
- 作者：Jerome Leroux;Gerald Point
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
11.The YOGI Project: Software Property Checking via Static Analysis and Testing

机译：Yogi项目：通过静态分析和测试检查软件性能检查
- 作者：Aditya V. Nori;Sriram K. Rajamani;SaiDeep Tetali;Aditya V. Thakur
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
12.Bridging the Gap Between Model-Based Development and Model Checking

机译：桥接基于模型的开发与模型检查之间的差距
- 作者：Steven P. Miller
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
13.On the Completeness of Dynamic Logic

机译：关于动态逻辑的完整性
- 作者：Daniel Leivant
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
- Dynamic logic;
- Inductive completeness;
- Relative completeness;
- Arithmetical completeness;
14.Facets of Synthesis: Revisiting Church's Problem

机译：综合的刻面：重新审视教会的问题
- 作者：Wolfgang Thomas
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
15.Memoised Garbage Collection for Software Model Checking

机译：用于软件模型检查的回忆垃圾收集
- 作者：Viet Yen Nguyen;Theo C. Ruys
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
16.All-Termination(T)

机译：全终止（T）
- 作者：Panagiotis Manolios;Aaron Turon
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
17.Minimization Algorithm for Symbolic Bisimilarity

机译：最小化符号BISIMILUTING的算法
- 作者：Filippo Bonchi;Ugo Montanari
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
18.An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees

机译：一种求解树木Dyck-CFL可达性问题的有效算法
- 作者：Hao Yuan;Patrick Eugster
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
19.Transition-Based Directed Model Checking

机译：基于转换的定向模型检查
- 作者：Martin Wehrle;Sebastian Kupferschmid;Andreas Podelski
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
20.Learning Minimal Separating DFA's for Compositional Verification

机译：学习最小分离DFA用于组建验证
- 作者：Yu-Fang Chen;Azadeh Farzan;Edmund M. Clarke;Yih-Kuen Tsay;Bow-Yaw Wang
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
21.Bisimulation for Demonic Schedulers

机译：恶魔调度员的分析
- 作者：Konstantinos Chatzikokolakis;Gethin Norman;David Parker
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
22.Deny-Guarantee Reasoning

机译：拒绝保证推理
- 作者：Mike Dodds;Xinyu Feng;Matthew Parkinson;Viktor Vafeiadis
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
23.On the Foundations of Quantitative Information Flow

机译：关于定量信息流的基础
- 作者：Geoffrey Smith
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
24.Coalgebraic Hybrid Logic

机译：煤炭混合逻辑
- 作者：Rob Myers;Dirk Pattinson;Lutz Schroder
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
25.Parameter Reduction in Grammar-Compressed Trees

机译：参数减少语法压缩树
- 作者：Markus Lohrey;Sebastian Maneth;Manfred Schmidt-Schauss
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
26.Verifying Reference Counting Implementations

机译：验证参考计数实现
- 作者：Michael Emmi;Ranjit Jhala;Eddie Kohler;Rupak Majumdar
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
27.Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services

机译：TISA：Web服务中的时间策略语言设计和模块化验证技术
- 作者：Hridesh Rajan;Jia Tao;Steve Shaner;Gary T. Leavens
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
28.Handlers of Algebraic Effects

机译：代数效应的处理者
- 作者：Gordon Plotkin;Matija Pretnar
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
29.Type-Based Automated Verification of Authenticity in Cryptographic Protocols

机译：基于类型的加密协议中真实性的自动验证
- 作者：Daisuke Kikuchi;Naoki Kobayashi
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
30.Delayed Nondeterminism in Continuous-Time Markov Decision Processes

机译：在连续时间马尔可夫决策过程中延迟非季度主义
- 作者：Martin R. Neuhausser;Marielle Stoelinga;Joost-Pieter Katoen
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
31.Realizability of Concurrent Recursive Programs

机译：并发递归程序的可实现性
- 作者：Benedikt Bollig;Manuela-Lidia Grindei;Peter Habermehl
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
32.Path Feasibility Analysis for String-Manipulating Programs

机译：字符串操纵程序的路径可行性分析
- 作者：Nikolaj Bjorner;Nikolai Tillmann;Andrei Voronkov
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
33.Cryptographic Protocol Composition via the Authentication Tests

机译：通过身份验证测试加密协议组成
- 作者：Joshua D. Guttman
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
34.Static Analysis Techniques for Parameterised Boolean Equation Systems

机译：参数化布尔方程系统的静态分析技术
- 作者：Simona Orzan;Wieger Wesselink;Tim A. C. Willemse
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
35.Symbolic String Verification: Combining String Analysis and Size Analysis

机译：符号字符串验证：组合字符串分析和大小分析
- 作者：Fang Yu;Tevfik Bultan;Oscar H. Ibarra
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
36.Modular Monad Transformers

机译：模块化的Monad变压器
- 作者：Mauro Jaskelioff
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
37.Inferring Synchronization under Limited Observability

机译：在有限的可观察性下推断同步
- 作者：Martin Vechev;Eran Yahav;Greta Yorsh
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
38.A Basis for Verifying Multi-threaded Programs

机译：验证多线程程序的基础
- 作者：K. Rustan M. Leino;Peter Muller
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
39.Compositional Predicate Abstraction from Game Semantics

机译：游戏语义的组成谓词抽象
- 作者：Adam Bakewell;Dan R. Ghica
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
40.Minimal Cost Reachability/Coverability in Priced Timed Petri Nets

机译：最小的成本可达性/价格定时培养网的持续性
- 作者：Parosh Aziz Abdulla;Richard Mayr
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
41.Practical Variable-Arity Polymorphism

机译：实际变量 - arity多态性
- 作者：T. Stephen Strickland;Sam Tobin-Hochstadt;Matthias Felleisen
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
42.Full Abstraction for Reduced ML

机译：减少ml的全抽象
- 作者：Andrzej S. Murawski;Nikos Tzevelekos
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
43.Satisfiability Procedures for Combination of Theories Sharing Integer Offsets

机译：用于分享整数偏移的理论组合的可靠性程序
- 作者：Enrica Nicolini;Christophe Ringeissen;Michael Rusinowitch
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
44.Conversation Types

机译：谈话类型
- 作者：Luis Caires;Hugo Torres Vieira
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
45.Hierarchical Set Decision Diagrams and Regular Models

机译：分层设置决策图和常规模型
- 作者：Yann Thierry-Mieg;Denis Poitrenaud;Alexandre Hamez;Fabrice Kordon
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
46.Synthesis from Component Libraries

机译：组分库的合成
- 作者：Yoad Lustig;Moshe Y. Vardi
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
47.Lower Bounds on Witnesses for Nonemptiness of Universal Co-Buchi Automata

机译：通用CO-BUCHI自动机的非记录证人的下限
- 作者：Orna Kupferman;Nir Piterman
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
48.A Kleene Theorem for Polynomial Coalgebras

机译：多项式煤层的Kleene定理
- 作者：Marcello Bonsangue;Jan Rutten;Alexandra Silva
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
49.Specification Mining with Few False Positives

机译：规格挖掘少量误报
- 作者：Claire Le Goues;Westley Weimer
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
50.A Description of Iterative Reflections of Monads

机译：Monads迭代反射的描述
- 作者：Jiri Adamek;Stefan Milius;Jiri Velebil
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
51.Dependency Tree Automata

机译：依赖树自动机
- 作者：Colin Stirling
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
- Tree automata;
- Binding terms;
- Typed lambda calculus;
52.A Theory of Non-monotone Memory (Or: Contexts for free)

机译：非单调记忆理论（或：免费上下文）
- 作者：Eijiro Sumii
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
53.SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs

机译：Singletrack：多线程程序的动态确定性检查器
- 作者：Caitlin Sadowski;Stephen N. Freund;Cormac Flanagan
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
54.Formalising and Verifying Reference Attribute Grammars in Coq

机译：COQ中的正式和验证参考属性语法
- 作者：Max Schafer;Torbjorn Ekman;Oege de Moor
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
55.Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types

机译：参数化多态性，一般参考和递归类型的可实现性语义
- 作者：Lars Birkedal;Kristian Stovring;Jacob Thamsborg
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
56.Logics and Bisimulation Games for Concurrency, Causality and Conflict

机译：逻辑和分发游戏，并发，因果关系和冲突
- 作者：Julian Gutierrez
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
- Modal and temporal logics;
- Bisimulation games;
- Behavioural equivalences;
- Concurrent and reactive systems;
- Petri nets;
57.Beyond Shapes: Lists with Ordered Data

机译：超越形状：列出有序数据
- 作者：Kshitij Bansal;Remi Brochenin;Etienne Lozes
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
58.Parametric Trace Slicing and Monitoring

机译：参数跟踪切片和监控
- 作者：Feng Chen;Grigore Rosu
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
59.Abstraction for Concurrent Objects

机译：并发对象的抽象
- 作者：Ivana Filipovic;Peter OHearn;Noam Rinetzky;Hongseok Yang
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
60.Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains

机译：具有无限下降链的重量域的移植态数据流分析
- 作者：Morten Kuhnrich;Stefan Schwoon;Jiri Srba;Stefan Kiefer
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
61.Automatic Parallelization with Separation Logic

机译：自动并行化与分离逻辑
- 作者：Mohammad Raza;Cristiano Calcagno;Philippa Gardner
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
62.Reactive Systems, Barbed Semantics, and the Mobile Ambients

机译：反应系统，刺刺字和移动式设施
- 作者：Filippo Bonchi;Fabio Gadducci;Giacoma Valentina Monreale
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
63.Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming

机译：用更高阶键入功能编程中的粘合剂解决归纳定义
- 作者：Matthew R. Lakin;Andrew M. Pitts
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
64.Hierarchical Adaptive State Space Caching Based on Level Sampling

机译：基于级别采样的分层自适应状态空间缓存
- 作者：Radu Mateescu;Anton Wijs
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
65.On Global Model Checking Trees Generated by Higher-Order Recursion Schemes

机译：在全球模型检查高阶递归方案生成的树木
- 作者：Christopher Broadbent;Luke Ong
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
- Recursion Scheme;
- Model Checking;
- Game Semantics;
- Collapsible Pushdown Automaton;
- Parity Game;
66.Ground Interpolation for the Theory of Equality

机译：平等理论的地面插值
- 作者：Alexander Fuchs;Amit Goel;Jim Grundy;Sava Krstic;Cesare Tinelli
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
67.Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints

机译：通过检测和移除冗余线性约束来计算非凸多面体的优化表示
- 作者：Christoph Scholl;Stefan Disch;Florian Pigorsch;Stefan Kupferschmid
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
68.Normal Bisimulations in Calculi with Passivation

机译：在Calculi的正常Bisimulation与钝化
- 作者：Serguei Lenglet;Alan Schmitt;Jean-Bernard Stefani
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
69.Is Structural Subtyping Useful? An Empirical Study

机译：结构亚型是否有用？实证研究
- 作者：Donna Malayeri;Jonathan Aldrich
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
70.On Omega-Languages Defined by Mean-Payoff Conditions

机译：关于由均衡条件定义的欧米茄语言
- 作者：Rajeev Alur;Aldric Degorre;Oded Maler;Gera Weiss
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
71.Exploring the Design Space of Higher-Order Casts

机译：探索高阶铸造的设计空间
- 作者：Jeremy Siek;Ronald Garcia;Walid Taha
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
72.All Secrets Great and Small

机译：所有秘密都很棒和小
- 作者：Delphine Demange;David Sands
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
73.Amortised Memory Analysis Using the Depth of Data Structures

机译：使用数据结构深度的摊销内存分析
- 作者：Brian Campbell
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
74.An Interval-Based Inference of Variant Parametric Types

机译：基于间隔的变体参数类型推断
- 作者：Florin Craciun;Wei-Ngan Chin;Guanhua He;Shengchao Qin
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
75.Separating Graph Logic from MSO

机译：将图形逻辑分开来自MSO
- 作者：Timos Antonopoulos;Anuj Dawar
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
76.Existential Quantification for Variant Ownership

机译：有源所有权的存在量化
- 作者：Nicholas Cameron;Sophia Drossopoulou
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
77.Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads

机译：具有动态创建线程的并发程序的上下文界分析
- 作者：Mohamed Faouzi Atig;Ahmed Bouajjani;Shaz Qadeer
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
78.The Calculus of Handshake Configurations

机译：握手配置的微积分
- 作者：Luca Fossati;Daniele Varacca
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
- Handshake protocols;
- Petri nets;
- Process calculus;
- Types;
79.Falsification of LTL Safety Properties in Hybrid Systems

机译：混合系统中LTL安全性能的伪造
- 作者：Erion Plaku;Lydia E. Kavraki;Moshe Y. Vardi
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
80.Interrupt Timed Automata

机译：中断定时自动机
- 作者：Beatrice Berard;Serge Haddad
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
- Hybrid automata;
- Timed automata;
- Multi-task systems;
- Interruptions;
- Decidability of reachability;
81.Test Input Generation for Programs with Pointers

机译：使用指针的程序测试输入生成
- 作者：Dries Vanoverberghe;Nikolai Tillmann;Frank Piessens
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
- Test input generation;
- Symbolic execution;
- Pointers;
82.Well-Typed Programs Can't Be Blamed

机译：良好类型的程序不能归咎于
- 作者：Philip Wadler;Robert Bruce Findler
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
83.Iterating Octagons

机译：迭代八角形
- 作者：Marius Bozga;Codruta Girlea;Radu Iosif
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
84.On the Expressive Power of Restriction and Priorities in CCS with Replication

机译：论CCS的限制与优先级与复制的表现力
- 作者：Jesus Aranda;Frank D. Valencia;Cristian Versari
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
85.Abstract Processes in Orchestration Languages

机译：编排语言的抽象进程
- 作者：Maria Grazia Buscemi;Hernan Melgratti
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
86.The Complexity of Predicting Atomicity Violations

机译：预测原子性违规的复杂性
- 作者：Azadeh Farzan;P. Madhusudan
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
87.Buchi Complementation and Size-Change Termination

机译：Buchi互补和尺寸变更终止
- 作者：Seth Fogarty;Moshe Y. Vardi
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
88.Global Principal Typing in Partially Commutative Asynchronous Sessions

机译：全局主体键入部分换向异步会话
- 作者：Dimitris Mostrous;Nobuko Yoshida;Kohei Honda
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
89.From Tests to Proofs

机译：从测试到证明
- 作者：Ashutosh Gupta;Rupak Majumdar;Andrey Rybalchenko
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
90.Computing Weakest Strategies for Safety Games of Imperfect Information

机译：计算不完美信息的安全游戏最薄弱的策略
- 作者：Wouter Kuijper;Jaco van de Pol
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
91.Concurrency, σ-Algebras, and Probabilistic Fairness

机译：并发，σ-代数和概率公平
- 作者：Samy Abbes;Albert Benveniste
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
- Probabilistic Petri nets;
- Probabilistic event structures;
- True-concurrency;
- Probabilistic fairness;
92.Verified, Executable Parsing

机译：验证，可执行解析
- 作者：Aditi Barthwal;Michael Norrish
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
93.Tighter Bounds for the Determinisation of Buchi Automata

机译：Buchi自动机的测定的更严格的界限
- 作者：Sven Schewe
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
94.Semantic Reduction of Thread Interleavings in Concurrent Programs

机译：并发计划中线程交错的语义减少
- 作者：Vineet Kahlon;Sriram Sankaranarayanan;Aarti Gupta
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年
95.Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications

机译：从实时序列图规范中的反应系统组成合成
- 作者：Hillel Kugler;Itai Segall
- 会议名称：《Joint European Conferences on Theory and Practice of Software》 | 2009年