Concepedia

Goran Čengić

GČ

Statistics

Publications

6

Citations

241

H-Index

6

Active since

2006

Affiliations

Chalmers University of Technology(Current)

Goran Čengić is an author at Chalmers University of Technology specializing in formal verification, formal methods, and computer science.

Publications per year

2006–2010

6

Publications

6

Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime

Goran Čengić, Oscar Ljungkrantz, Knut Åkesson · 2006 · 84 citations

Computing, Computer Science, Systems Engineering +17

On Formal Analysis of IEC 61499 Applications, Part A: Modeling

Goran Čengić, Knut Åkesson · IEEE Transactions on Industrial Informatics · 2010 · 51 citations

Computing, Computer Engineering, Computer Science +10

On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics

Goran Čengić, Knut Åkesson · IEEE Transactions on Industrial Informatics · 2010 · 48 citations

Computing, Computer Engineering, Computer Science +8

A Framework for Component Based Distributed Control Software Development Using IEC 61499

Goran Čengić, Oscar Ljungkrantz, Knut Åkesson · 2006 · 31 citations

Engineering, Manufacturing Engineering, Systems Engineering +17

Definition of the execution model used in the Fuber IEC 61499 runtime environment

Goran Čengić, Kraut Akesson · 2008 · 15 citations

Engineering, Computer Engineering, Computer Science +17

1–5 of 6