Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChristel Baier
Person information
- affiliation: Dresden University of Technology, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j75]Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
:
Entropic risk for turn-based stochastic games. Inf. Comput. 301: 105214 (2024)- [j74]Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel:
Feature causality. J. Syst. Softw. 209: 111915 (2024) - [j73]Christel Baier, Jakob Piribauer, Robin Ziemek:
Foundations of probability-raising causality in Markov decision processes. Log. Methods Comput. Sci. 20(1) (2024) - [c163]Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer:
Backward Responsibility in Transition Systems Using General Power Indices. AAAI 2024: 20320-20327 - [c162]Christel Baier, Jakob Piribauer, Maximilian Starke:
Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures. CONCUR 2024: 9:1-9:20 - [c161]Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann:
A Spectrum of Approximate Probabilistic Bisimulations. CONCUR 2024: 37:1-37:19 - [c160]Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer:
Linear dynamical systems with continuous weight functions. HSCC 2024: 22:1-22:11 - [i44]Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer:
Backward Responsibility in Transition Systems Using General Power Indices. CoRR abs/2402.01539 (2024) - [i43]Christel Baier, Calvin Chau, Sascha Klüppelholz:
Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes. CoRR abs/2406.08175 (2024) - [i42]Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala:
Model Checking Markov Chains as Distribution Transformers. CoRR abs/2406.15087 (2024) - [i41]Christel Baier, Jakob Piribauer, Maximilian Starke:
Risk-averse optimization of total rewards in Markovian models using deviation measures. CoRR abs/2407.06887 (2024) - [i40]Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann:
A Spectrum of Approximate Probabilistic Bisimulations. CoRR abs/2407.07584 (2024) - 2023
- [j72]Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz:
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. Innov. Syst. Softw. Eng. 19(2): 227-229 (2023) - [j71]Christel Baier, Stefan Kiefer, Joachim Klein, David Müller, James Worrell:
Markov chains and unambiguous automata. J. Comput. Syst. Sci. 136: 113-134 (2023) - [j70]Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz:
Interaction detection in configurable systems - A formal approach featuring roles. J. Syst. Softw. 196: 111556 (2023) - [j69]Christel Baier:
Verification Column. ACM SIGLOG News 10(2): 3 (2023) - [j68]Christel Baier:
Verification Column. ACM SIGLOG News 10(3): 3 (2023) - [j67]Christel Baier:
Verification Column. ACM SIGLOG News 10(4): 24 (2023) - [c159]Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff:
A Unifying Formal Approach to Importance Values in Boolean Functions. IJCAI 2023: 2728-2737 - [c158]Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen:
More for Less: Safe Policy Improvement with Stronger Performance Guarantees. IJCAI 2023: 4406-4415 - [c157]Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer:
Entropic Risk for Turn-Based Stochastic Games. MFCS 2023: 15:1-15:16 - [c156]Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel:
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. NFM 2023: 86-103 - [c155]Max Korn, Julián Méndez, Sascha Klüppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt:
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking. SEFM 2023: 361-375 - [c154]Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann:
Towards a Formal Account on Negative Latency. AISoLA 2023: 188-214 - [c153]Julie Parreaux, Jakob Piribauer, Christel Baier:
Counterfactual Causality for Reachability and Safety based on Distance Functions. GandALF 2023: 132-149 - [d3]Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel:
FeatCause - Sources and Data. Version 2. Zenodo, 2023 [all versions]
- [i39]Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer:
On the Foundations of Cycles in Bayesian Networks. CoRR abs/2301.08608 (2023) - [i38]Jakob Piribauer, Christel Baier:
Positivity-hardness results on Markov decision processes. CoRR abs/2302.13675 (2023) - [i37]Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel:
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. CoRR abs/2303.12718 (2023) - [i36]Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen:
More for Less: Safe Policy Improvement With Stronger Performance Guarantees. CoRR abs/2305.07958 (2023) - [i35]Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff:
A Unifying Formal Approach to Importance Values in Boolean Functions. CoRR abs/2305.08103 (2023) - [i34]Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer:
Entropic Risk for Turn-Based Stochastic Games. CoRR abs/2307.06611 (2023) - [i33]Julie Parreaux, Jakob Piribauer, Christel Baier:
Counterfactual Causality for Reachability and Safety based on Distance Functions. CoRR abs/2308.11385 (2023) - 2022
- [j66]Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, Christel Baier:
Probabilistic causes in Markov chains. Innov. Syst. Softw. Eng. 18(3): 347-367 (2022) - [j65]Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz:
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. Innov. Syst. Softw. Eng. 18(3): 385-403 (2022) - [j64]Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns:
Admissibility in Probabilistic Argumentation. J. Artif. Intell. Res. 74 (2022) - [j63]Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Christel Baier, Ali Movaghar:
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control. IEEE Trans. Software Eng. 48(8): 2732-2747 (2022) - [c152]Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek:
Operational Causality - Necessarily Sufficient and Sufficiently Necessary. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 27-45 - [c151]Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer:
On the Foundations of Cycles in Bayesian Networks. Principles of Systems Design 2022: 343-363 - [c150]Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell:
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. CONCUR 2022: 10:1-10:16 - [c149]Max Korn, Philipp Chrszon, Sascha Klüppelholz, Christel Baier, Sascha Wunderlich:
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study. EPEW 2022: 19-34 - [c148]Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek:
On probability-raising causality in Markov decision processes. FoSSaCS 2022: 40-60 - [c147]Jakob Piribauer, Ocan Sankur, Christel Baier:
The Variance-Penalized Stochastic Shortest Path Problem. ICALP 2022: 129:1-129:19 - [c146]Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel:
Causality in Configurable Software Systems. ICSE 2022: 325-337 - [e14]Christel Baier, Dana Fisman:
LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022. ACM 2022, ISBN 978-1-4503-9351-5 [contents] - [d2]Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel:
FeatCause - Sources and Data. Version 1. Zenodo, 2022 [all versions] - [i32]Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel:
Causality in Configurable Software Systems. CoRR abs/2201.07280 (2022) - [i31]Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek:
On probability-raising causality in Markov decision processes. CoRR abs/2201.08768 (2022) - [i30]Jakob Piribauer, Ocan Sankur, Christel Baier:
The variance-penalized stochastic shortest path problem. CoRR abs/2204.12280 (2022) - [i29]Christel Baier, Jakob Piribauer, Robin Ziemek:
Foundations of probability-raising causality in Markov decision processes. CoRR abs/2209.02973 (2022) - 2021
- [j62]Simon Jantsch, David Müller, Christel Baier, Joachim Klein:
From LTL to unambiguous Büchi automata via disambiguation of alternating automata. Formal Methods Syst. Des. 58(1-2): 42-82 (2021) - [c145]Christel Baier, Florian Funke, Rupak Majumdar:
Responsibility Attribution in Parameterized Markovian Models. AAAI 2021: 11734-11743 - [c144]Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz:
Determinization and Limit-Determinization of Emerson-Lei Automata. ATVA 2021: 15-31 - [c143]Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek:
Probabilistic Causes in Markov Chains. ATVA 2021: 205-221 - [c142]Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber:
Causality-Based Game Solving. CAV (1) 2021: 894-917 - [c141]Jakob Piribauer, Christel Baier, Nathalie Bertrand, Ocan Sankur:
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking. CONCUR 2021: 7:1-7:18 - [c140]Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell:
The Orbit Problem for Parametric Linear Dynamical Systems. CONCUR 2021: 28:1-28:17 - [c139]Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek:
From Verification to Causality-Based Explications (Invited Talk). ICALP 2021: 1:1-1:20 - [c138]Christel Baier, Florian Funke, Rupak Majumdar:
A Game-Theoretic Account of Responsibility Allocation. IJCAI 2021: 1773-1779 - [c137]Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer:
Admissibility in Probabilistic Argumentation. KR 2021: 87-98 - [c136]Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer:
Responsibility and verification: Importance value in temporal logics. LICS 2021: 1-14 - [c135]Simon Jantsch, Jakob Piribauer, Christel Baier:
Witnessing Subsystems for Probabilistic Systems with Low Tree Width. GandALF 2021: 35-51 - [e13]Christel Baier, Jean Goubault-Larrecq:
29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference). LIPIcs 183, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-175-7 [contents] - [i28]Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer:
Responsibility and verification: Importance value in temporal logics. CoRR abs/2102.06655 (2021) - [i27]Christel Baier, Florian Funke, Simon Jantsch, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell:
The Orbit Problem for Parametric Linear Dynamical Systems. CoRR abs/2104.10634 (2021) - [i26]Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek:
Probabilistic causes in Markov chains. CoRR abs/2104.13604 (2021) - [i25]Christel Baier, Florian Funke, Rupak Majumdar:
A Game-Theoretic Account of Responsibility Allocation. CoRR abs/2105.09129 (2021) - [i24]Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek:
From Verification to Causality-based Explications. CoRR abs/2105.09533 (2021) - [i23]Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber:
Causality-Based Game Solving. CoRR abs/2105.14247 (2021) - [i22]Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz:
Determinization and Limit-determinization of Emerson-Lei automata. CoRR abs/2106.15892 (2021) - [i21]Simon Jantsch, Jakob Piribauer, Christel Baier:
Witnessing subsystems for probabilistic systems with low tree width. CoRR abs/2108.08070 (2021) - 2020
- [j61]Michael Raitza, Steffen Märcker, Jens Trommer, Andre Heinzig, Sascha Klüppelholz, Christel Baier, Akash Kumar:
Quantitative Characterization of Reconfigurable Transistor Logic Gates. IEEE Access 8: 112598-112614 (2020) - [j60]Christel Baier, Pedro R. D'Argenio, Holger Hermanns:
On the probabilistic bisimulation spectrum with silent moves. Acta Informatica 57(3-5): 465-512 (2020) - [j59]Christel Baier, Mikolaj Bojanczyk, Mariangiola Dezani, Josep Díaz, Giuseppe F. Italiano:
EATCS Fellows 2021 - Call for Nominations. Bull. EATCS 132 (2020) - [j58]Christel Baier, Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein:
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. Inf. Comput. 272: 104504 (2020) - [c134]Simon Jantsch, Florian Funke, Christel Baier:
Minimal Witnesses for Probabilistic Timed Automata. ATVA 2020: 501-517 - [c133]Simon Jantsch, Hans Harder, Florian Funke, Christel Baier:
Switss: Computing Small Witnessing Subsystems. FMCAD 2020: 236-244 - [c132]Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland:
Reachability in Dynamical Systems with Rounding. FSTTCS 2020: 36:1-36:17 - [c131]Jakob Piribauer, Christel Baier:
On Skolem-Hardness and Saturation Points in Markov Decision Processes. ICALP 2020: 138:1-138:17 - [c130]Christel Baier, Holger Hermanns:
From Verification to Explanation (Track Introduction). ISoLA (4) 2020: 1-7 - [c129]Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl:
Components in Probabilistic Systems: Suitable by Construction. ISoLA (1) 2020: 240-261 - [c128]Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz:
From features to roles. SPLC (A) 2020: 19:1-19:11 - [c127]Florian Funke, Simon Jantsch, Christel Baier:
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints. TACAS (1) 2020: 324-345 - [c126]Christel Baier, Maria Christakis, Timo P. Gros, David Groß, Stefan Gumhold, Holger Hermanns, Jörg Hoffmann, Michaela Klauck:
Lab Conditions for Research on Explainable Automated Decisions. TAILOR 2020: 83-90 - [c125]Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek:
Iterative Variable Reordering: Taming Huge System Families. MARS@ETAPS 2020: 121-133 - [d1]Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl:
Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction". Zenodo, 2020 - [i20]Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek:
Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis. CoRR abs/2004.06637 (2020) - [i19]Jakob Piribauer, Christel Baier:
On Skolem-hardness and saturation points in Markov decision processes. CoRR abs/2004.11441 (2020) - [i18]Simon Jantsch, Florian Funke, Christel Baier:
Minimal witnesses for probabilistic timed automata. CoRR abs/2007.00637 (2020) - [i17]Simon Jantsch, Hans Harder, Florian Funke, Christel Baier:
SWITSS: Computing Small Witnessing Subsystems. CoRR abs/2008.04049 (2020) - [i16]Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland:
Reachability in Dynamical Systems with Rounding. CoRR abs/2009.13353 (2020)
2010 – 2019
- 2019
- [j57]Christel Baier, Mikolaj Bojanczyk, Mariangiola Dezani, Josep Díaz, Giuseppe F. Italiano:
EATCS Fellows 2020 - Call for Nominations. Bull. EATCS 129 (2019) - [j56]Gerhard P. Fettweis, Meik Dorpinghaus, Jerónimo Castrillón, Akash Kumar, Christel Baier, Karlheinz Bock, Frank Ellinger, Andreas Fery, Frank H. P. Fitzek, Hermann Härtig, Kambiz Jamshidi, Thomas Kissinger, Wolfgang Lehner, Michael Mertig, Wolfgang E. Nagel, Giang T. Nguyen, Dirk Plettemeier, Michael Schröter, Thorsten Strufe:
Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient Computing. Proc. IEEE 107(1): 204-231 (2019) - [j55]Linda Herrmann, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz:
Configuration of inter-process communication with probabilistic model checking. Int. J. Softw. Tools Technol. Transf. 21(6): 651-666 (2019) - [j54]Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms. ACM Trans. Model. Comput. Simul. 29(4): 28:1-28:26 (2019) - [c124]Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejcek:
Generic Emptiness Check for Fun and Profit. ATVA 2019: 445-461 - [c123]Muhammad Usama Sardar, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, Akash Kumar:
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems. EPEW 2019: 133-147 - [c122]Simon Jantsch, David Müller, Christel Baier, Joachim Klein:
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata. FM 2019: 262-279 - [c121]Jakob Piribauer, Christel Baier:
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights. FoSSaCS 2019: 436-452 - [c120]Christel Baier, Nathalie Bertrand, Jakob Piribauer, Ocan Sankur:
Long-run Satisfaction of Path Properties. LICS 2019: 1-14 - [p3]Christel Baier, Holger Hermanns, Joost-Pieter Katoen:
The 10, 000 Facets of MDP Model Checking. Computing and Software Science 2019: 420-451 - [e12]Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, Stefano Leonardi:
46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece. LIPIcs 132, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-109-2 [contents] - [i15]Jakob Piribauer, Christel Baier:
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights. CoRR abs/1902.04538 (2019) - [i14]Simon Jantsch, David Müller, Christel Baier, Joachim Klein:
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata. CoRR abs/1907.02887 (2019) - [i13]Florian Funke, Simon Jantsch, Christel Baier:
Farkas certificates and minimal witnesses for probabilistic reachability constraints. CoRR abs/1910.10636 (2019) - [i12]Clemens Dubslaff, Kai Ding, Andrey Morozov, Christel Baier, Klaus Janschek:
Breaking the Limits of Redundancy Systems Analysis. CoRR abs/1912.05364 (2019) - 2018
- [j53]Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier:
ProFeat: feature-oriented engineering for family-based probabilistic model checking. Formal Aspects Comput. 30(1): 45-75 (2018) - [j52]Justus A. Kromer, Steffen Märcker, Steffen Lange, Christel Baier, Benjamin M. Friedrich:
Decision making improves sperm chemotaxis in the presence of noise. PLoS Comput. Biol. 14(4) (2018) - [j51]Christel Baier, Clemens Dubslaff:
From verification to synthesis under cost-utility constraints. ACM SIGLOG News 5(4): 26-46 (2018) - [j50]Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller:
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. Int. J. Softw. Tools Technol. Transf. 20(2): 179-194 (2018) - [j49]Jerónimo Castrillón, Matthias Lieber, Sascha Klüppelholz, Marcus Völp, Nils Asmussen, Uwe Aßmann, Franz Baader, Christel Baier, Gerhard P. Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Hermann Härtig, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Akash Kumar, Wolfgang Lehner, Linda Leuschner, Siqi Ling, Steffen Märcker, Christian Menard, Johannes Mey, Wolfgang E. Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt, Sascha Wunderlich:
A Hardware/Software Stack for Heterogeneous Systems. IEEE Trans. Multi Scale Comput. Syst. 4(3): 243-259 (2018) - [c119]Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz:
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination. It's All About Coordination 2018: 38-56 - [c118]Linda Herrmann, Christel Baier, Christof Fetzer, Sascha Klüppelholz, Markus Napierkowski:
Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance. EPEW 2018: 78-93 - [c117]Daniel Gburek, Christel Baier:
Bisimulations, logics, and trace distributions for stochastic systems with rewards. HSCC 2018: 31-40 - [c116]Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur:
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. LICS 2018: 86-94 - [p2]Christel Baier, Luca de Alfaro, Vojtech Forejt, Marta Kwiatkowska:
Model Checking Probabilistic Systems. Handbook of Model Checking 2018: 963-999 - [e11]Christel Baier, Luís Caires:
Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings. Lecture Notes in Computer Science 10854, Springer 2018, ISBN 978-3-319-92611-7 [contents] - [e10]Christel Baier, Ugo Dal Lago:
Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 1