| 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 | 24 | 2021 |
| 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 | 18 | 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 | 17 | 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 | 14 | 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 | 13 | 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 | 12 | 2014 |
| 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 | 10 | 2020 |
| 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 |
| Correct-by-Construction Specification to Verified Code N Ge, A Dieumegard, E Jenn, L Voisin Journal of Software: Evolution and Process 30 (10), 2018 | 9 | 2018 |
| 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 | 8 | 2019 |
| 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 | 8 | 2016 |
| 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 | 8 | 2013 |
| 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 | 7 | 2017 |
| 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 | 7 | 2017 |
| Real-Time Property Specific Reduction for Time Petri Net N Ge, M Pantel International Workshop on Petri Nets and Software Engineering (PNSE …, 2014 | 7 | 2014 |
| Efficient Online Analysis of Accidental Fault Localization for Dynamic Systems using Hidden Markov Model. N Ge, S Nakajima, M Pantel ACM, 2013 | 7 | 2013 |
| From Event-B to Verified C via HLL N Ge, A Dieumegard, E Jenn, L Voisin arXiv preprint arXiv:1610.07410, 2016 | 5 | 2016 |
| Packet-mode scheduling with proportional fairness for input-queued switches K Xi, S Arakawa, M Murata, N Ge, C Feng IEICE transactions on communications 88 (11), 4274-4284, 2005 | 5 | 2005 |
| Formal Verification of User-Level Real-Time Property Patterns N Ge, M Pantel, S Dal Zilio Eleventh International Symposium on Theoretical Aspects of Software Engineering, 2017 | 4 | 2017 |
Marc PantelAssociate Professor in Computer Science, Université de ToulouseAdresse e-mail validée de enseeiht.fr
