Sites Inria

English version

Equipe de recherche MIMOSA

Publications de l'équipe MIMOSA

2009

Communication dans un congrès

titre
Relaxed memory models: an operational approach
auteur
Gérard Boudol, Gustavo Petri
article
POPL'09, Jan 2009, Savannah, GA,, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00420352/file/gg-popl.pdf BibTex

2008

Communication dans un congrès

titre
Safe Reactive Programming: the FunLoft Proposal
auteur
Frédéric Boussinot, Frédéric Dabrowski
article
MULTIPROG'08, 2008, Sweden
Accès au bibtex
BibTex

Thèse

titre
Implementation of a language with strong mobility
auteur
Stephane Epardaud
article
Computer Science [cs]. Université Nice Sophia Antipolis, 2008. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00264028/file/these.pdf BibTex

2007

Communication dans un congrès

titre
Feasible reactivity in a synchronous pi-calculus
auteur
Roberto M. Amadio, Frederic Dabrowski
article
ACM SIGPLAN Principles and Practice of Declarative Programming, Jul 2007, Wroclaw, Poland. pp.221-231
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00130322/file/fr-short.pdf BibTex

Rapport

titre
State-oriented noninterference for CCS
auteur
Ilaria Castellani
article
[Research Report] RR-6322, INRIA. 2007, pp.58
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00180168/file/RR-6322.pdf BibTex

Thèse

titre
Programmation Réactive Synchrone, Langage et Contrôle des Ressources
auteur
Frederic Dabrowski
article
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 2007. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00151974/file/dabrowski-phd.pdf BibTex

Pré-publication, Document de travail

titre
Safe Reactive Programming: The FunLoft Proposal
auteur
Frédéric Boussinot, Frederic Dabrowski
article
2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00184100/file/safe-react-funloft.pdf BibTex
titre
A Benchmark for Multicore Machines
auteur
Frédéric Boussinot
article
2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00174843/file/fl_bench_v2.pdf BibTex
titre
Formalisation of FunLoft
auteur
Frédéric Boussinot, Frederic Dabrowski
article
2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00183242/file/fl_formal.pdf BibTex

2006

Communication dans un congrès

