Filter your results
- 13
- 12
- 1
- 13
- 13
- 13
- 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
|
|
|
Deep Statistical Model Checking40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.96-114, ⟨10.1007/978-3-030-50086-3_6⟩
Conference papers
hal-03283238v1
|
||
|
|
A Formal Framework for Consent Management40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.169-186, ⟨10.1007/978-3-030-50086-3_10⟩
Conference papers
hal-03283231v1
|
||
|
|
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.3-21, ⟨10.1007/978-3-030-50086-3_1⟩
Conference papers
hal-03283240v1
|
||
|
|
On Implementable Timed Automata40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.78-95, ⟨10.1007/978-3-030-50086-3_5⟩
Conference papers
hal-03283229v1
|
||
|
|
Trace Equivalence and Epistemic Logic to Express Security Properties40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.115-132, ⟨10.1007/978-3-030-50086-3_7⟩
Conference papers
hal-03283228v1
|
||
|
|
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
|
||
|
|
Typechecking Java Protocols with [St]Mungo40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.208-224, ⟨10.1007/978-3-030-50086-3_12⟩
Conference papers
hal-03283241v1
|
||
|
|
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.150-168, ⟨10.1007/978-3-030-50086-3_9⟩
Conference papers
hal-03283239v1
|
||
|
|
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.39-58, ⟨10.1007/978-3-030-50086-3_3⟩
Conference papers
hal-03283234v1
|
||
|
|
Formal Techniques for Distributed Objects, Components, and SystemsSpringer International Publishing, LNCS-12136, 2020, Lecture Notes in Computer Science, 978-3-030-50085-6. ⟨10.1007/978-3-030-50086-3⟩
Books
hal-03283230v1
|
||
|
|
Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.227-235, ⟨10.1007/978-3-030-50086-3_13⟩
Conference papers
hal-03283237v1
|
||
|
|
Tutorial: Parameterized Verification with Byzantine Model Checker40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.189-207, ⟨10.1007/978-3-030-50086-3_11⟩
Conference papers
hal-03283235v1
|
||
|
|
Towards Bridging Time and Causal Reversibility40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.22-38, ⟨10.1007/978-3-030-50086-3_2⟩
Conference papers
hal-03283233v1
|