About: Christian Percebois

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Christian Percebois Goto Sponge NotDistinct Permalink

An Entity of Type : foaf:Person, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	Person
sameAs	Percebois, Christian (19..-.... ; enseignant-chercheur en informatique)
Life Event	http://www.idref.fr/063049937/birth
preferred label	Percebois, Christian (19..-.... ; enseignant-chercheur en informatique)
name	Christian Percebois
Language	http://lexvo.org/id/iso639-3/fra
Given name	Christian
familyName	Percebois
note	Professeur en poste à l'Université Toulouse 3 Paul Sabatier, IUT, membre de l'Institut de Recherche en Informatique de Toulouse (IRIT) (en 2019)
gender	male
Scopus ID	6507322720
is Thesis advisor of	http://www.sudoc.fr/013142062/id Conception et vérification d'exigences de sûreté temporisées à base de contrats dans les modèles SysML Définition et évaluation d'une machine abstraite dédiée à la compilation d'un modèle d'exécution répartie pour le langage Prolog Une approche formelle de l'interopérabilité pour une famille de langages dédiés Détection, explications et restructuration de défauts de conception, les patrons abîmés Etude et mise en oeuvre d'un modèle de coordination basé sur la réécriture http://www.sudoc.fr/146785266/id http://www.sudoc.fr/158455819/id http://www.sudoc.fr/186382693/id http://www.sudoc.fr/149769733/id http://www.sudoc.fr/147807034/id http://www.sudoc.fr/14675798X/id http://www.sudoc.fr/063056542/id http://www.sudoc.fr/158632230/id http://www.sudoc.fr/186408846/id http://www.sudoc.fr/147919142/id Construction incrémentale de spécifications de systèmes critiques intégrant des procédures de vérification Oracles du test de transformations de modèles http://www.sudoc.fr/247941417/id Rendre agile les tests d'intégration des systèmes avioniques par des langages dédiés A bottom-up process management environment dedicated to process actors http://www.sudoc.fr/233982922/id http://www.sudoc.fr/247991430/id http://www.sudoc.fr/241042666/id http://www.sudoc.fr/236175440/id http://www.sudoc.fr/233967621/id http://www.sudoc.fr/23585221X/id http://www.sudoc.fr/247187720/id
is Praeses of	http://www.sudoc.fr/191049530/id
is Author of	http://www.sudoc.fr/009468439/id Définition et évaluation d'un modèle d'exécution répartie pour les systèmes logiques non-déterministes http://www.sudoc.fr/126310459/id http://www.sudoc.fr/042541611/id Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations Integration Testing based on Behavior-driven Development Contract-based modeling and verification of timed safety requirements within SysML https://hal.archives-ouvertes.fr/hal-02042303#id Orchestration of Domain Specific Test Languages with a Behavior Driven Development approach Safety Contracts for Timed ReactiveComponents in SysML A Dynamic Type System for OCL Les tests dans le développement logiciel, du cycle en V aux méthodes agiles Coding, Executing and Verifying Graph Transformations with small-tALCQe Impact Analysis of Process Change at Run-time, Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations A User-centric Process Management for System and Software Engineering Projects An Auto-active Approach to Develop Correct Logic-based Graph Transformations IDF: A framework for the incremental development and conformance verification of UML active primitive components Detection of Generic Micro-architectures on Models Towards a change-aware process environment for system and software process Sharing bad practices in design to improve the use of patterns Reasoning about Global Graph Properties from Local Graph Transformation Rules (KMOTS 2019), Guilin, Chine, 01/07/19) Integrating verifiable Assume/Guarantee contracts in UML/SysML Provably correct graph transformations with small-tALC Bad smells in design and design patterns Spoiled patterns: how to extend the GoF Two-level reasoning about graph transformation programs Integrating run-time changes into system and software process enactment Rule-level verification of graph transformations for invariants based on edges' transitive closure
is primary topic of	http://www.idref.fr/063049937
is Thesis referee of	http://www.sudoc.fr/228541336/id http://www.sudoc.fr/183974352/id http://www.sudoc.fr/183974735/id http://www.sudoc.fr/248062085/id

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software