Filter your results
- 18
- 1
- 18
- 1
- 19
- 19
- 19
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
A Configurable CEGAR Framework with Interpolation-Based Refinements36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.158-174, ⟨10.1007/978-3-319-39570-8_11⟩
Conference papers
hal-01432916v1
|
||
|
|
Developing Honest Java Programs with Diogenes36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.52-61, ⟨10.1007/978-3-319-39570-8_4⟩
Conference papers
hal-01432927v1
|
||
|
|
Playing with Our CAT and Communication-Centric Applications36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.62-73, ⟨10.1007/978-3-319-39570-8_5⟩
Conference papers
hal-01432928v1
|
||
|
|
Formal Techniques for Distributed Objects, Components, and SystemsSpringer, LNCS-9688, 2016, Formal Techniques for Distributed Objects, Components, and Systems, 978-3-319-39569-2. ⟨10.1007/978-3-319-39570-8⟩
Books
hal-01432933v1
|
||
|
|
Ransomware Steals Your Phone. Formal Methods Rescue It36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.212-221, ⟨10.1007/978-3-319-39570-8_14⟩
Conference papers
hal-01432919v1
|
||
|
|
SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.267-274, ⟨10.1007/978-3-319-39570-8_18⟩
Conference papers
hal-01432923v1
|
||
|
|
Fencing Programs with Self-Invalidation and Self-Downgrade36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.19-35, ⟨10.1007/978-3-319-39570-8_2⟩
Conference papers
hal-01432925v1
|
||
|
|
A Theory for the Composition of Concurrent Processes36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.175-194, ⟨10.1007/978-3-319-39570-8_12⟩
Conference papers
hal-01432917v1
|
||
|
|
The Challenge of Typed Expressiveness in Concurrency36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.239-247, ⟨10.1007/978-3-319-39570-8_16⟩
Conference papers
hal-01432921v1
|
||
|
|
Multiparty Session Types Within a Canonical Binary Theory, and Beyond36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.74-95, ⟨10.1007/978-3-319-39570-8_6⟩
Conference papers
hal-01432929v1
|
||
|
|
Branching Bisimulation Games36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.142-157, ⟨10.1007/978-3-319-39570-8_10⟩
Conference papers
hal-01432915v1
|
||
|
|
Choreographies in Practice36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.114-123, ⟨10.1007/978-3-319-39570-8_8⟩
Conference papers
hal-01432931v1
|
||
|
|
Multiple Mutation Testing from FSM36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.222-238, ⟨10.1007/978-3-319-39570-8_15⟩
Conference papers
hal-01432920v1
|
||
|
|
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.124-141, ⟨10.1007/978-3-319-39570-8_9⟩
Conference papers
hal-01432932v1
|
||
|
|
A Framework for Certified Self-Stabilization36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.36-51, ⟨10.1007/978-3-319-39570-8_3⟩
Conference papers
hal-01432926v1
|
||
|
|
On the Power of Attribute-Based Communication36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.1-18, ⟨10.1007/978-3-319-39570-8_1⟩
Conference papers
hal-01432924v1
|
||
|
|
Enforcing Availability in Failure-Aware Communicating Systems36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.195-211, ⟨10.1007/978-3-319-39570-8_13⟩
Conference papers
hal-01432918v1
|
||
|
|
Type-Based Analysis for Session Inference (Extended Abstract)36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.248-266, ⟨10.1007/978-3-319-39570-8_17⟩
Conference papers
hal-01432922v1
|
||
|
|
A Type Theory for Robust Failure Handling in Distributed Systems36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.96-113, ⟨10.1007/978-3-319-39570-8_7⟩
Conference papers
hal-01432930v1
|