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 × Germany
1 × Taiwan
1 × USA
1 × United Kingdom
Collaborated with:
R.Bloem M.Roveri A.Cimatti R.Cavada S.Semprini S.Jehan F.Wotawa A.Tchaltsev
Talks about:
implement (2) automata (2) analysi (2) symbol (2) requir (2) formal (2) altern (2) hardwar (1) integr (1) tool (1)

Person: Ingo Pill

DBLP DBLP: Pill:Ingo

Contributed to:

FASE 20152015
CAV 20072007
CIAA 20062006
CIAA 20062007
DAC 20062006

Wrote 5 papers:

FASE-2015-JehanPW #integration #testing
BPEL Integration Testing (SJ, IP, FW), pp. 69–83.
CAV-2007-BloemCPRT #analysis #formal method #named #requirements
RAT: A Tool for the Formal Analysis of Requirements (RB, RC, IP, MR, AT), pp. 263–267.
CIAA-2006-BloemCPRS #automaton #implementation
Symbolic Implementation of Alternating Automata (RB, AC, IP, MR, SS), pp. 208–218.
CIAA-J-2006-BloemCPR07 #automaton #implementation
Symbolic Implementation of Alternating Automata (RB, AC, IP, MR), pp. 727–743.
DAC-2006-PillSCRBC #analysis #formal method #hardware #requirements
Formal analysis of hardware requirements (IP, SS, RC, MR, RB, AC), pp. 821–826.

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.