| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Antti Valmari |
Fast brief practical DFA minimization.  |
Inf. Process. Lett.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari, Henri Hansen |
Can Stubborn Sets Be Optimal? |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari |
Simple Bisimilarity Minimization in O(m log n) Time. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari, Henri Hansen |
Can Stubborn Sets Be Optimal? |
Petri Nets |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari, Giuliana Franceschinis |
Simple O(m logn) Time Markov Chain Lumping. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari |
Software model checking is a rich research field. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
Distributed model checking, Directed model checking, Satisfiability, Symbolic execution, Bounded model checking, State space, Partial-order methods |
| 1 | Antti Valmari |
Bisimilarity Minimization in O(m logn) Time. |
Petri Nets |
2009 |
DBLP DOI BibTeX RDF |
Analysis of reachability graphs, verification of systems |
| 1 | Jaco Geldenhuys, Henri Hansen, Antti Valmari |
Exploring the Scope for Partial Order Reduction. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari, Petri Lehtinen |
Efficient Minimization of DFAs with Partial Transition Functions |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Antti Valmari, Petri Lehtinen |
Efficient Minimization of DFAs with Partial Transition. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, Heikki Virtanen |
Synthesizing Test Models from Test Cases. |
Haifa Verification Conference |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari |
What the small Rubik's cube taught me about data structures, information theory, and randomisation. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Explicit state spaces |
| 1 | Lars Michael Kristensen, Karsten Schmidt 0004, Antti Valmari |
Question-guided stubborn set methods for state properties. |
Formal Methods in System Design |
2006 |
DBLP DOI BibTeX RDF |
Stubborn set methods, Petri nets, Partial-order reduction, State space methods, State explosion problem |
| 1 | Henri Hansen, Antti Valmari |
Operational Determinism and Fast Algorithms. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari (eds.) |
Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings |
SPIN |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jaco Geldenhuys, Antti Valmari |
More efficient on-the-fly LTL verification with Tarjan's algorithm. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Timo Kellomaki, Antti Valmari |
A Method for Analysing the Performance of Certain Testing Techniques for Concurrent Systems. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä |
Tampere Verification Tool. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco Geldenhuys, Antti Valmari |
Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antero Kangas, Antti Valmari |
Verification with the Undefined: A New Look. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Henri Hansen, Heikki Virtanen, Antti Valmari |
Merging State-Based and Action-Based Verification. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco Geldenhuys, Antti Valmari |
A Nearly Memory-Optimal Data Structure for Sets and Mappings. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari, Heikki Virtanen, Antti Puhakka |
Context-Sensitive Visibility. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Henri Hansen, Wojciech Penczek, Antti Valmari |
Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari, Antti Kervinen |
Alphabet-Based Synchronisation is Exponentially Cheaper. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled, Antti Valmari, Ilkka Kokkarinen |
Relaxed Visibility Enhances Partial Order Reduction. |
Formal Methods in System Design |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco Geldenhuys, Antti Valmari |
Techniques for Smaller Intermediary BDDs. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Puhakka, Antti Valmari |
Liveness and Fairness in Process-Algebraic Verification. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Michael Kristensen, Antti Valmari |
Improved Question-Guided Stubborn Set Methods for State Properties. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhana Helovuo, Antti Valmari |
Checking for CFFD-Preorder with Tester Processes. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari |
Composition and Abstraction. |
MOVEP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Puhakka, Antti Valmari |
Weakest-Congruence Results for Livelock-Preserving Equivalences. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Michael Kristensen, Antti Valmari |
Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari, Ilkka Kokkarinen |
Unbounded Verification Results by Finite-State Compositional Techniques: 10any States and Beyond. |
ACSD |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaana Eloranta, Martti Tienari, Antti Valmari |
Essential Transitions to Bisimulation Equivalences. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilkka Kokkarinen, Doron Peled, Antti Valmari |
Relaxed Visibility Enhances Partial Order Reduction. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari |
Compositionality in State Space Verification Methods. |
Application and Theory of Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari, Manu Setälä |
Visual Verification of Safety and Liveness. |
FME |
1996 |
DBLP DOI BibTeX RDF |
verification, process algebra, reduction, labelled transition system |
| 1 | Antti Valmari, Konsta Karsisto, Manu Setälä |
Visualisation of Reduced Abstracted Behaviour as a Design Tool. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
reduced abstracted behaviour visualisation, software design tool, user-friendly formal method, incorrect actions, simultaneous analysis, communication protocol development, distributed system, formal specification, distributed processing, concurrency control, feedback, transport protocols, deadlocks, data visualisation, program diagnostics, graphical representation, livelocks, graphical display, design errors |
| 1 | Antti Valmari |
The State Explosion Problem. |
Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Konsta Karsisto, Antti Valmari |
Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet. |
FTRTFT |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari, Martti Tienari |
Compositional Failure-based Semantics Models for Basic LOTOS. |
Formal Asp. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari |
The Weakest Deadlock-Preserving Congruence. |
Inf. Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari |
Compositional Analysis with Place-Bordered Subnets. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari, Jukka Kemppainen, Matthew Clegg, Mikko Levanto |
Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari |
On-the-Fly Verification with Stubborn Sets. |
CAV |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari |
A Stubborn Attack on State Explosion. |
Formal Methods in System Design |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Roope Kaivola, Antti Valmari |
The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Roope Kaivola, Antti Valmari |
Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari, Matthew Clegg |
Reduced Labelled Transition Systems Save Verification Effort. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari |
Compositional State Space Generation. |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
analysis of behaviour of nets, compositionality, state space, Communicating Sequential Processes, system verification |
| 1 | Antti Valmari, Martti Tienari |
An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Antti Valmari |
A Stubborn Attack On State Explosion. |
CAV |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari |
Eliminating Redundant Interleavings During Concurrent Program Verification. |
PARLE |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari |
Stubborn sets for reduced state space generation. |
Applications and Theory of Petri Nets |
1989 |
DBLP DOI BibTeX RDF |
analysis of behaviour of nets, system verification |
| 1 | Antti Valmari |
State Space Generation with Induction. |
SCAI |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")