Matematiikan laitos
Tutkimusyksikkö: Laitos
31 - 40 / 1 341Sivun koko: 10
- Julkaistu
On constructibility and unconstructibility of LTS operators from other LTS operators
Valmari, A., 2015, julkaisussa : Acta Informatica. 52, 2-3, s. 207-234 28 SivumääräTutkimustuotos › › vertaisarvioitu
Full text:
- Julkaistu
The Congruences Below Fair Testing with Initial Stability
Valmari, A., 6 helmikuuta 2017, 2016 16th International Conference on Application of Concurrency to System Design. IEEE, s. 25-34 10 SivumääräTutkimustuotos › › vertaisarvioitu
Full text:
- Julkaistu
Stubborn Set Intuition Explained
Valmari, A. & Hansen, H., 2016, Petri Nets and Software Engineering 2016: Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016. Cabac, L., Kristensen, L. M. & Rölke, H. (toim.). CEUR-WS, s. 213-232 20 Sivumäärä (CEUR Workshop Proceedings; painos 1591).Tutkimustuotos › › vertaisarvioitu
Full text:
- Julkaistu
A State Space Tool for Concurrent System Models Expressed In C++
Valmari, A., 14 joulukuuta 2015, SPLST 2015 Symposium on Programming Languages and Software Tools: Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15) Tampere, Finland, Oct 9-10, 2015. Nummenmaa, J., Sievi-Korte, O. & Mäkinen, E. (toim.). CEUR-WS.org, Vuosikerta 1525. s. 91-105 15 Sivumäärä 7. (CEUR Workshop Proceedings; painos 1525).Tutkimustuotos › › vertaisarvioitu
Full text:
- Julkaistu
Stop It, and Be Stubborn!
Valmari, A., 21 kesäkuuta 2015, Application of Concurrency to System Design (ACSD): 2015 15th International Conference on . Haar, S. & Meyer, R. (toim.). IEEE Computer Society, s. 10-19 10 Sivumäärä 2Tutkimustuotos › › vertaisarvioitu
Full text:
- Julkaistu
Fair testing and stubborn sets
Valmari, A. & Vogler, W., 2016, Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer Verlag, s. 225-243 19 Sivumäärä (Lecture Notes in Computer Science; painos 9641).Tutkimustuotos › › vertaisarvioitu
Full text:
- Julkaistu
More stubborn set methods for process algebras
Valmari, A., 1 tammikuuta 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Gibson-Robinson, T., Hopcroft, P. & Lazić, R. (toim.). Springer International Publishing, s. 246-271 26 Sivumäärä (Lecture Notes in Computer Science; painos 10160).Tutkimustuotos ›
Full text:
- Julkaistu
External Behaviour of Systems of State Machines with Variables
Valmari, A., 2013, The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.. Jensen, K., van der Aalst, W. M. P., Balbo, G., Koutny, M. & Wolf, K. (toim.). Berlin, Heidelberg: Springer, s. 255-299 45 Sivumäärä (Lecture Notes in Computer Science; painos 7480).Tutkimustuotos › › vertaisarvioitu
Full text:
- Julkaistu
A Simple Character String Proof of the "True but Unprovable'' Version of Gödel's First Incompleteness Theorem
Valmari, A., 2014, julkaisussa : Electronic Proceedings in Theoretical Computer Science. 151, s. 355-369 15 Sivumäärä, 25.Tutkimustuotos › › vertaisarvioitu
Full text:
- Julkaistu
The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem
Valmari, A., 2013, SPLST '13, 13th Symposium on Programming Languages and Software Tools, August 26-27, 2013, Szeged, Hungary. Kiss, A. (toim.). Szeged, Hungary: University of Szeged, s. 170-184 15 Sivumäärä (Symposium on Programming Languages and Software Tools).Tutkimustuotos › › vertaisarvioitu
Full text:
ID: 22096