BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Valmari:Antti

Contributed to:

AFL 20142014
TACAS 20102010
TACAS 20042004
TACAS 20002000
CAV 19971997
FME 19961996
PDP 19961996
CAV 19931993
FME 19931993
CAV 19901990

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.