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: Bruns:Glenn
Contributed to:
2004
2002
2001
19991992
1988Wrote 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.