Travelled to:1 × Spain
1 × USA
Collaborated with:J.F.Groote K.Heljanko T.A.Junttila M.Lange T.Latvala
Talks about:altern (2) disjunct (1) conjunct (1) automata (1) boolean (1) system (1) point (1) model (1) equat (1) check (1)
Person: Misa Keinänen
DBLP: Kein=auml=nen:Misa
Contributed to:
2006
2004Wrote 2 papers:
- CAV-2006-HeljankoJKLL #automaton #bound #model checking
- Bounded Model Checking for Weak Alternating Büchi Automata (KH, TAJ, MK, ML, TL), pp. 95–108.
- TACAS-2004-GrooteK #equation #fixpoint
- Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points (JFG, MK), pp. 436–450.