Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs224.bht:"
@inproceedings{DBLP:journals/corr/CaltaisLM16, author = {Georgiana Caltais and Stefan Leue and Mohammad Reza Mousavi}, editor = {Gregor G{\"{o}}{\ss}ler and Oleg Sokolsky}, title = {(De-)Composing Causality in Labeled Transition Systems}, booktitle = {Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016}, series = {{EPTCS}}, volume = {224}, pages = {10--24}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.224.3}, doi = {10.4204/EPTCS.224.3}, timestamp = {Sat, 11 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CaltaisLM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Chockler16, author = {Hana Chockler}, editor = {Gregor G{\"{o}}{\ss}ler and Oleg Sokolsky}, title = {Causality and Responsibility for Formal Verification and Beyond}, booktitle = {Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016}, series = {{EPTCS}}, volume = {224}, pages = {1--8}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.224.1}, doi = {10.4204/EPTCS.224.1}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Chockler16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Debbi16, author = {Hichem Debbi}, editor = {Gregor G{\"{o}}{\ss}ler and Oleg Sokolsky}, title = {Debugging of Markov Decision Processes (MDPs) Models}, booktitle = {Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016}, series = {{EPTCS}}, volume = {224}, pages = {25--39}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.224.4}, doi = {10.4204/EPTCS.224.4}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/Debbi16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/HalleB16, author = {Sylvain Hall{\'{e}} and Oussama Beroual}, editor = {Gregor G{\"{o}}{\ss}ler and Oleg Sokolsky}, title = {Fault Localization in Web Applications via Model Finding}, booktitle = {Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016}, series = {{EPTCS}}, volume = {224}, pages = {55--67}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.224.6}, doi = {10.4204/EPTCS.224.6}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/HalleB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/KaciankaKP16, author = {Severin Kacianka and Florian Kelbert and Alexander Pretschner}, editor = {Gregor G{\"{o}}{\ss}ler and Oleg Sokolsky}, title = {Towards a Unified Model of Accountability Infrastructures}, booktitle = {Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016}, series = {{EPTCS}}, volume = {224}, pages = {40--54}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.224.5}, doi = {10.4204/EPTCS.224.5}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KaciankaKP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/GosslerS16, editor = {Gregor G{\"{o}}{\ss}ler and Oleg Sokolsky}, title = {Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016}, series = {{EPTCS}}, volume = {224}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.224}, doi = {10.4204/EPTCS.224}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GosslerS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.