WorldCat Identities

Boulanger, Frédéric

Overview
Works: 15 works in 38 publications in 3 languages and 410 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Composer, Thesis advisor, Opponent
Classifications: QA76.9.S88, 368.01
Publication Timeline
.
Most widely held works by Frédéric Boulanger
Assurance et management de la valeur by Frédéric Boulanger( Book )

2 editions published in 2003 in French and held by 23 WorldCat member libraries worldwide

Complex Systems Design & Management Proceedings of the First International Conference on Complex System Design & Management CSDM 2010 by Marc Aiguier( )

18 editions published between 2013 and 2015 in English and held by 8 WorldCat member libraries worldwide

This book contains all refereed papers that were accepted to the fourth edition of the Complex Systems Design & Management (CSD&M 2013) international conference which took place in Paris (France) from December 4-6, 2013. These proceedings cover the most recent trends in the emerging field of complex systems sciences & practices from an industrial and academic perspective, including the main industrial domains (transport, defense & security, electronics, energy & environment, e-services), scientific & technical topics (systems fundamentals, systems architecture & engineering, systems metrics & quality, systemic tools) and system types (transportation systems, embedded systems, software & information systems, systems of systems, artificial ecosystems). The CSD&M 2013 conference is organized under the guidance of the CESAMES non-profit organization
Using Esterel modules in ptolemy by Frédéric Boulanger( Book )

3 editions published in 1996 in English and held by 6 WorldCat member libraries worldwide

Object execution model for reactive modules with a C++ implementation by Frédéric Boulanger( Book )

3 editions published in 1995 in English and held by 5 WorldCat member libraries worldwide

MODELISATION ET SIMULATION DE VARIABLES REGIONALISEES PAR DES FONCTIONS ALEATOIRES STABLES by Frédéric Boulanger( Book )

2 editions published in 1990 in French and held by 3 WorldCat member libraries worldwide

DANS CETTE THESE, NOUS PROPOSONS DE TRAVAILLER SUR LA CLASSE DES FONCTIONS ALEATOIRES STABLES POUR LA MODELISATION ET SIMULATION DE VARIABLES REGIONALISEES. DANS LA PREMIERE PARTIE, NOUS ABORDONS LE PROBLEME DE LA REALISATION D'UNE FONCTION DE COVARIANCE. NOUS PROPOSONS DEUX METHODES PERMETTANT D'UNE PART D'ETABLIR, PAR UNE NOUVELLE APPROCHE, LES PRINCIPAUX RESULTATS CONCERNANT LES PROCESSUS AUTTOREGRESSIFS A MOYENNES MOBILES ET D'AUTRE PART DE CALCULER LES PARAMETRES ASSOCIES. ENFIN, NOUS ABORDONS LE PROBLEME DE LA SIMULATION CONDITIONNELLE POUR LEQUEL NOUS PROPOSONS UNE SOLUTION DIRECTE EN VOISINAGE GLISSANT. DANS LA SECONDE PARTIE, NOUS INTRODUISONS LES FONCTIONS ALEATOIRES STABLES. APRES UN RAPIDE RAPPEL DES DEFINITIONS DES LOIS STABLES REELLES ET VECTORIELLES, NOUS ABORDONS LE PROBLEME DE L'ADEQUATION DE CE MODELE (DE VARIANCE INFINIE) AUX VARIABLES REGIONALISEES (DE VARIANCE EXPERIMENTALE FINIE). APRES UNE ETUDE DES DIFFERENTES METHODES EXISTANTES, IL NOUS EST APPARU QU'IL N'EXISTAIT PAS DE TESTS DE STABILITE PERFORMANTS. NOUS PROPOSONS DEUX TESTS REPOSANT SUR L'ETUDE DE LA FONCTION CARACTERISTIQUE EXPERIMENTALE. CETTE ETUDE PERMET DANS LE MEME TEMPS D'AMELIORER LES METHODES D'ESTIMATION DES PARAMETRES D'UNE LOI STABLE, NOTAMMENT POUR LES PETITS ECHANTILLONS. UNE FOIS L'HYPOTHESE DE STABILITE ACCEPTEE, IL EST INDISPENSABLE DE PASSER A L'ETAPE DE L'ANALYSE STRUCTURALE. DANS CETTE OPTIQUE, NOUS AVONS DEVELOPPE UNE METHODE D'ESTIMATION SEMI-PARAMETRIQUE DES LOIS STABLES VECTORIELLES. SI LA METHODE FOURNIT DES RESULTATS INTERESSANTS DANS LE CADRE D'UNE LOI STABLE, IL SEMBLE QUE LA METHODE NE PUISSE PAS ETRE UTILISEE POUR L'ESTIMATION DE TOUTES LES LOIS FINIES DIMENSIONNELLES. NOUS AVONS DONC PROPOSE DEUX OUTILS D'ANALYSE STRUCTURALE PLUS SIMPLES GENERALISANT LA NOTION DE COVARIANCE, LA FONCTION D'AUTOCORRELATION EXPERIMENTALE ET L'ALPHA-VARIOGRAMME. APRES UNE ETUDE GENERALE DES FONCTIONS ALEATOIR
INTEGRATION DE MODULES SYNDHRONES DANS LA PROGRAMMATION PAR OBJETS by Frédéric Boulanger( Book )

1 edition published in 1993 in French and held by 2 WorldCat member libraries worldwide

