Filter your results
- 9
- 9
- 9
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 9
- 6
- 1
- 1
- 1
- 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
9 results
|
|
sorted by
|
|
Parametric updates in parametric timed automata39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.39-56, ⟨10.1007/978-3-030-21759-4_3⟩
Conference papers
hal-02153238v1
|
||
|
Orthogonal Direct Sum Masking8th IFIP International Workshop on Information Security Theory and Practice (WISTP), Jun 2014, Heraklion, Crete, Greece. pp.40-56, ⟨10.1007/978-3-662-43826-8_4⟩
Conference papers
hal-01400919v1
|
||
|
Proofs as Executions7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.280-294, ⟨10.1007/978-3-642-33475-7_20⟩
Conference papers
hal-00586459v2
|
||
|
Checking Compatibility of Web Services Behaviorally5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.267-282, ⟨10.1007/978-3-642-40213-5_17⟩
Conference papers
hal-01514668v1
|
||
|
Parameter Synthesis Algorithms for Parametric Interval Markov Chains38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.121-140, ⟨10.1007/978-3-319-92612-4_7⟩
Conference papers
hal-01824814v1
|
||
|
A New Approach for Private Searches on Public-Key Encrypted Data13th International Conference on Communications and Multimedia Security (CMS), Sep 2012, Canterbury, United Kingdom. pp.160-173, ⟨10.1007/978-3-642-32805-3_13⟩
Conference papers
hal-01540893v1
|
||
|
Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.67-83, ⟨10.1007/978-3-642-30793-5_5⟩
Conference papers
hal-01528733v1
|
||
|
Learning-Based Compositional Parameter Synthesis for Event-Recording Automata37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.17-32, ⟨10.1007/978-3-319-60225-7_2⟩
Conference papers
hal-01658415v1
|
||
|
Towards the Automatic Detection of Nutritional Incompatibilities Based on Recipe TitlesCD-MAKE: Cross-Domain Conference for Machine Learning and Knowledge Extraction, Aug 2017, Reggio, Italy. pp.346-366, ⟨10.1007/978-3-319-66808-6_23⟩
Conference papers
hal-01677134v1
|