hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Inngå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-24Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Open Publishing Association , 2016. Vol. 224, s. 10-24
Serie
Electronic Proceedings in Theoretical Computer Science, ISSN 2075-2180 ; 224
Emneord [en]
Causality, Labeled Transition Systems, Modal Logic, Hennessy Milner Logic, Modal Decomposition
HSV kategori
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
Konferanse
The 1st Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, Eindhoven, The Netherlands, April 8, 2016
Prosjekter
VR Project EFFEMBAC, KKS Project AUTO-CAAS
Forskningsfinansiär
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsSwedish Research Council, 621-2014-5057Knowledge Foundation, 20140312
Merknad

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).

Tilgjengelig fra: 2016-10-02 Laget: 2016-10-02 Sist oppdatert: 2018-01-14bibliografisk kontrollert

Open Access i DiVA

fulltext(712 kB)410 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 712 kBChecksum SHA-512
b4c5e90e1a0ebb13b5475630324f138e6bdb78573cfbfcfdf61fc1d00e791eacbe30666a7d1e9d341cc22e750ada1b4f18ca855f971fe17770c29382c3607ae5
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Mousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Mousavi, Mohammad Reza
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 410 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 468 treff
RefereraExporteraLink to record
Permanent link

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