Liviu Grigore, Ph.D.
Affiliations: | 2011 | University of Illinois at Chicago, Chicago, IL, United States |
Area:
Computer ScienceGoogle:
"Liviu Grigore"Parents
Sign in to add mentorUgo Buy | grad student | 2011 | University of Illinois, Chicago | |
(Enhancing The Reliability Of Concurrent Systems Using Supervisory Control.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Wang H, Grigore L, Buy U, et al. (2011) Enforcing periodic transition deadlines in time petri nets with net unfoldings Ieee Transactions On Systems, Man, and Cybernetics Part a:Systems and Humans. 41: 522-539 |
Grigore L, Buy U. (2008) Enforcing safety properties in web applications using petri nets Proceedings of the 9th Iasted International Conference On Software Engineering and Applications, Sea 2008. 33-38 |
Wang H, Grigore L, Buy U, et al. (2007) Enforcing transition deadlines in time petri nets Ieee International Conference On Emerging Technologies and Factory Automation, Etfa. 604-611 |