Barbara Jobstmann

Available identifiers

zbMath Open jobstmann.barbaraMaRDI QIDQ414903

List of research outcomes

Publication	Date of Publication	Type
Graph Games and Reactive Synthesis	2018-07-20	Paper
Synthesizing efficient systems in probabilistic environments	2016-06-28	Paper
Program repair without regret	2015-10-20	Paper
Measuring and Synthesizing Systems in Probabilistic Environments	2015-08-14	Paper
Synthesizing robust systems	2014-07-03	Paper
Synthesis of Reactive(1) designs	2012-08-17	Paper
Synthesizing Efficient Controllers	2012-06-15	Paper
Finding and fixing faults	2012-05-11	Paper
Algorithms for Synthesizing Priorities in Component-Based Systems	2011-10-07	Paper
On the Hardness of Priority Synthesis	2011-07-29	Paper
Model Construction and Priority Synthesis for Simple Interaction Systems	2011-07-22	Paper
FORMALISMS FOR SPECIFYING MARKOVIAN POPULATION MODELS	2011-07-14	Paper
QUASY: Quantitative Synthesis Tool	2011-05-19	Paper
Formalisms for Specifying Markovian Population Models	2009-11-19	Paper
Better Quality in Synthesis through Quantitative Objectives	2009-06-30	Paper
Environment Assumptions for Synthesis	2008-11-25	Paper
Open Implication	2008-08-19	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Computer Aided Verification	2006-01-10	Paper

Research outcomes over time

This page was built for person: Barbara Jobstmann