| 2015 | TrustCom | Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems. | Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch |
| 2012 | ETFA | Closed-loop system modeling, validation, and verification. | Sebastian Preue, Hans-Christian Lapp, Hans-Michael Hanisch |
| 2010 | ETFA | A complete framework for controller verification in manufacturing. | Christian Gerber, Sebastian Preue, Hans-Michael Hanisch |
| 2010 | ETFA | Improving verification and reliability of distributed control systems design according to IEC 61499. | Hans-Christian Lapp, Christian Gerber, Hans-Michael Hanisch |
| 2010 | GI | Design Approaches for IEC 61499 Control Applications. | Sebastian Preue, Christian Gerber, Hans-Michael Hanisch |
| 2009 | ETFA | Model-checking for the Functional Safety of Control Component-based Heterogeneous Embedded Systems. | Mohamed Khalgui, Hans-Michael Hanisch, Atef Gharbi |
| 2009 | INDIN | Implementation of agent-based reconfigurable embedded control systems. | Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch |
| 2009 | INDIN | Specification of technical plant behavior with a safety-oriented technical language. | Sebastian Preue, Hans-Michael Hanisch |
| 2008 | ETFA | Automatic specification of feasible Control Tasks in Benchmark Production Systems. | Mohamed Khalgui, Hans-Michael Hanisch |
| 2008 | ETFA | A formal approach to check and schedule reconfigurable embedded control systems. | Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch |
| 2008 | ICINCO | Reconfiguration of Embedded Systems. | Mohamed Khalgui, Martin Hirsch, Dirk Missal, Hans-Michael Hanisch |
| 2007 | ETFA | Hierarchical distributed controllers - design and verification. | Dirk Missal, Martin Hirsch, Hans-Michael Hanisch |
| 2007 | SMC | Modular plant modelling for distributed control. | Dirk Missal, Hans-Michael Hanisch |
| 2006 | ETFA | Modelling and Verification of IEC 61499 Applications using Prolog. | Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch |
| 2006 | ETFA | Synthesis of Distributed Controllers by Means of a Monolithic Approach. | Dirk Missal, Hans-Michael Hanisch |
| 2006 | ETFA | Systematic Design and Implementation of Distributed Controllers in Industrial Automation. | Valeriy Vyatkin, Martin Hirsch, Hans-Michael Hanisch |
| 2005 | ETFA | Translation validation for model-based code-generators for PLCs. | D. Pollmacher, Wolf Zimmermann, Hans-Michael Hanisch |
| 2005 | ETFA | Reuse of components in formal modeling and verification of distributed control systems. | Valeriy Vyatkin, Hans-Michael Hanisch |
| 2005 | ICRA | Modeling Admissible Behavior Using Event Signals. | Luz E. Pinzon, Mohsen A. Jafari, Ardavan Amini, Hans-Michael Hanisch |
| 2003 | ETFA | Design and implementation of a prototype control system according to IEC 61499. | Xiujun Cai, Valeriy Vyatkin, Hans-Michael Hanisch |
| 2003 | ETFA | Modular modeling of roll-based calender manufacturing environments. | Oliver Gutzeit, Hans-Michael Hanisch |
| 2003 | ETFA | Plug & play methodologies for inter-level, enterprise logistics and control. | Mohsen A. Jafari, Thomas O. Boucher, Hans-Michael Hanisch |
| 2001 | ETFA | Fault treatment with net condition/event systems: a first approach. | T. Both, Hans-Michael Hanisch, J. Jorn |
| 2001 | ETFA | Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems. | Valeriy Vyatkin, Hans-Michael Hanisch |
| 2001 | SMC | Application of visual specifications for verification of distributed controllers. | Valeriy Vyatkin, Hans-Michael Hanisch |
| 2000 | ICRA | Modeling Admissible Behavior with Net Condition/Event Systems. | Luz E. Pinzon, Mohsen A. Jafari, Hans-Michael Hanisch |
| 1998 | SMC | BatchMon-applying TNCES-models to the online monitoring of recipe driven batch plants. | Ulrich Christmann, Hans-Michael Hanisch |
| 1998 | SMC | A modular plant modeling technique and related controller synthesis problems. | Hans-Michael Hanisch, Arndt Lder, Jan Thieme |
| 1998 | SMC | Timestamp nets in technical applications. | Hans-Michael Hanisch, Jan Thieme, Kurt Lautenbach, Carlo Simon |