The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "CREST@ETAPS"( http://dblp.L3S.de/Venues/CREST@ETAPS )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2016 (6) 2017 (7) 2018 (6) 2019 (6)
Publication types (Num. hits)
inproceedings(21) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 25 publication records. Showing 25 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow Dynamic Conflict Resolution Using Justification Based Reasoning. Search on Bibsonomy CREST@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Georgiana Caltais, Jean Krivine (eds.) Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2019, Prague, Czech Republic, 7th April 2019. Search on Bibsonomy CREST@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Robert Künnemann, Deepak Garg 0001, Michael Backes 0001 Causality & Control Flow. Search on Bibsonomy CREST@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Samantha Kleinberg (eds.) Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018. Search on Bibsonomy CREST@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shakil M. Khan 0001, Mikhail Soutchanski Towards A Logical Account of Epistemic Causality. Search on Bibsonomy CREST@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Severin Kacianka, Amjad Ibrahim, Alexander Pretschner, Alexander Trende, Andreas Lüdtke Extending Causal Models from Machines into Humans. Search on Bibsonomy CREST@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hadas Kress-Gazit, Hazem Torfah The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems. Search on Bibsonomy CREST@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kevin Baum 0001, Holger Hermanns, Timo Speith Towards a Framework Combining Machine Ethics and Machine Explainability. Search on Bibsonomy CREST@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fausto Barbero, Gabriel Sandu Interventionist Counterfactuals on Causal Teams. Search on Bibsonomy CREST@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rayna Dimitrova, Rupak Majumdar, Vinayak S. Prabhu Causality Analysis for Concurrent Reactive Systems (Extended Abstract). Search on Bibsonomy CREST@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ioana Cristescu, Walter Fontana, Jean Krivine Interactions between Causal Structures in Graph Rewriting Systems. Search on Bibsonomy CREST@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue Causality for General LTL-definable Properties. Search on Bibsonomy CREST@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Bozzano Causality and Temporal Dependencies in the Design of Fault Management Systems. Search on Bibsonomy CREST@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Simon Rehwald, Amjad Ibrahim, Kristian Beckers, Alexander Pretschner ACCBench: A Framework for Comparing Causality Algorithms. Search on Bibsonomy CREST@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chris Leong, Tim Kelly, Robert Alexander Incorporating Epistemic Uncertainty into the Safety Assurance of Socio-Technical Systems. Search on Bibsonomy CREST@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Andrey Kupriyanov Causality-based Model Checking. Search on Bibsonomy CREST@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gregor Gößler, Oleg Sokolsky, Jean-Bernard Stefani Counterfactual Causality from First Principles? Search on Bibsonomy CREST@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sjur K. Dyrkolbotn On Preemption and Overdetermination in Formal Theories of Causality. Search on Bibsonomy CREST@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alex Groce, Stefan Leue (eds.) Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala, Sweden, 29th April 2017. Search on Bibsonomy CREST@ETAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi 0001 (De-)Composing Causality in Labeled Transition Systems. Search on Bibsonomy CREST@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hichem Debbi Debugging of Markov Decision Processes (MDPs) Models. Search on Bibsonomy CREST@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hana Chockler Causality and Responsibility for Formal Verification and Beyond. Search on Bibsonomy CREST@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gregor Gößler, Oleg Sokolsky (eds.) Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016. Search on Bibsonomy CREST@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sylvain Hallé, Oussama Beroual Fault Localization in Web Applications via Model Finding. Search on Bibsonomy CREST@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Severin Kacianka, Florian Kelbert, Alexander Pretschner Towards a Unified Model of Accountability Infrastructures. Search on Bibsonomy CREST@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #25 of 25 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license