Filter your results
- 7
- 7
- 7
- 2
- 3
- 1
- 1
- 7
- 7
- 7
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Formal Verification of Distributed Branching Multiway Synchronization 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.146-160
Conference papers
hal-00818788v1
|
||
|
Combining SLiVER with CADP to Analyze Multi-agent SystemsCOORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, Jun 2020, La Valetta, Malta. pp.370-385, ⟨10.1007/978-3-030-50029-0_23⟩
Conference papers
hal-02890401v1
|
||
|
Verifying Timed BPMN Processes Using Maude19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.219-236, ⟨10.1007/978-3-319-59746-1_12⟩
Conference papers
hal-01538104v1
|
||
|
On the Most Suitable Axiomatization of Signed Integers23th International Workshop on Algebraic Development Techniques (WADT), Sep 2017, Gregynog, Wales, UK, United Kingdom. pp.120-134, ⟨10.1007/978-3-319-72044-9_9⟩
Conference papers
hal-01667321v1
|
||
|
A Model-Based Certification Framework for the EnergyBus Standard34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.84-99, ⟨10.1007/978-3-662-43613-4_6⟩
Conference papers
hal-01098360v1
|
||
|
Debugging of Concurrent Systems using Counterexample Analysis7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Tehran, Iran. pp.20-34, ⟨10.1007/978-3-319-68972-2_2⟩
Conference papers
hal-01533401v2
|
||
|
Automated Transition Coverage in Behavioural Conformance TestingICTSS 2020 - 32nd IFIP International Conference on Testing Software and Systems, Dec 2020, Napoli, Italy. pp.219-235, ⟨10.1007/978-3-030-64881-7_14⟩
Conference papers
hal-03038050v1
|