Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning
Data and Resources
Additional Info
| Field | Value |
|---|---|
| Source | SEFM - 11th International Conference on Software Engineering and Formal Methods |
| Author | Bennaceur, Amel, Chilton, Chris, Isberner, Malte, Jonsson, Bengt |
| Maintainer | CCSD |
| Last Updated | May 10, 2026, 13:36 (UTC) |
| Created | May 10, 2026, 13:36 (UTC) |
| Identifier | hal-00838788 |
| Language | en |
| Rights | https://about.hal.science/hal-authorisation-v1/ |
| contributor | Software architectures and distributed systems (ARLES) ; Inria Paris-Rocquencourt ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) |
| coverage | Madrid, Spain |
| creator | Bennaceur, Amel |
| date | 2013-09-25T00:00:00 |
| harvest_object_id | fa50691f-f0b9-4b9e-aa7a-c068918ceb4b |
| harvest_source_id | 3374d638-d20b-4672-ba96-a23232d55657 |
| harvest_source_title | test moissonnage SELUNE |
| metadata_modified | 2026-04-13T00:00:00 |
| relation | info:eu-repo/grantAgreement//231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT |
| set_spec | type:COMM |