Author of the publication

MVDLite: A fast validation algorithm for Model View Definition rules.

, , , , , and . Adv. Eng. Informatics, (October 2023)

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

Domain-Driven Probabilistic Analysis of Programmable Logic Controllers., , , , and . ICFEM, volume 6991 of Lecture Notes in Computer Science, page 115-130. Springer, (2011)OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models., , and . J. Appl. Math., (2013)Design and optimization of multi-clocked embedded systems using formal technique., , , , , , and . ESEC/SIGSOFT FSE, page 703-706. ACM, (2013)Uncertain Model and Algorithm for Hardware/Software Partitioning., , , , , , and . ISVLSI, page 243-248. IEEE Computer Society, (2012)Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets., , and . Annual Simulation Symposium, page 279-285. IEEE Computer Society, (2008)MVDLite: A fast validation algorithm for Model View Definition rules., , , , , and . Adv. Eng. Informatics, (October 2023)Reliability Analysis of PLC Systems by Bayesian Network., , , , , and . SERE, page 283-290. IEEE, (2012)Automatic Integrity Checking of IFC Models relative to building Regulations., , and . ICIMCS, page 52-56. ACM, (2016)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)