Pascal Fradet - RankMe

64 papers A* 2A 12B 8C 1Misc 4Journal 18Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	Parallel Scheduling of Task Graphs with Minimal Memory Requirements. IPDPS Pascal Fradet, Alain Girault, Alexandre Honorat
2023	J	`jnl`	CertiCAN certifying CAN analyses and their results. Real Time Syst. Pascal Fradet, Xiaojie Guo, Sophie Quinton
2023	J	`jnl`	RDF: A Reconfigurable Dataflow Model of Computation. ACM Trans. Embed. Comput. Syst. Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei
2023	B	`conf`	Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization. LCTES Pascal Fradet, Alain Girault, Alexandre Honorat
2019	A	`conf`	CertiCAN: A Tool for the Coq Certification of CAN Analysis Results. RTAS Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton
2019	A	`conf`	RDF: Reconfigurable Dataflow. DATE Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei
2018	Misc	`conf`	A Generalized Digraph Model for Expressing Dependencies. RTNS Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton
2018	A	`conf`	A Generic Coq Proof of Typical Worst-Case Analysis. RTSS Pascal Fradet, Maxime Lesourd, Jean-François Monin, Sophie Quinton
2018	J	`jnl`	A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits. Leibniz Trans. Embed. Syst. Dmitry Burlyaev, Pascal Fradet, Alain Girault
2018	—	`conf`	Lossy Channels in a Dataflow Model of Computation. Principles of Modeling Pascal Fradet, Alain Girault, Leila Jamshidian, Xavier Nicollin, Arash Shafiei
2017	J	`jnl`	A Survey of Parametric Dataflow Models of Computation. ACM Trans. Design Autom. Electr. Syst. Adnan Bouakaz, Pascal Fradet, Alain Girault
2017	J	`jnl`	Symbolic Analyses of Dataflow Graphs. ACM Trans. Design Autom. Electr. Syst. Adnan Bouakaz, Pascal Fradet, Alain Girault
2017	A	`conf`	Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets. RTSS Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-François Monin
2016	A	`conf`	Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs. RTAS Adnan Bouakaz, Pascal Fradet, Alain Girault
2015	A	`conf`	Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits. FPGA Dmitry Burlyaev, Pascal Fradet, Alain Girault
2015	B	`conf`	Formal Verification of Automatic Circuit Transformations for Fault-Tolerance. FMCAD Dmitry Burlyaev, Pascal Fradet
2015	—	`conf`	Time-redundancy transformations for adaptive fault-tolerant circuits. AHS Dmitry Burlyaev, Pascal Fradet, Alain Girault
2014	B	`conf`	A framework to schedule parametric dataflow applications on many-core platforms. LCTES Vagelis Bebelis, Pascal Fradet, Alain Girault
2014	A	`conf`	Verification-guided voter minimization in triple-modular redundant circuits. DATE Dmitry Burlyaev, Pascal Fradet, Alain Girault
2013	Misc	`conf`	BPDF: A statically analyzable dataflow model with integer and boolean parameters. EMSOFT Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur
2012	J	`jnl`	Aspects preserving properties. Sci. Comput. Program. Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
2012	A	`conf`	SPDF: A schedulable parametric data-flow MoC. DATE Pascal Fradet, Alain Girault, Peter Poplavko
2010	J	`jnl`	Aspects of availability: Enforcing timed properties to prevent denial of service. Sci. Comput. Program. Pascal Fradet, Stéphane Hong Tuan Ha
2008	C	`conf`	Aspects preserving properties. PEPM Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
2008	J	`jnl`	Implementing fault-tolerance in real-time programs by automatic program transformations. ACM Trans. Embed. Comput. Syst. Tolga Ayav, Pascal Fradet, Alain Girault
2008	B	`conf`	Specialized Aspect Languages Preserving Classes of Properties. SEFM Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
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	A	`conf`	Adaptor Synthesis for Real-Time Components. TACAS Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler
2007	B	`conf`	Aspects of availability. GPCE Pascal Fradet, Stéphane Hong Tuan Ha
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	J	`jnl`	The next 700 Krivine machines. High. Order Symb. Comput. Rémi Douence, Pascal Fradet
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`	Implementing fault-tolerance in real-time systems by automatic program transformations. EMSOFT Tolga Ayav, Pascal Fradet, Alain Girault
2006	J	`jnl`	Special issue on foundations of aspect-oriented programming. Sci. Comput. Program. Pascal Fradet, Ralf Lämmel
2006	J	`jnl`	Systèmes de gestion de ressources et aspects de disponibilité. Obj. Logiciel Base données Réseaux Pascal Fradet, Stéphane Hong Tuan Ha
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`	Composition, reuse and interaction analysis of stateful aspects. AOSD Rémi Douence, Pascal Fradet, Mario Südholt
2004	—	`conf`	Higher-Order Chemical Programming Style. UPP Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
2004	B	`conf`	Network Fusion. APLAS Pascal Fradet, Stéphane Hong Tuan Ha
2004	—	`conf`	Principles of Chemical Programming. RULE@RDP Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
2002	B	`conf`	A Framework for the Detection and Resolution of Aspect Interactions. GPCE Rémi Douence, Pascal Fradet, Mario Südholt
2000	B	`conf`	Analyzing Non-functional Properties of Mobile Agents. FASE Pascal Fradet, Valérie Issarny, Siegfried Rouvrais
2000	—	`book`	Approches langages pour la conception et la mise en oeuvre de programmes. (Language approaches for program design and implementation). Pascal Fradet
2000	J	`jnl`	Compilation of a specialized functional language for massively parallel computers. J. Funct. Program. Pascal Fradet, Julien Mallet
2000	A*	`conf`	Enforcing Trace Properties by Program Transformation. POPL Thomas Colcombet, Pascal Fradet
2000	—	`conf`	Gamma and the Chemical Reaction Model: Fifteen Years After. WMP Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer
1999	—	`conf`	An Aspect Language for Robust Programming. ECOOP Workshops Pascal Fradet, Mario Südholt
1999	—	`conf`	Consistency Checking for Multiple View Software Architectures. ESEC / SIGSOFT FSE Pascal Fradet, Daniel Le Métayer, Michaël Périn
1998	J	`jnl`	A Systematic Study of Functional Language Implementations. ACM Trans. Program. Lang. Syst. Rémi Douence, Pascal Fradet
1998	—	`conf`	Fowards a Generic Framework for AOP. ECOOP Workshops Pascal Fradet, Mario Südholt
1998	J	`jnl`	Structured Gamma. Sci. Comput. Program. Pascal Fradet, Daniel Le Métayer
1997	A*	`conf`	Shape Types. POPL Pascal Fradet, Daniel Le Métayer
1996	A	`conf`	Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. ESOP Pascal Fradet, Ronan Caugne, Daniel Le Métayer
1996	—	`conf`	Type Checking for a Multiset Rewriting Language. LOMAPS Pascal Fradet, Daniel Le Métayer
1995	—	`conf`	Towards a Taxonomy of Functional Languages Implementations PLILP Rémi Douence, Pascal Fradet
1994	—	`conf`	Collecting More Garbage. LISP and Functional Programming Pascal Fradet
1994	A	`conf`	Compilation of Head and Strong Reduction. ESOP Pascal Fradet
1991	J	`jnl`	Compilation of Functional Languages by Program Transformation. ACM Trans. Program. Lang. Syst. Pascal Fradet, Daniel Le Métayer
1991	—	`conf`	Syntactic Detection of Single-Threading Using Continuations. FPCA Pascal Fradet
1989	—	`conf`	Compilation of Lambda-Calculus into Functional Machine Code. TAPSOFT, Vol.2 Pascal Fradet, Daniel Le Métayer