search result

Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2019
Media group: LIPIcs
Cover von 46th International Colloquium on Automata, Languages, and Programming
ICALP 2019 : July 9 - 12, 2019, Patras, Greece
Search for this author
Year: 2019
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 132
Media group: LIPIcs
Cover von Quantitative Models
Expressiveness and Analysis
Search for this author
Year: 2010
Publisher: Wadern, LZI
Series: Dagstuhl Seminar Proceedings; 10031
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Validation of stochastic systems
a guide to current research : Dagstuhl workshop : December 8 - 11, 2002
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 2925
Media group: MONOGRAPHIE
Cover von Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications

Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications

Author: Ouaknine, Joël; Purser, David; Whiteland, Markus A.
Year: 2022
Media group: LIPIcs
Cover von The Orbit Problem for Parametric Linear Dynamical Systems

The Orbit Problem for Parametric Linear Dynamical Systems

Author: Luca, Florian; Ouaknine, Joël; Purser, David
Year: 2021
Media group: LIPIcs
Cover von From Verification to Causality-Based Explications (Invited Talk)

From Verification to Causality-Based Explications (Invited Talk)

Author: Piribauer, Jakob; Ziemek, Robin
Year: 2021
Media group: LIPIcs
Cover von Reachability in Dynamical Systems with Rounding

Reachability in Dynamical Systems with Rounding

Author: Ouaknine, Joël; Pouly, Amaury; Purser, David
Year: 2020
Media group: LIPIcs
Cover von SOFSEM 2017: Theory and Practice of Computer Science
43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16 - 20, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 10139
Media group: MONOGRAPHIE
OPEN V 11.1.0.0