Barbara Jobstmann Vis

*	2009
15	EE	Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf: Instantaneous Soundness Checking of Industrial Business Process Models. BPM 2009: 278-293
14	EE	Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Better Quality in Synthesis through Quantitative Objectives. CAV 2009: 140-156
13	EE	Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf: Formalisms for Specifying Markovian Population Models. RP 2009: 3-23
12	EE	Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Better Quality in Synthesis through Quantitative Objectives CoRR abs/0904.2638: (2009)
	2008
11	EE	Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Environment Assumptions for Synthesis. CONCUR 2008: 147-161
10	EE	Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov: Interface theories with component reuse. EMSOFT 2008: 79-88
9	EE	Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi: Open Implication. ICALP (2) 2008: 361-372
8	EE	Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh: Model checking transactional memories. PLDI 2008: 372-382
7	EE	Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Environment Assumptions for Synthesis CoRR abs/0805.4167: (2008)
	2007
6	EE	Barbara Jobstmann, Stefan Galler, Martin Weiglhofer, Roderick Bloem: Anzu: A Tool for Property Synthesis. CAV 2007: 258-262
5	EE	Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer: Interactive presentation: Automatic hardware synthesis from specifications: a case study. DATE 2007: 1188-1193
4	EE	Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer: Specify, Compile, Run: Hardware from PSL. Electr. Notes Theor. Comput. Sci. 190(4): 3-16 (2007)
	2006
3	EE	Barbara Jobstmann, Roderick Bloem: Optimizations for LTL Synthesis. FMCAD 2006: 117-124
	2005
2	EE	Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem: Program Repair as a Game. CAV 2005: 226-238
1	EE	Stefan Staber, Barbara Jobstmann, Roderick Bloem: Finding and Fixing Faults. CHARME 2005: 35-49

Coauthor Index

1	Roderick Bloem	[1] [2] [3] [4] [5] [6] [9] [12] [14]
2	Krishnendu Chatterjee	[7] [11] [12] [14]
3	Laurent Doyen	[10]
4	Dirk Fahland	[15]
5	Cédric Favre	[15]
6	Stefan Galler	[4] [5] [6]
7	Karin Greimel	[9]
8	Andreas Griesmayer	[2]
9	Rachid Guerraoui	[8]
10	Thomas A. Henzinger	[7] [8] [10] [11] [12] [13] [14]
11	Jana Koehler (Jana Köhler)	[15]
12	Niels Lohmann	[15]
13	Tatjana Petrov	[10]
14	Nir Piterman	[4] [5]
15	Amir Pnueli	[4] [5]
16	Vasu Singh	[8]
17	Stefan Staber	[1]
18	Moshe Y. Vardi	[9]
19	Hagen Völzer	[15]
20	Martin Weiglhofer	[4] [5] [6]
21	Karsten Wolf (Karsten Schmidt)	[15]
22	Verena Wolf	[13]

Colors in the list of coauthors