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,583 Downloads 8,807 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,319 Downloads 4,880 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 3,042 Downloads 4,106 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 739 Downloads 1,786 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 6,082 Downloads 11,410 Views Citations
This article belongs to the Special Issue on Data-Oriented Intelligence
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,280 Downloads 8,904 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,421 Downloads 19,044 Views Citations
Verification of Session Initiation Protocol Using Timed Colored Petri Net (Articles)

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

International Journal of Communications, Network and System Sciences Vol.4 No.3, March 10, 2011

DOI: 10.4236/ijcns.2011.43021 4,280 Downloads 9,083 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,988 Downloads 4,255 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,280 Downloads 5,418 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 225 Downloads 700 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,804 Downloads 4,552 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,998 Downloads 6,997 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 4,011 Downloads 5,953 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,902 Downloads 7,630 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,426 Downloads 9,067 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,484 Downloads 7,441 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,211 Downloads 6,627 Views Citations
A Comparative Analysis of Tools for Verification of Security Protocols (Articles)

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

International Journal of Communications, Network and System Sciences Vol.3 No.10, October 27, 2010

DOI: 10.4236/ijcns.2010.310104 8,260 Downloads 17,201 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,404 Downloads 6,472 Views Citations

First <12 3 ...>Last

	customer@scirp.org
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP 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