Publications of Pascal Fradet
Load the BibTeX file
Academic Journals
- Simplice Djoko Djoko, Ré Douence, Pascal Fradet. Aspects Preserving Properties. Science of Computer Programming, 77(3):393-422, March 2012.
download
- P. Fradet, S. Hong Tuan Ha. Aspects of Availability - Enforcing timed properties to prevent denial of service. Science of Computer Programming, 75(7):516-542, July 2010.
- T. Ayav, P. Fradet, A. Girault. Implementing fault-tolerance in real-time programs by automatic program transformations. ACM Transactions on Embedded Computing Systems (TECS), 7(4):1-43, July 2008.
- Rémi Douence, Pascal Fradet. The next 700 Krivine Machines. Higher-Order and Symbolic Computation, 20(3), 2007.
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Programming Self-Organizing Systems with the Higher-Order Chemical Language. International Journal of Unconventional Computing, 3(3):161-177, 2007.
- Olivier Michel, Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto. Challenging Questions for the Rationale of Non-Classical Programming Languages. International Journal of Unconventional Computing, 2(4):337-347, 2006.
- Pascal Fradet, Stéphane Hong Tuan Ha. Systèmes de gestion de ressources et aspects de disponibilité. L'Objet - Logiciel, bases de données, réseaux, 12(2):183-210, September 2006.
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Generalised multisets for chemical programming. Mathematical Structures in Computer Science, 16(4):557-580, August 2006.
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Chemical Programming of Self-Organizing Systems. ERCIM News, Special Theme: Emergent Computing, 64, January 2006.
download
International Conferences
- Pascal Fradet, Alain Girault, Peter Poplavko. SPDF: A Schedulable Parametric DataFlow MoC. In Proc. Design, Automation and Test in Europe Conference and Exhibition (DATE'12), March 2012.
- P. Fradet, J-L. Giavitto, M. Hoff. Refinement of Chemical Programs using Strategies. In International Workshop on Strategies in Rewriting, Proving, and Programming, IWS'2010, July 2010.
download
- J.-P. Banâtre, P. Fradet, Y. Radenac. Classical Coordination Mechanisms in the Chemical Model. In From Semantics to Computer Science: Essays in Honor of Gilles Kahn, July 2009.
- J.-P. Banâtre, P. Fradet, Y. Radenac. The Chemical Reaction Model - Recent Developments and Prospects. In Software-Intensive Systems and New Computing Paradigms, Lecture Notes in Computer Science, Volume 5380, Pages 209-234, 2008.
- S. Djoko Djoko, R. Douence, P. Fradet. Specialized Aspect Languages Preserving Classes of Properties. In Proc. of the Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM'08), Pages 227-236, November 2008.
- S. Djoko Djoko, R. Douence, P. Fradet. Aspects Preserving Properties. In Proc. of the ACM SIGPLAN 2008 Symposium on Partial Evaluation and Program Manipulation (PEPM'08), Pages 135-145, January 2008.
- M. Tivoli, P. Fradet, A. Girault, G. Goessler. Adaptor Synthesis for Real-Time Components. In Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference (TACAS'07), Lecture Notes in Computer Science, Volume 4424, Pages 185-200, 2007.
- Pascal Fradet, Stéphane Hong Tuan Ha. Aspects of Availability. In Proc. of the Sixth International Conference on Generative Programming and Component Engineering (GPCE'07), Pages 165-174, October 2007.
- T. Ayav, P. Fradet, A. Girault. Implementing Fault-Tolerance in Real-Time Systems by Program Transformations. In Proceedings of the Sixth ACM & IEEE International Conference on Embedded Software, EMSOFT'06, Pages 205-214, 2006.
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Towards Grid Chemical Coordination (short paper). In Proceedings of the 2006 ACM Symposium on Applied Computing (SAC'06), Pages 445-446, April 2006.
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. A Generalized Higher-Order Chemical Computation Model with Infinite and Hybrid Multisets. In Proceedings of 1st International Workshop on New Developments in Computational Models (DCM'05), ENTCS, Volume 135(3), Pages 3-13, March 2006.
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Higher-order Chemical Programming Style. In Proceedings of Unconventional Programming Paradigms, LNCS, Volume 3566, Pages 84-98, 2005.
- Pascal Fradet, Stéphane Hong Tuan Ha. Systèmes de gestion de ressources et aspects de disponibilité. In 2ème Journée Francophone sur le Développement de Logiciels Par Aspects (JFDLPA 2005), Lille, France, September 2005.
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Principles of Chemical Programming. In Proceedings of the 5th International Workshop on Rule-Based Programming, S. Abdennadher, C. Ringeissen (eds.), ENTCS, Volume 124(1), Pages 133-147, June 2005.
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Higher-order Chemical Model of Computation. In The Grand Challenge in Non-Classical Computation, April 2005.
- Olivier Michel, Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto. Challenging Questions for the Rationals of Non-Classical Programming Languages. In The Grand Challenge in Non-Classical Computation, April 2005.
- Rémi Douence, Pascal Fradet, Mario Südholt. Trace-Based Aspects. In Aspect-Oriented Software Development, Mehmet Aksit, Siobhán Clarke, Tzilla Elrad, Robert E.Filman (eds.), Pages 201-217, 2004.
- Pascal Fradet, Stéphane Hong Tuan Ha. Network Fusion. In Proc. of Asian Symposium on Programming Languages and Systems (APLAS'04), Pages 21-40, November 2004.
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Higher-order Chemical Programming Style. In Proceedings of Unconventional Programming Paradigms (UPP'04), September 2004.
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Chemical Specification of Autonomic Systems. In Proceedings of the 13th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE'04), July 2004.
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Principles of Chemical Programming. In Fifth International Workshop on Rule-Based Programming (RULE'04), June 2004.
- Rémi Douence, Pascal Fradet, Mario Südholt. Composition, reuse and interaction analysis of stateful aspects. In Proc. of the 3rd Int' Conf. on Aspect-Oriented Software Development(AOSD'04), Karl Lieberherr (ed.), Pages 141-150, March 2004.
Research Reports
- Pascal Fradet, Alain Girault, Peter Poplavko. SPDF: A Schedulable Parametric Dataflow Graph Model (extended version). Research Report INRIA, No 7828, December 2011.
- P. Fradet, S. Hong Tuan Ha. Aspects of Availability - Enforcing timed properties to prevent denial of service. Research Report INRIA, No 6754, December 2008.
- T. Ayav, P. Fradet, A. Girault. Implementing Fault-Tolerance in Real-Time Systems by Program Transformations. Research Report INRIA, No 5919, May 2006.
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Generalized Multisets for Chemical Programming. Research Report INRIA, No 5743, November 2005.
download
Misc
- Pascal Fradet, Alain Girault, Peter Poplavko, Ali-Erdem Ozcan. A Dataflow Model for Interactive Data-dependent Streaming Applications. Workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications, poster, 2011.
- Pascal Fradet, Alain Girault, Peter Poplavko. A Statically Analyzable Dataflow Model for Dynamic Streaming. 5th Workshop on Mapping of Applications to MPSoCs, one-page abstract, 2011.
- Pascal Fradet, Alain Girault, Peter Poplavko. A Statically Analyzable Dataflow Model for Dynamic Streaming. Platform 2012 Developers' Conference, one-page abstract, 2011.
- Rémi Douence, Simplice Djoko Djoko, Pascal Fradet, Didier Le Botlan. Towards a Common Aspect Semantic Base (CASB). August 2006.
- Rémi Douence, Simplice Djoko Djoko, Pascal Fradet, Didier Le Botlan, Tom Staijen. Towards a Common Aspect Semantic Base (CASB). October 2005.
This material is presented to ensure timely dissemination of scholarly and
technical work. Copyright and all rights therein are retained by authors or
by other copyright holders. All persons copying this information are expected
to adhere to the terms and constraints invoked by each author's
copyright. These works may not be reposted without the explicit permission of
the copyright holder.