Travelled to:1 × Cyprus
1 × Denmark
1 × Germany
1 × Greece
1 × Hungary
1 × Israel
1 × Spain
1 × USA
1 × United Kingdom
Collaborated with:∅ M.Setälä G.Franceschinis J.Geldenhuys J.Helovuo I.Kokkarinen D.Peled K.Karsisto J.Kemppainen M.Clegg M.Levanto H.Virtanen H.Hansen J.Nieminen T.Erkkilä
Talks about:verif (4) tool (3) stubborn (2) fli (2) incomplet (1) behaviour (1) algorithm (1) visualis (1) techniqu (1) reachabl (1)
Person: Antti Valmari
DBLP: Valmari:Antti
Contributed to:
2014
201020042000
1997
1996
1996199319931990Wrote 11 papers:
- AFL-2014-Valmari #proving #string
- Character Strings and Gödel’s Incompleteness Proof (AV), pp. 355–369.
- TACAS-2010-ValmariF #markov
- Simple O(m logn) Time Markov Chain Lumping (AV, GF), pp. 38–52.
- TACAS-2004-GeldenhuysV #algorithm #ltl #on the fly #performance #verification
- Tarjan’s Algorithm Makes On-the-Fly LTL Verification More Efficient (JG, AV), pp. 205–219.
- TACAS-2004-VirtanenHVNE #verification
- Tampere Verification Tool (HV, HH, AV, JN, TE), pp. 153–157.
- TACAS-2000-HelovuoV #process
- Checking for CFFD-Preorder with Tester Processes (JH, AV), pp. 283–298.
- CAV-1997-KokkarinenPV #partial order #reduction
- Relaxed Visibility Enhances Partial Order Reduction (IK, DP, AV), pp. 328–339.
- FME-1996-ValmariS #liveness #safety #verification #visual notation
- Visual Verification of Safety and Liveness (AV, MS), pp. 228–247.
- PDP-1996-ValmariKS #behaviour #design #visualisation
- Visualisation of Reduced Abstracted Behaviour as a Design Tool (AV, KK, MS), pp. 187–195.
- CAV-1993-Valmari #on the fly #set #verification
- On-the-Fly Verification with Stubborn Sets (AV), pp. 397–408.
- FME-1993-ValmariKCL #analysis #reachability
- Putting Advanced Reachability Analysis Techniques Together: the “ARA” Tool (AV, JK, MC, ML), pp. 597–616.
- CAV-1990-Valmari #explosion
- A Stubborn Attack On State Explosion (AV), pp. 156–165.