BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hanxleden:Reinhard_von

Contributed to:

ESOP 20142014
PLDI 20142014
DATE 20132013
DATE 20112011
MoDELS (1) 20102010
SAC 20102010
DATE 20092009
MoDELS 20072007
ASPLOS 20062006
DATE 20062006
LCTES 20062006
SAC 20062006
PLDI 19941994
PLDI 19921992
MoDELS 20162016
ESOP 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.