关注
Antti Valmari
Antti Valmari
University of Jyväskylä
在 jyu.fi 的电子邮件经过验证
标题
引用次数
引用次数
年份
The state explosion problem
A Valmari
Advanced Course on Petri Nets, 429-528, 1996
9291996
Stubborn sets for reduced state space generation
A Valmari
Advances in Petri Nets 1990 10, 491-515, 1991
9261991
A stubborn attack on state explosion
A Valmari
Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991
6781991
A stubborn attack on state explosion
A Valmari
Formal Methods in System Design 1, 297-322, 1992
3331992
On-the-fly verification with stubborn sets
A Valmari
Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993
2151993
Error detection by reduced reachability graph generation
A Valmari
Proceedings of the 9th European workshop on application and theory of petri …, 1988
1491988
Stubborn set methods for process algebras
A Valmari
Proceedings of the DIMACS workshop on Partial order methods in verification …, 1997
1281997
Compositional state space generation
A Valmari
Advances in Petri Nets 1993 12, 427-457, 1993
1281993
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
1161991
Simple O(m logn) Time Markov Chain Lumping
A Valmari, G Franceschinis
International Conference on Tools and Algorithms for the Construction and …, 2010
1042010
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
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
812004
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
651989
State space generation: Efficiency and practicality.
AA Valmari
641990
Compositional analysis with place-bordered subnets
A Valmari
International Conference on Application and Theory of Petri Nets, 531-547, 1994
621994
Alleviating state explosion during verification of behavioural equivalence
A Valmari
University of Helsinki, Department of Computer Science, 1992
581992
系统目前无法执行此操作，请稍后再试。
文章 1–20