Marc Frappier
Université de Sherbrooke
H-index: 25
North America-Canada
Top articles of Marc Frappier
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
MAT 115–Logique et mathématiques discrètes | Marc Frappier | 2023 | |
Calibrated Uncertainty Quantification on Auto-Encoders for Anomaly Detection with Standard Deviation as Metric | Authorea Preprints | Jordan F Masakuna K Nkashama D'Jeff Arian Soltani Marc Frappier Pierre-Martin Tardif | 2023/10/31 |
TASTD: A real-time extension for ASTD | Diego de Azevedo Oliveira Marc Frappier | 2023/5/15 | |
Modelling an automotive software system with TASTD | Diego de Azevedo Oliveira Marc Frappier | 2023/5/15 | |
SCADA Radio Blackbox Reverse Engineering | Foundations and Practice of Security: 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12–14, 2022, Revised Selected Papers | Pierre-Martin Tardif Marc Frappier | 2023/3/31 |
Proving Local Invariants in ASTDs | Quelen Cartellier Marc Frappier Amel Mammar | 2023/11/9 | |
Streamlined and Resource-Efficient Predictive Uncertainty Estimation of Deep Ensemble Predictions via Regression | Authorea Preprints | Jordan F Masakuna K Nkashama D'Jeff Arian Soltani Marc Frappier Pierre-Martin Tardif | 2023/10/31 |
Characterizing Financial Market Coverage using Artificial Intelligence | arXiv preprint arXiv:2302.03694 | Jean Marie Tshimula D'Jeff K Nkashama Patrick Owusu Marc Frappier Pierre-Martin Tardif | 2023/2/7 |
Robustness evaluation of deep unsupervised learning algorithms for intrusion detection systems | arXiv preprint arXiv:2207.03576 | D Nkashama Arian Soltani Jean-Charles Verdier Marc Frappier Pierre-Marting Tardif | 2022/6/25 |
A revealing large-scale evaluation of unsupervised anomaly detection algorithms | arXiv preprint arXiv:2204.09825 | Maxime Alvarez Jean-Charles Verdier D'Jeff K Nkashama Marc Frappier Pierre-Martin Tardif | 2022/4/21 |
Statistical approach for cloud security: Microsoft office 365 audit logs case study | Louis-Simon Létourneau Chaymae El Jabri Marc Frappier Pierre-Martin Tardif Guy Lépine | 2021/6/21 | |
Integrating domain modeling within a formal requirements engineering method | Implicit and explicit semantics integration in proof-based developments of discrete systems: communications of NII Shonan meetings | Steve Tueno Régine Laleau Amel Mammar Marc Frappier | 2021 |
Intrusion detection using ASTDs | Lionel N Tidjon Marc Frappier Amel Mammar | 2020 | |
A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard | International Journal on Software Tools for Technology Transfer | Amel Mammar Marc Frappier Steve Jeffrey Tueno Fotso Régine Laleau | 2020/6 |
Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3 | Diego de Azevedo Oliveira Marc Frappier | 2020/5/22 | |
Modeling of a speed control system using event-B | Amel Mammar Marc Frappier | 2020/5/22 | |
An event-b model of an automotive adaptive exterior light system | Amel Mammar Marc Frappier Régine Laleau | 2020/5/22 | |
Translating Alloy and extensions to classical B | Science of Computer Programming | Sebastian Krings Michael Leuschel Joshua Schmidt David Schneider Marc Frappier | 2020/3/1 |