Joachim Klein

Dresden University of Technology

other persons with the same name:

• Joachim Klein 0002 - University of Kaiserslautern

	2012
c12		Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp: Waiting for Locks: How Long Does It Usually Take? FMICS 2012: 47-62
c11		Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp: Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code. SSV 2012: 156-166
	2011
c10		Christel Baier, Joachim Klein, Sascha Klüppelholz: A Compositional Framework for Controller Synthesis. CONCUR 2011: 512-527
c9		Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier: Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy. FMICS 2011: 228-243
c8		Christel Baier, Joachim Klein, Sascha Klüppelholz: Modeling and Verification of Components and Connectors. SFM 2011: 114-147
	2010
j2		Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi: Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electr. Notes Theor. Comput. Sci. 266: 33-48 (2010)
c7		Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, Wolfgang Leister: Design and Verification of Systems with Exogenous Coordination Using Vereofy. ISoLA (2) 2010: 97-111
	2009
c6		Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz: A Uniform Framework for Modeling and Verifying Components and Connectors. COORDINATION 2009: 247-267
c5		Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer: The Credo Methodology - (Extended Version). FMCO 2009: 41-69
	2008
c4		Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz: Formal Verification for Components and Connectors. FMCO 2008: 82-101
c3		Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein: Reduction Techniques for Model Checking Markov Decision Processes. QEST 2008: 45-54
	2007
c2		Joachim Klein, Christel Baier: On-the-Fly Stuttering in the Construction of Deterministic omega -Automata. CIAA 2007: 51-61
	2006
j1		Joachim Klein, Christel Baier: Experiments with deterministic omega-automata for formulas of linear temporal logic. Theor. Comput. Sci. 363(2): 182-195 (2006)
	2005
c1		Joachim Klein, Christel Baier: Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic. CIAA 2005: 199-212

Coauthor Index

Last update Tue May 21 21:36:42 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page