Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Reliability Analysis of PLC Systems by Bayesian Network., , , , , and . SERE, page 283-290. IEEE, (2012)Modeling a Heterogeneous Embedded System in Coloured Petri Nets., , , and . J. Applied Mathematics, (2014)MVDLite: A Light-weight Representation of Model View Definition with Fast Validation for BIM Applications., , , , , and . CoRR, (2019)Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems., , , , , , , , and . SIGSOFT FSE, page 711-714. ACM, (2014)System reliability calculation based on the run-time analysis of ladder program., , , , , , and . ESEC/SIGSOFT FSE, page 695-698. ACM, (2013)Symbolic Analysis of Programmable Logic Controllers., , , , , and . IEEE Trans. Computers, 63 (10): 2563-2575 (2014)iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems., , , , , and . TASE, page 193-200. IEEE Computer Society, (2014)Verifying programmable logic controllers with abstraction., , , and . SIES, page 225-228. IEEE, (2008)Modeling and analysis of stage machinery control systems by timed colored Petri nets., , and . SIES, page 103-110. IEEE, (2008)Specifying Time-Sensitive Systems with TLA+., , and . COMPSAC, page 425-430. IEEE Computer Society, (2010)