| Failure Prediction in Production Line Based on Federated Learning: An Empirical Study N Ge, G Li, L Zhang, Y Liu Journal of Intelligent Manufacturing, 2021 | 56 | 2021 |
| A systematic literature review on federated learning: From a model quality perspective Y Liu, L Zhang, N Ge, G Li arXiv preprint arXiv:2012.01973, 2020 | 35 | 2020 |
| Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model N Ge, S Nakajima, M Pantel Simulation 91 (10), 851-868, 2015 | 24 | 2015 |
| Time properties verification framework for uml-marte safety critical real-time systems N Ge, M Pantel Modelling Foundations and Applications: 8th European Conference, ECMFA 2012 …, 2012 | 18 | 2012 |
| Formal specification and verification of task time constraints for real-time systems N Ge, M Pantel, X Crégut Leveraging Applications of Formal Methods, Verification and Validation …, 2012 | 17 | 2012 |
| Industrial grade model checking: use Cases, constraints, tools and applications M Clabaut, N Ge, N Breton, E Jenn, R Delmas, Y Fonteneau | 16 | 2016 |
| Integrated formal verification of safety-critical software N Ge, E Jenn, N Breton, Y Fonteneau International Journal on Software Tools for Technology Transfer, 1-18, 2017 | 15 | 2017 |
| Automated failure analysis in model checking based on data mining N Ge, M Pantel, X Crégut Model and Data Engineering: 4th International Conference, MEDI 2014, Larnaca …, 2014 | 13 | 2014 |
| An adaptive multiobjective evolutionary algorithm for dynamic multiobjective flexible scheduling problem W Yu, L Zhang, N Ge International Journal of Intelligent Systems, 2022 | 12 | 2022 |
| Beagle: A New Framework for Smart Contracts Taking Account of Law WT Tsai, N Ge, J Jiang, K Feng, J He Thirteenth IEEE International Conference on Service-Oriented System Engineering, 2019 | 12 | 2019 |
| Correct-by-Construction Specification to Verified Code N Ge, A Dieumegard, E Jenn, L Voisin Journal of Software: Evolution and Process 30 (10), 2018 | 10 | 2018 |
| Formal Development Process of Safety-Critical Embedded Human Machine Interface Systems N Ge, A Dieumegard, E Jenn, B d'Ausbourg, Y Aït-Ameur Eleventh International Symposium on Theoretical Aspects of Software Engineering, 2017 | 10 | 2017 |
| Time properties dedicated transformation from UML-MARTE activity to time transition system N Ge, M Pantel, X Crégut ACM SIGSOFT Software Engineering Notes 37 (4), 1-8, 2012 | 10 | 2012 |
| Formal Verification of a Rover Anti-collision System N Ge, E Jenn, N Breton, Y Fonteneau International Workshop on Formal Methods for Industrial Critical Systems and …, 2016 | 9 | 2016 |
| Exploration on theoretical and practical projects of software architecture course L Zhang, Y Li, N Ge 2020 15th International Conference on Computer Science & Education (ICCSE …, 2020 | 8 | 2020 |
| Event-B at work: some lessons learnt from an application to a robot anti-collision function A Dieumegard, N Ge, E Jenn NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017 | 8 | 2017 |
| Hidden markov model based automated fault localization for integration testing N Ge, S Nakajima, M Pantel 2013 IEEE 4th International Conference on Software Engineering and Service …, 2013 | 7 | 2013 |
| Efficient Online Analysis of Accidental Fault Localization for Dynamic Systems using Hidden Markov Model. N Ge, S Nakajima, M Pantel ACM, 2013 | 7 | 2013 |
| Modeling and Timing Analysis for Microkernel-based Real-Time Embedded System R Xu, L Zhang, N Ge IEEE Access, 2019 | 6 | 2019 |
| Framework Information based Java Software Architecture Recovery X Li, L Zhang, N Ge 1st International Workshop on Emerging Trends in Software Design and …, 2017 | 6 | 2017 |
Marc PantelAssociate Professor in Computer Science, Université de ToulouseBestätigte E-Mail-Adresse bei enseeiht.fr