Sascha Klüppelholz

	2011
12		Christel Baier, Joachim Klein, Sascha Klüppelholz: A Compositional Framework for Controller Synthesis. CONCUR 2011: 512-527
11		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
10		Christel Baier, Joachim Klein, Sascha Klüppelholz: Modeling and Verification of Components and Connectors. SFM 2011: 114-147
	2010
9		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
8		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)
7		Sascha Klüppelholz, Christel Baier: Alternating-time stream logic for multi-agent systems. Sci. Comput. Program. 75(6): 398-425 (2010)
	2009
6		Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz: A Uniform Framework for Modeling and Verifying Components and Connectors. COORDINATION 2009: 247-267
5		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
4		Sascha Klüppelholz, Christel Baier: Symbolic model checking for channel-based component connectors. Sci. Comput. Program. 74(9): 688-701 (2009)
	2008
3		Sascha Klüppelholz, Christel Baier: Alternating-Time Stream Logic for Multi-agent Systems. COORDINATION 2008: 184-198
2		Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz: Formal Verification for Components and Connectors. FMCO 2008: 82-101
	2007
1		Sascha Klüppelholz, Christel Baier: Symbolic Model Checking for Channel-based Component Connectors. Electr. Notes Theor. Comput. Sci. 175(2): 19-37 (2007)

Coauthor Index

1	Bernhard K. Aichernig	[5] [8]
2	Christel Baier	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
3	Tobias Blechmann	[2] [5] [6] [8] [9]
4	Frank S. de Boer	[5] [8]
5	Immo Grabe	[5] [8]
6	Andreas Griesmayer	[5] [8]
7	Mohammad Mahdi Jaghoori	[5] [8]
8	Einar Broch Johnsen	[8]
9	Joachim Klein	[2] [5] [6] [8] [9] [10] [11] [12]
10	Marcel Kyas	[8]
11	Wolfgang Leister	[8] [9]
12	Rudolf Schlatte	[8]
13	Andries Stam	[5] [8] [11]
14	Martin Steffen	[8]
15	Simon Tschirner	[8]
16	Liang Xuedong	[8]
17	Wang Yi	[8]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page