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 × Israel
6 × USA
Collaborated with:
T.Bultan S.Hong D.Kang L.Golubchik J.K.Hollingsworth C.League W.Pugh J.Fischer M.Saksena G.P.R.Álvarez P.Östberg E.Elmroth K.Antypas L.Ramakrishnan
Talks about:
system (5) distribut (2) composit (2) design (2) model (2) check (2) time (2) real (2) evolutionari (1) constraint (1)

Person: Richard Gerber

DBLP DBLP: Gerber:Richard

Facilitated 1 volumes:

LCT-RTS 1995Ed

Contributed to:

HPDC 20152015
HPDC 19991999
LCTES 19991999
ISSTA 19981998
CAV 19971997
ISSTA 19961996
PLDI 19931993

Wrote 7 papers:

HPDC-2015-AlvarezOEAGR #analysis
HPC System Lifetime Story: Workload Characterization and Evolutionary Analyses on NERSC Systems (GPRÁ, POÖ, EE, KA, RG, LR), pp. 57–60.
HPDC-1999-KangGGH #automation #design #distributed #realtime
Techniques for Automating Distributed Real-Time Applications Design (DIK, RG, LG, JKH), pp. 156–163.
LCTES-1999-KangGGHS #design #distributed #embedded #synthesis
A Software Synthesis Tool for Distributed Embedded System Design (DIK, RG, LG, JKH, MS), pp. 87–95.
ISSTA-1998-BultanGL #approach #constraints #integer #verification
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach (TB, RG, CL), pp. 113–123.
CAV-1997-BultanGP #infinity #model checking #using
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic (TB, RG, WP), pp. 400–411.
ISSTA-1996-BultanFG #composition #model checking #verification
Compositional Verification by Model Checking for Counter-Examples (TB, JF, RG), pp. 224–238.
PLDI-1993-HongG #compilation #realtime #source code
Compiling Real-Time Programs into Schedulable Code (SH, RG), pp. 166–176.

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.