Filter your results
- 17
- 1
- 17
- 1
- 18
- 18
- 18
- 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
- 1
- 1
|
|
sorted by
|
|
Model Checking Distributed Systems against Temporal-Epistemic Specifications15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.130-145, ⟨10.1007/978-3-642-38592-6_10⟩
Conference papers
hal-01515241v1
|
||
|
Lintent: Towards Security Type-Checking of Android Applications15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.289-304, ⟨10.1007/978-3-642-38592-6_20⟩
Conference papers
hal-01515252v1
|
||
|
Bounded Model Checking of Graph Transformation Systems via SMT Solving15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.178-192, ⟨10.1007/978-3-642-38592-6_13⟩
Conference papers
hal-01515236v1
|
||
|
Parameterized Verification of Track Topology Aggregation Protocols15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.35-49, ⟨10.1007/978-3-642-38592-6_4⟩
Conference papers
hal-01515244v1
|
||
|
Verification of Directed Acyclic Ad Hoc Networks15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.193-208, ⟨10.1007/978-3-642-38592-6_14⟩
Conference papers
hal-01515235v1
|
||
|
A Case Study in Formal Verification Using Multiple Explicit Heaps15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.20-34, ⟨10.1007/978-3-642-38592-6_3⟩
Conference papers
hal-01515237v1
|
||
|
Formal Techniques for Distributed SystemsSpringer, LNCS-7892, 2013, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-38592-6⟩
Books
hal-01515249v1
|
||
|
A Timed Component Algebra for Services15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.242-257, ⟨10.1007/978-3-642-38592-6_17⟩
Conference papers
hal-01515250v1
|
||
|
Formal Analysis of a Distributed Algorithm for Tracking Progress15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.5-19, ⟨10.1007/978-3-642-38592-6_2⟩
Conference papers
hal-01515239v1
|
||
|
Passive Testing with Asynchronous Communications15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.99-113, ⟨10.1007/978-3-642-38592-6_8⟩
Conference papers
hal-01515240v1
|
||
|
Probabilistic Analysis of the Quality Calculus15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.258-272, ⟨10.1007/978-3-642-38592-6_18⟩
Conference papers
hal-01515243v1
|
||
|
Analyzing Interactions of Asynchronously Communicating Software Components15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.1-4, ⟨10.1007/978-3-642-38592-6_1⟩
Conference papers
hal-01515245v1
|
||
|
Input-Output Conformance Simulation (iocos) for Model Based Testing15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.114-129, ⟨10.1007/978-3-642-38592-6_9⟩
Conference papers
hal-01515238v1
|
||
|
Asynchronously Communicating Visibly Pushdown Systems15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.225-241, ⟨10.1007/978-3-642-38592-6_16⟩
Conference papers
hal-01515242v1
|
||
|
May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.273-288, ⟨10.1007/978-3-642-38592-6_19⟩
Conference papers
hal-01515247v1
|
||
|
Honesty by Typing15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.305-320, ⟨10.1007/978-3-642-38592-6_21⟩
Conference papers
hal-01515248v1
|
||
|
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.83-98, ⟨10.1007/978-3-642-38592-6_7⟩
Conference papers
hal-01515251v1
|
||
|
Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.209-224, ⟨10.1007/978-3-642-38592-6_15⟩
Conference papers
hal-01515246v1
|