Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Antti
    Last name: Valmari
    DBLP: 97/3306
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 81 of 81  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Antti Valmari.
    More Stubborn Set Methods for Process Algebras.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Artturi Piipponen, Antti Valmari.
    Constructing Minimal Coverability Sets.
    Fundam. Inform. 2016, Volume 143 (0) 2016
    Conference paper
    Antti Valmari, Walter Vogler.
    Fair Testing and Stubborn Sets.
    Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Antti Valmari, Henri Hansen.
    Stubborn Set Intuition Explained.
    Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes Petri Nets 2016 co-located with the 37th International Conference on Application and Theory of Petri Nets 2016 (0) 2016
    Conference paper
    Henri Hansen, Antti Valmari.
    Safety Property-Driven Stubborn Sets.
    Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings 2016 (0) 2016
    Journal article
    Raymond R. Devillers, Antti Valmari, Wojciech Penczek.
    Preface.
    Fundam. Inform. 2016, Volume 146 (0) 2016
    Conference paper
    Antti Valmari.
    On constructibility and unconstructibility of LTS operators from other LTS operators.
    Acta Inf. 2015, Volume 52 (0) 2015
    Journal article
    Antti Valmari.
    A State Space Tool for Models Expressed In C++ (tool paper).
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Antti Valmari.
    Stop It, and Be Stubborn!
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Antti Valmari.
    A state space tool for concurrent system models expressed in C++.
    Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15), Tampere, Finland, October 9-10, 2015. 2015 (0) 2015
    Conference paper
    Matti Rintala, Antti Valmari.
    Priority queue classes with priority update.
    Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15), Tampere, Finland, October 9-10, 2015. 2015 (0) 2015
    Conference paper
    Antti Valmari.
    Stop It, and Be Stubborn!
    15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015 2015 (0) 2015
    Journal article
    Antti Valmari.
    Character Strings and Gödel's Incompleteness Proof.
    Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014. 2014, Volume 151 (0) 2014
    Journal article
    Antti Valmari, Henri Hansen.
    Old and New Algorithms for Minimal Coverability Sets.
    Fundam. Inform. 2014, Volume 131 (0) 2014
    Conference paper
    Antti Valmari.
    Asymptotic Proportion of Hard Instances of the Halting Problem.
    Acta Cybern. 2013, Volume 21 (0) 2014
    Journal article
    Antti Valmari.
    The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem (Extended Version).
    CoRR 2013, Volume 0 (0) 2013
    Journal article
    Antti Valmari.
    External Behaviour of Systems of State Machines with Variables.
    Transactions on Petri Nets and Other Models of Concurrency VII 2013, Volume 7480 (0) 2013
    Conference paper
    Artturi Piipponen, Antti Valmari.
    Constructing Minimal Coverability Sets.
    Reachability Problems - 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings 2013 (0) 2013
    Conference paper
    Antti Valmari.
    All Linear-Time Congruences for Familiar Operators.
    Logical Methods in Computer Science 2009, Volume 9 (0) 2013
    Journal article
    Mikko Tiusanen, Antti Valmari.
    Good to Know about the Efficiency of State Space Methods.
    Nord. J. Comput. 2013, Volume 15 (0) 2013
    Conference paper
    Antti Valmari.
    Fast brief practical DFA minimization.
    Inf. Process. Lett. 2012, Volume 112 (0) 2012
    Conference paper
    Antti Valmari, Henri Hansen.
    Old and New Algorithms for Minimal Coverability Sets.
    Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Antti Valmari.
    All Linear-Time Congruences for Finite LTSs and Familiar Operators.
    12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012 2012 (0) 2012
    Conference paper
    Antti Valmari.
    All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs.
    CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings 2012 (0) 2012
    Journal article
    Antti Valmari, Henri Hansen.
    Can Stubborn Sets Be Optimal?
    Fundam. Inform. 2011, Volume 113 (0) 2011
    Conference paper
    Antti Valmari, Henri Hansen.
    Can Stubborn Sets Be Optimal?
    Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings 2010 (0) 2010
    Journal article
    Antti Valmari.
    Simple Bisimilarity Minimization in O(m log n) Time.
    Fundam. Inform. 2010, Volume 105 (0) 2010
    Conference paper
    Antti Valmari, Giuliana Franceschinis.
    Simple
    Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Antti Valmari.
    Bisimilarity Minimization in O(m logn) Time.
    Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Jaco Geldenhuys, Henri Hansen, Antti Valmari.
    Exploring the Scope for Partial Order Reduction.
    Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Antti Valmari.
    Software model checking is a rich research field.
    STTT 2009, Volume 11 (0) 2009
    Conference paper
    Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, Heikki Virtanen.
    Synthesizing Test Models from Test Cases.
    Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings 2009 (0) 2008
    Conference paper
    Antti Valmari, Petri Lehtinen.
    Efficient Minimization of DFAs with Partial Transition Functions
    CoRR 2008, Volume 0 (0) 2008
    Conference paper
    Antti Valmari, Petri Lehtinen.
    Efficient Minimization of DFAs with Partial Transition.
    STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Henri Hansen, Antti Valmari.
    Operational Determinism and Fast Algorithms.
    CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Lars Michael Kristensen, K. Schmidt, Antti Valmari.
    Question-guided stubborn set methods for state properties.
    Formal Methods in System Design 2006, Volume 29 (0) 2006
    Conference paper
    Antti Valmari.
    What the small Rubik's cube taught me about data structures, information theory, and randomisation.
    STTT 2006, Volume 8 (0) 2006
    Conference paper
    Timo Kellomaki, Antti Valmari.
    A Method for Analysing the Performance of Certain Testing Techniques for Concurrent Systems.
    Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 6-9 June 2005, St. Malo, France 2005 (0) 2005
    Conference paper
    Jaco Geldenhuys, Antti Valmari.
    More efficient on-the-fly LTL verification with Tarjan's algorithm.
    Theor. Comput. Sci. 2005, Volume 345 (0) 2005
    Conference paper
    Jaco Geldenhuys, Antti Valmari.
    Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient.
    Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee 2004 (0) 2004
    Conference paper
    Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä.
    Tampere Verification Tool.
    Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee 2004 (0) 2004
    Conference paper
    Henri Hansen, Heikki Virtanen, Antti Valmari.
    Merging State-Based and Action-Based Verification.
    3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal 2003 (0) 2003
    Conference paper
    Jaco Geldenhuys, Antti Valmari.
    A Nearly Memory-Optimal Data Structure for Sets and Mappings.
    Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Antero Kangas, Antti Valmari.
    Verification with the Undefined: A New Look.
    Electr. Notes Theor. Comput. Sci. 2003, Volume 80 (0) 2003
    Conference paper
    Antti Valmari, Antti Kervinen.
    Alphabet-Based Synchronisation is Exponentially Cheaper.
    CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Antti Valmari, Heikki Virtanen, Antti Puhakka.
    Context-Sensitive Visibility.
    Electr. Notes Theor. Comput. Sci. 2002, Volume 66 (0) 2002
    Conference paper
    Henri Hansen, Wojciech Penczek, Antti Valmari.
    Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties.
    Electr. Notes Theor. Comput. Sci. 2002, Volume 66 (0) 2002
    Conference paper
    Jaco Geldenhuys, Antti Valmari.
    Techniques for Smaller Intermediary BDDs.
    CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Antti Puhakka, Antti Valmari.
    Liveness and Fairness in Process-Algebraic Verification.
    CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Doron A. Peled, Antti Valmari, Ilkka Kokkarinen.
    Relaxed Visibility Enhances Partial Order Reduction.
    Formal Methods in System Design 2001, Volume 19 (0) 2001
    Conference paper
    Antti Niemistö, Olli Yli-Harja, Antti Valmari, Pertti Koivisto, Ilya Shmulevich.
    Reduction factors in finite automata with application to nonlinear filters.
    10th European Signal Processing Conference, EUSIPCO 2000, Tampere, Finland, September 4-8, 2000 2000 (0) 2000
    Conference paper
    Lars Michael Kristensen, Antti Valmari.
    Improved Question-Guided Stubborn Set Methods for State Properties.
    ICATPN 2000 (0) 2000
    Conference paper
    Antti Valmari.
    Composition and Abstraction.
    Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 2001 (0) 2000
    Conference paper
    Juhana Helovuo, Antti Valmari.
    Checking for CFFD-Preorder with Tester Processes.
    Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedi 2000 (0) 2000
    Conference paper
    Antti Puhakka, Antti Valmari.
    Weakest-Congruence Results for Livelock-Preserving Equivalences.
    CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings 1999 (0) 1999
    Conference paper
    Antti Valmari, Ilkka Kokkarinen.
    Unbounded Verification Results by Finite-State Compositional Techniques: 10
    1st International Conference on Application of Concurrency to System Design (ACSD '98), 23-26 March 1998, Fukushima, Japan 1998 (0) 1998
    Conference paper
    Lars Michael Kristensen, Antti Valmari.
    Finding Stubborn Sets of Coloured Petri Nets Without Unfolding.
    Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings 1998 (0) 1998
    Conference paper
    Ilkka Kokkarinen, Doron A. Peled, Antti Valmari.
    Relaxed Visibility Enhances Partial Order Reduction.
    Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings 1997 (0) 1997
    Conference paper
    Jaana Eloranta, Martti Tienari, Antti Valmari.
    Essential Transitions to Bisimulation Equivalences.
    Theor. Comput. Sci. 1997, Volume 179 (0) 1997
    Conference paper
    Antti Valmari.
    Stubborn set methods for process algebras.
    Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996 1996 (0) 1996
    Conference paper
    Antti Valmari.
    Compositionality in State Space Verification Methods.
    Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings 1996 (0) 1996
    Conference paper
    Antti Valmari, Manu Setälä.
    Visual Verification of Safety and Liveness.
    FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings 1996 (0) 1996
    Conference paper
    Konsta Karsisto, Antti Valmari.
    Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet.
    Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings 1996 (0) 1996
    Conference paper
    Antti Valmari, Konsta Karsisto, Manu Setälä.
    Visualisation of Reduced Abstracted Behaviour as a Design Tool.
    4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal 1996 (0) 1996
    Conference paper
    Antti Valmari.
    The State Explosion Problem.
    Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996 1998 (0) 1996
    Conference paper
    Antti Valmari, Martti Tienari.
    Compositional Failure-based Semantics Models for Basic LOTOS.
    Formal Asp. Comput. 1995, Volume 7 (0) 1995
    Conference paper
    Antti Valmari.
    The Weakest Deadlock-Preserving Congruence.
    Inf. Process. Lett. 1995, Volume 53 (0) 1995
    Conference paper
    Antti Valmari.
    Compositional Analysis with Place-Bordered Subnets.
    Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings 1994 (0) 1994
    Conference paper
    Antti Valmari.
    On-the-Fly Verification with Stubborn Sets.
    Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Antti Valmari, Jukka Kemppainen, Matthew Clegg, Mikko Levanto.
    Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool.
    FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Roope Kaivola, Antti Valmari.
    The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic.
    CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings 1992 (0) 1992
    Conference paper
    Antti Valmari.
    A Stubborn Attack on State Explosion.
    Formal Methods in System Design 1992, Volume 1 (0) 1992
    Conference paper
    Antti Valmari.
    Compositional State Space Generation.
    Advances in Petri Nets 1993, Papers from the 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991 1993 (0) 1991
    Conference paper
    Roope Kaivola, Antti Valmari.
    Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models.
    CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings 1991 (0) 1991
    Conference paper
    Antti Valmari, Matthew Clegg.
    Reduced Labelled Transition Systems Save Verification Effort.
    CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings 1991 (0) 1991
    Conference paper
    Antti Valmari, Martti Tienari.
    An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm.
    Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991 1991 (0) 1991
    Conference paper
    Antti Valmari.
    A Stubborn Attack on State Explosion.
    Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990 1991 (0) 1990
    Conference paper
    Antti Valmari.
    A Stubborn Attack On State Explosion.
    Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings 1991 (0) 1990
    Conference paper
    Antti Valmari.
    Stubborn sets for reduced state space generation.
    Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings] 1991 (0) 1989
    Conference paper
    Antti Valmari.
    Eliminating Redundant Interleavings During Concurrent Program Verification.
    PARLE '89: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings 1989 (0) 1989
    Conference paper
    Antti Valmari.
    State Space Generation with Induction.
    SCAI 1989 (0) 1989
    Show item 1 to 81 of 81  

    Your query returned 81 matches in the database.