On the Complexity of Equivalence and Minimisation for Q-weighted Automata von Kiefer, Stefan, Murawski, Andrzej, Ouaknine, Joel, Wachter, Bjoern, Worrell, James

Volltext

Bit-Precise Procedure-Modular Termination Analysis von Chen, Hong-Yi, David, Cristina, Kroening, Daniel, Schrammel, Peter, Wachter, Björn

Volltext

Probabilistic Logical Characterization von Hermanns, Holger, Parma, Augusto, Segala, Roberto, Wachter, Björn, Zhang, Lijun

Volltext

Best probabilistic transformers von Wachter, Björn, Zhang, Lijun

Volltext

Algorithmic probabilistic game semantics von Kiefer, Stefan, Murawski, Andrzej, Ouaknine, Joel, Wachter, Bjorn, Worrell, James

Volltext

PARAM: A Model Checker for Parametric Markov Models von Hahn, Ernst Moritz, Hermanns, Holger, Wachter, Björn, Zhang, Lijun

Volltext

Probabilistic CEGAR von Hermanns, Holger, Wachter, Björn, Zhang, Lijun

Volltext

Stability and Complexity of Minimising Probabilistic Automata von Kiefer, Stefan, Wachter, Björn

Volltext

Three tokens in Herman’s algorithm von Kiefer, Stefan, Murawski, Andrzej S., Ouaknine, Joël, Wachter, Björn, Worrell, James

Volltext

Static timing analysis for hard real-time systems von Wilhelm, Reinhard, Altmeyer, Sebastian, Burguière, Claire, Grund, Daniel, Herter, Jörg, Reineke, Jan, Wachter, Björn, Wilhelm, Stephan

Volltext

PASS: Abstraction Refinement for Infinite Probabilistic Models von Hahn, Ernst Moritz, Hermanns, Holger, Wachter, Björn, Zhang, Lijun

Volltext

Time-bounded model checking of infinite-state continuous-time Markov chains von Lijun Zhang, Hermanns, H., Moritz Hahn, E., Wachter, B.

Volltext

On the Complexity of the Equivalence Problem for Probabilistic Automata von Kiefer, Stefan, Murawski, Andrzej S., Ouaknine, Joël, Wachter, Björn, Worrell, James

Volltext

INFAMY: An Infinite-State Markov Model Checker von Hahn, Ernst Moritz, Hermanns, Holger, Wachter, Björn, Zhang, Lijun

Volltext

On the Complexity of Equivalence and Minimisation for Q-weighted Automata von Kiefer, Stefan, Murawski, Andrzej, Ouaknine, Joel, Wachter, Bjoern, Worrell, James

Volltext

Probabilistic Model Checking Modulo Theories von Wachter, B., Lijun Zhang, Hermanns, H.

Volltext bestellen

Postoperative treatment of metacarpal fractures—Classical physical therapy compared with a home exercise program von Gülke, Joachim, MD, Leopold, Barbara, PT, Grözinger, Daniel, MD, Drews, Björn, MD, Paschke, Stephan, MD, Wachter, Nikolaus J., MD

Volltext

Software‐based analysis of 1‐hour Holter ECG to select for prolonged ECG monitoring after stroke von Gröschel, Sonja, Lange, Björn, Wasser, Katrin, Hahn, Marianne, Wachter, Rolf, Gröschel, Klaus, Uphaus, Timo

Volltext

Sprengvortrieb und Spezialtiefbau in Göteborg von Baum, Nikolas, Boxheimer, Sascha, Krause, Daniel, Renz, Florian, Hoffmann, Björn, Wächter, Jörg, Klingeberg, Thorsten

Volltext

MODULAR VAPORIZER SYSTEM AND METHOD FOR VAPORIZING A COMPOSITION von ULLNER, Tim, ROMMING, Niklas, VOIGTLÄNDER, Volkmar, CORNILS, Lasse, HANNEKEN, Christian, SCHLÜTER, Björn, KLEINE WÄCHTER, Michael, WUTTKE, Tobias

Volltext bestellen