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 10 of 82  
    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.
    The Congruences below Fair Testing with Initial Stability.
    16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016 2016 (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
    Show item 1 to 10 of 82  

    Your query returned 82 matches in the database.