Rüdiger Ehlers

Ruediger Ehlers

	2012
18		Rüdiger Ehlers: Symbolic bounded synthesis. Formal Methods in System Design 40(2): 232-262 (2012)
	2011
17		Hans-Jörg Peter, Rüdiger Ehlers, Robert Mattmüller: Synthia: Verification and Synthesis for Timed Automata. CAV 2011: 649-655
16		Rüdiger Ehlers, Bernd Finkbeiner: Reactive Safety GandALF 2011: 178-191
15		Rüdiger Ehlers: Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis. NASA Formal Methods 2011: 101-115
14		Rüdiger Ehlers, Bernd Finkbeiner: Monitoring Realizability. RV 2011: 427-441
13		Rüdiger Ehlers: Unbeast: Symbolic Bounded Synthesis. TACAS 2011: 272-275
12		Rüdiger Ehlers: Experimental Aspects of Synthesis iWIGP 2011: 1-16
11		Ruediger Ehlers: Small witnesses, accepting lassos and winning strategies in omega-automata and games CoRR abs/1108.0315: (2011)
	2010
10		Rüdiger Ehlers: Symbolic Bounded Synthesis. CAV 2010: 365-379
9		Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter: Model Checking the FlexRay Physical Layer Protocol. FMICS 2010: 132-147
8		Rüdiger Ehlers, Robert Mattmüller, Hans-Jörg Peter: Combining Symbolic Representations for Solving Timed Games. FORMATS 2010: 107-121
7		Rüdiger Ehlers, Michael Gerke, Hans-Jörg Peter: Making the Right Cut in Model Checking Data-Intensive Timed Systems. ICFEM 2010: 565-580
6		Rüdiger Ehlers: Short Witnesses and Accepting Lassos in omega-Automata. LATA 2010: 261-272
5		Rüdiger Ehlers, Daniel Fass, Michael Gerke, Hans-Jörg Peter: Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams. RTSS 2010: 360-371
4		Rüdiger Ehlers: Minimising Deterministic Büchi Automata Precisely Using SAT Solving. SAT 2010: 326-332
3		Rüdiger Ehlers, Bernd Finkbeiner: On the Virtue of Patience: Minimizing Büchi Automata. SPIN 2010: 129-145
2		Ruediger Ehlers: Generalised Rabin(1) synthesis CoRR abs/1003.1684: (2010)
	2006
1		Bastian Baranski, Thomas Bartz-Beielstein, Rüdiger Ehlers, Thusinthan Kajendran, Björn Kosslers, Jörn Mehnen, Tomasz Polaszek, Ralf Reimholz, Jens Schmidt, Karlheinz Schmitt, Danny Seis, Rafael Slodzinski, Simon Steeg, Nils Wiemann, Marc Zimmermann: High-order punishment and the evolution of cooperation. GECCO 2006: 379-380

Coauthor Index

1	Bastian Baranski	[1]
2	Thomas Bartz-Beielstein (Thomas Beielstein)	[1]
3	Daniel Fass	[5]
4	Bernd Finkbeiner	[3] [9] [14] [16]
5	Michael Gerke	[5] [7] [9]
6	Thusinthan Kajendran	[1]
7	Björn Kosslers	[1]
8	Robert Mattmüller	[8] [17]
9	Jörn Mehnen	[1]
10	Hans-Jörg Peter (Hans-Joerg Peter)	[5] [7] [8] [9] [17]
11	Tomasz Polaszek	[1]
12	Ralf Reimholz	[1]
13	Jens Schmidt	[1]
14	Karlheinz Schmitt	[1]
15	Danny Seis	[1]
16	Rafael Slodzinski	[1]
17	Simon Steeg	[1]
18	Nils Wiemann	[1]
19	Marc Zimmermann	[1]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page