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 |