Filtrer vos résultats
- 5
- 2
- 6
- 1
- 7
- 1
- 3
- 1
- 2
- 7
- 7
- 7
- 2
- 1
- 1
- 1
- 1
- 5
- 4
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
7 résultats
|
|
|
triés par
|
An Automata-Theoretic Approach to the Verification of Distributed Algorithms26th International Conference on Concurrency Theory (CONCUR'15), 2015, Madrid, Spain. pp.340-353
Communication dans un congrès
hal-01241122v1
|
|||
|
|
Verifying Communicating Multi-pushdown Systems12th International Symposium on Automated Technology for Verification and Analysis (ATVA'14), 2014, Sydney, Australia. pp.1-17
Communication dans un congrès
hal-00943690v1
|
||
|
|
MSO Decidability of Multi-Pushdown Systems via Split-WidthProceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12), 2012, Newcastle, United Kingdom. pp.547-561, ⟨10.1007/978-3-642-32940-1_38⟩
Communication dans un congrès
hal-00776596v1
|
||
|
|
Controllers for the Verification of Communicating Multi-Pushdown Systems25th International Conference on Concurrency Theory (CONCUR'14),, 2014, Rome, Italy. pp.297-311
Communication dans un congrès
hal-01057525v1
|
||
|
|
Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model CheckingJournal of Applied Logic, 2014, 12 (4), pp.395-416. ⟨10.1016/j.jal.2014.05.001⟩
Article dans une revue
hal-01005353v1
|
||
|
|
Dynamic Communicating Automata and Branching High-Level MSCsLATA 2013, Apr 2013, bilbao, Spain. pp.177-189
Communication dans un congrès
hal-00879353v1
|
||
|
|
Model Checking Languages of Data WordsFoSSaCS 2012, Mar 2012, Tallinn, Estonia
Communication dans un congrès
hal-00658333v1
|