hh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
(De-)Composing Causality in Labeled Transition Systems
University of Konstanz, Konstanz, Germany.
University of Konstanz, Konstanz, Germany.
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).ORCID-id: 0000-0002-4869-6794
2016 (Engelska)Ingår i: 1st Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST’16) / [ed] Gregor Gössler & Oleg Sokolsky, Open Publishing Association , 2016, Vol. 224, s. 10-24Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

In this paper we introduce a notion of counterfactual causality in the Halpern and Pearl sense that is compositional with respect to the interleaving of transition systems. The formal framework for reasoning on what caused the violation of a safety property is established in the context of labeled transition systems and Hennessy Milner logic. The compositionality results are devised for non-communicating systems.

Ort, förlag, år, upplaga, sidor
Open Publishing Association , 2016. Vol. 224, s. 10-24
Serie
Electronic Proceedings in Theoretical Computer Science, ISSN 2075-2180 ; 224
Nyckelord [en]
Causality, Labeled Transition Systems, Modal Logic, Hennessy Milner Logic, Modal Decomposition
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:hh:diva-32121DOI: 10.4204/EPTCS.224.3ISI: 000390325100004Scopus ID: 2-s2.0-85015848229OAI: oai:DiVA.org:hh-32121DiVA, id: diva2:1010143
Konferens
The 1st Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, Eindhoven, The Netherlands, April 8, 2016
Projekt
VR Project EFFEMBAC, KKS Project AUTO-CAAS
Forskningsfinansiär
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsVetenskapsrådet, 621-2014-5057KK-stiftelsen, 20140312
Anmärkning

Funding: The work of Georgiana Caltais was partially supported by an Independent Research Start-up Grant founded by Zukunftskolleg at Konstanz University. The work of Mohammad Reza Mousavi has been partially supported by the Swedish Research Council (Vetenskapsrådet) award number: 621-2014-5057 (Effective Model-Based Testing of Concurrent Systems) and the Swedish Knowledge Foundation (Stiftelsen för Kunskaps- och Kompetensutveckling) in the context of the AUTO-CAAS HöG project (number: 20140312).

Tillgänglig från: 2016-10-02 Skapad: 2016-10-02 Senast uppdaterad: 2018-01-14Bibliografiskt granskad

Open Access i DiVA

fulltext(712 kB)411 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 712 kBChecksumma SHA-512
b4c5e90e1a0ebb13b5475630324f138e6bdb78573cfbfcfdf61fc1d00e791eacbe30666a7d1e9d341cc22e750ada1b4f18ca855f971fe17770c29382c3607ae5
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Mousavi, Mohammad Reza

Sök vidare i DiVA

Av författaren/redaktören
Mousavi, Mohammad Reza
Av organisationen
Centrum för forskning om inbyggda system (CERES)
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 411 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 468 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf