Fenglin Han
Fenglin Han
Verified email at item.ntnu.no
Title
Cited by
Cited by
Year
A model-based toolchain to verify spatial behavior of cyber-physical systems
P Herrmann, JO Blech, F Han, H Schmidt
International Journal of Web Services Research (IJWSR) 13 (1), 40-52, 2016
262016
Towards verifying safety properties of real-time probabilistic systems
F Han, JO Blech, P Herrmann, H Schmidt
arXiv preprint arXiv:1404.0846, 2014
232014
Model-based engineering and analysis of space-aware systems communicating via IEEE 802.11
F Han, JO Blech, P Herrmann, H Schmidt
2015 IEEE 39th Annual Computer Software and Applications Conference 2, 638-646, 2015
202015
Organizational interoperability supported through goal alignment with BMM and service collaboration with SoaML
F Han, E Moller, AJ Berre
2009 International Conference on Interoperability for Enterprise Software …, 2009
162009
Modeling and verifying real-time properties of reactive systems
F Han, P Herrmann, H Le
2013 18th International Conference on Engineering of Complex Computer …, 2013
92013
Modeling real-time system performance with respect to scheduling analysis
F Han, P Herrmann
2013 International Joint Conference on Awareness Science and Technology …, 2013
72013
Towards choreography model transformation via graph transformation
F Han, SB Kathayat, H Le, R Bræk, P Herrmann
2011 IEEE 2nd International Conference on Software Engineering and Service …, 2011
62011
Remedy of mixed initiative conflicts in model-based system engineering
F Han, P Herrmann
Electronic Communications of the EASST 47, 2012
32012
MODEL-DRIVEN ENGINEERING OF COMPLEX SYSTEMS Supporting the Design of Reactive Systems with Augmented Modeling and Verification Mechanisms
F Han
NTNU, 2020
2020
Model-Based Development and Spatiotemporal Behavior of Cyber-Physical Systems
P Herrmann, JO Blech, F Han, H Schmidt
Innovative Solutions and Applications of Web Services Technology, 69-93, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–10