Alsatis Services SAS
REFLETS CINÉMATOGRAPHIQUES | Site de critiques cinématographiques, couvertures de festivals et entretiens passionnés avec celleux qui font le #Cinema. #LBDM
About me I am currently a researcher at the Software Reliability and Security Laboratory of te CEA LIST. Previously, I was a post-doc researcher at Inria Nord Europe for the EU H2020 VESSEDIA project. Before that, I was a teaching and research assistant (ATER) at the university institute of technology of Orléans, associated to the Laboratoire d'Informatique Fondamentale d'Orléans (LIFO). I prepared my PhD at the Software Reliability and Security Laboratory of the CEA LIST. I am interested in the analysis of concurrent code using formal methods and more precisely proof. Research Currently, I am involved in the development of Frama-C, a platform for the analysis of C programs, using different plugins that provides different kind of analyses and allows to get different levels of confidence into the analyzed software. Previously, I worked for the EU H2020 VESSEDIA project that aims at making formal methods easier to apply in the context of the internet-of-things where many security risks are rising as IoT devices are more and more widespread. My current work is to apply formal verification to the Contiki microkernel (an lightweight OS for IoT) and its libraries, mostly to show the absence of runtime errors. I mostly use Frama-C with the EVA plugin and the WP plugin. In the context of Contiki, concurrency is only simulated using a library called protothread which allows cooperative multi-tasking without the need of multiple stacks. My PhD thesis work is about a (formally correct) code and specification transformation from concurrent to equivalent sequential code. It allows one to verify a concurrent code using tools dedicated to sequential code. Such a transformation is valid under the assumption that the verified program has a sequentially consistent behavior. Our processors implements memory models that do not guarantee it. A part of my work is to study these models, and to define ways to analyze programs taking them in account. Events Upcoming: Past: 10/2019 - FM 2019, Porto, Portugal (Tutorial) 07/2019 - Program Committee: 4PAD 2019, Dublin, Ireland 04/2019 - SAC 2019, Limassol, Cyprus (Paper slides + Tutorial slides) 01/2018 - FIC 2019, Lille, France slides 07/2018 - Program Committee: 4PAD 2018, Orléans, France 07/2018 - Tutorial: HPCS 2018, Orléans, France slides 06/2018 - Talk: TAP 2018, Toulouse, France slides 06/2018 - Talk: AFADL 2018, Grenoble, France slides 05/2018 - Tutorial: ZINC 2018, Novi Sad, Serbia slides 04/2018 - Talk: NFM 2018, Newport News, VA, USA slides 06/2017 - Talk: AFADL 2017, Montpellier, France slides 12/2016 - PhD Thesis Defence, Saclay, France slides 07/2016 - Talk: CSTVA 2016, Saarbrücken, Germany slides 06/2016 - Frama-C Day 2016, Paris, France slides 06/2015 - Talk: FMICS 2015, Oslo, Norway slides 06/2015 - Talk: AFADL 2015, Bordeaux, France slides 03/2015 - EJC IM 2015, Orléans, France 12/2014 - Forum STIC 2014, Saclay, France slides 06/2014 : EJCP 2014, Rennes, France Teaching I am the author of a tutorial on Frama-C and WP. I mainly teach code validation (using test and deductive proof), algorithms (basics, and then graphs and automaton), methods and languages for object-oriented design, and multi-core programmings (parallelism and concurrency).
L'agence Nocta intervient en consulting avec réactivité et innovation, dans la mise en oeuvre d'une stratégie de marketing et de communication globale.
épidémiologie, drogue, toxicomanie, alcool, cannabis, mdma, prévention, rdr, réduction des risques, crack, cocaïne, , kétamine, observatoire, consommation
Agenda des prochains stages Musiques Festives, organisés dans le Sud de la France. Prochaines dates de sessions de chant, sessions de guitare, basse, contrebasse, sessions de saxophone, clarinette, flûte, sessions de batterie, sessions de piano
Site de vente en ligne de matériel électrique d'installation et d'éclairage.Le site propose l'ensemble des grandes marques d'appareillages électriques : disjoncteurs, tableaux électriques,...
site de l'observatoire de l'âgisme. réflexion sur et lutte contre l'âgisme, le racisme anti-vieux, les discriminations dues à l'âge, les formes de ségrégation, d'exclusion à cause de l'âge.
Pour connaitre toutes les infos sur la vie des français et francophones au Portugal avant d'y venir vivre ou simplement passer des vacances. Pour les francophones habitant au Portugal qui souhaitent resté connecté avec la France.
Spécialiste de la formation continue en ligne -e-learning - Formatons obligatoires en immobilier, Banque, Assurance. Renouveler votre carte pro
Mode, beauté, lifestyle et luxe au féminin et masculin à retrouver sur le média Le Café de la Mode.
entreprise générale du bâtiment à Souzy dans le Rhône (69).
analyses "l'analyse a pour but l'avènement d'une parole vraie." jacques lacan
Association de l'agglomération de Cergy-Pontoise
PLOMBERIE DÉPANNAGE INSTALLATION CHAUFFAGE GAZ POMPES À CHALEUR SALLE DE BAIN & CARRELAGE NOS SALLES DE BAINS NOS CARRELAGES BESOIN D'UNE INTERVENTIONSUR BEAUVAIS DANS UN RAYON DE 30KM [email protected] 03 66 72 96 48 Du lundi au vendredi : 9h00-12h30 et 14h00-18hSamedi sur rendez-vous [email protected] 03 66 72 96 48 Du lundi au vendredi :
Citoyen, Valeurs, Association, MTR, Mouvement-des-Transmetteurs-Réunis, France, Démocratie
Site personnel de Yamine BULACH, développeur système et jeux, webmaster, administrateur réseau et système
empresária de negócios imobiliários. aluga para temporada e vende casas na praia, sitios, terrenos, hotéis, pousadas, lojas, bares, restaurantes. negócios e oportunidades em arraial d'ajuda, porto seguro, trancoso, caraíva (bahia).
Online and e-commerce store: E-Komerco, Directory and online store portal, offers a complete solution for relevant, high-quality e-commerce content delivery
elevage de chèvres angora vente de produits à la ferme découvrez la douceur et la chaleur du mohair des fermes de france
Livres écrits par Jacques Mancip - Chasses aux cols (5230) - Descriptions d'anciennes voies ferrées
