Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Frédéric Michaud

dblp:94/4947 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
0since 2021 · last 2019
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Interdisciplinary, comprehensive, and emerging computing
1 paper
Bioinformatics and computational biology · 100%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Bioinformatics and computational biology › population genetics
population genetics simulation
0.412019
QuantiNemo 2: a Swiss knife to simulate complex demographic and genetic scenarios, forward and backward in time · Bioinform. 2019
Bioinformatics and computational biology › statistical genetics › genetic data simulation
quantitative trait simulation
0.412019
QuantiNemo 2: a Swiss knife to simulate complex demographic and genetic scenarios, forward and backward in time · Bioinform. 2019

Methods — techniques the papers use, named apart from their topics

stochastic simulation · 0.4individual-based simulation · 0.4
YearPublicationVenuePosition
2019 QuantiNemo 2: a Swiss knife to simulate complex demographic and genetic scenarios, forward and backward in time
abstract
SUMMARY: QuantiNemo 2 is a stochastic simulation program for quantitative population genetics. It was developed to investigate the effects of selection, mutation, recombination and drift on quantitative traits and neutral markers in structured populations connected by migration and located in heterogeneous habitats. A specific feature is that it allows to switch between an individual-based full-featured mode and a population-based faster mode. Several demographic, genetic and selective parameters can be fine-tuned in QuantiNemo 2: population, selection, trait(s) architecture, genetic map for QTL and/or markers, environment, demography and mating system are the main features. AVAILABILITY AND IMPLEMENTATION: QuantiNemo 2 is a C++ program with a source code available under the GNU General Public License version 3. Executables are provided for Windows, MacOS and Linux platforms, together with a comprehensive manual and tutorials illustrating its flexibility. The executable, manual and tutorial can be found on the website www2.unil.ch/popgen/softwares/quantinemo/, while the source code and user support are given through GitHub: github.com/jgx65/quantinemo. SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online.
Samuel Neuenschwander, Frédéric Michaud, Jérôme Goudet
Bioinform.2
2012 A Testing Model for Dynamic Malware Analysis Systems
abstract
A Dynamic Malware Analysis System (D-MAS), often called a sandbox, is a controlled environment in which malicious software (malware) is executed in order to identify the actions it is performing (e.g., creating processes, sending emails) when infecting computer systems. One of the most important features of security devices such as IDSs, AVSs and D-MASs, is how accurately they identify and document threats. By nature, these security devices are difficult to test since they are test systems themselves. The attackers are the testers trying to find test cases that cannot be identified by these systems. Consequently, thorough testing models are required by developers to assess the accuracy of D-MASs, an area in which very little theoretical and empirical work exists. In this paper, we lay out the basis of D-MASs accuracy assessment and we present an evaluation of eight of these systems. We propose test coverage criteria, oracle types and specifications to assess the accuracy of D-MASs. Results show that our approach is efficient at identifying accuracy problems in several D-MASs.
Frédéric Massicotte, Mathieu Couture, Hugues Normandin, Frédéric Michaud
ICST4
2006 Source Code Verification Tools for Software Security Bugs
Frédéric Michaud, Frédéric Painchaud
SoMeT1