Rongjie Yan

2012 Distributed Priority Synthesis Chih-Hong Cheng , Rongjie Yan , Saddek Bensalem and Harald Rueß In Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pages 57–72, 2012. Details URL DOI BIB

2012 Distributed priority synthesis using knowledge Chih-Hong Cheng , Rongjie Yan , Harald Rueß and Saddek Bensalem 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, pages 129–132, 2012. Details URL DOI BIB

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 and Alois Knoll In Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pages 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 and Harald Rueß In NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, pages 466–471, 2011. Details URL DOI BIB

Name	Purpose	Lifetime	Type	Provider
_pk_id	Used to store a few details about the user such as the unique visitor ID.	13 months	HTML	Matomo
_pk_ref	Used to store the attribution information, the referrer initially used to visit the website.	6 months	HTML	Matomo
_pk_ses	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_cvar	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_hsr	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo

Authors

Publications