Abstract is missing.
- Varieties of Static Analyzers: A Comparison with ASTREEPatrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival. 3-20 [doi]
- Software SecurityJeannette M. Wing. 21 [doi]
- Abstractions for Real Real-time SystemsMathai Joseph. 22 [doi]
- Symmetry Reduced Model Checking for BEdd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler. 25-34 [doi]
- Multi-Valued Model Checking via Groebner Basis ApproachJinzhao Wu, Lin Zhao. 35-44 [doi]
- Model Checking Software at Compile TimeAnsgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch. 45-56 [doi]
- An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its StyleZhiming Chang, XinJun Mao, Zhichang Qi. 57-66 [doi]
- A Formal Derivation of Grover s Quantum Search AlgorithmPaolo Zuliani. 67-74 [doi]
- Unified Modeling and Analysis based on Petri nets and Pi calculusFei Xu, Li Zhang. 75-86 [doi]
- An Object Type Graph SystemCong-Cong Xing. 87-96 [doi]
- Self-adaptive Intrusion Detection System for Computational GridJiancheng Ni, Zhishu Li, Jirong Sun, Jianchuan Xing. 97-106 [doi]
- Foundational certification of data-flow analysesMaria João Frade, Ando Saabas, Tarmo Uustalu. 107-116 [doi]
- A Certified Thread Library for Multithreaded User ProgramsYu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin. 117-126 [doi]
- Design of a Certifying Compiler Supporting Proof of Program SafetyYiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu. 127-138 [doi]
- A Semantic Preorder on Refinement and FairnessX. W. Huang, L. Jiao, W. M. Lu. 139-148 [doi]
- Generation of optimal finite test suites for timed systemsMercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. 149-158 [doi]
- Test Selection Criteria for Modal Specifications of Reactive SystemsMarc Aiguier, Delphine Longuet. 159-170 [doi]
- Resource-Constrained Workflow ModelingJiacun Wang, William M. Tepfenhart, Daniela Rosca, Anni Tsai. 171-177 [doi]
- Queuing analysis and performance evaluation of workflow through WFQNYunni Xia, Hanpin Wang, Yu Huang, Wanling Qu. 178-187 [doi]
- A Workflow Verification Method Based on CalculusFei Xu, Zhiwei Yu. 188-196 [doi]
- Verification of Business Process Quality Constraints Based on Visual Process PatternsAlexander Förster, Gregor Engels, Tim Schattkowsky, Ragnhild Van Der Straeten. 197-208 [doi]
- Partition Refinement in Abstract Model CheckingFei Pu, Wenhui Zhang. 209-218 [doi]
- Model Checking Networked Programs in the Presence of Transmission FailuresCyrille Artho, Christian Sommer 0002, Shinichi Honiden. 219-228 [doi]
- Dynamic Verifying The Properties of The Simple Subset of PSLNaiyong Jin, Chengjie Shen. 229-240 [doi]
- QCTL: A Logic for Reasoning about Inconsistent Concurrent SystemsDonghuo Chen, Guangquan Zhang, Jinzhao Wu. 241-250 [doi]
- An Interpreter for Framed Tempura and Its ApplicationYongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang. 251-260 [doi]
- Goal-independent Semantics for Path Dependent Analysis of Prolog ProgramsLingzhong Zhao, Tianlong Gu, Junyan Qian. 261-272 [doi]
- A Logical Framework for Monitoring and Evolving Software ComponentsHoward Barringer, David E. Rydeheard, Dov M. Gabbay. 273-282 [doi]
- Commutability of Design Pattern Instantiation and IntegrationJing Dong, Tu Peng, Zongyan Qiu. 283-292 [doi]
- Timing and Concurrency Specification in Component-based Real-Time Embedded Systems DevelopmentHung Ledang, Dang Van Hung. 293-304 [doi]
- Automating Language EvolutionMarkus Pizka, Elmar Jürgens. 305-315 [doi]
- Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event SystemsFranck Cassez, Stavros Tripakis, Karine Altisen. 316-325 [doi]
- Foundational Typed Assembly Language with Certified Garbage CollectionChunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo. 326-338 [doi]
- Evaluation of SAT-based Bounded Model Checking of ACTL PropertiesYanyan Xu, Wei Chen, Liang Xu, Wenhui Zhang. 339-348 [doi]
- Specification-based Test Generation and Optimization Using Model CheckingHongwei Zeng, Huaikou Miao, Jing Liu. 349-355 [doi]
- Streaming State Space: A Method of Distributed Model VerificationViliam Holub, Petr Tuma. 356-368 [doi]
- A Formal Approach to Aspect-Oriented Modular Reconfigurable ComputingPhan C. Vinh, Jonathan P. Bowen. 369-378 [doi]
- Realizing Live Sequence Charts in SystemVerilogHai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song Dong. 379-388 [doi]
- QCCS: A Formal Model to Enforce QoS Requirements in Service CompositionSun Meng. 389-400 [doi]
- A Software Process for Modeling Complex Systems with UML-RTYifeng Sun, David Levy. 401-410 [doi]
- Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness ConstraintsIngo Feinerer, Gernot Salzer. 411-420 [doi]
- Survivability-Aware Configuration Management of Service-Oriented System Based on Service DependencyTun Lu, Ning Gu. 421-432 [doi]
- Improving Combinability of Petri Nets with Inheritance, Aggregation and AssociationShengyuan Wang, Yuan Dong. 433-439 [doi]
- Dynamics of ControlJeff W. Sanders, Matteo Turilli. 440-449 [doi]
- Symmetry in Process AlgebraJianmin Jiang, Jinzhao Wu, Hongping Shu. 450-462 [doi]
- Constraint-Based Policy Negotiation and Enforcement for Telco ServicesMaria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari. 463-472 [doi]
- Conformance Validation between Choreography and OrchestrationJing Li, Huibiao Zhu, Geguang Pu. 473-482 [doi]
- QoS-Driven Service Composition Modeling with Extended Hierarchical CPNWen-jun Li, Xiao-jun Liang, Hua-mei Song, Xiaocong Zhou. 483-492 [doi]