Publikationen
Liste als BibTeX-Datei exportieren
- Distributed Priority Synthesis In Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., Seiten 57–72, 2012. Details URL DOI BIB
- Distributed priority synthesis using knowledge In Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, USA, Seiten 129–132, 2012. Details URL DOI BIB
- Algorithms for Synthesizing Priorities in Component-Based Systems 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
- Model Construction and Priority Synthesis for Simple Interaction Systems 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