Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic, Logic of Programs Workshop, 1982. ,
Characterizing correctness properties of parallel programs using fixpoints, Automata, Languages and Programming, vol.85, pp.169-181, 1980. ,
DOI : 10.1007/3-540-10003-2_69
Fifteen Years of Formal Property Verification in Intel, pp.139-144, 2008. ,
DOI : 10.1007/978-3-540-69850-0_8
Formal verification in hardware design: a survey, ACM Transactions on Design Automation of Electronic Systems, vol.4, issue.2, pp.123-193, 1999. ,
DOI : 10.1145/307988.307989
One Decade of IEC 61499 Modeling and Verification - Results and Open Issues, 13th IFAC Symposium on Information Control Problems in Manufacturing, V.A. Trapeznikov Institute of Control Sciences, 2009. ,
DOI : 10.3182/20090603-3-RU-2001.0306
Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems, ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597), pp.113-118, 2001. ,
DOI : 10.1109/ETFA.2001.997677
NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Computer Aided Verification, pp.241-268, 2002. ,
DOI : 10.1007/3-540-45657-0_29
Progress on the State Explosion Problem in Model Checking, Informatics, pp.176-194, 2001. ,
DOI : 10.1007/3-540-44577-3_12
Counterexample-Guided Abstraction Refinement, Computer Aided Verification, pp.154-169, 2000. ,
Closed-loop formal verification framework with nondeterminism , configurable by meta-modelling, IECON 2011 -37th Annual Conference on IEEE Industrial Electronics Society, pp.3770-3775, 2011. ,
Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM, 9th International Andrei Ershov Memorial Conference, 2014. ,
DOI : 10.1007/978-3-662-46823-4_7
Modular modeling of closed-loop systems, Proc of Colloquium on Petri Net Technologies for Modeling Communication Based Systems, pp.103-126, 2000. ,
Modeling Admissible Behavior Using Event Signals, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.34, issue.3, pp.1435-1448, 2004. ,
DOI : 10.1109/TSMCB.2004.825915
Formal verification of Intelligent Mechatronic Systems with decentralized control logic, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), pp.1-7, 2012. ,
DOI : 10.1109/ETFA.2012.6489678
Available ,
Distributed control patterns for intelligent mechatronic systems, IEEE 10th International Conference on Industrial Informatics, pp.259-264, 2012. ,
DOI : 10.1109/INDIN.2012.6301149