Concepedia

Marc Frappier

MF

20

Publications

508

Citations

13

H-Index

1996

Active since

Affiliations

Université de Sherbrooke(Current)

Département d'Informatique

Centre National de la Recherche Scientifique

Institut Polytechnique de Paris

Telecom SudParis

Marc Frappier is an author at Université de Sherbrooke specializing in engineering, formal methods, and software engineering.

Top concepts

EngineeringFormal MethodsSoftware DesignSoftware EngineeringComputer ScienceFormal VerificationSystems EngineeringSoftware AnalysisFormal SpecificationSystem Software

Publications per year

1996–2019

20

Publications

20

Intrusion Detection Systems: A Cross-Domain Overview

Lionel Nganyewou Tidjon, Marc Frappier, Amel Mammar · IEEE Communications Surveys & Tutorials · 2019 · 125 citations

Hardware Security, Engineering, Network Technologies +14

μcROSE: automated measurement of COSMIC-FFP for Rational Rose RealTime

H. Diab, F. Koukane, Marc Frappier et al. · Information and Software Technology · 2004 · 36 citations

Engineering, Cosmology, Cosmic Ray +3

Integration of sequential scenarios

Josée Desharnais, Marc Frappier, Ridha Khédri et al. · IEEE Transactions on Software Engineering · 1998 · 36 citations

Engineering, Requirement Modeling, Software Engineering +21

EB3: an entity-based black-box specification method for information systems

Marc Frappier, Richard St‐Denis · Software & Systems Modeling · 2003 · 35 citations

Specification Language, Formal Specification, Engineering +10

Software Specification Methods - An Overview Using a Case Study

Marc Frappier · HAL (Le Centre pour la Communication Scientifique Directe) · 2001 · 32 citations

Rows per page

1–5 of 20