Jean-Pierre Banâtre

57 papers A* 3A 3B 3C 2Misc 2Journal 15Unranked 23
YearRankTypeTitle / Venue / Authors
2018 — conf
Towards Enforcement of the EU GDPR: Enabling Data Erasure.
iThings/GreenCom/CPSCom/SmartData
Subhadeep Sarkar, Jean-Pierre Banâtre, Louis Rilling, Christine Morin
2011 — conf
Fault Tolerant Autonomic Computing Systems in a Chemical Setting.
Dependable and Historic Computing
Jean-Pierre Banâtre, Christine Morin, Thierry Priol
2009 J jnl
Chemical Programming of Future Service-oriented Architectures.
J. Softw.
Jean-Pierre Banâtre, Thierry Priol
2009 C conf
Developing Autonomic and Secure Virtual Organisations with Chemical Programming.
SSS
Alvaro E. Arenas, Jean-Pierre Banâtre, Thierry Priol
2008 — conf
A Chemical Interpretation of GSML Programs.
GCC
Xingwu Liu, Yann Radenac, Jean-Pierre Banâtre, Thierry Priol, Zhiwei Xu
2008 — conf
Service Orchestration Using the Chemical Metaphor.
SEUS
Jean-Pierre Banâtre, Thierry Priol, Yann Radenac
2008 — book
Software-Intensive Systems and New Computing Paradigms - Challenges and Visions
Software-Intensive Systems and New Computing Paradigms
Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer
2008 — ch.
The Chemical Reaction Model Recent Developments and Prospects.
Software-Intensive Systems and New Computing Paradigms
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
2007 J jnl
Programming Self-Organizing Systems with the Higher-Order Chemical Language.
Int. J. Unconv. Comput.
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
2007 — conf
Towards "Chemical" Desktop Grids.
eScience
Jean-Pierre Banâtre, Nicolas Le Scouarnec, Thierry Priol, Yann Radenac
2006 J jnl
Challenging Questions for the Rationale of Non-Classical Programming Languages.
Int. J. Unconv. Comput.
Olivier Michel, Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto
2006 J jnl
Generalised multisets for chemical programming.
Math. Struct. Comput. Sci.
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
2006 Misc conf
Towards chemical coordination for grids.
SAC
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
2005 — conf
A Generalized Higher-Order Chemical Computation Model.
DCM@ICALP
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
2005 — ed.
Unconventional Programming Paradigms, International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
UPP
Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel
2004 — conf
Chemical Specification of Autonomic Systems.
IASSE
Jean-Pierre Banâtre, Yann Radenac, Pascal Fradet
2004 — conf
Higher-Order Chemical Programming Style.
UPP
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
2004 — conf
Principles of Chemical Programming.
RULE@RDP
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
2001 — conf
Architecture-based Exception Handling.
HICSS
Valérie Issarny, Jean-Pierre Banâtre
2000 — conf
Gamma and the Chemical Reaction Model: Fifteen Years After.
WMP
Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer
1996 C conf
Parallel Multiset Processing: FRom Explicit Coordination to Chemical Reaction.
COORDINATION
Jean-Pierre Banâtre
1995 — conf
An approach to information security in distributed systems.
FTDCS
Ciarán Bryce, Jean-Pierre Banâtre, Daniel Le Métayer
1994 A conf
Compile-Time Detection of Information Flow in Sequential Programs.
ESORICS
Jean-Pierre Banâtre, Ciarán Bryce, Daniel Le Métayer
1993 — conf
Information Flow Control in a Parallel Language Framework.
CSFW
Jean-Pierre Banâtre, Ciarán Bryce
1993 J jnl
Models and Paradigms for Distributed Systems Structuring - Introduction.
ACM SIGOPS Oper. Syst. Rev.
Jean-Pierre Banâtre, Sacha Krakowiak
1993 J jnl
Programming by Multiset Transformation.
Commun. ACM
Jean-Pierre Banâtre, Daniel Le Métayer
1993 B conf
Subsidiaries and start-up Spin-off companies of Inria.
SAFECOMP
Jean-Pierre Banâtre
1992 — ed.
Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992, Mont Saint-Michel, France, September 21-23, 1992
ACM SIGOPS European Workshop
Jean-Pierre Banâtre
1992 — ed.
Research Directions in High-Level Parallel Programming Languages, Mont Saint-Michel, France, June 17-19, 1991, Procedings
Research Directions in High-Level Parallel Programming Languages
Jean-Pierre Banâtre, Daniel Le Métayer
1991 — conf
Fast Stable Storage as a Basis for Fault-Tolerant Architectures.
Operating Systems of the 90s and Beyond
Jean-Pierre Banâtre, Michel Banâtre
1991 — conf
Introduction to Gamma.
Research Directions in High-Level Parallel Programming Languages
Jean-Pierre Banâtre, Daniel Le Métayer
1991 — conf
Parallel Program Design.
Research Directions in High-Level Parallel Programming Languages
Jean-Pierre Banâtre
1991 — book
Prospects for functional programming in software engineering.
Jean-Pierre Banâtre, Simon B. Jones, Daniel Le Métayer
1990 J jnl
The GAMMA Model and Its Discipline of Programming.
Sci. Comput. Program.
Jean-Pierre Banâtre, Daniel Le Métayer
1989 — conf
Architecture of fault-tolerant multiprocessor workstations.
WWOS
Jean-Pierre Banâtre, Michel Banâtre, Gilles Muller
1989 A conf
Chemical Reaction as a Computational Model.
Functional Programming
Jean-Pierre Banâtre, Daniel Le Métayer
1989 B conf
Implementing Atomic Rendevous within a Transactional Framework.
SRDS
Jean-Pierre Banâtre, Michel Banâtre, Christine Morin
1988 J jnl
A parallel machine for multiset transformation and its programming style.
Future Gener. Comput. Syst.
Jean-Pierre Banâtre, Anne Coutant, Daniel Le Métayer
1988 A* conf
Ensuring Data Security and Integrity with a Fast Stable Storage.
ICDE
Michel Banâtre, Gilles Muller, Jean-Pierre Banâtre
1988 — conf
Fragmented and replicated objects in the GOTHIC distributed system.
ACM SIGOPS European Workshop
Jean-Pierre Banâtre, Michel Banâtre, P. Lecler, Florimond Ployette, P. Le Certen
1988 J jnl
Parallel Machines for Multiset Transformation and their Programming Style / Parallele Maschinen für die Multimengen-Transformation und deren Programmierstil.
it Inf. Technol.
Jean-Pierre Banâtre, Anne Coutant, Daniel Le Métayer
1986 — conf
Some aspects of the GOTHIC system.
ACM SIGOPS European Workshop
Jean-Pierre Banâtre, Michel Banâtre
1986 A conf
The Concept of Multi-function: A General Structuring Tool for Distributed Operating System.
ICDCS
Jean-Pierre Banâtre, Michel Banâtre, Florimond Ployette
1986 J jnl
The Design and Building of Enchère, a Distributed Electronic Marketing System.
Commun. ACM
Jean-Pierre Banâtre, Michel Banâtre, Guy Lapalme, Florimond Ployette
1983 — conf
A Cooperation Scheme for Parallel Compilation.
Method and tools for compiler construction
Jean-Pierre Banâtre
1983 — conf
Construction of a Distributed System Supporting Atomic Transactions.
Symposium on Reliability in Distributed Software and Database Systems
Jean-Pierre Banâtre, Michel Banâtre, Florimond Ployette
1982 J jnl
A Network for the Detection of Words in Continuous Speech.
Acta Informatica
Jean-Pierre Banâtre, Patrice Frison, Patrice Quinton
1982 Misc conf
A systolic algorithm for connected word recognition.
ICASSP
Jean-Pierre Banâtre, Patrice Frison, Patrice Quinton
1982 B conf
Constructing parallel programs and their termination proof.
ICPP
Jean-Pierre Banâtre, Michel Banâtre, Patrice Quinton
1982 — conf
Parallélisme et programmation fonctionnelle à la Backus.
SPLT
Jean-Pierre Banâtre
1981 J jnl
A Multiprocessing Approach to Compile-Time Symbol Resolution.
ACM Trans. Program. Lang. Syst.
F. André, Jean-Pierre Banâtre, Jean-Paul Routeau
1981 — conf
Parallel structures for vector processing.
CONPAR
Jean-Pierre Banâtre, Michel Banâtre
1980 A* conf
Kensur: An Architecture Oriented Towards Programming Languages Translation.
ISCA
F. André, Jean-Pierre Banâtre, Hughes Leroy, G. Paget, Florimond Ployette, Jean-Paul Routeau
1979 J jnl
An Event-Driven Compiling Technique.
Commun. ACM
Jean-Pierre Banâtre, Jean-Paul Routeau, Laurent Trilling
1979 A* conf
Language Features for Description of Cooperating Processes.
ICSE
Jean-Pierre Banâtre, Michel Banâtre
1978 J jnl
Reliable Resource Allocation Between Unreliable Processes.
IEEE Trans. Software Eng.
Santosh K. Shrivastava, Jean-Pierre Banâtre
1977 J jnl
Producing Optimised Code for Coercions.
Inf. Process. Lett.
Jean-Pierre Banâtre