|
|
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 |
1 | Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow |
Dynamic Conflict Resolution Using Justification Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: 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., pp. 47-65, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Georgiana 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](Pics/bibsonomy.png) |
CREST@ETAPS ![The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Robert Künnemann, Deepak Garg 0001, Michael Backes 0001 |
Causality & Control Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: 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., pp. 32-46, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bernd 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](Pics/bibsonomy.png) |
CREST@ETAPS ![The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shakil M. Khan 0001, Mikhail Soutchanski |
Towards A Logical Account of Epistemic Causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: 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., pp. 1-16, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Severin Kacianka, Amjad Ibrahim, Alexander Pretschner, Alexander Trende, Andreas Lüdtke |
Extending Causal Models from Machines into Humans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: 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., pp. 17-31, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hadas Kress-Gazit, Hazem Torfah |
The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018., pp. 50-64, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Baum 0001, Holger Hermanns, Timo Speith |
Towards a Framework Combining Machine Ethics and Machine Explainability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018., pp. 34-49, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Fausto Barbero, Gabriel Sandu |
Interventionist Counterfactuals on Causal Teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018., pp. 16-30, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rayna Dimitrova, Rupak Majumdar, Vinayak S. Prabhu |
Causality Analysis for Concurrent Reactive Systems (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018., pp. 31-33, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ioana Cristescu, Walter Fontana, Jean Krivine |
Interactions between Causal Structures in Graph Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018., pp. 65-78, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue |
Causality for General LTL-definable Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018., pp. 1-15, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bozzano |
Causality and Temporal Dependencies in the Design of Fault Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala, Sweden, 29th April 2017., pp. 39-46, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Simon Rehwald, Amjad Ibrahim, Kristian Beckers, Alexander Pretschner |
ACCBench: A Framework for Comparing Causality Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala, Sweden, 29th April 2017., pp. 16-30, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Chris Leong, Tim Kelly, Robert Alexander |
Incorporating Epistemic Uncertainty into the Safety Assurance of Socio-Technical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala, Sweden, 29th April 2017., pp. 56-71, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Andrey Kupriyanov |
Causality-based Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala, Sweden, 29th April 2017., pp. 31-38, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Gößler, Oleg Sokolsky, Jean-Bernard Stefani |
Counterfactual Causality from First Principles? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala, Sweden, 29th April 2017., pp. 47-53, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sjur K. Dyrkolbotn |
On Preemption and Overdetermination in Formal Theories of Causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala, Sweden, 29th April 2017., pp. 1-15, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alex 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](Pics/bibsonomy.png) |
CREST@ETAPS ![The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi 0001 |
(De-)Composing Causality in Labeled Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016., pp. 10-24, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hichem Debbi |
Debugging of Markov Decision Processes (MDPs) Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016., pp. 25-39, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hana Chockler |
Causality and Responsibility for Formal Verification and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016., pp. 1-8, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gregor 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](Pics/bibsonomy.png) |
CREST@ETAPS ![The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Hallé, Oussama Beroual |
Fault Localization in Web Applications via Model Finding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016., pp. 55-67, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Severin Kacianka, Florian Kelbert, Alexander Pretschner |
Towards a Unified Model of Accountability Infrastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST@ETAPS ![In: Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016., pp. 40-54, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|