Formal analysis of production line systems by probabilistic model checking tools

Mapping Intimacies ◽

10.1109/etfa45728.2021.9613494 ◽

2021 ◽

Author(s):

Paolo Ballarini ◽

Andras Horvath

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Production Line ◽

Formal Analysis ◽

Probabilistic Model Checking

Download Full-text

Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2011.57 ◽

2011 ◽

Cited By ~ 13

Author(s):

Tushar Deshpande ◽

Panagiotis Katsaros ◽

Stylianos Basagiannis ◽

Scott A. Smolka

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Formal Analysis ◽

Probabilistic Model Checking

Download Full-text

Formal analysis of fault tree using probabilistic model checking: A solar array case study

2016 Annual IEEE Systems Conference (SysCon) ◽

10.1109/syscon.2016.7490556 ◽

2016 ◽

Cited By ~ 3

Author(s):

Marwan Ammar ◽

Khaza Anuarul Hoque ◽

Otmane Ait Mohamed

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Formal Analysis ◽

Fault Tree ◽

Solar Array ◽

Probabilistic Model Checking

Download Full-text

Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.22 ◽

2015 ◽

Cited By ~ 2

Author(s):

Conghua Zhou ◽

Yong Wang ◽

Meiling Cao ◽

Jianqi Shi ◽

Yang Liu

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Formal Analysis ◽

Ieee 802.11P ◽

Probabilistic Model Checking

Download Full-text

Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking

2010 IEEE 12th International Symposium on High Assurance Systems Engineering ◽

10.1109/hase.2010.25 ◽

2010 ◽

Cited By ~ 13

Author(s):

Nikolaos Alexiou ◽

Stylianos Basagiannis ◽

Panagiotis Katsaros ◽

Tushar Dashpande ◽

Scott A. Smolka

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Formal Analysis ◽

Probabilistic Model Checking

Download Full-text

Formal analysis of DeGroot Influence Problems using probabilistic model checking

Simulation Modelling Practice and Theory ◽

10.1016/j.simpat.2018.09.009 ◽

2018 ◽

Vol 89 ◽

pp. 144-159 ◽

Cited By ~ 2

Author(s):

Sotirios Gyftopoulos ◽

Pavlos S. Efraimidis ◽

Panagiotis Katsaros

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Formal Analysis ◽

Probabilistic Model Checking

Download Full-text

Comprehensive vulnerability analysis of systems exposed to SEUs via probabilistic model checking

2016 16th European Conference on Radiation and Its Effects on Components and Systems (RADECS) ◽

10.1109/radecs.2016.8093191 ◽

2016 ◽

Cited By ~ 2

Author(s):

Marwan Ammar ◽

Ghaith Bany Hamad ◽

Otmane Ait Mohamed ◽

Yvon Savaria ◽

Raoul Velazco

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Vulnerability Analysis ◽

Probabilistic Model Checking

Download Full-text

Dynamic Power Management of a System With a Two-Priority Request Queue Using Probabilistic-Model Checking

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2007.911342 ◽

2008 ◽

Vol 27 (2) ◽

pp. 403-407 ◽

Cited By ~ 12

Author(s):

Aleksandra Sesic ◽

Stanisa Dautovic ◽

Veljko Malbasa

Keyword(s):

Model Checking ◽

Power Management ◽

Probabilistic Model ◽

Probabilistic Model Checking ◽

Dynamic Power Management ◽

Dynamic Power ◽

Request Queue

Download Full-text

Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking

2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering ◽

10.1109/formalise.2015.12 ◽

2015 ◽

Cited By ~ 9

Author(s):

Michele Ceccarelli ◽

Luigi Cerulo ◽

Giuseppe De Ruvo ◽

Vittoria Nardone ◽

Antonella Santone

Keyword(s):

Time Series ◽

Model Checking ◽

Gene Regulatory Networks ◽

Probabilistic Model ◽

Regulatory Networks ◽

Time Series Data ◽

Series Data ◽

Probabilistic Model Checking ◽

Gene Regulatory

Download Full-text

Ontology-Mediated Probabilistic Model Checking

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-030-34968-4_11 ◽

2019 ◽

pp. 194-211 ◽

Cited By ~ 1

Author(s):

Clemens Dubslaff ◽

Patrick Koopmann ◽

Anni-Yasmin Turhan

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Probabilistic Model Checking

Download Full-text

Probabilistic Model Checking and Non-standard Multi-objective Reasoning

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54804-8_1 ◽

2014 ◽

pp. 1-16 ◽

Cited By ~ 4

Author(s):

Christel Baier ◽

Clemens Dubslaff ◽

Sascha Klüppelholz ◽

Marcus Daum ◽

Joachim Klein ◽

...

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Probabilistic Model Checking ◽

Multi Objective ◽

Objective Reasoning

Download Full-text