| Model driven design of heterogeneous synchronous embedded systems. | 2 | 0.39 | 2016 |
| Automatic Integrity Checking of IFC Models relative to building Regulations. | 0 | 0.34 | 2016 |
| Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks | 23 | 1.12 | 2015 |
| Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques | 26 | 1.08 | 2015 |
| Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems | 4 | 0.52 | 2014 |
| Modeling a Heterogeneous Embedded System in Coloured Petri Nets. | 1 | 0.43 | 2014 |
| iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems | 1 | 0.37 | 2014 |
| Symbolic Analysis of Programmable Logic Controllers | 3 | 0.39 | 2014 |
| Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis | 1 | 0.35 | 2014 |
| DOPROPC: a domain property pattern system helping to specify control system requirements (S). | 0 | 0.34 | 2013 |
| An Effective Heuristic-Based Approach for Partitioning. | 8 | 0.46 | 2013 |
| Design and optimization of multi-clocked embedded systems using formal technique | 4 | 0.57 | 2013 |
| Bayesian-Network-Based Reliability Analysis of PLC Systems | 7 | 0.53 | 2013 |
| Verification and Implementation of the Protocol Standard in Train Control System | 3 | 0.44 | 2013 |
| OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models. | 1 | 0.36 | 2013 |
| System reliability calculation based on the run-time analysis of ladder program | 1 | 0.37 | 2013 |
| New strategies for reliability analysis of Programmable Logic Controllers. | 1 | 0.39 | 2012 |
| Uncertain Model and Algorithm for Hardware/Software Partitioning | 12 | 0.64 | 2012 |
| Reliability Analysis of PLC Systems by Bayesian Network | 1 | 0.39 | 2012 |
| Proving Computational Geometry Algorithms in TLA+2 | 0 | 0.34 | 2011 |
| Domain-driven probabilistic analysis of programmable logic controllers | 1 | 0.38 | 2011 |
| Specifying and verifying PLC systems with TLA+: A case study | 1 | 0.38 | 2010 |
| Specifying time-sensitive systems with TLA + | 0 | 0.34 | 2010 |
| Specifying and Verifying PLC Systems with TLA+ | 1 | 0.45 | 2009 |
| Modeling job shop scheduling with batches and setup times by timed Petri nets | 4 | 0.39 | 2009 |
| Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets | 2 | 0.51 | 2008 |
| Verifying programmable logic controllers with abstraction | 1 | 0.39 | 2008 |
