A temporal logic for input output symbolic transition systems

A small-step approach to multi-trace checking against interactions

Editorial

RPP: Automatic proof of relational properties by self-composition

Test de conformité : une approche algébrique

Spatial Information and Boolean Genetic Regulatory Networks.

Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties

A Temporal Logic for Input Output Symbolic Transition Systems

Revisiting semantics of interactions for trace validity analysis

Timed-model-based Method for Security Analysis and Testing of Smart Grid Systems

Topology-based Geometric Modelling for Biological Cellular Processes

Constraint-preserving labeled graph transformations for topology-based geometric modeling

Embedding of biological regulatory networks and property preservation

Topological consistency preservation with graph transformation schemes

MetAcsl: Specification and Verification of High-Level Properties

Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution

High-Level Program Properties in Frama-C: Definition, Verification and Deduction

Cut branches before looking for bugs: certifiably sound verification on relaxed slices

Program Synthesis for Geometric Modeling

Inferring topological operations on generalized maps: application to subdivision schemes

Preserving consistency in geometric modeling with graph transformations

Testing from algebraic specifications: test data set selection by unfolding axioms

An efficient VCGen-based modular verification of relational properties

Test selection criteria for quantifier-free first-order specifications

Graph Transformation for Topology Modelling.

Exhaustive test sets for algebraic specification correctness

Symbolic Path-guided Test Cases for Models with Data and Time

Topology-based Abstraction of Complex Biologiical Systems: Application to the Golgi Apparatus

Methodology for Specification and Verification of High-Level Requirements with MetAcsl

Security Weaknesses Detection by Symbolic Analysis of Scenarios

Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique

Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels

Static and Dynamic Verification of Relational Properties on Self-Composed C Code

Finite Automata synthesis from interactions

RPP : Preuve automatique de propriétés relationnelles par Self-Composition

Designing Sequence Diagram Models for Robustness to Attacks

Toward a computer-aided methodology for topology-based simulation of the Golgi apparatus

Observability and controllability issues in conformance testing of Web service compositions

Testing web service orchestrators in context : a symbolic approach

Double introduction of highly pathogenic H5N1 avian influenza virus into France in early 2006

How does labor market history influence the access to hiring interviews?

How does labour market history influence the access to hiring interviews?

Le conformisme des recruteurs : une expérience contrôlée

MeThAL : Ressources numériques pour une relecture du théâtre en alsacien

La fraternité d'accueil à La Réunion. Un autre regard sur le placement familial

Facteurs influençant la qualité de cuisson des lentilles vertes françaises

Generation of a cloned green fluorescent protein (GFP) expressing transgenic sheep for muscle stem cell graft experiments

Lkb1 suppresses amino acid-driven gluconeogenesis in the liver

Renaud de Montauban dans l'atelier de Loyset Liédet : histoire d'une création

NEWVIR - New strategy to control RNA virus infections targeted on host factors required for virus life cycle