Conferences in DBLP
Welcome from the Program Chairs. [Citation Graph (0, 0)][DBLP ] Conf ] Message from the General Chairs. [Citation Graph (0, 0)][DBLP ] Conf ] Organizing Committee. [Citation Graph (0, 0)][DBLP ] Conf ] Additional Reviewers. [Citation Graph (0, 0)][DBLP ] Conf ] J. S. Dong , D. Dan Software Engineering Approaches to Semantic Web. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Nesi Multimedia Content Distribution and Protection. [Citation Graph (0, 0)][DBLP ] Conf ] Luciano Baresi , Sam Guinea An Introduction to Self-Healing Web Services. [Citation Graph (0, 0)][DBLP ] Conf ] Yuting Chen , Shaoying Liu , Fumiko Nagoya A Framework for SOFL-Based Program Review. [Citation Graph (0, 0)][DBLP ] Conf ] Jianping Yao An Introduction to Three Perspectives on Formal Specification Review. [Citation Graph (0, 0)][DBLP ] Conf ] Fumiko Nagoya , Shaoying Liu , Yuting Chen Design of a Tool for Specification-Based Program Review. [Citation Graph (0, 0)][DBLP ] Conf ] Xiang Xue A Formal Specification Constructing Tool for SOFL. [Citation Graph (0, 0)][DBLP ] Conf ] Yao Shen , Haopeng Chen Extending SOFL Features for AOP Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Haopeng Chen , Yao Shen , Jian-wei Jiang Extended SOFL Features for the Modeling of Middleware-Based Transaction Management. [Citation Graph (0, 0)][DBLP ] Conf ] Cesar Gonzalez-Perez Tools for an Extended Object Modelling Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Kong , Kang Zhang , Jing Dong Grammar-Specified Model-Driven Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Jing Liu , Huaikou Miao A Strategy for Component-Based Modeling and Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Bézivin , Frédéric Jouault , David Touzet Principles, Standards and Tools for Model Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Dae-Kyoo Kim Evaluating Conformance of UML Models to Design Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Yali Zhu Modeling Diverse and Complex Interactions Enabled by Middleware as Connectors in Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Huiqun Yu , Dongmei Liu , Xudong He , Li Yang , Shu Gao Secure Software Architectures Design by Aspect Orientation. [Citation Graph (0, 0)][DBLP ] Conf ] Yali Zhu , Gang Huang , Hong Mei Modeling Architecture Based Development in UML. [Citation Graph (0, 0)][DBLP ] Conf ] Guido Menkhaus , Urs Frei , Jorg Wuthrich Analysis and Verification of the Interaction Model in Software Design. [Citation Graph (0, 0)][DBLP ] Conf ] Rafael Ramirez , Andrew E. Santosa Formal Verification of Concurrent and Distributed Constraint-Based Java Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Oystein Hallaraker , Giovanni Vigna Detecting Malicious JavaScript Code in Mozilla. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Sun , Jin Song Dong Extracting FSMs from Object-Z Specifications with History Invariants. [Citation Graph (0, 0)][DBLP ] Conf ] Peiyi Tang Formal Methods to Generate Parallel Iterative Codes for PDE-Based Applications. [Citation Graph (0, 0)][DBLP ] Conf ] James L. Rash , Michael G. Hinchey , Christopher Rouff , Denis Gracanin Formal Requirements-Based Programming for Complex Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Lei Wang , Zhiping P. Chen , Xinhua H. Jiang Ringed Petersen Spheres Connected Hypercube Interconnection Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Wen Chen , Feiyu Lei , Weinong Wang A General Model for Non-Markovian Stochastic Decision Discrete-Event Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yingzhou Zhang , Baowen Xu A Slice Monad Transformer and Its Applications in Program Slicing. [Citation Graph (0, 0)][DBLP ] Conf ] Yajuan Pan , Dai Pan , Mei-Hwa Chen Slicing Component-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Piotr Tomaszewski , Lars Lundberg , Jim Håkansson , Daniel Häggander A Cost-Efficient Server Architecture for Real-Time Credit-Control. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Li , Fumin Yang , Yansheng Lu A Feasible Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Anton Wijs , Wan Fokkink From chi-t to µCRL: Combining Performance and Functional Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Siv Hilde Houmb , Geri Georg , Robert B. France , James M. Bieman , Jan Jürjens Cost-Benefit Trade-Off Analysis Using BBN for Aspect-Oriented Risk-Driven Development. [Citation Graph (0, 0)][DBLP ] Conf ] Pierfrancesco Bellini , Ivan Bruno , Paolo Nesi , Davide Rogai Comparing Fault-Proneness Estimation Models. [Citation Graph (0, 0)][DBLP ] Conf ] Gansen Zhao , David W. Chadwick Evolving Messaging Systems for Secure Role Based Messaging. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Jürjens , Markus Lehrhuber , Guido Wimmel Model-Based Design and Analysis of Permission-Based Security. [Citation Graph (0, 0)][DBLP ] Conf ] Viktoria Felmetsger , Giovanni Vigna Exploiting OS-Level Mechanisms to Implement Mobile Code Security. [Citation Graph (0, 0)][DBLP ] Conf ] Gaoliang Peng , Wenjian Liu , Xutang Zhang An Internet-Based System for Setup Planning in Machining Operations. [Citation Graph (0, 0)][DBLP ] Conf ] Juan Miguel Gómez , Giner Alor-Hernández , José Oscar Olmedo-Aguirre , Christoph Bussler A B2B Conversational Architecture for Semantic Web Services Based on BPIMS-WS. [Citation Graph (0, 0)][DBLP ] Conf ] Tetsuo Tamai Conquering the Eight-Tailed Dragon - An Attempt to Deal with Structural and Behavioral Complexities. [Citation Graph (0, 0)][DBLP ] Conf ] Ching-Cheng Lee , Sudeshna Ghosh A Component-Based Approach for JavaCard Runtime System Development. [Citation Graph (0, 0)][DBLP ] Conf ] Minghui Zhou , Wenpin Jiao , Hong Mei Customizable Framework for Managing Trusted Components Deployed on Middleware. [Citation Graph (0, 0)][DBLP ] Conf ] Leonardo Mariani , Mauro Pezzè Behavior Capture and Test: Automated Analysis of Component Integration. [Citation Graph (0, 0)][DBLP ] Conf ] Jing Sun , Hongyu Zhang , Yuan-Fang Li , Hai H. Wang Formal Semantics and Verification for Feature Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Maty Sylla , Frank A. Stomp , Willem P. de Roever Verifying Parameterized Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Li Yang , Raimund K. Ege , Huiqun Yu Mediation Systems Modeling and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Zhihong Huo , Huajing Fang Robust H-infinity Filter Design for Networked Control System with Random Time Delays. [Citation Graph (0, 0)][DBLP ] Conf ] Li Wang , Zeng-zhi Li , Yanping Chen , Ke Xue Fluid-Based Stability Analysis of Mixed TCP and UDP Traffic under RED. [Citation Graph (0, 0)][DBLP ] Conf ] Deqing Zou , Weizhong Qiang , Xuanhua Shi A Formal General Framework and Service Access Model for Service Grid. [Citation Graph (0, 0)][DBLP ] Conf ] Baolin Sun , Hua Chen , Layuan Li An Intrusion Detection System for AODV. [Citation Graph (0, 0)][DBLP ] Conf ] Zhiming Zhao , G. Dick van Albada , Peter M. A. Sloot Rapid Prototyping of Complex Interactive Simulation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Zhi-gang Liao , Zeng-zhi Li , Yan Chen , Tao Zhan A Study of Secure Communications between Mobile Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Mohammad Zib Beiroumi , Villy Bæk Iversen Recovery Method Based on Communicating Extended Finite State Machine (CEFSM) for Mobile Communications. [Citation Graph (0, 0)][DBLP ] Conf ] Zhigang Zhao , Changqing Gong , Guangxing Wang Identification of Faulty Links in LEO/MEO Satellite Communication Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Xuefeng Zhu , Zhi Jin Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaoshan Li , Zhiming Liu , Jifeng He Consistency Checking of UML Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Wuwei Shen , Weng Liong Low Using the Metamodel Mechanism to Support Class Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Cheng-Ying Mao , Yan-Sheng Lu Improving the Robustness and Reliability of Object-Oriented Programs through Exception Analysis and Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Xin Wang , Zhi-Chang Qi , Shuhao Li An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Hui Liang Regression Testing of Classes Based on TCOZ Specification. [Citation Graph (0, 0)][DBLP ] Conf ] P. Mattias Weckstén , Magnus Jonsson , Jonas Vasell Derivation of Implementation Constraints - Implementation Simulation and Treatment of Multiple Design Choices. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Lau , Rudolph E. Seviora Design Patterns for Software Health Monitoring. [Citation Graph (0, 0)][DBLP ] Conf ] Wenpin Jiao , Hong Mei Dynamic Architectural Connectors in Cooperative Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] J. S. Dong , R. Duke , P. Hao Integrating Object-Z with Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Ling Liu , Huaikou Miao Mutation Operators for Object-Z Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Colvin , Lindsay Groves Formal Verification of an Array-Based Nonblocking Queue. [Citation Graph (0, 0)][DBLP ] Conf ] Trung T. Dinh-Trong , Nilesh Kawane , Sudipto Ghosh , Robert B. France , Anneliese Amschler Andrews A Tool-Supported Approach to Testing UML Design Models. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Sun , Jin Song Dong Model Checking Live Sequence Charts. [Citation Graph (0, 0)][DBLP ] Conf ] W. Eric Wong , Yu Lei , Xiao Ma Effective Generation of Test Sequences for Structural Testing of Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Frans Mårtensson , Håkan Grahn , Michael Mattsson Evaluating Software Quality Attributes of Communication Components in an Automated Guided Vehicle System. [Citation Graph (0, 0)][DBLP ] Conf ] Abdelwahab Hamou-Lhadj , Timothy C. Lethbridge Measuring Various Properties of Execution Traces to Help Build Better Trace Analysis Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Mauro Pezzè , Davide Tosi , Gian Pietro Picco Scavenging Complex Genomic Information Using Mobile Code: An Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Jianmin Jiang , Jinzhao Wu The Preservation of Interleaving Equivalences. [Citation Graph (0, 0)][DBLP ] Conf ] Mahadevan Subramaniam Preserving Consistency of Runtime Monitors across Protocol Changes. [Citation Graph (0, 0)][DBLP ] Conf ] Lei Wu , Houari A. Sahraoui , Petko Valtchev Coping with Legacy System Migration Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] 