Séminaire de Louis-Claude CANON le jeudi 16 février à 14 h, salle 404 C, DISC

Scheduling Associative Reductions with Overlapping Transfers and Computation

Soutenance de thèse de J. Baptiste AUPET le lundi 16 janvier 2012 à 9 h 30, salle des Actes

Environnements collaboratifs temps réel : Adaptabilité des échanges de données multimédia

Soutenance de thèse de Lionel DROZ-BARTHOLET le lundi 6 février 2012 à 14 h , amphi FEMTO-ST

Conception, validation et évaluation d’un nouveau protocole de gestion de la mémoire partagée collaborative tolérant aux pannes

Soutenance de thèse de Sébastien MIQUEE le mercredi 25 JANVIER 2012à 14 h, amphi 4, IUT de BELFORT

 Exécution d'applications parallèles en environnements hétérogènes et
volatils : déploiement et virtualisation  

Studia Informatica Universalis, Special Issue, Verification and Validation of multi-agent models for complex systems

The aim of this issue is to share experiences in validation and verification of complex system agent based model in order to make an overview of the domain. Every work and experience about retrospective validation, complex system case studies, validation and verification techniques are invited in this issue.

Soutenance de thèse de Matthieu PETIOT le 20/12/2012 à 10 h - Salle 401C

Visualisation d'images haute-résolution en temps réel dans les environnements collaboratifs médicaux

Soutenance de thèse de Bogdan CORNEA le 8/12/2011 à Montbéliard

Prédictions de performances d'applications de calcul distribué exécutées sur une architecture pair-à-pair

Soutenance de thèse de Julien DORMOY le 16/12/2011 à 10 h - Salle des Actes UFR ST

Contributions à la spécification et à la vérification des reconfigurations dynamiques dans les sytèmes à composants

Soutenance de thèse de ABDOU Wahabou le 13/12/2011 à 10 h à Montbéliard

Optimisation évolutionniste multi-objectifs pour des réseaux ad hoc mobiles : la diffusion riobuste et le routage multi-chemins non recouvrants

Soutenance de thèse de Omar CHEBARO le 13/12/2011 au CEA SACLAY

Classification de menaces d'erreurs par analyse statique, simplification syntaxique et test structurel de programmes

Séminaire de Alain GIRAULT le 02/12/2012 à 10 h - amphi FEMTO

Titre : Tradeoff exploration between reliability,
 power consumption, and execution time

Pré-Soutenance de thèse d'Omar CHEBARO le 06/12/2011, de 14 h à 15 h, salle 404 C LIFC

Le titre de sa thèse est :
Classification de menaces d’erreurs par analyse statique, simplification syntaxique et test structurel de programmes

Séminaire de Mathilde Arnaud, le 29/11/11 à 10 h, salle 404

Résumé: Les réseaux mobiles ad hoc consistent en un assemblage de machines
mobiles qui organisent elle-mêmes leur infrastructure. Dans ces réseaux,
déterminer comment les messages doivent circuler pour atteindre leur
destination est une fonctionnalité primordiale, qui est assurée par les
protocoles de routage. Les protocoles de routage sécurisés utilisent des
mécanismes cryptographiques pour empêcher des agents mal intentionnés de
compromettre les routes.

Nous proposons un calcul de processus pour modéliser les protocoles
sécurisés, et en particulier les protocoles de routage sécurisés. Notre
calcul se base sur des modèles symboliques connus que nous modifions pour
prendre en compte les caractéristiques des protocoles de routage et de la
communication sans fil.
Nous fournissons des procédures de décision pour analyser les protocoles
de routage modélisés ainsi. En utilisant des systèmes de contraintes, nous
montrons qu'on peut décider s'il existe une topologie du réseau permettant
une attaque du protocole pour un nombre borné de sessions. Nous
fournissons aussi une procédure de décision pour détecter des attaques
dans le cas où la topologie du réseau est fixée à l'avance.

Séminaire de Valerio SENNI le 3 octobre 2011, à 14 h, salle 404C

Title: Improving Reachability Analysis of Infinite State Systems by
Specialization

Séminaire de Thierry JERON le vendredi 16 septembre 2011 à 9 h 30, salle 404 C

Titre : Off-line Test Selection with Test Purposes for Non-Deterministic 
Timed Automata

Soutenance de thèse de Roméo Courbis le 15 septembre 2011

La soutenance aura lieu le Jeudi 15 septembre à 14 h à l'UFR sciences et Techniques, salle des Actes, 16 route de Gray - 25030 BESANCON Cédex

soutenance de thèse de Pierre-Christophe BUE le 16/09/2011

La soutenance aura lieu le vendredi 16 septembre à 14 h dans l'amplhi C de l'UFR Sciences et Techniques

Soutenance de thèse de Wassim RAMADAN

le 04/07/2011 à 13 h 15 à Montbéliard, amphithéâtre RT

V2CS "First International workshop on Verification Validation of multi-agent models for complex systems"

Deadline: September 15 2011

Acceptance notification: October 10 2011
Workshop date: November 17-18 2011

Location: Complex System Institute, Paris

http://lifc.univ-fcomte.fr/v2cs2011/

Affichage pour candidature du sujet de thèse PhD Thesis position: Formal verification of heterogeneous systems modelled with SysML

