Filter your results
- 6
- 6
- 6
- 1
- 2
- 3
- 6
- 6
- 2
- 1
- 1
- 1
- 1
- 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
6 results
|
|
sorted by
|
|
Testing Attribute-Based Transactions in SOCJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.87-94, ⟨10.1007/978-3-642-13464-7_8⟩
Conference papers
hal-01055143v1
|
||
|
Conformance-Based Doping Detection for Cyber-Physical Systems40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.59-77, ⟨10.1007/978-3-030-50086-3_4⟩
Conference papers
hal-03283236v1
|
||
|
Increasing Functional Coverage by Inductive Testing: A Case Study22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.126-141, ⟨10.1007/978-3-642-16573-3_10⟩
Conference papers
hal-01055254v1
|
||
|
On the Realizability of Contracts in Dishonest Systems14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.245-260, ⟨10.1007/978-3-642-30829-1_17⟩
Conference papers
hal-01529594v1
|
||
|
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision PlanningJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.2-16, ⟨10.1007/978-3-642-13464-7_2⟩
Conference papers
hal-01055150v1
|
||
|
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.130-149, ⟨10.1007/978-3-642-32784-1_8⟩
Conference papers
hal-01539877v1
|