Marc Frappier
Marc Frappier
Adresse e-mail validée de
Citée par
Citée par
Intrusion detection systems: A cross-domain overview
LN Tidjon, M Frappier, A Mammar
IEEE Communications Surveys & Tutorials 21 (4), 3639-3681, 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
EB3: an entity-based black-box specification method for information systems
M Frappier, R St-Denis
Software & Systems Modeling 2, 134-149, 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
Software specification methods: an overview using a case study
M Frappier, H Habrias
Springer Science & Business Media, 2012
Integration of sequential scenarios
J Desharnais, M Frappier, R Khédri, A Mili
IEEE Transactions on Software Engineering 24 (9), 695-708, 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
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
A relational calculus for program construction by parts
M Frappier, A Mili, J Desharnais
Science of Computer Programming 26 (1-3), 237-254, 1996
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
Computer program construction
A Mili, J Desharnais, F Mili, M Frappier
Oxford University Press, Inc., 1994
Software specification methods
H Habrias, M Frappier
John Wiley & Sons, 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
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
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
Formalizing cosmic-ffp using room
H Diab, M Frappier, RS Denis
Proceedings ACS/IEEE International Conference on Computer Systems and …, 2001
A formal definition of COSMIC-FFP for automated measurement of room specifications
H Diab
http://www. lrgl. uqam. ca/, 2001
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
Detecting Feature Interactions on Relational Specifications.
M Frappier, A Mili, J Desharnais
FIW, 123-137, 1997
Systematic Translation Rules from astd to Event-B
J Milhau, M Frappier, F Gervais, R Laleau
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy …, 2010
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20