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: Pill:Ingo
Contributed to:
2015
2007
20062007
2006Wrote 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.