Antti Valmari
TitleCited byYear
Stubborn sets for reduced state space generation
A Valmari
International Conference on Application and Theory of Petri Nets, 491-515, 1989
7801989
The state explosion problem
A Valmari
Advanced Course on Petri Nets, 429-528, 1996
7641996
A stubborn attack on state explosion
A Valmari
International Conference on Computer Aided Verification, 156-165, 1990
6051990
A stubborn attack on state explosion
A Valmari
Formal Methods in System Design 1 (4), 297-322, 1992
2721992
On-the-fly verification with stubborn sets
A Valmari
International Conference on Computer Aided Verification, 397-408, 1993
2021993
Error detection by reduced reachability graph generation
A Valmari
Proceedings of the 9th European Workshop on Application and Theory of Petri …, 1988
1311988
Compositional state space generation
A Valmari
International Conference on Application and Theory of Petri Nets, 427-457, 1991
1131991
Stubborn set methods for process algebras
A Valmari
Peled et al. PPH97, 213-231, 1997
1011997
An improved failures equivalence for finite-state systems with a reduction algorithm
A Valmari, M Tienari
Proceedings of the IFIP WG6. 1 International Symposium on Protocol …, 1991
981991
Stubborn sets of coloured Petri nets
A Valmari
Proceedings of the 12th International Conference on Application and Theory …, 1991
911991
The weakest compositional semantic equivalence preserving nexttime-less linear temporal logic
R Kaivola, A Valmari
International Conference on Concurrency Theory, 207-221, 1992
861992
Compositional failure-based semantic models for basic LOTOS
A Valmari, M Tienari
Formal Aspects of Computing 7 (4), 440-468, 1995
821995
State of the art report: Stubborn sets
A Valmari
Petri Net Newsletter 46, 6-14, 1994
751994
Simple O (m logn) time Markov chain lumping
A Valmari, G Franceschinis
International Conference on Tools and Algorithms for the Construction and …, 2010
712010
Tarjan’s algorithm makes on-the-fly LTL verification more efficient
J Geldenhuys, A Valmari
International Conference on Tools and Algorithms for the Construction and …, 2004
642004
Eliminating redundant interleavings during concurrent program verification
A Valmari
International Conference on Parallel Architectures and Languages Europe, 89-103, 1989
601989
More efficient on-the-fly LTL verification with Tarjan's algorithm
J Geldenhuys, A Valmari
Theoretical Computer Science 345 (1), 60-82, 2005
592005
State space generation: Efficiency and practicality.
AA Valmari
591990
Compositional analysis with place-bordered subnets
A Valmari
International Conference on Application and Theory of Petri Nets, 531-547, 1994
541994
Compositionality in state space verification methods
A Valmari
International Conference on Application and Theory of Petri Nets, 29-56, 1996
481996
The system can't perform the operation now. Try again later.
Articles 1–20