TY  - CHAP
AU  - Isstaif, Al Amjad Tawfiq
AU  - Alhafez, Nizar
ED  - Bakhshi, Rena
ED  - Ballarini, Paolo
ED  - Barbot, Benoît
ED  - Castel-Taleb, Hind
ED  - Remke, Anne
TI  - Performance Model of Apache Cassandra Under Heterogeneous Workload Using the Quantitative Verification Approach
T2  - Computer Performance Engineering
PB  - Springer Netherlands
CY  - Cham
SN  - 9783030022266
T3  - Lecture Notes in Computer Science, ISSN 0302-9743 ; 11178.
PY  - 2018
SP  - 94
EP  - 109
PG  - 16
DO  - 10.1007/978-3-030-02227-3_7
UR  - https://m2.mtmt.hu/api/publication/30358187
ID  - 30358187
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - TatjanaKapus, null
TI  - Using PRISM model checker as a validation tool for an analytical model of IEEE 802.15.4 networks
JF  - SIMULATION MODELLING PRACTICE AND THEORY
J2  - SIMUL MODEL PRACT TH
VL  - 77
PY  - 2017
SP  - 367
EP  - 378
PG  - 12
SN  - 1569-190X
DO  - 10.1016/j.simpat.2017.08.002
UR  - https://m2.mtmt.hu/api/publication/27163875
ID  - 27163875
LA  - English
DB  - MTMT
ER  - 

TY  - GEN
AU  - Wolfgang, Schreiner
TI  - Experiments with Measuring Time in PRISM 4.0
PY  - 2013
UR  - https://m2.mtmt.hu/api/publication/27163873
ID  - 27163873
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - EH, Al-Hemiary
TI  - Modelling and Performance Evaluation of Router Transparent Web cache Mode
JF  - INTERNATIONAL JOURNAL OF COMPUTER SCIENCE & ENGINEERING TECHNOLOGY
J2  - IJCSET
VL  - 2
PY  - 2012
IS  - 7
SP  - 1316
EP  - 1320
PG  - 5
SN  - 2229-3345
UR  - https://m2.mtmt.hu/api/publication/27163872
ID  - 27163872
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Erik, Burger
AU  - Ralf, Reussner
TI  - Performance Certification of Software Components
JF  - ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
J2  - ELECTR NOTES COMPUT SCI
VL  - 279
PY  - 2011
IS  - 2
SP  - 33
EP  - 41
PG  - 9
SN  - 1571-0661
DO  - 10.1016/j.entcs.2011.11.010
UR  - https://m2.mtmt.hu/api/publication/21989858
ID  - 21989858
LA  - English
DB  - MTMT
ER  - 

TY  - GEN
AU  - SAMI, BEN NASR
TI  - Model-checking du délai dans les éléments réseaux
PY  - 2011
UR  - https://m2.mtmt.hu/api/publication/27163874
ID  - 27163874
LA  - French
DB  - MTMT
ER  - 

TY  - CONF
AU  - Sasu, Tarkoma
AU  - Dmitriy, Kuptsov
AU  - Petri, Savolainen
AU  - Pasi, Sarolahti
TI  - CAT: A Last Mile Protocol for Content-Centric Networks
T2  - ICC'11 Workshop T2 FutureNet IV
PY  - 2011
UR  - https://m2.mtmt.hu/api/publication/21989878
ID  - 21989878
LA  - English
DB  - MTMT
ER  -