Context and Motivation:

The design of complex, heterogeneous and critical systems has a growing
interest in the industry field. One of the opening questions interesting the
industrials is how to
formally verify large systems taking into account non-functional aspects
related to their heterogeneity. To
improve the quality of the design process, it is necessary to propose or to
reuse a design method allowing
the modelling, the verification, and the evaluation of critical systems. It
this context, and in the modelling
step, SysML seems a good candidate to take into account non-functional
requirements of systems,
combining hardware and software. SysML has also another advantage: it is
generally understandable by
industrials.

Modelling a system with SysML uses the concept of blocks and these blocks
are linked to exchange flows. The refinement of the architecture of these
systems allows a
top-down design, starting from an abstract level to a refinement levels with
increasing details. These
successive transformations allow replacing an abstract block with a
composition of sub-blocks, but the big
drawback of this decomposition is that it is informal (due to SysML) and can
not guarantee consistency
between a block and its sub-blocks.

Séminaire de Didier DONSEZ (LIG) Université Joseph Fourier - Grenoble 1 le 24 mai à 9 h, salle 404

Ces derniers années, la technologie OSGi est devenu le standard de fait pour la modularisation et pour le déploiement des logiciels développés en Java. De nombreux logiciels patrimoniaux sont reconditionnés pour être livrable au moyen de cette plateforme. Cependant, plusieurs écueils sont rencontrés par les équipes de développement lors de ces migrations. Cette présentation présente les vertus de cette plateforme mais aussi ses « vices » qui sont généralement à la non-prise en compte de la nature dynamique de celle-ci.

Didier Donsez est professeur des universités à l’Université Joseph Fourier – Grenoble 1. Ses recherches actuelles portent sur l’ingénierie des logiciels reconfigurables à l’exécution tels que les intergiciels complexes et patrimoniaux ou bien l’informatique ambiante. Il a une dizaine d’années d’expérience du développement avec et pour la plateforme OSGi. Il contribue à plusieurs projets open source reliés à la technologie OSGi. Il enseigne à Polyetch’Grenoble, le génie logiciel et les technologies d’intergiciel pour les applications Web et l’EAI ainsi pour l’informatique ambiante.

Recrutement ATER session 2011/2012

La campagne de recrutement des Attachés temporaires d'enseignement et de recherche (ATER) pour 2011 est ouverte à l'UFC du 4 avril au 6 mai 2011 à 23 h 59.

Séminaire de Puneet Bhateja le 14/04/2011 à 9 h 30 en salle 404 C du LIFC

Test Generation in Asynchronously Communicating Systems

Poste PR 27 à l'IUT de Belfort-Montbéliard

Un poste de Professeur des Universités section CNU 27 (Poste 27PR927)  est
susceptible d'être vacant à l'IUT de Belfort-Montbéliard à Belfort  au 1er
septembre 2011. La fiche descriptive est donnée ci-dessous, ainsi  que les
contacts Recherche/Enseignement. Les candidatures extérieures  sont
fortement encouragées.

Poste de MCF 0840 IUT Belfort-Montbéliard

Un poste de MCF, emploi 0840, CNU 60e section, Mécanique, génie mécanique, génie civil est susceptible d'être vacant à l'IUT de Belfort-Montbéliard au 01/09/11. La fiche descriptive est donnée ci-dessous.

Séminaire de Patrice Godefroid, Microsoft, Redmond, USA, le 28 mars de 10 h 15 à 11 h 30

SAGE: Whitebox Fuzzing for Security Testing

In this talk, I will start by presenting the SAGE project and its
remarkable impact at Microsoft. SAGE, the first whitebox fuzzer,
extends dynamic test generation based on symbolic execution and
constraint solving from unit testing to whole-application security
testing. Since 2009, SAGE has been running non-stop on (average) 100+
machines automatically ``fuzzing'' hundreds of applications in a
dedicated lab owned by the Microsoft Windows security test team. As
far as I know, this is the largest dedicated fuzzing lab in the world,
and the largest computational usage ever for any SMT constraint
solver. In the process, SAGE found many new security vulnerabilities
(missed by blackbox fuzzing and static program analysis) and was
credited to have found roughly one third of all the bugs discovered by
file fuzzing during the development of Microsoft's Windows 7, saving
millions of dollars by avoiding expensive security patches to nearly a
billion PCs.
Yet, despite this success, the eradication of security bugs is still a
work in progress. In the second part of the talk, I will discuss what
I believe are the most promising directions to reach the next levels,
that is, how to extend whitebox fuzzing into forms of program
verification based on dynamic software model checking.
This is joint work with Michael Levin, David Molnar, Ella Bounimova,
and other contributors.

Démarrage du REX NESSoS

Réunion de lancement du Réseau d'Excellence Européen NESSoS : Network of Excellence on Engineering Secure Future Internet Software Services and Systems à PISE du 7 au 8 octobre 2010. Le LIFC est présent à travers les membres de son équipe projet INRIA CASSIS.

Labélisation du projet FUI Squash

Le projet SQUASH pour Software QUality ASsurance enHancement vise à industrialiser et à structurer les activités liées aux tests logiciels via méthodologie et outillage open source. Le LIFC est un des partenaires du projet.