NOUS PRESENTONS UN MODELE ET DES OUTILS PERMETTANT D'INTEGRER DES MODULES SYNCHRONES DANS UN LANGAGE A OBJETS (C#+#+). CE SYSTEME PERMET D'APPLIQUER UNE METHODOLOGIE DE DEVELOPPEMENT PAR OBJETS A DES APPLICATIONS FAISANT INTERVENIR DU CODE SYNCHRONE. LES MODULES SYNCHRONES, ECRITS DANS UN LANGAGE SYNCHRONE, SONT TRANSFORMES AUTOMATIQUEMENT EN CLASSES C#+#+. LES INSTANCES DE CES CLASSES ONT LE MEME COMPORTEMENT QUE LES MODULES D'ORIGINE. LES PROPRIETES VERIFIEES SUR CES MODULES GRACE AUX OUTILS DE PREUVE DE L'APPROCHE SYNCHRONE SONT DONC CONSERVEES. LES PRINCIPAUX PROBLEMES TRAITES SONT: LA COMMUNICATION SYNCHRONE ENTRE OBJETS SYNCHRONES; LA COMMUNICATION ASYNCHRONE ENTRE OBJETS SYNCHRONES ET TACHES ASYNCHRONES; LA DYNAMICITE DES OBJETS SYNCHRONES ET DE LEUR INTERCONNEXION
Composition de modèles pour la modélisation multi-paradigme du comportement des systèmes by Cécile Hardebolle( Book )

1 edition published in 2008 in French and held by 1 WorldCat member library worldwide

In the context of Model Driven Engineering, the use of multiple modeling paradigms for developing complex systems is both unavoidable and essential. It results in the heterogeneity of the models representing the considered system and makes global reasoning about the system difficult. The objective of multi-paradigm modeling is to ease the joint use of heterogeneous models during the development cycle. In the work presented in this dissertation, we focus on the study of the heterogeneity of models and propose an approach to multi-paradigm modeling. We first qualify the causes of the heterogeneity of models with respect to the development cycle and we identify several types of heterogeneity. On this basis, we propose a framework for the study of the domain of multi-paradigm modeling with several research axes. The multidisciplinarity of multi-paradigm modeling allows the use of techniques from various fields. We propose a survey and a classification of the techniques which are relevant with respect to heterogeneity. Then we present ModHel'X, the approach to the composition of models for multi-paradigm modeling that we developed. It relies on the concept of model of computation and allows: (1) the specification of the semantics of a modeling language in an executable way by specializing an abstract semantics for models of computation that we developed; (2) the explicit specification of the composition mechanism between heterogeneous models through a special modeling structure called interface block; and (3) the simulation of the global behavior of heterogeneous models thanks to a generic execution algorithm that we defined
La Plainte Romance. Par Monsieur by Frédéric Boulanger( )

in French and held by 1 WorldCat member library worldwide

Integration de modules synchrones dans la programmation par objets by Frédéric Boulanger( Book )

1 edition published in 1993 in French and held by 1 WorldCat member library worldwide

Stances sur la mort de S.A.R. Monseigneur le Duc de Berry. Paroles de Mr Desaugiers by Frédéric Boulanger( )

in Latin and held by 1 WorldCat member library worldwide

Model-based Testing of Operating System-Level Security Mechanisms by Yakoub Nemouchi( )

1 edition published in 2016 in English and held by 1 WorldCat member library worldwide

Le test à base de modèle, en particulier test basé sur des assistants à la preuve, réduit de façon transparente l'écart entre la théorie, le modèle formel, et l'implémentation d'un système informatique. Actuellement, les techniques de tests offrent une possibilité d'interagir directement avec de "vrais" systèmes : via différentes propriétés formelles, les tests peuvent être dérivés et exécutés sur le système sous test. Convenablement, l'ensemble du processus peut être entièrement automatisé. Le but de cette thèse est de créer un environnement de test de séquence à base de modèle pour les programmes séquentiels et concurrents. Tout d'abord une théorie générique sur les monades est présentée, qui est indépendante de tout programme ou système informatique. Il se trouve que notre théorie basée sur les monades est assez expressive pour couvrir tous les comportements et les concepts de tests. En particulier, nous considérons ici : les exécutions séquentielles, les exécutions concurrentes, les exécutions synchronisées, les exécutions avec interruptions. Sur le plan conceptuel, la théorie apporte des notions comme la notion raffinement de test, les cas de tests abstraits, les cas de test concrets, les oracles de test, les scénarios de test, les données de tests, les pilotes de tests, les relations de conformités et les critères de couverture dans un cadre théorique et pratique. Dans ce cadre, des règles de raffinement de comportements et d'exécution symbolique sont élaborées pour le cas générique, puis affinées et utilisées pour des systèmes complexes spécifique. Comme application pour notre théorie, nous allons instancier notre environnement par un modèle séquentiel d'un microprocesseur appelé VAMP développé au cours du projet Verisoft. Pour le cas d'étude sur la concurrence, nous allons utiliser notre environnement pour modéliser et tester l'API IPC d'un système d'exploitation industriel appelé PikeOS.Notre environnement est implémenté en Isabelle / HOL. Ainsi, notre approche bénéficie directement des modèles, des outils et des preuves formelles de ce système
Je veux. Romance ... Paroles de J. Demeun by Frédéric Boulanger( )

in French and held by 1 WorldCat member library worldwide

Chant de Marie, romance, [paroles de] Aristide Tarry by Frédéric Boulanger( )

in Undetermined and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.83 (from 0.50 for Complex Sy ... to 0.99 for Model-base ...)

Languages
English (27)

French (9)

Latin (1)