Barbara Jobstmann
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Graph Games and Reactive Synthesis Handbook of Model Checking | 2018-07-20 | Paper |
| Synthesizing efficient systems in probabilistic environments Acta Informatica | 2016-06-28 | Paper |
| Program repair without regret Formal Methods in System Design | 2015-10-20 | Paper |
| Measuring and synthesizing systems in probabilistic environments Journal of the ACM | 2015-08-14 | Paper |
| Synthesizing robust systems Acta Informatica | 2014-07-03 | Paper |
| Synthesis of Reactive(1) designs Journal of Computer and System Sciences | 2012-08-17 | Paper |
| Synthesizing efficient controllers Lecture Notes in Computer Science | 2012-06-15 | Paper |
| Finding and fixing faults Journal of Computer and System Sciences | 2012-05-11 | Paper |
| Algorithms for synthesizing priorities in component-based systems Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
| On the hardness of priority synthesis Implementation and Application of Automata | 2011-07-29 | Paper |
| Model construction and priority synthesis for simple interaction systems Lecture Notes in Computer Science | 2011-07-22 | Paper |
| Formalisms for specifying Markovian population models International Journal of Foundations of Computer Science | 2011-07-14 | Paper |
| QUASY: quantitative synthesis tool Tools and Algorithms for the Construction and Analysis of Systems | 2011-05-19 | Paper |
| Formalisms for Specifying Markovian Population Models Lecture Notes in Computer Science | 2009-11-19 | Paper |
| Better Quality in Synthesis through Quantitative Objectives Computer Aided Verification | 2009-06-30 | Paper |
| Environment Assumptions for Synthesis CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
| Open Implication Automata, Languages and Programming | 2008-08-19 | Paper |
| Correct Hardware Design and Verification Methods Lecture Notes in Computer Science | 2006-10-20 | Paper |
| Computer Aided Verification Lecture Notes in Computer Science | 2006-01-10 | Paper |
Research outcomes over time
This page was built for person: Barbara Jobstmann
