Intrusion detection systems: A cross-domain overview LN Tidjon, M Frappier, A Mammar IEEE Communications Surveys & Tutorials 21 (4), 3639-3681, 2019 | 144 | 2019 |
Comparison of model checking tools for information systems M Frappier, B Fraikin, R Chossart, R Chane-Yack-Fa, M Ouenzar Formal Methods and Software Engineering: 12th International Conference on …, 2010 | 102 | 2010 |
EB3: an entity-based black-box specification method for information systems M Frappier, R St-Denis Software & Systems Modeling 2, 134-149, 2003 | 73 | 2003 |
μcROSE: automated measurement of COSMIC-FFP for Rational Rose RealTime H Diab, F Koukane, M Frappier, R St-Denis Information and Software Technology 47 (3), 151-166, 2005 | 71 | 2005 |
Software specification methods: an overview using a case study M Frappier, H Habrias Springer Science & Business Media, 2012 | 62 | 2012 |
Integration of sequential scenarios J Desharnais, M Frappier, R Khédri, A Mili IEEE Transactions on Software Engineering 24 (9), 695-708, 1998 | 56 | 1998 |
Extending statecharts with process algebra operators M Frappier, F Gervais, R Laleau, B Fraikin, R St-Denis Innovations in Systems and Software Engineering 4, 285-292, 2008 | 53 | 2008 |
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach SJ Tueno Fotso, M Frappier, R Laleau, A Mammar Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018 | 49 | 2018 |
A relational calculus for program construction by parts M Frappier, A Mili, J Desharnais Science of Computer Programming 26 (1-3), 237-254, 1996 | 42* | 1996 |
Rôles, impacts et services issus des élevages en Europe. Synthèse de l’expertise scientifique collective B Dumont, P Dupraz, J Aubin, M Benoit, V Chatellier, ... auto-saisine, 2016 | 39 | 2016 |
Combining UML, ASTD and B for the formal specification of an access control filter J Milhau, A Idani, R Laleau, MA Labiadh, Y Ledru, M Frappier Innovations in Systems and Software Engineering 7, 303-313, 2011 | 39 | 2011 |
Computer program construction A Mili, J Desharnais, F Mili, M Frappier Oxford University Press, Inc., 1994 | 39 | 1994 |
Software specification methods H Habrias, M Frappier John Wiley & Sons, 2013 | 38 | 2013 |
Retrieving software components that minimize adaptation effort LL Jilani, J Desharnais, M Frappier, R Mili, A Mili Proceedings 12th IEEE International Conference Automated Software …, 1997 | 35 | 1997 |
Formalizing cosmic-ffp using room H Diab, M Frappier, RS Denis Proceedings ACS/IEEE International Conference on Computer Systems and …, 2001 | 32 | 2001 |
A formal definition of COSMIC-FFP for automated measurement of room specifications H Diab http://www. lrgl. uqam. ca/, 2001 | 32 | 2001 |
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard A Mammar, M Frappier, SJ Tueno Fotso, R Laleau Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018 | 31 | 2018 |
State-based versus event-based specifications for information systems: a comparison of B and eb3 B Fraikin, M Frappier, R Laleau Software & Systems Modeling 4, 236-257, 2005 | 30 | 2005 |
Detecting Feature Interactions on Relational Specifications. M Frappier, A Mili, J Desharnais FIW, 123-137, 1997 | 29 | 1997 |
Software metrics for predicting maintainability M Frappier, S Matwin, A Mili Software Metrics Study: Tech. Memo 2, 1994 | 28 | 1994 |