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 | 27 | 2016 |
Towards verifying safety properties of real-time probabilistic systems F Han, JO Blech, P Herrmann, H Schmidt arXiv preprint arXiv:1404.0846, 2014 | 24 | 2014 |
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 | 17 | 2009 |
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 | 16 | 2015 |
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 | 11 | 2013 |
Modeling real-time system performance with respect to scheduling analysis F Han, P Herrmann 2013 International Joint Conference on Awareness Science and Technology …, 2013 | 9 | 2013 |
Model-based Engineering and Analysis of Space-aware Systems Communicating via IEEE 802.11. COMPSAC F Han, JO Blech, P Herrmann, H Schmidt IEEE, 2015 | 8 | 2015 |
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 | 7 | 2011 |
Remedy of mixed initiative conflicts in model-based system engineering F Han, P Herrmann Electronic Communications of the EASST 47, 2012 | 3 | 2012 |
PAPER E F Han, JO Blech, P Herrmann, H Schmidt MODEL-DRIVEN ENGINEERING OF COMPLEX SYSTEMS, 143, 2020 | 2 | 2020 |
PAPER F P Herrmann, JO Blech, F Han, H Schmidt MODEL-DRIVEN ENGINEERING OF COMPLEX SYSTEMS, 171, 2020 | | 2020 |
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 |