Travelled to:1 × Canada
1 × Japan
1 × Spain
1 × USA
Collaborated with:S.Rubin O.Kupferman R.Lampert A.Murano F.Zuleger F.Spegni S.Jacobs A.Khalimov
Talks about:system (3) model (3) check (3) parameter (2) token (2) parameteris (1) hierarch (1) determin (1) composit (1) automata (1)
Person: Benjamin Aminof
DBLP: Aminof:Benjamin
Contributed to:
2015
2014
20112010
2016Wrote 5 papers:
- ICALP-v2-2015-AminofRZS #liveness #network
- Liveness of Parameterized Timed Networks (BA, SR, FZ, FS), pp. 375–387.
- VMCAI-2014-AminofJKR #model checking
- Parameterized Model Checking of Token-Passing Systems (BA, SJ, AK, SR), pp. 262–281.
- LICS-2011-AminofKL #approximate #automaton
- Rigorous Approximated Determinization of Weighted Automata (BA, OK, RL), pp. 345–354.
- VMCAI-2010-AminofKM #model checking
- Improved Model Checking of Hierarchical Systems (BA, OK, AM), pp. 61–77.
- IJCAR-2016-AminofR #composition #model checking #multi
- Model Checking Parameterised Multi-token Systems via the Composition Method (BA, SR), pp. 499–515.