Abstract is missing.
- Verification and Performance Analysis for Embedded SystemsKim Guldstrand Larsen. 3-4 [doi]
- Modular Development of Certified System SoftwareZhong Shao. 5 [doi]
- Towards Expressive Specification and Efficient Model CheckingJin Song Dong, Jun Sun 0001. 9 [doi]
- Improving Responsiveness of Hard Real-Time Embedded SystemsHugh Anderson, Siau-Cheng Khoo. 13-20 [doi]
- Environmental Simulation of Real-Time Systems with Nested InterruptsGuoqiang Li, Shoji Yuen, Masakazu Adachi. 21-28 [doi]
- Semantics for Communicating Actors with Interdependent Real-Time DeadlinesIstvan Knoll, Anders P. Ravn, Arne Skou. 29-35 [doi]
- An Efficient Algorithm for Finding Empty Space for Reconfigurable SystemsYan Xiao, Zhenhua Duan, Pengcheng Nie. 36-43 [doi]
- State Visibility and Communication in Unifying Theories of ProgrammingAndrew Butterfield, Pawel Gancarski, Jim Woodcock. 47-54 [doi]
- Semantics of Metamodels in UMLLijun Shan, Hong Zhu. 55-62 [doi]
- Refinement Algebra with Explicit ProbabilismT. M. Rabehaja, Jeff W. Sanders. 63-70 [doi]
- Environment Abstraction with State Clustering and Parameter TruncatingHong Pan, Yi Lv, Huimin Lin. 73-80 [doi]
- Verification of Population Ring Protocols in PATYang Liu 0003, Jun Pang, Jun Sun 0001, Jianhua Zhao. 81-89 [doi]
- Bounded Model Checking of ACTL FormulaeWei Chen, Wenhui Zhang. 90-99 [doi]
- Coarse Grained Retrenchment and the Mondex Denial of Service AttacksRichard Banach. 103-110 [doi]
- Enforcing Constraints on Life Cycles of Business ArtifactsXiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu. 111-118 [doi]
- Consistency Checking for LSC SpecificationsHai-Feng Guo, Wen Zheng, Mahadevan Subramaniam. 119-126 [doi]
- Integrating Specification and Programs for System Modeling and VerificationJun Sun 0001, Yang Liu 0003, Jin Song Dong, Chunqing Chen. 127-135 [doi]
- A Framework and Language Support for Automatic Dynamic Testing of Workflow Management SystemsGwan-Hwan Hwang, Che-Sheng Lin, Li-Te Tsao, Kuei-Huan Chen, Yan-You Li. 139-146 [doi]
- Fault-Based Test Case Generation for Component ConnectorsBernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten. 147-154 [doi]
- Test Data Generation for Derived Types in C ProgramZheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu. 155-162 [doi]
- Program Repair as Sound Optimization of Broken ProgramsBernd Fischer, Ando Saabas, Tarmo Uustalu. 165-173 [doi]
- Modeling Web Applications and Generating Tests: A Combination and Interactions-guided ApproachBo Song, Huaikou Miao. 174-181 [doi]
- Merging of Use Case Models: Semantic FoundationsStephen Barrett, Daniel Sinnig, Patrice Chalin, Greg Butler. 182-189 [doi]
- Verifying Semistructured Data Normalization Using SWRLYuan-Fang Li, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee, Hai H. Wang. 193-200 [doi]
- Verifying Self-stabilizing Population Protocols with CoqYuxin Deng, Jean-François Monin. 201-208 [doi]
- The Logical Approach to Low-Level Stack ReasoningXinyu Jiang, Yu Guo, Yiyun Chen. 209-216 [doi]
- Constructing Program Invariants via Solving QBFShikun Chen, Zhoujun Li, Mengjun Li. 217-221 [doi]
- Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway CooperationMoritz Martens, Mila E. Majster-Cederbaum. 225-232 [doi]
- Formal Reasoning about Concurrent Assembly Code with Reentrant LocksMing Fu, Yu Zhang, Yong Li. 233-240 [doi]
- Algorithms for Computing Weak Bisimulation EquivalenceWeisong Li. 241-248 [doi]
- Interpreting a Successful Testing Process: Risk and Actual CoverageMariëlle Stoelinga, Mark Timmer. 251-258 [doi]
- Automated Test Case Generation Based on Coverage AnalysisTim A. Majchrzak, Herbert Kuchen. 259-266 [doi]
- Exploring Topological Structure of Boolean Expressions for Test Data SelectionLian Yu, Wei Zhao, Xiangdong Fan, Jun Zhu. 267-274 [doi]
- On Testing 1-Safe Petri NetsGuy-Vincent Jourdan, Gregor von Bochmann. 275-281 [doi]
- Verifying the Implementation of an Operating System SchedulerMoritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner. 285-286 [doi]
- A Tool for Estimating Memory UsageShengyi Wang, Zongyan Qiu. 287-288 [doi]
- A Framework for Dependency Evaluation of the Agent Oriented Methodologies Work FlowsTannaz Alinaghi, Camellia Ghoroghi, Ahmad Sabouri, Reza Basseda. 289-290 [doi]
- Spontaneous Detection of Infinite Loops and Livelocks in Dynamic Testing of Concurrent ProgramsChe-Sheng Lin, Gwan-Hwan Hwang. 291-292 [doi]
- Specifying and Verifying PLC Systems with TLA+Hehua Zhang, Stephan Merz, Ming Gu. 293-294 [doi]
- Domain Hierarchies: A Basic Theoretical Framework for Integrating Software DomainsPierre Kelsen, Qin Ma 0002. 295-296 [doi]
- Improve Semantic Web Services Discovery through Similarity Search in Metric SpaceMinghui Wu, Fanwei Zhu, Jia Lv, Tao Jiang, Jing Ying. 297-298 [doi]
- Parameterized Bisimulation Infinite Evolution MechanismYanfang Ma, Min Zhang, Yixiang Chen. 299-300 [doi]
- Modeling MapReduce with CSPWen Su, Fan Yang, Huibiao Zhu, Qin Li. 301-302 [doi]
- Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with RehearsalTetsuya Mizutani, Tatsuo Suzuki, Masayuki Shio, Yasuwo Ikeda. 303-304 [doi]
- Towards Automated Software Verification Using Model Checking TechniquesS. Asadollahi, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani. 305-306 [doi]
- Data Structure Shape Inference and Verification for OO ProgramsRhys Owen, Hugh Anderson. 307-308 [doi]
- DUMS: A Dynamical Updatable Monitoring System for Desktop PCs Used for Distributed ComputingJinwei Wang, Huazhi Sun, Jianping Fan. 309-310 [doi]
- Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled CalculusTetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio. 311-312 [doi]
- Representing Aspects in DesignSaqib Iqbal, Gary Allen. 313-314 [doi]
- G-BLAST: BLAST Manager in an Heterogeneous Distributed EnvironmentDong Wook Kim, Tae-Sung Jung, Dae Won Kim, Seong-Hyeuk Nam, Hyuk-Ryul Kwon, Sang-Haeng Choi, Hyung-Dae Koh, Han-Suk Choi, Hong-Seog Park. 315-316 [doi]
- Probabilistic Coordination Language for Component Dynamic CompositionDehui Du, Ling Yin. 317-318 [doi]
- Modeling Fault Tolerant Services in Service-Oriented ArchitectureFarzaneh Mahdian, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani. 319-320 [doi]
- Heap Memory Requirements Analysis via Separation LogicGuanhua He, Chenguang Luo. 321-322 [doi]
- Automated Verification Using Unified Control FlowsCristian Gherghina, Cristina David. 323-324 [doi]
- MARS: Metamodel Recovery from Multi-tiered Models Using Grammar InferenceQichao Liu, Faizan Javed, Marjan Mernik, Barrett R. Bryant, Jeffrey G. Gray, Alan P. Sprague, Dejan Hrncic. 325-326 [doi]
- Formal Approaches to Deadlock Analysis in Competitions of Shared Web ResourcesJieqi Ding, Han Zhu, Huibiao Zhu, Qin Li. 327-328 [doi]
- Measuring the Survivability of Object-Oriented SoftwareJueliang Hu, Zuohua Ding, Jing Liu, Ling Yin. 329-330 [doi]