Towards probabilistic model checking on P systems using PRISM

被引：0

作者：

Romero-Campero, Francisco J. ^{[1
]}

Gheorghe, Marian ^{[2
]}

Bianco, Luca ^{[3
]}

Pescini, Dario ^{[4
]}

Perez-Jimenez, Mario J. ^{[1
]}

Ceterchi, Rodica ^{[5
]}

机构：

[1] Univ Seville, Res Grp Nat Comp, Dept Comp Sci & Artificial Intelligence, Avda Reina Mercedes, Seville 41012, Spain

[2] Univ Sheffield, Dept Comp Sci, Sheffield S1 4DP, S Yorkshire, England

[3] Univ Verona, Dept Comp Sci, I-37134 Verona, Italy

[4] Univ Milan, Dipartimento Informat Sistemist & Commun, I-20126 Milan, Italy

[5] Univ Bucharest, Fac Math & Comp Sci, Bucharest 70109, Romania

来源：

MEMBRANE COMPUTING | 2006年 / 4361卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper presents the use of P systems and T-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.

引用

页码：477 / +

页数：3

共 50 条

[31] On model-checking of P systems
Dang, Z
Ibarra, OH
Li, C
Xie, GY
UNCONVENTIONAL COMPUTATION, PROCEEDINGS, 2005, 3699 : 82 - 93
[32] Towards An Accurate Reliability, Availability and Maintainability Analysis Approach for Satellite Systems Based on Probabilistic Model Checking
Hoque, Khaza Anuarul
Mohamed, Otmane Ait
Savaria, Yvon
2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, : 1635 - 1640
[33] Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Buchi automata
Klein, Joachim
Baier, Christel
Chrszon, Philipp
Daum, Marcus
Dubslaff, Clemens
Kluppelholz, Sascha
Maercker, Steffen
Mueller, David
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (02) : 179 - 194
[34] Analyzing cleaning robots using probabilistic model checking
Araújo R.
Mota A.
Nogueira S.
Advances in Intelligent Systems and Computing, 2019, 838 : 23 - 51
[35] Analysing Wiki Quality using Probabilistic Model Checking
De Ruvo, Giuseppe
Santone, Antonella
2015 IEEE 24TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES - INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, 2015, : 224 - 229
[36] Using probabilistic model checking for dynamic power management
Norman, G
Parker, D
Kwiatkowska, M
Shukla, S
Gupta, R
FORMAL ASPECTS OF COMPUTING, 2005, 17 (02) : 160 - 176
[37] Transportation risk analysis using probabilistic model checking
Soeanu, Andrei
Debbabi, Mourad
Alhadidi, Dima
Makkawi, Makram
Allouche, Mohamad
Belanger, Micheline
Lechevin, Nicholas
EXPERT SYSTEMS WITH APPLICATIONS, 2015, 42 (09) : 4410 - 4421
[38] Medical treatment analysis using probabilistic model checking
Debbi, Hichem
Bourahla, Mustapha
Debbi, Aimad
INTERNATIONAL JOURNAL OF BIOMEDICAL ENGINEERING AND TECHNOLOGY, 2013, 12 (04) : 346 - 359
[39] Towards automated software model checking using graph transformation systems and Bogor
Rafe, Vahid
Rahmani, Adel T.
JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE A, 2009, 10 (08): : 1093 - 1105
[40] Towards automated software model checking using graph transformation systems and Bogor
Vahid Rafe
Adel T. Rahmani
Journal of Zhejiang University-SCIENCE A, 2009, 10 : 1093 - 1105

← 1 2 3 4 5 →