default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPascal Fradet
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j18]Pascal Fradet
, Xiaojie Guo, Sophie Quinton:
CertiCAN certifying CAN analyses and their results. Real Time Syst. 59(2): 160-198 (2023)- [j17]Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei:
RDF: A Reconfigurable Dataflow Model of Computation. ACM Trans. Embed. Comput. Syst. 22(1): 12:1-12:30 (2023) - [c42]Pascal Fradet, Alain Girault, Alexandre Honorat:
Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization. LCTES 2023: 76-86
2010 – 2019
- 2019
- [c41]Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei:
RDF: Reconfigurable Dataflow. DATE 2019: 1709-1714 - [c40]Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton:
CertiCAN: A Tool for the Coq Certification of CAN Analysis Results. RTAS 2019: 182-191 - 2018
- [j16]Dmitry Burlyaev, Pascal Fradet, Alain Girault:
A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits. Leibniz Trans. Embed. Syst. 5(1): 04:1-04:26 (2018) - [c39]Pascal Fradet, Alain Girault, Leila Jamshidian, Xavier Nicollin, Arash Shafiei:
Lossy Channels in a Dataflow Model of Computation. Principles of Modeling 2018: 254-266 - [c38]Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton:
A Generalized Digraph Model for Expressing Dependencies. RTNS 2018: 72-82 - [c37]Pascal Fradet, Maxime Lesourd, Jean-François Monin, Sophie Quinton:
A Generic Coq Proof of Typical Worst-Case Analysis. RTSS 2018: 218-229 - 2017
- [j15]Adnan Bouakaz, Pascal Fradet, Alain Girault:
A Survey of Parametric Dataflow Models of Computation. ACM Trans. Design Autom. Electr. Syst. 22(2): 38:1-38:25 (2017) - [j14]Adnan Bouakaz, Pascal Fradet, Alain Girault:
Symbolic Analyses of Dataflow Graphs. ACM Trans. Design Autom. Electr. Syst. 22(2): 39:1-39:25 (2017) - [c36]Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-François Monin:
Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets. RTSS 2017: 387-389 - 2016
- [c35]Adnan Bouakaz, Pascal Fradet, Alain Girault:
Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs. RTAS 2016: 199-208 - 2015
- [c34]Dmitry Burlyaev, Pascal Fradet, Alain Girault:
Time-redundancy transformations for adaptive fault-tolerant circuits. AHS 2015: 1-8 - [c33]Dmitry Burlyaev, Pascal Fradet:
Formal Verification of Automatic Circuit Transformations for Fault-Tolerance. FMCAD 2015: 41-48 - [c32]Dmitry Burlyaev, Pascal Fradet, Alain Girault:
Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits. FPGA 2015: 218-227 - 2014
- [c31]Dmitry Burlyaev, Pascal Fradet, Alain Girault:
Verification-guided voter minimization in triple-modular redundant circuits. DATE 2014: 1-6 - [c30]Vagelis Bebelis, Pascal Fradet, Alain Girault:
A framework to schedule parametric dataflow applications on many-core platforms. LCTES 2014: 125-134 - 2013
- [c29]Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur:
BPDF: A statically analyzable dataflow model with integer and boolean parameters. EMSOFT 2013: 3:1-3:10 - 2012
- [j13]Simplice Djoko Djoko, Rémi Douence, Pascal Fradet:
Aspects preserving properties. Sci. Comput. Program. 77(3): 393-422 (2012) - [c28]Pascal Fradet, Alain Girault, Peter Poplavko:
SPDF: A schedulable parametric data-flow MoC. DATE 2012: 769-774 - 2010
- [j12]Pascal Fradet, Stéphane Hong Tuan Ha:
Aspects of availability: Enforcing timed properties to prevent denial of service. Sci. Comput. Program. 75(7): 516-542 (2010)
2000 – 2009
- 2008
- [j11]Tolga Ayav, Pascal Fradet, Alain Girault:
Implementing fault-tolerance in real-time programs by automatic program transformations. ACM Trans. Embed. Comput. Syst. 7(4): 45:1-45:43 (2008) - [c27]Simplice Djoko Djoko, Rémi Douence, Pascal Fradet:
Aspects preserving properties. PEPM 2008: 135-145 - [c26]Simplice Djoko Djoko, Rémi Douence, Pascal Fradet:
Specialized Aspect Languages Preserving Classes of Properties. SEFM 2008: 227-236 - [p1]Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
The Chemical Reaction Model Recent Developments and Prospects. Software-Intensive Systems and New Computing Paradigms 2008: 209-234 - 2007
- [j10]Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
Programming Self-Organizing Systems with the Higher-Order Chemical Language. Int. J. Unconv. Comput. 3(3): 161-177 (2007) - [j9]Rémi Douence, Pascal Fradet:
The next 700 Krivine machines. High. Order Symb. Comput. 20(3): 237-255 (2007) - [c25]Pascal Fradet, Stéphane Hong Tuan Ha:
Aspects of availability. GPCE 2007: 165-174 - [c24]Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler:
Adaptor Synthesis for Real-Time Components. TACAS 2007: 185-200 - 2006
- [j8]Pascal Fradet, Stéphane Hong Tuan Ha:
Systèmes de gestion de ressources et aspects de disponibilité. Obj. Logiciel Base données Réseaux 12(2-3): 183-210 (2006) - [j7]Olivier Michel, Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto:
Challenging Questions for the Rationale of Non-Classical Programming Languages. Int. J. Unconv. Comput. 2(4): 337-347 (2006) - [j6]Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
Generalised multisets for chemical programming. Math. Struct. Comput. Sci. 16(4): 557-580 (2006) - [j5]Pascal Fradet, Ralf Lämmel:
Special issue on foundations of aspect-oriented programming. Sci. Comput. Program. 63(3): 203-206 (2006) - [c23]Tolga Ayav, Pascal Fradet, Alain Girault:
Implementing fault-tolerance in real-time systems by automatic program transformations. EMSOFT 2006: 205-214 - [c22]Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
Towards chemical coordination for grids. SAC 2006: 445-446 - 2005
- [c21]Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
A Generalized Higher-Order Chemical Computation Model. DCM@ICALP 2005: 3-13 - [e1]Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel:
Unconventional Programming Paradigms, International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3566, Springer 2005, ISBN 3-540-27884-2 [contents] - 2004
- [c20]Rémi Douence, Pascal Fradet, Mario Südholt:
Composition, reuse and interaction analysis of stateful aspects. AOSD 2004: 141-150 - [c19]Pascal Fradet, Stéphane Hong Tuan Ha:
Network Fusion. APLAS 2004: 21-40 - [c18]Jean-Pierre Banâtre, Yann Radenac, Pascal Fradet:
Chemical Specification of Autonomic Systems. IASSE 2004: 72-79 - [c17]Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
Higher-Order Chemical Programming Style. UPP 2004: 84-95 - [c16]Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
Principles of Chemical Programming. RULE@RDP 2004: 133-147 - 2002
- [c15]Rémi Douence, Pascal Fradet, Mario Südholt:
A Framework for the Detection and Resolution of Aspect Interactions. GPCE 2002: 173-188 - 2000
- [b1]Pascal Fradet:
Approches langages pour la conception et la mise en oeuvre de programmes. (Language approaches for program design and implementation). University of Rennes 1, France, 2000 - [j4]Pascal Fradet, Julien Mallet:
Compilation of a specialized functional language for massively parallel computers. J. Funct. Program. 10(6): 561-605 (2000) - [c14]Pascal Fradet, Valérie Issarny, Siegfried Rouvrais:
Analyzing Non-functional Properties of Mobile Agents. FASE 2000: 319-333 - [c13]Thomas Colcombet, Pascal Fradet:
Enforcing Trace Properties by Program Transformation. POPL 2000: 54-66 - [c12]Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer:
Gamma and the Chemical Reaction Model: Fifteen Years After. WMP 2000: 17-44
1990 – 1999
- 1999
- [c11]Pascal Fradet, Mario Südholt:
An Aspect Language for Robust Programming. ECOOP Workshops 1999: 291-292 - [c10]Pascal Fradet, Daniel Le Métayer, Michaël Périn:
Consistency Checking for Multiple View Software Architectures. ESEC / SIGSOFT FSE 1999: 410-428 - 1998
- [j3]Pascal Fradet, Daniel Le Métayer:
Structured Gamma. Sci. Comput. Program. 31(2-3): 263-289 (1998) - [j2]Rémi Douence, Pascal Fradet:
A Systematic Study of Functional Language Implementations. ACM Trans. Program. Lang. Syst. 20(2): 344-387 (1998) - [c9]Pascal Fradet, Mario Südholt:
Fowards a Generic Framework for AOP. ECOOP Workshops 1998: 394-397 - 1997
- [c8]Pascal Fradet, Daniel Le Métayer:
Shape Types. POPL 1997: 27-39 - 1996
- [c7]Pascal Fradet, Ronan Caugne, Daniel Le Métayer:
Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. ESOP 1996: 125-140 - [c6]Pascal Fradet, Daniel Le Métayer:
Type Checking for a Multiset Rewriting Language. LOMAPS 1996: 126-140 - 1995
- [c5]Rémi Douence, Pascal Fradet:
Towards a Taxonomy of Functional Languages Implementations. PLILP 1995: 27-44 - 1994
- [c4]Pascal Fradet:
Compilation of Head and Strong Reduction. ESOP 1994: 211-224 - [c3]Pascal Fradet:
Collecting More Garbage. LISP and Functional Programming 1994: 24-33 - 1991
- [j1]Pascal Fradet, Daniel Le Métayer:
Compilation of Functional Languages by Program Transformation. ACM Trans. Program. Lang. Syst. 13(1): 21-51 (1991) - [c2]Pascal Fradet:
Syntactic Detection of Single-Threading Using Continuations. FPCA 1991: 241-258
1980 – 1989
- 1989
- [c1]Pascal Fradet, Daniel Le Métayer:
Compilation of Lambda-Calculus into Functional Machine Code. TAPSOFT, Vol.2 1989: 155-166
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
