Travelled to:1 × Canada
1 × Germany
1 × Norway
1 × Switzerland
1 × United Kingdom
4 × USA
6 × France
Collaborated with:C.Traulsen S.Prochnow M.Mendler K.Kennedy X.Li J.Aguado H.Fuhrmann I.Fuhrmann T.Amende M.Boldt B.Duderstadt C.Motika S.Mercer O.O'Brien J.Aguado M.Pouzet P.S.Roop U.Rüegg R.Lakkundi A.Prasad A.Kodaganur C.D.Schulze S.Smyth
Talks about:synchron (6) esterel (4) concurr (4) model (4) statechart (3) sequenti (3) reactiv (3) determinist (2) processor (2) construct (2)
Person: Reinhard von Hanxleden
DBLP: Hanxleden:Reinhard_von
Contributed to:
2014
2014
20132011
2010
201020092007
20062006
200620061994199220162018Wrote 16 papers:
- ESOP-2014-AguadoMHF #concurrent #programming
- Grounding Synchronous Deterministic Concurrency in Sequential Programming (JA, MM, RvH, IF), pp. 229–248.
- PLDI-2014-HanxledenDMSMAMO #named #safety
- SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts (RvH, BD, CM, SS, MM, JA, SM, OO), p. 39.
- DATE-2013-HanxledenMADFMMO #concurrent
- Sequentially constructive concurrency: a conservative extension of the synchronous model of computation (RvH, MM, JA, BD, IF, CM, SM, OO), pp. 581–586.
- DATE-2011-TraulsenAH #c #compilation
- Compiling SyncCharts to Synchronous C (CT, TA, RvH), pp. 563–566.
- MoDELS-v1-2010-FuhrmannH #modelling #visual notation
- Taming Graphical Modeling (HF, RvH), pp. 196–210.
- SAC-2010-TraulsenH #data flow #parallel
- Reactive parallel processing for synchronous dataflow (CT, RvH), pp. 483–490.
- DATE-2009-MendlerHT #algebra #interface
- WCRT algebra and interfaces for esterel-style synchronous processing (MM, RvH, CT), pp. 93–98.
- MoDELS-2007-ProchnowH #development #statechart
- Statechart Development Beyond WYSIWYG (SP, RvH), pp. 635–649.
- ASPLOS-2006-LiBH #concurrent #embedded #multi #thread
- Mapping esterel onto a multi-threaded embedded processor (XL, MB, RvH), pp. 303–314.
- DATE-2006-ProchnowH #modelling
- Comfortable modeling of complex reactive systems (SP, RvH), pp. 577–578.
- LCTES-2006-ProchnowTH #state machine
- Synthesizing safe state machines from Esterel (SP, CT, RvH), pp. 113–124.
- SAC-2006-LiH #concurrent #multi #thread
- A concurrent reactive Esterel processor based on multi-threading (XL, RvH), pp. 912–917.
- PLDI-1994-HanxledenK #framework #named
- GIVE-N-TAKE — A Balanced Code Placement Framework (RvH, KK), pp. 107–120.
- PLDI-1992-HanxledenK #constraints #control flow #using
- Relaxing SIMD Control Flow Constraints using Loop Transformations (RvH, KK), pp. 188–199.
- MoDELS-2016-RueggLPKSH #automation #diagrams #incremental #layout #migration
- Incremental diagram layout for automated model migration (UR, RL, AP, AK, CDS, RvH), pp. 185–195.
- ESOP-2018-AguadoMPRH #approach #concurrent #memory management
- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach (JA, MM, MP, PSR, RvH), pp. 86–113.