11.
Kryvolap, A ; Nikitchenko, M ; Schreiner, W
Program algebras with monotone Floyd-Hoare composition
In: Peschanenko, V; Kobets, V; Zavileysky, M; Nikitchenko, M; Spivakovsky, A; Mayr, HC; Zholtkevych, G; Ermolayev, V; Kravtsov, H (eds.) Information and Communication Technologies in Education, Research, and Industrial Applications : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013
Dordrecht, Netherlands : Springer, (2013) pp. 533-549. , 17 p.
Scopus
Publication:3416320 Published Core Chapter in Book (Conference paper )
Conference paper (Chapter in Book) | Scientific[3416320] [Approved]
12.
Wolfgang, Schreiner ; Nikolaj, Popov ; Tamas, Berczes ; Janos, Sztrik ; Gabor, Kusper
Applying High Performance Computing to Analyzing by Probabilistic Model Checking Mobile Cellular Networks with Spectrum Renting (2013)
Technical report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria, 25. July 2013,
Teljes dokumentum
Publication:3337532 Published Core Miscellaneous (Technical report (published) ) Scientific
Citing papers: 2 | Independent citation: 0 | Self citation: 2 | Unknown citation: 0 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1
Technical report (published) (Miscellaneous) | Scientific[3337532] [Approved]
All citations+mentions: 2, External citations: 0, Self citations: 2, Unhandled citations: 0
13.
Wolfgang, Schreiner ; Tamas, Berczes ; Janos, Sztrik ; Gabor, Kusper
A Case Study on Exploring the Performance Limits of PRISM (2013)
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria., Technical report, 2013. Szeptember 23.,
Teljes dokumentum
Publication:3337528 Published Core Citing Miscellaneous (Technical report (published) ) Scientific
Technical report (published) (Miscellaneous) | Scientific[3337528] [Approved]
14.
Wolfgang, Schreiner ; Tamas, Berczes ; Janos, Sztrik
Probabilistic Model Checking on HPC Systems for the Performance Analysis of Mobile Networks (2013)
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, September 2013,
Publication:2869475 Admin approved Core Miscellaneous (Technical report (published) ) Scientific
Technical report (published) (Miscellaneous) | Scientific[2869475] [Admin approved]
15.
Khan, MT ; Schreiner, W
Towards the formal specification and verification of maple programs
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 7362 LNAI pp. 231-247. , 17 p. (2012)
DOI Scopus
Publication:3416323 Published Core Journal Article (Article )
Article (Journal Article) | Scientific[3416323] [Approved]
16.
Khan, MT ; Schreiner, W
On formal specification of maple programs
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 7362 LNAI pp. 443-447. , 5 p. (2012)
DOI Scopus
Publication:3416322 Published Core Journal Article (Article )
Article (Journal Article) | Scientific[3416322] [Approved]
17.
Tudor, D ; Macariu, G ; Cretu, V ; Schreiner, W
Shared data grid programming improvements using specialized objects
In: Barolli, L; Xhafa, F; Vitabil, S; Hsu, HH (eds.) Proceedings of the International Conference on Complex, Intelligent and Software Intensive Systems : CISIS-2010
Piscataway (NJ), United States of America : IEEE (2010) pp. 398-403. , 6 p.
DOI Scopus
Publication:3416324 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[3416324] [Approved]
18.
Kusper, Gábor ; Kovásznai, Gergely ; Schreiner, Wolfgang ; Guta, Gábor ; Sztrik, János
A Small Survey on Java Specification Languages
In: Egri-Nagy, Attila; Kovács, Emőd; Kovásznai, Gergely; Kusper, Gábor; Tómács, Tibor (eds.) Proceedings of the 8th International Conference on Applied Informatics, ICAI 2010
Eger, Hungary : Eszterházy Károly Főiskola (2010) 456 p. pp. 409-416. , 8 p.
Publication:1863675 Admin approved Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[1863675] [Admin approved]
19.
Tamás, Bérczes ; Gábor, Guta ; Gábor, Kusper ; Wolfgang, Schreiner ; János, Sztrik
Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems
ANNALES MATHEMATICAE ET INFORMATICAE 37 pp. 51-75. , 25 p. (2010)
Scopus Teljes dokumentum
Publication:1498227 Admin approved Core Journal Article (Article ) Scientific
Citing papers: 2 | Independent citation: 0 | Self citation: 2 | Unknown citation: 0
Article (Journal Article) | Scientific[1498227] [Admin approved]
All citations+mentions: 2, External citations: 0, Self citations: 2, Unhandled citations: 0
20.
Schreiner, W
The RISC ProofNavigator: A proving assistant for program verification in the classroom
FORMAL ASPECTS OF COMPUTING 21 : 3 pp. 277-291. , 15 p. (2009)
DOI Scopus
Publication:3416329 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[3416329] [Approved]
2024-05-27 06:37