Formal modeling of function block applications running in IEC 61499 execution runtime G Cengic, O Ljungkrantz, K Akesson 2006 IEEE Conference on Emerging Technologies and Factory Automation, 1269-1276, 2006 | 101 | 2006 |
On formal analysis of IEC 61499 applications, Part A: Modeling G Cengic, K Akesson IEEE Transactions on Industrial Informatics 6 (2), 136-144, 2010 | 71 | 2010 |
On formal analysis of IEC 61499 applications, part B: Execution semantics G Cengic, K Akesson IEEE Transactions on Industrial Informatics 6 (2), 145-154, 2010 | 58 | 2010 |
A framework for component based distributed control software development using IEC 61499 G Cengic, O Ljungkrantz, K Akesson 2006 IEEE Conference on Emerging Technologies and Factory Automation, 782-789, 2006 | 40 | 2006 |
Definition of the execution model used in the Fuber IEC 61499 runtime environment G Cengic, K Akesson 2008 6th IEEE International Conference on Industrial Informatics, 301-306, 2008 | 21 | 2008 |
A control software development method using IEC 61499 function blocks, simulation and formal verification G Čengić, K Åkesson IFAC Proceedings Volumes 41 (2), 22-27, 2008 | 15 | 2008 |
Implementation of Full Synchronous Composition Using IEC 61499 Function Blocks G Cengic, K Akesson, B Lennartson, C Yuan, P Ferreira Automation Science and Engineering, 2005. IEEE International Conference on …, 2005 | 12 | 2005 |
Supremica K Akesson, M Fabian, H Flordal, R Malik, A Vahidi, M Skoldstam, ... University of Waikato, 2017 | 5 | 2017 |
On formal methods in development of control logic using IEC 61499 G Cengic Chalmers University of Technology, 2009 | 1 | 2009 |
Deadlock Free Execution of IEC 61499 Applications Using Synthesized Supervisors G Čengić, K Åkesson Submitted to the IEEE Transactions on Industrial Electronics, 2009 | | 2009 |
On Formal Modeling and Verification of IEC 61499 Applications G Čengić, K Åkesson | | 2008 |
On Industrial Automation Software Development; Modeling, Analysis and Execution Using Automation Components and IEC 61499 G Cengic Chalmers University of Technology, 2006 | | 2006 |