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,862 Downloads 3,624 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,593 Downloads 7,639 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,351 Downloads 16,373 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,689 Downloads 7,372 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,985 Downloads 5,221 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,486 Downloads 2,481 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,688 Downloads 3,754 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,801 Downloads 5,414 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,129 Downloads 4,171 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,069 Downloads 5,052 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,621 Downloads 2,537 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 226 Downloads 1,038 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,655 Downloads 3,256 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 710 Downloads 1,812 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,710 Downloads 7,389 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 5,120 Downloads 7,748 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,677 Downloads 2,657 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 701 Downloads 1,591 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 306 Downloads 1,671 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,286 Downloads 6,339 Views Citations
This article belongs to the Special Issue on Multivariate Statistical Analysis

<12 3 ...>

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies