Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pascal Fradet" ( http://dblp.L3S.de/Authors/Pascal_Fradet )

  Author page on DBLP  Author page in RDF  Community of Pascal Fradet in ASPL-2

Publication years (Num. hits)
1989-2000 (18) 2002-2007 (16) 2008-2012 (7)
Publication types (Num. hits)
article(13) incollection(1) inproceedings(26) proceedings(1)
Venues (Conferences, Journals, ...)
Sci. Comput. Program.(4) ACM Trans. Program. Lang. Syst...(2) ECOOP Workshops(2) Electr. Notes Theor. Comput. S...(2) ESOP(2) GPCE(2) POPL(2) UPP(2) ACM Trans. Embedded Comput. Sy...(1) AOSD(1) APLAS(1) DATE(1) EMSOFT(1) ESEC / SIGSOFT FSE(1) FASE(1) FPCA(1) More (+10 of total 31)
Authors
Pascal Fradet(41) Jean-Pierre Banâtre(9) Daniel Le Métayer(8) Rémi Douence(8) Yann Radenac(7) Alain Girault(4) Mario Südholt(4) Stéphane Hong Tuan Ha(4) Simplice Djoko Djoko(3) Tolga Ayav(2) Gregor Gößler(1) Jean-Louis Giavitto(1) Julien Mallet(1) Massimo Tivoli(1) Michaël Périn(1) Olivier Michel(1) More (+10 of total 22)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 39 occurrences of 28 keywords
Results
Found 41 publication records. Showing 41 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Simplice Djoko Djoko, Rémi Douence, Pascal Fradet Aspects preserving properties. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pascal Fradet, Alain Girault, Peter Poplavkoy SPDF: A schedulable parametric data-flow MoC. Search on Bibsonomy DATE The full citation details ... 2012 DBLP  BibTeX  RDF
1Pascal Fradet, Stéphane Hong Tuan Ha Aspects of availability: Enforcing timed properties to prevent denial of service. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tolga Ayav, Pascal Fradet, Alain Girault Implementing fault-tolerance in real-time programs by automatic program transformations. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Fault-tolerance, program transformations, checkpointing, correctness proofs, heartbeating
1Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac The Chemical Reaction Model Recent Developments and Prospects. Search on Bibsonomy Software-Intensive Systems and New Computing Paradigms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Simplice Djoko Djoko, Rémi Douence, Pascal Fradet Specialized Aspect Languages Preserving Classes of Properties. Search on Bibsonomy SEFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Simplice Djoko Djoko, Rémi Douence, Pascal Fradet Aspects preserving properties. Search on Bibsonomy PEPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF semantics, proof, temporal properties, aspect weaving
1Rémi Douence, Pascal Fradet The next 700 Krivine machines. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Krivine machine, Functional language implementations, Compilation, Program transformation, Abstract machines
1Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler Adaptor Synthesis for Real-Time Components. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Pascal Fradet, Stéphane Hong Tuan Ha Aspects of availability. Search on Bibsonomy GPCE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF aspect-oriented programming, resource management, availability, timed automata, denial of service, weaving
1Pascal Fradet, Ralf Lämmel Special issue on foundations of aspect-oriented programming. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac Generalised multisets for chemical programming. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pascal Fradet, Stéphane Hong Tuan Ha Systèmes de gestion de ressources et aspects de disponibilité. Search on Bibsonomy L'OBJET The full citation details ... 2006 DBLP  BibTeX  RDF
1Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac A Generalized Higher-Order Chemical Computation Model. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tolga Ayav, Pascal Fradet, Alain Girault Implementing fault-tolerance in real-time systems by automatic program transformations. Search on Bibsonomy EMSOFT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fault-tolerance, program transformations, checkpointing, heartbeating
1Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac Towards chemical coordination for grids. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac Principles of Chemical Programming. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel (eds.) Unconventional Programming Paradigms, International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers Search on Bibsonomy UPP The full citation details ... 2005 DBLP  BibTeX  RDF
1Jean-Pierre Banâtre, Yann Radenac, Pascal Fradet Chemical Specification of Autonomic Systems. Search on Bibsonomy IASSE The full citation details ... 2004 DBLP  BibTeX  RDF
1Rémi Douence, Pascal Fradet, Mario Südholt Composition, reuse and interaction analysis of stateful aspects. Search on Bibsonomy AOSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF reuse of aspects, static analysis, aspect oriented programming, formal model, aspect interactions, aspect composition
1Pascal Fradet, Stéphane Hong Tuan Ha Network Fusion. Search on Bibsonomy APLAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac Higher-Order Chemical Programming Style. Search on Bibsonomy UPP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Rémi Douence, Pascal Fradet, Mario Südholt A Framework for the Detection and Resolution of Aspect Interactions. Search on Bibsonomy GPCE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Pascal Fradet, Julien Mallet Compilation of a specialized functional language for massively parallel computers. Search on Bibsonomy J. Funct. Program. The full citation details ... 2000 DBLP  BibTeX  RDF
1Thomas Colcombet, Pascal Fradet Enforcing Trace Properties by Program Transformation. Search on Bibsonomy POPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Pascal Fradet, Valérie Issarny, Siegfried Rouvrais Analyzing Non-functional Properties of Mobile Agents. Search on Bibsonomy FASE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer Gamma and the Chemical Reaction Model: Fifteen Years After. Search on Bibsonomy WMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Pascal Fradet, Mario Südholt An Aspect Language for Robust Programming. Search on Bibsonomy ECOOP Workshops The full citation details ... 1999 DBLP  BibTeX  RDF
1Pascal Fradet, Daniel Le Métayer, Michaël Périn Consistency Checking for Multiple View Software Architectures. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Pascal Fradet, Daniel Le Métayer Structured Gamma. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Rémi Douence, Pascal Fradet A Systematic Study of Functional Language Implementations. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF compilers, program transformation, functional programming, combinators, abstract machines
1Pascal Fradet, Mario Südholt Fowards a Generic Framework for AOP. Search on Bibsonomy ECOOP Workshops The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Pascal Fradet, Daniel Le Métayer Shape Types. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Pascal Fradet, Daniel Le Métayer Type Checking for a Multiset Rewriting Language. Search on Bibsonomy LOMAPS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF multiset rewriting, verification, invariant, graph grammars, type checking
1Pascal Fradet, Ronan Caugne, Daniel Le Métayer Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. Search on Bibsonomy ESOP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Rémi Douence, Pascal Fradet Towards a Taxonomy of Functional Languages Implementations Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Pascal Fradet Collecting More Garbage. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Pascal Fradet Compilation of Head and Strong Reduction. Search on Bibsonomy ESOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Pascal Fradet, Daniel Le Métayer Compilation of Functional Languages by Program Transformation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF program transformation, continuations, combinators
1Pascal Fradet Syntactic Detection of Single-Threading Using Continuations. Search on Bibsonomy FPCA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Pascal Fradet, Daniel Le Métayer Compilation of Lambda-Calculus into Functional Machine Code. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #41 of 41 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.