titre
Bulk Synchronous Parallel ML avec exceptions
auteur
Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
article
Rencontres Francophones du Parallélisme (Renpar'17), Oct 2006, Canet en Roussillon, France
Accès au bibtex
BibTex
titre
Reactive concurrent programming revisited
auteur
Roberto M. Amadio, Gérard Boudol, Ilaria Castellani, Frédéric Boussinot
article
Express, Sep 2006, France. pp.49-60
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00015838/file/abbc-tr.pdf BibTex
titre
Bulk Synchronous Parallel ML with Exceptions
auteur
Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
article
Distributed and Parallel Systems (DAPSYS 2006), Sep 2006, Innsbruck, Austria. pp.33-42, ⟨10.1007/978-0-387-69858-8_4⟩
Accès au bibtex
BibTex
titre
Cooperative Threads and Preemptive Computations
auteur
Frédéric Dabrowski, Frédéric Boussinot
article
Multithreading in Hardware and Software: Formal Approaches to Design and Verification, TV06, Aug 2006, United States. pp.40-51
Accès au bibtex
BibTex
titre
Feasible Reactivity for Synchronous Cooperative Threads.
auteur
Roberto M. Amadio, Frederic Dabrowski
article
Process Algebra, Jul 2006, France. pp.33-43
Accès au bibtex
BibTex

Rapport

titre
Cooperative Threads and Preemptive Computations
auteur
Frédéric Boussinot, Frederic Dabrowski
article
[Research Report] 2006, pp.15
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00078780/file/article.pdf BibTex
titre
The Heart of Intersection Type Assignment
auteur
Steffen Van Bakel
article
[Research Report] RR-5984, INRIA. 2006, pp.34
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00096419/file/RR-5984.pdf BibTex
titre
Typing Noninterference for Reactive Programs
auteur
Ana Almeida Matos, Gérard Boudol, Ilaria Castellani
article
[Research Report] RR-5594, INRIA. 2006, pp.38
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070413/file/RR-5594.pdf BibTex
titre
Logical equivalence for subtyping object and recursive types
auteur
Steffen Van Bakel, Ugo De'Liguoro
article
[Research Report] RR-5985, INRIA. 2006, pp.51
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00097235/file/vanBakel-deLiguoro.pdf BibTex

Thèse

titre
Débogage symbolique multi-langages pour les plates-formes d'exécution généralistes
auteur
Damien Ciabrini
article
Autre [cs.OH]. Université Nice Sophia Antipolis, 2006. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00122789/file/these-ciabrini-inria-qualite-impression.pdf BibTex

2005

Rapport

titre
Loft+Cyclone
auteur
Frédéric Boussinot
article
[Research Report] RR-5680, INRIA. 2005, pp.16
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070333/file/RR-5680.pdf BibTex

2004

Communication dans un congrès

titre
Using Ambients to Control Resources (long version)
auteur
David Teller, Pascal Zimmer, Daniel Hirschkoff
article
2004, pp.126 - 144, ⟨10.1007/s10207-004-0035-y⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00020253/file/IJIS_ca.pdf BibTex

Rapport

titre
Reactive Programming of Cellular Automata
auteur
Frédéric Boussinot
article
RR-5183, INRIA. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071405/file/RR-5183.pdf BibTex
titre
Safe Recursive Boxes
auteur
Gérard Boudol
article
RR-5115, INRIA. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071467/file/RR-5115.pdf BibTex

Thèse

titre
Construction et simulation graphiques de comportements : le modèle des Icobjs
auteur
Christian Brunette
article
Autre [cs.OH]. École Nationale Supérieure des Mines de Paris, 2004. Français
Accès au texte intégral et bibtex
https://pastel.archives-ouvertes.fr/tel-00327441/file/TheseCBrunette.pdf BibTex
titre
Récursion généralisée et inférence de types avec intersection
auteur
Pascal Zimmer
article
Autre [cs.OH]. Université Nice Sophia Antipolis, 2004. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00006314/file/tel-000063141.pdf BibTex

2003

Article dans une revue

titre
The receptive distributed pi-calculus
auteur
Roberto Amadio, Gérard Boudol, Cédric Lhoussaine
article
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2003, 25 (5), pp.549-577
Accès au bibtex
BibTex

Rapport

titre
FairThreads: mixing cooperative and preemptive threads in C
auteur
Frédéric Boussinot
article
RR-5039, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071544/file/RR-5039.pdf BibTex
titre
A Logic You Can Count On
auteur
Silvano Dal Zilio, Denis Lugiez, Charles Meyssonnier
article
RR-5022, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071562/file/RR-5022.pdf BibTex

2002

Rapport

titre
XML Schema, Tree Logic and Sheaves Automata
auteur
Silvano Dal Zilio, Denis Lugiez
article
RR-4631, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071954/file/RR-4631.pdf BibTex
titre
Type Inference for the receptive distributed Pi-calculus
auteur
Cédric Lhoussaine
article
RR-4373, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072215/file/RR-4373.pdf BibTex
titre
On the Expressiveness of Pure Safe Ambients
auteur
Pascal Zimmer
article
RR-4350, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072238/file/RR-4350.pdf BibTex
titre
On name generation and set-based analysis in Dolev-Yao model
auteur
Roberto M. Amadio, Witold Charatonik
article
RR-4379, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072209/file/RR-4379.pdf BibTex

2001

Rapport

titre
Noninterference for Concurrent Programs and Thread Systems
auteur
Gérard Boudol, Ilaria Castellani
article
RR-4254, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072334/file/RR-4254.pdf BibTex
titre
On the Decidability of Fragments of the Asynchronous Pi-Calculus
auteur
Roberto M. Amadio, Charles Meyssonnier
article
RR-4241, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072346/file/RR-4241.pdf BibTex
titre
The Recursive Record Semantics of Objects Revisited
auteur
Gérard Boudol
article
RR-4199, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072423/file/RR-4199.pdf BibTex
titre
On the Symbolic Reduction of Processes with Cryptographic Functions
auteur
Roberto M. Amadio, Denis Lugiez, Vincent Vanackère
article
RR-4147, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072478/file/RR-4147.pdf BibTex
titre
Java Fair Threads
auteur
Frédéric Boussinot
article
RR-4139, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072487/file/RR-4139.pdf BibTex

2000

Rapport

titre
The Receptive Distributed $\pi$-Calculus
auteur
Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine
article
[Research Report] RR-4080, INRIA. 2000
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072553/file/RR-4080.pdf BibTex
titre
On the Reachability Problem in Cryptographic Protocols
auteur
Roberto M. Amadio, Denis Lugiez
article
[Research Report] RR-3915, INRIA. 2000, pp.33
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072738/file/RR-3915.pdf BibTex
titre
Junior Automata
auteur
Frédéric Boussinot
article
[Research Report] RR-4031, INRIA. 2000, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072607/file/RR-4031.pdf BibTex
titre
Analyse des langages et modèles de la mobilité
auteur
Gérard Boudol, Florence Germain, Marc Lacoste
article
[Rapport de recherche] RR-3930, INRIA. 2000, pp.73
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072722/file/RR-3930.pdf BibTex
titre
La programmation en Junior
auteur
Frédéric Boussinot, Laurent Hazard, Jean-Ferdy Susini
article
[Rapport de recherche] RR-4027, INRIA. 2000, pp.31
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072613/file/RR-4027.pdf BibTex

Suivez Inria