Model Checking - Articles - Scientific Research Publishing

A Study on Configuration and Integration of Sub-Systems to System-of-Systems with Rule Verification (Articles)

Tim Warnecke

Engineering Vol.7 No.10，October 26, 2015

DOI: 10.4236/eng.2015.710056 2,808 Downloads 3,481 Views Citations
White Noise Analysis: A Measure of Time Series Model Adequacy (Articles)

Imoh Udo Moffat, Emmanuel Alphonsus Akpan

Applied Mathematics Vol.10 No.11，November 21, 2019

DOI: 10.4236/am.2019.1011069 1,456 Downloads 6,971 Views Citations
PLC Modeling and Checking Based on Formal Method (Articles)

Yueshan Zheng, Guiming Luo, Junbo Sun, Junjie Zhang, Zhenfeng Wang

Journal of Software Engineering and Applications Vol.3 No.11，November 29, 2010

DOI: 10.4236/jsea.2010.311124 8,240 Downloads 16,190 Views Citations
Automatic Generation of Test Cases in Regression Testing for Lustre/SCADE Programs (Articles)

Trinh Cong Duy, Nguyen Thanh Binh, Ioannis Parissis

Journal of Software Engineering and Applications Vol.6 No.10A，October 4, 2013

DOI: 10.4236/jsea.2013.610A004 4,586 Downloads 7,223 Views Citations
This article belongs to the Special Issue on Software Testing
Analysis of Security of Quantum Key Distribution Based on Entangled Photon Pairs by Model Checking (Articles)

Surapol Rochanapratishtha, Wanchai Pijitrojana

Journal of Quantum Information Science Vol.5 No.3，September 16, 2015

DOI: 10.4236/jqis.2015.53012 3,896 Downloads 5,053 Views Citations
Verification of Real-Time Pricing Systems Based on Probabilistic Boolean Networks (Articles)

Koichi Kobayashi, Kunihiko Hiraishi

Applied Mathematics Vol.7 No.15，September 16, 2016

DOI: 10.4236/am.2016.715146 1,452 Downloads 2,374 Views Citations
Detecting Bank Conflict of GPU Programs Using Symbolic Execution—Case Study (Articles)

Koki Hamaya, Satoshi Yamane

Journal of Software Engineering and Applications Vol.10 No.2，February 21, 2017

DOI: 10.4236/jsea.2017.102009 1,650 Downloads 3,547 Views Citations
Formal Modeling and Analysis of AADL Threads in Real Time Maude (Articles)

F. Belala, M. Benammar, K. Barkaoui, A. Hicheur

Journal of Software Engineering and Applications Vol.5 No.12B，January 25, 2013

DOI: 10.4236/jsea.2012.512B036 3,752 Downloads 5,303 Views Citations
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study (Articles)

Nadeem Akhtar, Muhammad Nauman

Journal of Software Engineering and Applications Vol.8 No.2，February 12, 2015

DOI: 10.4236/jsea.2015.82006 3,078 Downloads 4,059 Views Citations
A Quantitative Analysis of Collision Resolution Protocol for Wireless Sensor Network (Articles)

Reema Patel, Dhiren Patel

Journal of Software Engineering and Applications Vol.8 No.8，August 13, 2015

DOI: 10.4236/jsea.2015.88036 4,012 Downloads 4,936 Views Citations
Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata (Articles)

Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane

Journal of Software Engineering and Applications Vol.9 No.9，September 30, 2016

DOI: 10.4236/jsea.2016.99030 1,571 Downloads 2,432 Views Citations
This article belongs to the Special Issue on Formal Methods
Review of Software Model-Checking Techniques for Dealing with Error Detection in Program Codes (Articles)

Ednah Olubunmi Aliyu

Journal of Software Engineering and Applications Vol.16 No.6，June 28, 2023

DOI: 10.4236/jsea.2023.166010 157 Downloads 817 Views Citations
SMS Notifying Design in Intra-Day Scheduling Security Check System (Articles)

Cui-Hui Yan, Licheng Sha, Sai Dai, Hai-Dong Zhao

Energy and Power Engineering Vol.9 No.4B，April 6, 2017

DOI: 10.4236/epe.2017.94B059 2,598 Downloads 3,171 Views Citations
Biologically Relevant Universality of Move F in Wh-Questions (Articles)

Daoshan Ma

Open Access Library Journal Vol.5 No.3，March 15, 2018

DOI: 10.4236/oalib.1104442 690 Downloads 1,741 Views Citations
Territorial Checking and Balance: The Change of the Spanish State Territorial Organization by Subconstitutional Rules (Articles)

Antoni Abati Ninet

Beijing Law Review Vol.3 No.1，March 31, 2012

DOI: 10.4236/blr.2012.31002 3,622 Downloads 7,263 Views Citations
Evaluation of an oral moisture-checking device for screening dry mouth (Articles)

Yosuke Fukushima, Tetsuya Yoda, Shoichiro Kokabu, Ryuichiro Araki, Tsubasa Murata, Yoshimasa Kitagawa, Ken Omura, Shuji Toya, Kayoko Ito, Saori Funayama, Hiroshi Iwabuchi, Kazuhiro Asano, Yutaka Imai, Akihide Negishi, Satoshi Yokoo, Goichi Matsumoto, Eiro Kubota, Hideki Watanabe, Mikio Kusama, Kojiro Onizawa, Takuya Goto, Seiji Nakamura, Ryuichi Nakazawa, Kiyoshi Harada, Takashi Fujibayashi

Open Journal of Stomatology Vol.3 No.8，November 18, 2013

DOI: 10.4236/ojst.2013.38073 4,975 Downloads 7,473 Views Citations
Checking of Radially Sawn Scots Pine and Norway Spruce Wood (Articles)

Martti Venäläinen, Yonggang Hu, Erkki Verkasalo

Natural Resources Vol.7 No.9，September 9, 2016

DOI: 10.4236/nr.2016.79043 1,628 Downloads 2,534 Views Citations
A Spell Checking Web Service API for Smart City Communication Platforms (Articles)

Vita S. Barletta, Danilo Caivano, Antonella Nannavecchia, Michele Scalera

Open Journal of Applied Sciences Vol.9 No.12，December 9, 2019

DOI: 10.4236/ojapps.2019.912066 655 Downloads 1,470 Views Citations
Making a Video Documentary on Fake News and Disinformation in Bangladesh: Critical Reflections and Learning (Articles)

Md Mahmudul Hoque

Advances in Journalism and Communication Vol.10 No.2，May 26, 2022

DOI: 10.4236/ajc.2022.102010 225 Downloads 1,259 Views Citations
Model Averaging by Stacking (Articles)

Claudio Morana

Open Journal of Statistics Vol.5 No.7，December 30, 2015

DOI: 10.4236/ojs.2015.57079 5,215 Downloads 6,224 Views Citations
This article belongs to the Special Issue on Multivariate Statistical Analysis

<12 3 ...>

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies