AADL; Timed Automata; Transformation; Verification; Uppaal - Articles

Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models (Articles)

Mohamed El-Kamel Hamdane, Allaoui Chaoui, Martin Strecker

Journal of Software Engineering and Applications Vol.6 No.3，March 29, 2013

DOI: 10.4236/jsea.2013.63019 4,390 Downloads 8,344 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,130 Downloads 4,172 Views Citations
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
FMS-Workflow Modeling Based on P-Timed Stochastic Petri Net (Articles)

Walid Ben Mesmia, Kamel Barkaoui, Mohamed Escheikh

Journal of Software Engineering and Applications Vol.16 No.9，September 14, 2023

DOI: 10.4236/jsea.2023.169022 147 Downloads 729 Views Citations
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata (Articles)

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Journal of Software Engineering and Applications Vol.3 No.8，August 26, 2010

DOI: 10.4236/jsea.2010.38093 5,003 Downloads 8,296 Views Citations
Syntax-Tree Regular Expression Based DFA FormalConstruction (Articles)

Nazir Ahmad Zafar, Fawaz Alsaade

Intelligent Information Management Vol.4 No.4，July 27, 2012

DOI: 10.4236/iim.2012.44021 12,166 Downloads 18,163 Views Citations
RFID Complex Event Processing: Applications in Real-Time Locating System (Articles)

Yao-zong Liu, Hong Zhang, Yong-li Wang

International Journal of Intelligence Science Vol.2 No.4A，November 1, 2012

DOI: 10.4236/ijis.2012.224021 5,887 Downloads 10,931 Views Citations
This article belongs to the Special Issue on Data-Oriented Intelligence
Verification of Session Initiation Protocol Using Timed Colored Petri Net (Articles)

Safiye Kızmaz, Mürvet Kırcı

Int'l J. of Communications, Network and System Sciences Vol.4 No.3，March 10, 2011

DOI: 10.4236/ijcns.2011.43021 4,063 Downloads 8,645 Views Citations
Petri Nets—A Versatile Modeling Structure (Articles)

Miryam Barad

Applied Mathematics Vol.7 No.9，May 26, 2016

DOI: 10.4236/am.2016.79074 1,830 Downloads 3,577 Views Citations
Sensivity Analysis of the Cellular Automata Model for Austenite-Ferrite Phase Transformation in Steels (Articles)

Rafal Golab, Daniel Bachniak, Krzysztof Bzowski, Lukasz Madej

Applied Mathematics Vol.4 No.11，November 5, 2013

DOI: 10.4236/am.2013.411207 3,048 Downloads 4,815 Views Citations
A Program Study of the Union of Semilattices on the Set of Subsets of Grids of Waterloo Language (Articles)

Mikhail E. Abramyan, Boris F. Melnikov

Journal of Applied Mathematics and Physics Vol.11 No.5，May 31, 2023

DOI: 10.4236/jamp.2023.115095 134 Downloads 382 Views Citations
Female Sexual Dysfunction and Timed Intercourse: A Prospective Study of 105 Infertile Women (Articles)

Liuhong Cai, Junxi Liu, Shaomin Lu, Jiamin Yin

Advances in Reproductive Sciences Vol.3 No.4，November 24, 2015

DOI: 10.4236/arsci.2015.34011 2,632 Downloads 3,990 Views Citations
Implementation of HACCP Plan for the Production of Egyptian Kishk (A Traditional Fermented Cereal-Milk Mixture) (Articles)

Mohamed M. Abd El-Razik, Mohamed F. Y. Hassan, Mohamed G. E. Gadallah

Food and Nutrition Sciences Vol.7 No.13，November 15, 2016

DOI: 10.4236/fns.2016.713116 2,726 Downloads 6,221 Views Citations
This article belongs to the Special Issue on Food Safety
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
Mapping AADL to Petri Net Tool-Sets Using PNML Framework (Articles)

Hassan Reza, Amrita Chatterjee

Journal of Software Engineering and Applications Vol.7 No.11，October 24, 2014

DOI: 10.4236/jsea.2014.711082 5,709 Downloads 7,059 Views Citations
Integrate Liveness Detection with Iris Verification to Construct Support Biometric System (Articles)

Hanaa Mohsin Ahmad, Bushra Jabbar Abdulkareem

Journal of Computer and Communications Vol.4 No.1，January 26, 2016

DOI: 10.4236/jcc.2016.41003 5,063 Downloads 6,191 Views Citations
RPBTC: An Implementation Method for Robot Planning (Articles)

Shan Zhong, Qiuya Chen, Yunfei Zhou, Juan Yuan

Journal of Software Engineering and Applications Vol.4 No.2，February 28, 2011

DOI: 10.4236/jsea.2011.42009 4,222 Downloads 8,577 Views Citations
Data Timed Sending (DTS) Energy Efficient Protocol for Wireless Sensor Networks: Simulation and Testbed Verification (Articles)

Konstantin Chomu, Liljana Gavrilovska

Wireless Sensor Network Vol.5 No.8，August 28, 2013

DOI: 10.4236/wsn.2013.58019 4,337 Downloads 6,955 Views Citations
A Comparative Analysis of Tools for Verification of Security Protocols (Articles)

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

Int'l J. of Communications, Network and System Sciences Vol.3 No.10，October 27, 2010

DOI: 10.4236/ijcns.2010.310104 7,892 Downloads 16,373 Views Citations
Characteristics of Acute Flaccid Paralysis Reported by the Surveillance System and Verified by WHO Officer in Akwa Ibom State-Nigeria, 2006-2012 (Articles)

Bassey Enya Bassey, Vaz Gama Rui, Alex Ntale Gasasira, Mkanda Pascal, Goitom Weldegbriel, Ticha Johnson Mulum, Sylvester T. Maleghemi, Emem Abasi Bassey

Health Vol.6 No.19，November 12, 2014

DOI: 10.4236/health.2014.619299 4,210 Downloads 5,817 Views Citations

<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