Zum Inhalt springen

  1. Gieseking, Manuel [Verfasser:in] ; Olderog, Ernst-Rüdiger [Akademische:r Betreuer:in]; Finkbeiner, Bernd [Akademische:r Betreuer:in]

    Correctness of data flows in asynchronous distributed systems : model checking and synthesis

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg, [2023]

  2. Finkbeiner, Bernd [Verfasser:in]; Gieseking, Manuel [Verfasser:in]; Hecking-Harbusch, Jesko [Verfasser:in]; Olderog, Ernst-Rüdiger [Verfasser:in] ; Bernd Finkbeiner and Manuel Gieseking and Jesko Hecking-Harbusch and Ernst-Rüdiger Olderog [Mitwirkende:r]

    Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  3. Finkbeiner, Bernd [Verfasser:in]; Gieseking, Manuel [Verfasser:in]; Hecking-Harbusch, Jesko [Verfasser:in]; Olderog, Ernst-Rüdiger [Verfasser:in]

    Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: CSL (30. : 2022 : Online): 30th EACSL Annual Conference on Computer Science Logic ; 2022, Artikel 20, insgesamt 19 Seiten

  4. Finkbeiner, Bernd [Verfasser:in]; Gieseking, Manuel [Verfasser:in]; Hecking-Harbusch, Jesko [Verfasser:in]; Olderog, Ernst-Rüdiger [Verfasser:in]

    AdamMC : a model checker for petri nets with transits against flow-LTL

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2020

    Erschienen in: Computer Aided Verification ; (2020), Seite 64-76

  5. Finkbeiner, Bernd [Verfasser:in]; Gieseking, Manuel [Verfasser:in]; Hecking-Harbusch, Jesko [Verfasser:in]; Olderog, Ernst-Rüdiger [Verfasser:in]

    AdamMC : a model checker for petri nets with transits against flow-LTL (Full Version)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2020

    Erschienen in: Arxiv ; 2020 (15. Mai), Seiten 1-22

  6. Finkbeiner, Bernd [Verfasser:in]; Gieseking, Manuel [Verfasser:in]; Hecking-Harbusch, Jesko [Verfasser:in]; Olderog, Ernst-Rüdiger [Verfasser:in]

    Model checking branching properties on petri nets with transits (full version)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2020

    Erschienen in: Arxiv ; 2020 (14. JUl.), Seiten 1-23

  7. Finkbeiner, Bernd [Verfasser:in]; Gieseking, Manuel [Verfasser:in]; Hecking-Harbusch, Jesko [Verfasser:in]; Olderog, Ernst-Rüdiger [Verfasser:in]

    Model checking data flows in concurrent network updates

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2019

    Erschienen in: Arxiv ; 2019 (14. Nov.), article 1907.11061, Seite 1-42

  8. Kölbach, Moritz [Verfasser:in]; Höhn, Oliver [Verfasser:in]; Barry, James [Verfasser:in]; Finkbeiner, Manuel [Verfasser:in]; Rehfeld, Kira [Verfasser:in]; May, Matthias M. [Verfasser:in]

    Climatic response of thermally coupled solar water splitting in Antarctica

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Sankt Augustin: Hochschule Bonn-Rhein-Sieg, 2022

  9. Gieseking, Manuel [Verfasser:in] ; Olderog, Ernst-Rüdiger [Akademische:r Betreuer:in]; Finkbeiner, Bernd [Akademische:r Betreuer:in]

    Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2022

  10. Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger

    Automated Technology for Verification and Analysis: Model Checking Branching Properties on Petri Nets with Transits

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2020

    Erschienen in: Automated Technology for Verification and Analysis (2020), Seite 394-410

  11. Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger

    Automated Technology for Verification and Analysis: Model Checking Data Flows in Concurrent Network Updates

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2019

    Erschienen in: Automated Technology for Verification and Analysis (2019), Seite 515-533

  12. Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger

    Symbolic vs. Bounded Synthesis for Petri Games

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Open Publishing Association, 2017

    Erschienen in: Electronic Proceedings in Theoretical Computer Science, 260 (2017), Seite 23-43

  13. Kölbach, Moritz; Höhn, Oliver; Rehfeld, Kira; Finkbeiner, Manuel; Barry, James; May, Matthias M.

    The annual-hydrogen-yield-climatic-response ratio: evaluating the real-life performance of integrated solar water splitting devices

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Royal Society of Chemistry (RSC), 2022

    Erschienen in: Sustainable Energy & Fuels, 6 (2022) 17, Seite 4062-4074

  14. Li, Yujie; Finkbeiner, Sandra; Ganner, Athina; Gerber, Julia; Klein, Marinella; Grafe, Manuel; Kandzia, Jakob; Thien, Antje; Thedieck, Kathrin; Breves, Gerhard; Jank, Thomas; Baumeister, Ralf; Walz, Gerd; Neumann-Haefelin, Elke

    CGEF-1 regulates mTORC1 signaling during adult longevity and stress response in C. elegans

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Impact Journals, LLC, 2018

    Erschienen in: Oncotarget, 9 (2018) 11, Seite 9581-9595

  15. Martinez, Fernando J.; Pratt, Gabriel A.; Van Nostrand, Eric L.; Batra, Ranjan; Huelga, Stephanie C.; Kapeli, Katannya; Freese, Peter; Chun, Seung J.; Ling, Karen; Gelboin-Burkhart, Chelsea; Fijany, Layla; Wang, Harrison C.; Nussbacher, Julia K.; Broski, Sara M.; Kim, Hong Joo; Lardelli, Rea; Sundararaman, Balaji; Donohue, John P.; Javaherian, Ashkan; Lykke-Andersen, Jens; Finkbeiner, Steven; Bennett, C. Frank; Ares, Manuel; Burge, Christopher B.; [...]

    Protein-RNA Networks Regulated by Normal and ALS-Associated Mutant HNRNPA2B1 in the Nervous System

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Elsevier BV, 2016

    Erschienen in: Neuron, 92 (2016) 4, Seite 780-795