researcher / Charles Consel

Charles Consel

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Thesis:

Analyse de programmes, evaluation partielle et generation de compilateurs

Directed Thesis:

Méthodologies outillées de développement de services dédiés à l'assistance domiciliaire
Une approche événementielle pour le développement de services multi-métiers dédiés à l’assistance domiciliaire
A Design-Driven Methodology for the Development of Large-Scale Orchestrating Applications
A language-independent methodology for compiling declarations into open platform frameworks
Approche pour le développement de logiciels intégrant des concepts de qualité de service
Développement d'applications logicielles sûres de fonctionnement : une approche dirigée par la conception
Intégration de politiques de sécurité dans les systèmes ubiquitaires
Canevas de programmation pour gérer l'hétérogénéité et la consommation d'énergie des mobiles dans un environnement ubiquitaire
Développement et test d'applications d'informatique ubiquitaire : une méthodologie outillée
Approche langage au développement logiciel : application au domaine des systèmes d’informatique ubiquitaire
Vers la sécurisation des systèmes d'informatique ubiquitaire par le design : une approche langage
Développement logiciel orienté paradigme de conception : la programmation dirigée par la spécification
Vers une méthodologie dédiée à l'orchestration d'entités communicantes
Approche déclarative pour la génération de canevas logiciels dédiés à l'informatique ubiquitaire
Infrastructure orientée service pour le développement d’applications ubiquitaires
Langages dédiés au développement de services de communications
Approche langage au développement du support protocolaire d'applications réseaux
Approche langage au développement logiciel : application au domaine des services de téléphonie sur IP
Optimisations de compilateur optimistes pour les systèmes réseaux
Approche déclarative à la spécialisation de programmes C
Approche langage au développement de pilotes de périphériques robustes
Une approche uniforme a la specialisation de programmes et a la specialisation de donnees
L'evaluation partielle pour le genie logiciel a objets
Langages dedies : conception, implementation et application
Une approche automatique à la spécialisation de composants système
Analyses statiques pour la specialisation effective de programmes realistes
Vers une correspondance entre les paradigmes fonctionnels et imperatifs
Spécialisation dynamique de code par évaluation partielle