Barbara Jobstmann

	2012
36		Christian von Essen, Barbara Jobstmann: Synthesizing Efficient Controllers. VMCAI 2012: 428-444
35		Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem: Finding and fixing faults. J. Comput. Syst. Sci. 78(2): 441-460 (2012)
34		Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar: Synthesis of Reactive(1) designs. J. Comput. Syst. Sci. 78(3): 911-938 (2012)
	2011
33		Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011 IEEE 2011
32		Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll: Algorithms for Synthesizing Priorities in Component-Based Systems. ATVA 2011: 150-167
31		Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl, Alois Knoll: On the Hardness of Priority Synthesis. CIAA 2011: 110-117
30		Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll, Harald Ruess: Model Construction and Priority Synthesis for Simple Interaction Systems. NASA Formal Methods 2011: 466-471
29		Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann: Specification-centered robustness. SIES 2011: 176-185
28		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh: QUASY: Quantitative Synthesis Tool. TACAS 2011: 267-271
27		Christian von Essen, Barbara Jobstmann: Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives iWIGP 2011: 17-32
26		Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll: Algorithms for Synthesizing Priorities in Component-based Systems CoRR abs/1107.1383: (2011)
25		Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf: Formalisms for Specifying Markovian Population Models. Int. J. Found. Comput. Sci. 22(4): 823-841 (2011)
	2010
24		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh: Measuring and Synthesizing Systems in Probabilistic Environments. CAV 2010: 380-395
23		Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann: Robustness in the Presence of Liveness. CAV 2010: 410-424
22		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna: Gist: A Solver for Probabilistic Games. CAV 2010: 665-669
21		Barbara Jobstmann: Robustness with Respect to Error Specifications. FDL 2010: 72
20		Jad Hamza, Barbara Jobstmann, Viktor Kuncak: Synthesis for regular specifications over unbounded domains. FMCAD 2010: 101-109
19		Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt: Message from the chairs. MEMOCODE 2010: 1-3
18		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh: Measuring and Synthesizing Systems in Probabilistic Environments CoRR abs/1004.0739: (2010)
17		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna: GIST: A Solver for Probabilistic Games CoRR abs/1004.2367: (2010)
	2009
16		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
15		Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Better Quality in Synthesis through Quantitative Objectives. CAV 2009: 140-156
14		Roderick Bloem, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann: Synthesizing robust systems. FMCAD 2009: 85-92
13		Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf: Formalisms for Specifying Markovian Population Models. RP 2009: 3-23
12		Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Better Quality in Synthesis through Quantitative Objectives CoRR abs/0904.2638: (2009)
	2008
11		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Environment Assumptions for Synthesis. CONCUR 2008: 147-161
10		Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov: Interface theories with component reuse. EMSOFT 2008: 79-88
9		Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi: Open Implication. ICALP (2) 2008: 361-372
8		Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh: Model checking transactional memories. PLDI 2008: 372-382
7		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Environment Assumptions for Synthesis CoRR abs/0805.4167: (2008)
	2007
6		Barbara Jobstmann, Stefan J. Galler, Martin Weiglhofer, Roderick Bloem: Anzu: A Tool for Property Synthesis. CAV 2007: 258-262
5		Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer: Interactive presentation: Automatic hardware synthesis from specifications: a case study. DATE 2007: 1188-1193
4		Roderick Bloem, Stefan J. 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		Barbara Jobstmann, Roderick Bloem: Optimizations for LTL Synthesis. FMCAD 2006: 117-124
	2005
2		Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem: Program Repair as a Game. CAV 2005: 226-238
1		Stefan Staber, Barbara Jobstmann, Roderick Bloem: Finding and Fixing Faults. CHARME 2005: 35-49

Coauthor Index

1	Saddek Bensalem	[26] [30] [32]
2	Roderick Bloem (Roderick Paul Bloem)	[1] [2] [3] [4] [5] [6] [9] [12] [14] [15] [23] [29] [34] [35]
3	Jens Brandt	[19] [33]
4	Christian Buckl	[26] [31] [32]
5	Luca P. Carloni	[19]
6	Krishnendu Chatterjee	[7] [11] [12] [15] [17] [18] [22] [23] [24] [28] [29]
7	Yu-Fang Chen	[26] [32]
8	Chih-Hong Cheng	[26] [30] [31] [32]
9	Laurent Doyen	[10]
10	Christian von Essen	[27] [36]
11	Dirk Fahland	[16]
12	Cédric Favre	[16]
13	Stefan J. Galler	[4] [5] [6]
14	Karin Greimel	[9] [14] [23] [29]
15	Andreas Griesmayer	[2] [35]
16	Rachid Guerraoui	[8]
17	Jad Hamza	[20]
18	Thomas A. Henzinger	[7] [8] [10] [11] [12] [13] [14] [15] [17] [18] [22] [23] [24] [25] [28] [29]
19	Michael Kishinevsky	[33]
20	Alois Knoll	[26] [30] [31] [32]
21	Jana Koehler (Jana Köhler)	[16]
22	Viktor Kuncak	[20]
23	Niels Lohmann	[16]
24	Tatjana Petrov	[10]
25	Nir Piterman	[4] [5] [34]
26	Amir Pnueli	[4] [5] [34]
27	Arjun Radhakrishna	[17] [22]
28	Harald Ruess (Harald Rueß)	[26] [30] [32]
29	Yaniv Sa'ar	[34]
30	Klaus Schneider	[19]
31	Satnam Singh	[33]
32	Vasu Singh	[8]
33	Rohit Singh	[18] [24] [28]
34	Stefan Staber	[1] [35]
35	Moshe Y. Vardi	[9]
36	Hagen Völzer	[16]
37	Martin Weiglhofer	[4] [5] [6]
38	Karsten Wolf (Karsten Schmidt)	[16]
39	Verena Wolf	[13] [25]
40	Rongjie Yan	[26] [30] [32]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page