| On liveness and controlled siphons in Petri nets K Barkaoui, JF Pradat-Peyre International Conference on Application and Theory of Petri Nets, 57-72, 1996 | 263 | 1996 |
| Machine learning in amyotrophic lateral sclerosis: achievements, pitfalls, and future directions V Grollemund, PF Pradat, G Querin, F Delbot, G Le Chat, JF Pradat-Peyre, ... Frontiers in neuroscience 13, 438192, 2019 | 124 | 2019 |
| Development and validation of a 1-year survival prognosis estimation model for Amyotrophic Lateral Sclerosis using manifold learning algorithm UMAP V Grollemund, GL Chat, MS Secchi-Buhour, F Delbot, JF Pradat-Peyre, ... Scientific reports 10 (1), 13378, 2020 | 54 | 2020 |
| New efficient Petri nets reductions for parallel programs verification S Haddad, JF Pradat-Peyre Parallel Processing Letters 16 (01), 101-116, 2006 | 49 | 2006 |
| Memory efficient state space storage in explicit software model checking S Evangelista, JF Pradat-Peyre Model Checking Software: 12th International SPIN Workshop, San Francisco, CA …, 2005 | 31 | 2005 |
| Manifold learning for amyotrophic lateral sclerosis functional loss assessment: Development and validation of a prognosis model V Grollemund, G Le Chat, MS Secchi-Buhour, F Delbot, JF Pradat-Peyre, ... Journal of neurology 268 (3), 825-850, 2021 | 30 | 2021 |
| Syntactical colored petri nets reductions S Evangelista, S Haddad, JF Pradat-Peyre Automated Technology for Verification and Analysis: Third International …, 2005 | 29 | 2005 |
| Quasar: a new tool for analysing concurrent programs S Evangelista, C Kaiser, JF Pradat-Peyre, P Rousseau Ada-Europe 2655, 168-181, 2003 | 29 | 2003 |
| Efficient state-based analysis by introducing bags in Petri nets color domains S Haddad, F Kordon, L Petrucci, JF Pradat-Peyre, L Treves 2009 American Control Conference, 5018-5025, 2009 | 27 | 2009 |
| Verification in concurrent programming with Petri nets structural techniques K Barkaoui, JF Pradat-Peyre Proceedings Third IEEE International High-Assurance Systems Engineering …, 1998 | 26 | 1998 |
| Pre- and Post-agglomerations for LTL Model Checking D Poitrenaud, JF Pradat-Peyre Application and Theory of Petri Nets 2000: 21st International Conference …, 2000 | 25 | 2000 |
| Automatic Veri. cation of Concurrent Ada Programs E Bruneton, JF Pradat-Peyre International Conference on Reliable Software Technologies, 146-157, 1999 | 24 | 1999 |
| Chameneos, a concurrency game for Java, Ada and others C Kaiser, JF Pradat-Peyre Computer Systems and Applications, 8, 2003 | 18 | 2003 |
| Comparing Java, C# and Ada monitors queuing policies: a case study and its Ada refinement C Kaiser, JF Pradat-Peyre, S Évangelista, P Rousseau ACM Sigada Ada Letters 26 (2), 23-37, 2006 | 12 | 2006 |
| On the computation of stubborn sets of colored petri nets S Evangelista, JF Pradat-Peyre International Conference on Application and Theory of Petri Nets, 146-165, 2006 | 12 | 2006 |
| An efficient algorithm for the enabling test of colored Petri nets S Evangelista, JF Pradat-Peyre Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the …, 2004 | 12 | 2004 |
| Process decomposition for Rapid Prototyping of Parallel systems F Kordon, JF Peyre 6th International Symposium on Computer and Information Science, 1991 | 12 | 1991 |
| Comparing the reliability provided by tasks or protected objects for implementing a resource allocation service: a case study C Kaiser, JF Pradat-Peyre Proceedings of the conference on TRI-Ada'97, 51-65, 1997 | 11 | 1997 |
| New coloured reductions for software validation S Evangelista, S Haddad, JF Pradat-Peyre IFAC Proceedings Volumes 37 (18), 345-350, 2004 | 10 | 2004 |
| Verifying linear time temporal logic properties of concurrent ada programs with quasar S Evangelista, C Kaiser, JF Pradat-Peyre, P Rousseau Proceedings of the 2003 annual ACM SIGAda international conference on Ada …, 2003 | 10 | 2003 |
François DelbotMaitre de conférences, Université de Nanterre (Paris 10)Dirección de correo verificada de parisnanterre.fr
