LES ALGEBRES ETIQUETEES : UNE SEMANTIQUE POUR LES SPECIFICATIONS ALGEBRIQUES FONDEE SUR UNE UTILISATION SYSTEMATIQUE DES TERMES. APPLICATION AU TEST DE LOGICIEL AVEC TRAITEMENT D'EXCEPTIONS |
|
Automatisation du test de tous-les-chemins en présence d'appels de fonction |
|
Un cadre méthodologique pour l'intégration de services par évitement des interactions |
|
Caractérisation et détection automatique d'interactions de services à partir de spécifications graphiques |
|
concrete and relevant exploration of abstract event systems for automatic tests generation. |
|
Construction d’un maillage hexaédrique conforme à partir d’une grille de fractions de présence : étude et applications. |
|
Construction of a conformal hexahedral mesh from volume fractions : theory and applications |
|
Contribution to software verification combining tests and proofs. |
|
Une description générique formelle des systèmes à base de services : Application du raffinement et de l' enrichissement algébrique au problème des interactions de services |
|
Dynamic testing from bounded data type specifications |
|
Enforcement à l’exécution de propriétés temporisées régulières en présence d’évènements incontrôlables. |
|
Etude de la préservation des propriétés temporelles des réseaux de régulation génétique au travers du plongement : vers une caractérisation des systèmes complexes par l'émergence de propriétés |
|
Etude et spécifications formelles de l'arrondi d'objets géométriques |
|
Examples of testing scenarios for web service composition |
|
Fastest : amélioration et développement du Test Template Framework. |
|
Fastest : improving and supporting the Test Template Framework |
|
Génération et analyse de tests pour les systèmes autonomes |
|
Generation of all-paths writ test with function calls. |
|
Generic programming in modern C++ for Image Processing |
|
Hoare-like verification of graph transformation |
|
Inference of graph transformation rules for the design of geometric modeling operations |
|
Informatique mathématique : une photographie en 2023 |
|
Intégration de méthodes formelles dans la conception des fonctions logicielles automobiles. |
|
Introducing unbounded arities : sequence algebras |
|
LABEL ALGEBRAS: SEMANTICS FOR ALGEBRAIC SPECIFICATIONS BASED ON A SYSTEMATIC USE OF TERMS. APPLICATION TO SOFTWARE TESTING WITH EXCEPTION HANDLING. |
|
L'évaluation et L'optimisation De La Fiabilité Des Systèmes Monotones et à Etat arbitraire Sous Incertitude Épistémique. |
|
Metabolic network analysis during the cell cycle : application to the cancer metabolism. |
|
A methological framework for feature integration by interaction avoidance. |
|
Model-Based Testing of Timed Distributed Systems : A Constraint-Based Approach for Solving the Oracle Problem |
|
Model-Based Testing over IOSTS enriched with function calls |
|
Modèles et vérification pour la composition et la reconfiguration d'applications basées sur le web des objets |
|
Modeling and measuring values brought to host country for assisting decisions in In-Country-Value strategies elaboration. |
|
Modélisation discrète de la régulation du métabolisme énergétique des cellules eukaryotes et validation formelle de sa dynamique |
|
Modélisation et estimation des valeurs apportées au pays hôte pour aider à la décision dans l'élaboration des stratégies In-Country-Value |
|
Modélisation hybride temporelle et analyse par contraintes des réseaux de régulation biologiques |
|
Multi-sensor embeded system for object detection. |
|
Neurone abstrait : une formalisation de l'intégration dendritique et ses propriétés algébriques |
|
An operational semantics of interactions for verifying partially observed executions of distributed systems |
|
Programmation événementielle et programmation à base de règles pour le développement d'applications réactives sensibles au contexte. |
|
Programmation générique en C++ moderne pour le traitement d'images. |
|
Relational properties for specification and verification of C programs in Frama-C |
|
The Reliability Assessment and Optimization of Arbitrary-State Monotone Systems under Epistemic Uncertainty |
|
Résultats de théorie abstraite des modèles dans le cadre des institutions : vers la combinaison de logiques |
|
Rounding of geometric objects : study and formal specifications. |
|
Runtime Enforcement of (Timed) Properties with Uncontrollable Events |
|
Spécifier et vérifier des exigences de haut niveau sur des programmes importants : application à la sécurité des programmes C. |
|
Specifying and verifying high-level requirements on large programs : application to security of C programs |
|
Statistical Inference and Verification of Chemical Reaction Networks |
|
Symbolic analysis of scenario based timed models for component based systems : Compositionality results for testing |
|
Symbolic execution for conformance testing and refinement testing. |
|
Symbolic test case generation for testing orchestrators in context |
|
System for mathematical modeling based on domain specific language for discrete stochastic dynamic system.Application on plant growth models.. |
|
Système embarqué de fusion multi-capteurs pour la détection et le suivi d'obstacles statiques et dynamiques |
|
Système informatique d'aide à la modélisation mathématique basé sur un langage de programmation dédié pour les systèmes dynamiques discrets stochastiques.Application aux modèles de croissance de plantes. |
|
Systèmes multi-agents adaptatifs avec contraintes temps-réel : De la spécification formelle à la vérification et à la génération de code |
|
Techniques de model-checking pour l'inférence de paramètres et l'analyse de réseaux biologiques |
|
Techniques de test pour des critères de couverture avancés |
|
Temporal hybrid modeling and analysis by constraints for biological regulatory networks. |
|
Temporal property preservation along embedding of genetic regulatory networks : toward complex system characterization by the emergence of properties. |
|
Test à base de modèles de systèmes temporisés distribués : une approche basée sur les contraintes pour résoudre le problème de l’oracle. |
|
Test à base de modèles : IOSTS enrichis avec les appels de fonctions. |
|
Test basé sur la sémantique pour Circus. |
|
Test case generation for Symbolic Distributed System Models : Application to Trickle based IoT Protocol |
|
Test criteria and automatic test sequences generation for synchronous reactive systems specified by dataflow equations and controled by extended automata. |
|
Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019 : proceedings |
|
Testing techniques for advanced test coverage criteria. |
|
Toward a high level language for agile requirements engineering in an aeronautical context. |
|
Towards a generic environment for taking cellular systems topology into account in rule-based modeling of biological processes. |
|
Towards an abstraction-compatible specification language for systems |
|
Transformations de graphes pour les opérations topologiques en modélisation géométrique : application à l'étude de la dynamique de l'appareil de Golgi |
|
Unfoldings and Abstract Interpretation for Parametric Biological Regulatory Networks |
|
Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive Applications |
|
Validation of automates based specifications using unfolding and symbolic execution techniques.. |
|
Vers un environnement générique pour la prise en compte de la topologie des structures cellulaires dans les modèles de processus biologiques |
|
Vers un langage de haut niveau pour une ingénierie des exigences agile dans le domaine des systèmes embarqués avioniques |
|