BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Iceland
1 × Russia
2 × Germany
2 × USA
2 × United Kingdom
3 × France
Collaborated with:
R.Bloem T.A.Henzinger K.Chatterjee C.v.Essen S.J.Galler M.Weiglhofer R.Singh K.Greimel N.Piterman A.Pnueli A.Griesmayer C.Cheng C.Buckl A.Knoll A.Radhakrishna M.Y.Vardi R.Guerraoui V.Singh
Talks about:
synthesi (5) probabilist (2) synthes (2) quantit (2) program (2) hardwar (2) repair (2) tool (2) game (2) transact (1)

Person: Barbara Jobstmann

DBLP DBLP: Jobstmann:Barbara

Contributed to:

CAV 20132013
VMCAI 20122012
CIAA 20112011
TACAS 20112011
CAV 20102010
CAV 20092009
ICALP (2) 20082008
PLDI 20082008
CAV 20072007
COCV 20072007
DATE 20072007
CAV 20052005

Wrote 14 papers:

CAV-2013-EssenJ #program repair
Program Repair without Regret (CvE, BJ), pp. 896–911.
VMCAI-2012-EssenJ #performance
Synthesizing Efficient Controllers (CvE, BJ), pp. 428–444.
CIAA-2011-ChengJBK #on the #synthesis
On the Hardness of Priority Synthesis (CHC, BJ, CB, AK), pp. 110–117.
TACAS-2011-ChatterjeeHJS #named #synthesis
QUASY: Quantitative Synthesis Tool (KC, TAH, BJ, RS), pp. 267–271.
CAV-2010-BloemCGHJ #liveness #robust
Robustness in the Presence of Liveness (RB, KC, KG, TAH, BJ), pp. 410–424.
CAV-2010-ChatterjeeHJR #game studies #named #probability
Gist: A Solver for Probabilistic Games (KC, TAH, BJ, AR), pp. 665–669.
CAV-2010-ChatterjeeHJS #probability
Measuring and Synthesizing Systems in Probabilistic Environments (KC, TAH, BJ, RS), pp. 380–395.
CAV-2009-BloemCHJ #quality #synthesis
Better Quality in Synthesis through Quantitative Objectives (RB, KC, TAH, BJ), pp. 140–156.
Open Implication (KG, RB, BJ, MYV), pp. 361–372.
PLDI-2008-GuerraouiHJS #model checking #transaction
Model checking transactional memories (RG, TAH, BJ, VS), pp. 372–382.
CAV-2007-JobstmannGWB #named #synthesis
Anzu: A Tool for Property Synthesis (BJ, SJG, MW, RB), pp. 258–262.
COCV-2007-BloemGJPPW #hardware
Specify, Compile, Run: Hardware from PSL (RB, SJG, BJ, NP, AP, MW), pp. 3–16.
DATE-2007-BloemGJPPW #automation #case study #hardware #interactive #specification #synthesis
Interactive presentation: Automatic hardware synthesis from specifications: a case study (RB, SJG, BJ, NP, AP, MW), pp. 1188–1193.
CAV-2005-JobstmannGB #game studies #program repair
Program Repair as a Game (BJ, AG, RB), pp. 226–238.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.