Следене
Antti Valmari
Antti Valmari
University of Jyväskylä
Потвърден имейл адрес: jyu.fi
Заглавие
Позовавания
Позовавания
Година
The state explosion problem
A Valmari
Advanced Course on Petri Nets, 429-528, 1996
9181996
Stubborn sets for reduced state space generation
A Valmari
Advances in Petri Nets 1990 10, 491-515, 1991
9071991
A stubborn attack on state explosion
A Valmari
Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991
6691991
A stubborn attack on state explosion
A Valmari
Formal Methods in System Design 1, 297-322, 1992
3201992
On-the-fly verification with stubborn sets
A Valmari
Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993
2121993
Error detection by reduced reachability graph generation
A Valmari
Proceedings of the 9th European Workshop on Application and Theory of Petri …, 1988
1451988
Compositional state space generation
A Valmari
Advances in Petri Nets 1993 12, 427-457, 1993
1251993
Stubborn set methods for process algebras
A Valmari
DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 213-231, 1997
1221997
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
1022010
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
981992
Compositional failure-based semantic models for basic LOTOS
A Valmari, M Tienari
Formal Aspects of Computing 7, 440-468, 1995
841995
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
792004
State of the art report: Stubborn sets
A Valmari
Petri net newsletter, 6-14, 1994
761994
More efficient on-the-fly LTL verification with Tarjan's algorithm
J Geldenhuys, A Valmari
Theoretical Computer Science 345 (1), 60-82, 2005
662005
Eliminating redundant interleavings during concurrent program verification
A Valmari
International Conference on Parallel Architectures and Languages Europe, 89-103, 1989
621989
State space generation: Efficiency and practicality.
AA Valmari
611990
Compositional analysis with place-bordered subnets
A Valmari
International Conference on Application and Theory of Petri Nets, 531-547, 1994
581994
Alleviating state explosion during verification of behavioural equivalence
A Valmari
University of Helsinki, Department of Computer Science, 1992
561992
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20