Segui
Antti Valmari
Titolo
Citata da
Citata da
Anno
The state explosion problem
A Valmari
Advanced Course on Petri Nets, 429-528, 1996
9211996
Stubborn sets for reduced state space generation
A Valmari
Advances in Petri Nets 1990 10, 491-515, 1991
9191991
A stubborn attack on state explosion
A Valmari
Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991
6771991
A stubborn attack on state explosion
A Valmari
Formal Methods in System Design 1, 297-322, 1992
3301992
On-the-fly verification with stubborn sets
A Valmari
Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993
2141993
Error detection by reduced reachability graph generation
A Valmari
Proceedings of the 9th European workshop on application and theory of petri …, 1988
1471988
Compositional state space generation
A Valmari
Advances in Petri Nets 1993 12, 427-457, 1993
1281993
Stubborn set methods for process algebras
A Valmari
Proceedings of the DIMACS workshop on Partial order methods in verification …, 1997
1271997
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
1151991
Simple O(m logn) Time Markov Chain Lumping
A Valmari, G Franceschinis
International Conference on Tools and Algorithms for the Construction and …, 2010
1012010
Stubborn sets of coloured Petri nets
A Valmari
Proceedings of the 12th International Conference on Application and Theory …, 1991
991991
The weakest compositional semantic equivalence preserving nexttime-less linear temporal logic
R Kaivola, A Valmari
International Conference on Concurrency Theory, 207-221, 1992
971992
Compositional failure-based semantic models for basic LOTOS
A Valmari, M Tienari
Formal Aspects of Computing 7, 440-468, 1995
831995
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
802004
State of the art report: Stubborn sets
A Valmari
Petri net newsletter, 6-14, 1994
771994
More efficient on-the-fly LTL verification with Tarjan's algorithm
J Geldenhuys, A Valmari
Theoretical Computer Science 345 (1), 60-82, 2005
682005
Eliminating redundant interleavings during concurrent program verification
A Valmari
International Conference on Parallel Architectures and Languages Europe, 89-103, 1989
641989
State space generation: Efficiency and practicality.
AA Valmari
631990
Compositional analysis with place-bordered subnets
A Valmari
International Conference on Application and Theory of Petri Nets, 531-547, 1994
591994
Alleviating state explosion during verification of behavioural equivalence
A Valmari
University of Helsinki, Department of Computer Science, 1992
581992
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20