@article{SCP11, 
	Author = {Djoko Djoko, Simplice and Douence, Ré and Fradet, Pascal},
	Title = {Aspects Preserving Properties},
	Journal = {Science of Computer Programming},
	Volume = {77},
	Number = {3},
	Pages = {393--422},
	Month = {March},
	Year = {2012}
} 


@InProceedings{DATE12, 
	Author = {Fradet, Pascal and Girault, Alain and Poplavko, Peter},
	Title = {SPDF: A Schedulable Parametric DataFlow MoC},
	BookTitle = {Proc. Design, Automation and Test in Europe Conference and Exhibition (DATE'12)},
	Month = {March},
	Year = {2012}
} 


@TechReport{RR7828, 
	Author = {Fradet, Pascal and Girault, Alain and Poplavko, Peter},
	Title = {SPDF: A Schedulable Parametric Dataflow Graph Model (extended version)},
	Number = {7828},
	Institution = {INRIA},
	Month = {December},
	Year = {2011}
} 


@Misc{DEPCP11, 
	Author = {Fradet, Pascal and Girault, Alain and Poplavko, Peter and Ozcan, Ali-Erdem},
	Title = {A Dataflow Model for Interactive Data-dependent Streaming Applications},
	BookTitle = {Workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications},
	Howpublished = {poster},
	Year = {2011}
} 


@Misc{MAP2MPSOC11, 
	Author = {Fradet, Pascal and Girault, Alain and Poplavko, Peter},
	Title = {A Statically Analyzable Dataflow Model for Dynamic Streaming},
	BookTitle = {5th Workshop on Mapping of Applications to MPSoCs},
	Howpublished = {one-page abstract},
	Year = {2011}
} 


@Misc{P2012DC11, 
	Author = {Fradet, Pascal and Girault, Alain and Poplavko, Peter},
	Title = {A Statically Analyzable Dataflow Model for Dynamic Streaming},
	BookTitle = {Platform 2012 Developers' Conference},
	Howpublished = {one-page abstract},
	Year = {2011}
} 


@article{SCP10, 
	Author = {Fradet, P. and Hong Tuan Ha, S.},
	Title = {Aspects of Availability - Enforcing timed properties to prevent denial of service},
	Journal = {Science of Computer Programming},
	Volume = {75},
	Number = {7},
	Pages = {516--542},
	Month = {July},
	Year = {2010}
} 


@InProceedings{IWS10, 
	Author = {Fradet, P. and Giavitto, J-L. and Hoff, M.},
	Title = {Refinement of Chemical Programs using Strategies},
	BookTitle = {International Workshop on Strategies in Rewriting, Proving, and Programming, IWS'2010},
	Month = {July},
	Year = {2010}
} 


@InProceedings{BFR09, 
	Author = {Banâtre, J.-P. and Fradet, P. and Radenac, Y.},
	Title = {Classical Coordination Mechanisms in the Chemical Model},
	BookTitle = {From Semantics to Computer Science: Essays in Honor of Gilles Kahn},
	Publisher = {Cambridge University Press},
	Month = {July},
	Year = {2009}
} 


@article{TECS08, 
	Author = {Ayav, T. and Fradet, P. and Girault, A.},
	Title = {Implementing fault-tolerance in real-time programs by automatic program transformations},
	Journal = {ACM Transactions on Embedded Computing Systems (TECS)},
	Volume = {7},
	Number = {4},
	Pages = {1--43},
	Month = {July},
	Year = {2008}
} 


@InProceedings{PEPM08, 
	Author = {Djoko Djoko, S. and Douence, R. and Fradet, P.},
	Title = {Aspects Preserving Properties},
	BookTitle = {Proc. of the ACM SIGPLAN 2008 Symposium on Partial Evaluation and Program Manipulation (PEPM'08)},
	Pages = {135--145},
	Publisher = {ACM},
	Month = {January},
	Year = {2008}
} 


@InProceedings{SEFM08, 
	Author = {Djoko Djoko, S. and Douence, R. and Fradet, P.},
	Title = {Specialized Aspect Languages Preserving Classes of Properties},
	BookTitle = {Proc. of the Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM'08)},
	Pages = {227--236},
	Publisher = {IEEE},
	Month = {November},
	Year = {2008}
} 


@InProceedings{Interlink08, 
	Author = {Banâtre, J.-P. and Fradet, P. and Radenac, Y.},
	Title = {The Chemical Reaction Model - Recent Developments and Prospects},
	BookTitle = {Software-Intensive Systems and New Computing Paradigms},
	Volume = {5380},
	Pages = {209--234},
	Series = {Lecture Notes in Computer Science},
	Publisher = {Springer},
	Year = {2008}
} 


@TechReport{RR6754, 
	Author = {Fradet, P. and Hong Tuan Ha, S.},
	Title = {Aspects of Availability - Enforcing timed properties to prevent denial of service},
	Number = {6754},
	Institution = {INRIA},
	Month = {December},
	Year = {2008}
} 


@article{HOSC07, 
	Author = {Douence, Rémi and Fradet, Pascal},
	Title = {The next 700 Krivine Machines},
	Journal = {Higher-Order and Symbolic Computation},
	Volume = {	 20},
	Number = {3},
	Publisher = {Kluwer Academic Publisher},
	Year = {2007}
} 


@article{BFR07-IJUC, 
	Author = {Banâtre, Jean-Pierre and Fradet, Pascal and Radenac, Yann},
	Title = {Programming Self-Organizing Systems with the Higher-Order Chemical Language},
	Journal = {International Journal of Unconventional Computing},
	BookTitle = {The Grand Challenge in Non-Classical Computation},
	Volume = {	 3},
	Number = {3},
	Pages = {161--177},
	Year = {2007}
} 


@InProceedings{FHTH07, 
	Author = {Fradet, Pascal and Hong Tuan Ha, Stéphane},
	Title = {Aspects of Availability},
	BookTitle = {Proc. of the Sixth International Conference on Generative Programming and Component Engineering (GPCE'07)},
	Pages = {165--174},
	Publisher = {ACM},
	Month = {October},
	Year = {2007}
} 


@InProceedings{TivoliFradetGiraultGoessler2007, 
	Author = {Tivoli, M. and Fradet, P. and Girault, A. and Goessler, G.},
	Title = {Adaptor Synthesis for Real-Time Components},
	BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference (TACAS'07)},
	Volume = {4424},
	Pages = {185--200},
	Series = {Lecture Notes in Computer Science},
	Publisher = {Springer},
	Year = {2007}
} 


@article{FHTH06-LOBJET, 
	Author = {Fradet, Pascal and Hong Tuan Ha, Stéphane},
	Title = {Systèmes de gestion de ressources et aspects de disponibilité},
	Journal = {L'Objet - Logiciel, bases de données, réseaux},
	Volume = {	 12},
	Number = {2},
	Pages = {183--210},
	Publisher = {Hermès/Lavoisier},
	Month = {September},
	Year = {2006}
} 


@InProceedings{AFG06-EMSOFT, 
	Author = {Ayav, T. and Fradet, P. and Girault, A.},
	Title = {Implementing Fault-Tolerance in Real-Time Systems by Program Transformations},
	BookTitle = {Proceedings of the Sixth ACM & IEEE International Conference on Embedded Software, EMSOFT'06},
	Pages = {205--214},
	Year = {2006}
} 


@InProceedings{BFR06-SAC, 
	Author = {Banâtre, Jean-Pierre and Fradet, Pascal and Radenac, Yann},
	Title = {Towards Grid Chemical Coordination (short paper)},
	BookTitle = {Proceedings of the 2006 ACM Symposium on Applied Computing (SAC'06)},
	Pages = {445--446},
	Publisher = {ACM press},
	Month = {April},
	Year = {2006}
} 


@InProceedings{BFR05-DCM, 
	Author = {Banâtre, Jean-Pierre and Fradet, Pascal and Radenac, Yann},
	Title = {A Generalized Higher-Order Chemical Computation Model with Infinite and Hybrid Multisets},
	BookTitle = {Proceedings of 1st International Workshop on New Developments in Computational Models (DCM'05)},
	Volume = {135(3)},
	Pages = {3--13},
	Series = {ENTCS},
	Publisher = {Elsevier},
	Month = {March},
	Year = {2006}
} 


@article{BFR06-MSCS, 
	Author = {Banâtre, Jean-Pierre and Fradet, Pascal and Radenac, Yann},
	Title = {Generalised multisets for chemical programming},
	Journal = {Mathematical Structures in Computer Science},
	Volume = {	 16},
	Number = {4},
	Pages = {557--580},
	Month = {August},
	Year = {2006}
} 


@article{MBFG06-IJUC, 
	Author = {Michel, Olivier and Banâtre, Jean-Pierre and Fradet, Pascal and Giavitto, Jean-Louis},
	Title = {Challenging Questions for the Rationale of Non-Classical Programming Languages},
	Journal = {International Journal of Unconventional Computing},
	BookTitle = {The Grand Challenge in Non-Classical Computation},
	Volume = {	 2},
	Number = {4},
	Pages = {337--347},
	Year = {2006}
} 


@article{BFR06-ErcimNews, 
	Author = {Banâtre, Jean-Pierre and Fradet, Pascal and Radenac, Yann},
	Title = {Chemical Programming of Self-Organizing Systems},
	Journal = {ERCIM News, Special Theme: Emergent Computing},
	Volume = {	 64},
	Month = {January},
	Year = {2006}
} 


@TechReport{RR5919, 
	Author = {Ayav, T. and Fradet, P. and Girault, A.},
	Title = {Implementing Fault-Tolerance in Real-Time Systems by Program Transformations},
	Number = {5919},
	Institution = {INRIA},
	Month = {May},
	Year = {2006}
} 


@Misc{DDFL-NoE06, 
	Author = {Douence, Rémi and Djoko Djoko, Simplice and Fradet, Pascal and Le Botlan, Didier},
	Title = {Towards a Common Aspect Semantic Base (CASB)},
	Publisher = {Deliverable 54, AOSD-Europe, EU Network of Excellence in AOSD},
	Month = {August},
	Year = {2006}
} 


@TechReport{BFR05-RR, 
	Author = {Banâtre, Jean-Pierre and Fradet, Pascal and Radenac, Yann},
	Title = {Generalized Multisets for Chemical Programming},
	Number = {5743},
	Institution = {INRIA},
	Month = {November},
	Year = {2005}
} 


@InProceedings{BFR05-York, 
	Author = {Banâtre, Jean-Pierre and Fradet, Pascal and Radenac, Yann},
	Title = {Higher-order Chemical Model of Computation},
	BookTitle = {The Grand Challenge in Non-Classical Computation},
	Month = {April},
	Year = {2005}
} 


@InProceedings{MBFG05-York, 
	Author = {Michel, Olivier and Banâtre, Jean-Pierre and Fradet, Pascal and Giavitto, Jean-Louis},
	Title = {Challenging Questions for the Rationals of Non-Classical Programming Languages},
	BookTitle = {The Grand Challenge in Non-Classical Computation},
	Month = {April},
	Year = {2005}
} 


@InProceedings{BFR-UPP, 
	Author = {Banâtre, Jean-Pierre and Fradet, Pascal and Radenac, Yann},
	Title = {Higher-order Chemical Programming Style},
	BookTitle = {Proceedings of Unconventional Programming Paradigms},
	Volume = {	 3566},
	Pages = {84--98},
	Series = {LNCS},
	Publisher = {Springer-Verlag},
	Year = {2005}
} 


@InProceedings{BFR-RULE, 
	Author = {Banâtre, Jean-Pierre and Fradet, Pascal and Radenac, Yann},
	Title = {Principles of Chemical Programming},
	BookTitle = {Proceedings of the 5th International Workshop on Rule-Based Programming},
	editor = {Abdennadher, S. and Ringeissen, C.},
	Volume = {124(1)},
	Pages = {133--147},
	Series = {ENTCS},
	Publisher = {Elsevier},
	Month = {June},
	Year = {2005}
} 


@InProceedings{FHTH05, 
	Author = {Fradet, Pascal and Hong Tuan Ha, Stéphane},
	Title = {Systèmes de gestion de ressources et aspects de disponibilité},
	BookTitle = {2ème Journée Francophone sur le Développement de Logiciels Par Aspects (JFDLPA 2005)},
	Address = {Lille, France},
 	Month = {September},
	Year = {2005}
} 


@Misc{AOSD05, 
	Author = {Douence, Rémi and Djoko Djoko, Simplice and Fradet, Pascal and Le Botlan, Didier and Staijen, Tom},
	Title = {Towards a Common Aspect Semantic Base (CASB)},
	Publisher = {Milestone 8.2, AOSD-Europe, EU Network of Excellence},
	Month = {October},
	Year = {2005}
} 


@InProceedings{DFS04-AW, 
	Author = {Douence, Rémi and Fradet, Pascal and Südholt, Mario},
	Title = {Trace-Based Aspects},
	BookTitle = {Aspect-Oriented Software Development},
	editor = {Aksit, Mehmet and Clarke, Siobhán and Elrad, Tzilla and E.Filman, Robert},
	Pages = {201--217},
	Publisher = {Addison-Wesley},
	Year = {2004}
} 


@InProceedings{DFS04-AOSD, 
	Author = {Douence, Rémi and Fradet, Pascal and Südholt, Mario},
	Title = {Composition, reuse and interaction analysis of stateful aspects},
	BookTitle = {Proc. of the 3rd Int' Conf. on Aspect-Oriented Software Development(AOSD'04)},
	editor = {Lieberherr, Karl},
	Pages = {141--150},
	Publisher = {ACM Press},
	Month = {March},
	Year = {2004}
} 


@InProceedings{FHTH04, 
	Author = {Fradet, Pascal and Hong Tuan Ha, Stéphane},
	Title = {Network Fusion},
	BookTitle = {Proc. of Asian Symposium on Programming Languages and Systems (APLAS'04)},
	Pages = {21--40},
	Publisher = {Springer-Verlag, LNCS, Vol. 3302},
	Month = {November},
	Year = {2004}
} 


@InProceedings{BFR04-RULE, 
	Author = {Banâtre, Jean-Pierre and Fradet, Pascal and Radenac, Yann},
	Title = {Principles of Chemical Programming},
	BookTitle = {Fifth International Workshop on Rule-Based Programming (RULE'04)},
	Publisher = {Electronic Notes in Theoretical Computer Science},
	Month = {June},
	Year = {2004}
} 


@InProceedings{BFR04-IASSE, 
	Author = {Banâtre, Jean-Pierre and Fradet, Pascal and Radenac, Yann},
	Title = {Chemical Specification of Autonomic Systems},
	BookTitle = {Proceedings of the 13th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE'04)},
	Month = {July},
	Year = {2004}
} 


@InProceedings{BFR04-UPP, 
	Author = {Banâtre, Jean-Pierre and Fradet, Pascal and Radenac, Yann},
	Title = {Higher-order Chemical Programming Style},
	BookTitle = {Proceedings of Unconventional Programming Paradigms (UPP'04)},
	Publisher = {To be published in the Hot Topics subline of LNCS, Springer-Verlag},
	Month = {September},
	Year = {2004}
}