Travelled to:1 × Canada
1 × Hungary
1 × Portugal
1 × Sweden
1 × USA
2 × Germany
Collaborated with:R.Wilhelm R.Heckmann J.Schneider F.Martin M.Alt ∅ A.Bonenfant K.Hammond
Talks about:interpret (3) behavior (3) abstract (3) predict (3) time (3) function (2) languag (2) cach (2) superscalar (1) transform (1)
Person: Christian Ferdinand
DBLP: Ferdinand:Christian
Contributed to:
2006
2005
1999
19981998
1996
1990Wrote 7 papers:
- IFL-2006-BonenfantFHH #execution #functional #worst-case
- Worst-Case Execution Times for a Purely Functional Language (AB, CF, KH, RH), pp. 235–252.
- DATE-2005-HeckmannF #abstract interpretation #embedded #safety
- erifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation (RH, CF), pp. 618–619.
- LCTES-1999-SchneiderF #abstract interpretation #behaviour #pipes and filters #predict
- Pipeline Behavior Prediction for Superscalar Processors by Abstract Interpretation (JS, CF), pp. 35–44.
- CC-1998-MartinAWF #analysis
- Analysis of Loops (FM, MA, RW, CF), pp. 80–94.
- LCTES-1998-FerdinandW #behaviour #on the #predict #realtime
- On Predicting Data Cache Behavior for Real-Time Systems (CF, RW), pp. 16–30.
- SAS-1996-AltFMW #abstract interpretation #behaviour #predict
- Cache Behavior Prediction by Abstract Interpretation (MA, CF, FM, RW), pp. 52–66.
- PLILP-1990-Ferdinand #functional #model transformation #pattern matching #transformation language #using
- Pattern Matching in a Functional Transformation Language using Treeparsing (CF), pp. 358–371.