Barbara Jobstmann

Publikationen

Liste als BibTeX-Datei exportieren

• 2011 Algorithms for Synthesizing Priorities in Component-Based Systems Chih-Hong Cheng , Saddek Bensalem , Yu-Fang Chen , Rongjie Yan , Barbara Jobstmann , Harald Rueß , Christian Buckl und Alois Knoll In Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, Seiten 150–167, 2011. Details URL DOI BIB
• 2011 Model Construction and Priority Synthesis for Simple Interaction Systems Chih-Hong Cheng , Saddek Bensalem , Barbara Jobstmann , Rongjie Yan , Alois Knoll und Harald Rueß In NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, Seiten 466–471, 2011. Details URL DOI BIB
• 2011 On the Hardness of Priority Synthesis Chih-Hong Cheng , Barbara Jobstmann , Christian Buckl und Alois Knoll In Radu Calinescu und David Garlan , Editor, Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings, Seiten 110–117, 2011. Details URL DOI BIB
• 2011 Optimizations for Game-based Software Synthesis Chih-Hong Cheng , Barbara Jobstmann , Michael Geisinger , Sarah Diot-Girard , Christian Buckl , Alois Knoll und Harald Rueß TR-2011-12, Verimag Research Report, 2011. Details BIB