|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem |
Finding and fixing faults.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar |
Synthesis of Reactive(1) designs. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian von Essen, Barbara Jobstmann |
Synthesizing Efficient Controllers. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf |
Formalisms for Specifying Markovian Population Models. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian von Essen, Barbara Jobstmann |
Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives |
iWIGP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP BibTeX RDF |
|
| 1 | Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt (eds.) |
9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011 |
MEMOCODE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh 0002 |
QUASY: Quantitative Synthesis Tool. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann |
Specification-centered robustness. |
SIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl, Alois Knoll |
On the Hardness of Priority Synthesis. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna |
GIST: A Solver for Probabilistic Games |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh 0002 |
Measuring and Synthesizing Systems in Probabilistic Environments |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt |
Message from the chairs. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jad Hamza, Barbara Jobstmann, Viktor Kuncak |
Synthesis for regular specifications over unbounded domains. |
FMCAD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Barbara Jobstmann |
Robustness with Respect to Error Specifications. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh 0002 |
Measuring and Synthesizing Systems in Probabilistic Environments. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann |
Robustness in the Presence of Liveness. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna |
Gist: A Solver for Probabilistic Games. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann |
Better Quality in Synthesis through Quantitative Objectives |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Roderick Bloem, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann |
Synthesizing robust systems. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf |
Formalisms for Specifying Markovian Population Models. |
RP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann |
Better Quality in Synthesis through Quantitative Objectives. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann |
Environment Assumptions for Synthesis |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann |
Environment Assumptions for Synthesis. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh |
Model checking transactional memories. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
model checking, transactional memories |
| 1 | Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov |
Interface theories with component reuse. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
interfaces, composition, refinement |
| 1 | Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi |
Open Implication. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer |
Specify, Compile, Run: Hardware from PSL. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Jobstmann, Stefan J. Galler, Martin Weiglhofer, Roderick Bloem |
Anzu: A Tool for Property Synthesis. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Jobstmann, Roderick Bloem |
Optimizations for LTL Synthesis. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Staber, Barbara Jobstmann, Roderick Bloem |
Finding and Fixing Faults. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem |
Program Repair as a Game. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")