Fenglin Han

Modeling and Verifying Real-Time Properties of Reactive Systems

Peter Herrmann, Hien Le, Fenglin Han, 2013, 2013 18th International Conference on Engineering of Complex Computer Systems.

Modeling real-time system performance with respect to scheduling analysis

Peter Herrmann, Fenglin Han, P. Herrmann, 2013, 2013 International Joint Conference on Awareness Science and Technology & Ubi-Media Computing (iCAST 2013 & UMEDIA 2013).

Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11

Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt, 2015, 2015 IEEE 39th Annual Computer Software and Applications Conference.

Remedy of Mixed Initiative Conflicts in Model-based System Engineering

Peter Herrmann, Fenglin Han, 2012, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Towards choreography model transformation via graph transformation

Peter Herrmann, Fenglin Han, Surya Bahadur Kathayat, 2011, 2011 IEEE 2nd International Conference on Software Engineering and Service Science.

Remedy of Mixed Initiative Conflicts in Model-based System Engineering

Peter Herrmann, Fenglin Han, 2012 .

A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems

Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt, 2016, Int. J. Web Serv. Res..

Light exoskeleton for civil use: A pragmatic carrying assistive apparatus

Fenglin Han, Peizhang Zhu, 2017 .

Model-Based Development and Spatiotemporal Behavior of Cyber-Physical Systems

Jan Olaf Blech, Peter Herrmann, Heinz Schmidt, 2019, Advances in Web Technologies and Engineering.

A kinematic calibration method based on the product of exponentials formula for serial robot using position measurements

Tielin Shi, Shuzi Yang, Bo Wu, 2015, Robotica.

MODEL-DRIVEN ENGINEERING OF COMPLEX SYSTEMS Supporting the Design of Reactive Systems with Augmented Modeling and Verification Mechanisms

Fenglin Han, 2020 .

Towards Verifying Safety Properties of Real-Time Probabilistic Systems

Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt, 2014, FESCA.

Organizational Interoperability Supported through Goal Alignment with BMM and Service Collaboration with SoaML

Arne-Jørgen Berre, Espen Moeller, Fenglin Han, 2009, 2009 International Conference on Interoperability for Enterprise Software and Applications China.