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 × Finland
1 × Italy
1 × Singapore
2 × USA
Collaborated with:
P.Godefroid S.Chandra C.Potts
Talks about:
logic (3) check (3) tempor (2) design (2) model (2) valu (2) partial (1) analysi (1) search (1) safeti (1)

Person: Glenn Bruns

DBLP DBLP: Bruns:Glenn

Contributed to:

ICALP 20042004
FSE 20022002
LICS 20012001
CAV 19991999
CAV 19921992
ICSE 19881988

Wrote 6 papers:

ICALP-2004-BrunsG #logic #model checking #multi
Model Checking with Multi-valued Logics (GB, PG), pp. 281–293.
FSE-2002-BrunsC #analysis #points-to
Searching for points-to analysis (GB, SC), pp. 61–70.
LICS-2001-BrunsG #logic #query
Temporal Logic Query Checking (GB, PG), pp. 409–417.
CAV-1999-BrunsG #logic #model checking
Model Checking Partial State Spaces with 3-Valued Temporal Logics (GB, PG), pp. 274–287.
CAV-1992-Bruns #case study #design #safety
A Case Study in Safety-Critical Design (GB), pp. 220–233.
ICSE-1988-PottsB #design
Recording the Reasons for Design Decisions (CP, GB), pp. 418–427.

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.