News
Get to LIFC
Intranet
Login
LIFC - Seminars
Scheduling Associative Reductions with Overlapping Transfers and Computation
Tradeoff exploration between reliability, power consumption and execution time
Vérification formelle de protocoles de routage sécurisés
version anglaise
Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata
Vertus et vices de la plateforme dynamique de services OSGi
Test Generation in Asynchronously Communicating Systems
SAGE : Whitebox Fuzzing for Security Testing
Modèles à base d'équations aux dérivées partielles
Rewrite and Transformation of two-scale Models
Développements de procédés technologiques pour la réalisation d'une matrice de micro-actionneurs distribués
Quantifying opacity
EASY meta-programming using Rascal and rapid IDE construction using IMP
"Traffic-aware topology reconfiguration for on-chip networks"
Kmelia, un modèle pour la spécification formelle de composants et de services
Recherche locale "guidée par position" pour la coloration de graphe
Ressource Allocation Stratégies for Multiple Concurrent In-network Stream Processing Applications
Gestion de la qualité de service par adaptation en déploiement de composants en environnement contraint.
Flottes sécurisées de terminaux mobilres communicants : contexte, problèmes et premiers résultats
Ordonnancement, période et dépendances
The price of distribution
Embedded Systems Design ÃÂâÃÂÃÂÃÂàScientific Challenges and Work Directions
Programmable self-assembly for microsystem integration
SAUTS pour SAT
Distributed Shunted Piezoelectric Patches for Control of Wave Propagation
Fusion d'informations et coopération homme/machine
Conception de solutions pour les grilles et les réseaux pair-à -pair dans des environnements dynamiques
Parallélisation de traitements de flux sur des systèmes embarqués
Handling collusion in desktop grid
PPF Midi
Automatisation du test de logiciels embarqués dans le domaine de l'avionique
Développement et analyses et systèmes embarqués
Version anglaise - Ãtudes en recherche locale adaptative pour l'optimisation
Traces dÂinteraction en ligne : vers un partage des corpus, outils et analyses
N/A
Version anglaise
N/A
Version anglaise
Version anglaise - Un modèle pour les systèmes répartis auto-stabilisants
VA
The Laboratory
Presentation
Rapports LIFC
Actualités
Séminaires
Conférences
How To Find Us
LIFC Members
BIATOSS
PhD students
Contract Workers
Assistant professor
PAST
PRAG
Professors
Former Members
Research Teams
AND
CARTOON
OMNI
VESONTIO
Research Activities
AND
Distributed algorithms for sensor networks
Numerical distributed algorithms
Dynamic Systems
CARTOON
Distributed Algorithms for Synchronous Collaborative Applications
Grid Environments and scheduling
Wireless Sensor Network
OMNI
Mobile and Multi-Scale Networks
VESONTIO
Automated Model-Based Testing
Security and Accuracy of Information Systems and Communications
Verification, Validation of Software Components and Micro/nano Systems
Projects
Publications
Teaching
IUT d'informatique (Belfort-Monbéliard)
UFR ST Dept. Informatique (Besançon)
UFR STGI Dept. Informatique (Monbéliard)
Directory