Filter your results
- 10
- 10
- 10
- 4
- 6
- 1
- 1
- 2
- 2
- 3
- 4
- 3
- 2
- 1
- 10
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Exposing Latent Mutual Exclusion by Work Automata2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.59-73, ⟨10.1007/978-3-319-68953-1_6⟩
Conference papers
hal-01760644v1
|
||
|
|
On the Integration of Automatic Deployment into the ABS Modeling Language4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.49-64, ⟨10.1007/978-3-319-24072-5_4⟩
Conference papers
hal-01757558v1
|
||
|
|
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.238-258, ⟨10.1007/978-3-319-24644-4_17⟩
Conference papers
hal-01446603v1
|
||
|
|
Take Command of Your Constraints!17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.117-132, ⟨10.1007/978-3-319-19282-6_8⟩
Conference papers
hal-01774935v1
|
||
|
|
Reducing the Cost of Grammar-Based Testing Using Pattern CoverageICTSS 2015 - 27th IFIP International Conference on Testing Software and Systems, Nov 2015, Dubai, United Arab Emirates. pp.71-85, ⟨10.1007/978-3-319-25945-1_5⟩
Conference papers
hal-01470158v1
|
||
|
|
Session-Based Concurrency, Reactively37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.74-91, ⟨10.1007/978-3-319-60225-7_6⟩
Conference papers
hal-01566466v1
|
||
|
|
Human-in-the-Loop Simulation of Cloud Services6th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2017, Oslo, Norway. pp.143-158, ⟨10.1007/978-3-319-67262-5_11⟩
Conference papers
hal-01677612v1
|
||
|
|
On Futures for Streaming Data in ABS37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.67-73, ⟨10.1007/978-3-319-60225-7_5⟩
Conference papers
hal-01658410v1
|
||
|
|
Formal Verification of Service Level Agreements Through Distributed Monitoring4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.125-140, ⟨10.1007/978-3-319-24072-5_9⟩
Conference papers
hal-01757576v1
|
||
|
|
High Performance Computing Applications Using Parallel Data Processing Units6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.191-206, ⟨10.1007/978-3-319-24644-4_13⟩
Conference papers
hal-01446600v1
|