Travelled to:1 × France
1 × Germany
1 × Italy
3 × USA
Collaborated with:B.Jonsson P.A.Abdulla A.Bouajjani J.d'Orso J.Deneux L.Kaati T.Touili M.Saksena
Talks about:regular (4) model (3) check (3) system (2) determinist (1) parameter (1) algorithm (1) automata (1) alphabet (1) transit (1)
Person: Marcus Nilsson
DBLP: Nilsson:Marcus
Contributed to:
2005
200420032000
20001999Wrote 6 papers:
- CIAA-2005-AbdullaDKN #automaton #nondeterminism #scalability
- Minimization of Non-deterministic Automata with Large Alphabets (PAA, JD, LK, MN), pp. 31–42.
- CAV-2004-AbdullaJNdS #ltl #model checking
- Regular Model Checking for LTL(MSO) (PAA, BJ, MN, Jd, MS), pp. 348–360.
- CAV-2003-AbdullaJNd #algorithm #model checking
- Algorithmic Improvements in Regular Model Checking (PAA, BJ, MN, Jd), pp. 236–248.
- CAV-2000-BouajjaniJNT #model checking
- Regular Model Checking (AB, BJ, MN, TT), pp. 403–418.
- TACAS-2000-JonssonN #infinity #transitive #verification
- Transitive Closures of Regular Relations for Verifying Infinite-State Systems (BJ, MN), pp. 220–234.
- CAV-1999-AbdullaBJN #verification
- Handling Global Conditions in Parameterized System Verification (PAA, AB, BJ, MN), pp. 134–145.