default search action
Jiacun Wang
- > Home > Persons > Jiacun Wang
Publications
- 2004
- [j9]Yi Deng, Jiacun Wang, Xudong He, Jeffrey J. P. Tsai:
Constraint Propagation And Progressive Verification For Component-Based Process Model. Int. J. Softw. Eng. Knowl. Eng. 14(5): 471-496 (2004) - [j8]Yi Deng, Jiacun Wang, Mengchu Zhou:
Consistency verification in modeling of real-time systems. IEEE Trans. Robotics Autom. 20(1): 136-142 (2004) - 2003
- [j7]Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai, Konstantin Beznosov:
An Approach for Modeling and Analysis of Security System Architectures. IEEE Trans. Knowl. Data Eng. 15(5): 1099-1119 (2003) - 2001
- [c6]Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai:
Formal Analysis of Software Security System Architectures. ISADS 2001: 426-434 - 2000
- [j6]Jiacun Wang, Yi Deng, Chun Jin:
Performance Analysis of Traffic Control Systems Based upon Stochastic Timed Petri Net Models. Int. J. Softw. Eng. Knowl. Eng. 10(6): 735-757 (2000) - [j5]Jiacun Wang, Yi Deng, Mengchu Zhou:
Compositional time Petri nets and reduction rules. IEEE Trans. Syst. Man Cybern. Part B 30(4): 562-572 (2000) - [j4]Jiacun Wang, Yi Deng, Gang Xu:
Reachability analysis of real-time systems using time Petri nets. IEEE Trans. Syst. Man Cybern. Part B 30(5): 725-736 (2000) - 1999
- [j3]Yi Deng, Jiacun Wang:
Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. Ann. Softw. Eng. 7: 47-70 (1999) - [j2]Jiacun Wang, Xudong He, Yi Deng:
Introducing software architecture specification and analysis in SAM through an example. Inf. Softw. Technol. 41(7): 451-467 (1999) - [j1]Jiacun Wang, Yi Deng:
Incremental modeling and verification of flexible manufacturing systems. J. Intell. Manuf. 10(6): 485-502 (1999) - [c5]Jiacun Wang, Chun Jin, Yi Deng:
Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models. COMPSAC 1999: 436-441 - [c4]Jiacun Wang, Chun Jin, Yi Deng:
Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models. ICECCS 1999: 77-85 - 1998
- [c3]Yi Deng, Jiacun Wang:
Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. HASE 1998: 270-278 - [c2]Yi Deng, Jiacun Wang, Rakesh Sinha:
Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. ICFEM 1998: 26-35 - [c1]Jiacun Wang, Yi Deng:
Component-level reduction rules for time Petri nets with application in C2 systems. SMC 1998: 125-130
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-10 02:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint