Abstract is missing.
- Message from Program Co-chairsIsabelle Perseil, Marc Pouzet, Karin Breitman. [doi]
- Non-intrusive Repair of Reactive ProgramsDavid Harel, Guy Katz, Assaf Marron, Gera Weiss. 3-12 [doi]
- Bridging the Gap between User Requirements and Configuration RequirementsPietro Colombo, Pejman Salehi, Ferhat Khendek, Maria Toeroe. 13-22 [doi]
- An Experimental Study on Collaborative Filtering for Requirements EngineeringFabio Roda. 23-28 [doi]
- Analysis of Use Case Requirements Using SFTA and SFMEA TechniquesSaurabh Tiwari, Santosh Singh Rathore, Sudhanshu Gupta, Gogate Vaibhav Vinayak, Atul Gupta. 29-38 [doi]
- Control Systems: Phenomena and Structuring Functional Requirement DocumentsSanaz Yeganefard, Michael Butler. 39-48 [doi]
- Improving Hardware Reuse through XML-based Interface EncapsulationMiguel Angel Sánchez, Marisa López-Vallejo, Carlos Angel Iglesias, Carlos A. López-Barrio. 49-56 [doi]
- Models and Methodology for Automated Business Continuity AnalysisUlrich Winkler, Wasif Gilani, Alex Guitman, Alan Marshall. 57-64 [doi]
- Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems ModelsFabien Cadoret, Etienne Borde, Sébastien Gardoll, Laurent Pautet. 67-76 [doi]
- Merging UML2 Composite Structures of Software Product LinesTakoua Ben Rhouma, Patrick Tessier, François Terrier. 77-85 [doi]
- Systematic Scenario-Based Analysis of UML Design Class ModelsLijun Yu, Robert B. France, Indrakshi Ray, Wuliang Sun. 86-95 [doi]
- Performance Analysis of Data Gathering Protocol Using PRISMKang He, Hongli Yang, Yachao Feng, Yuan Liu, Zongyan Qiu. 96-105 [doi]
- An Interaction-Driven Approach to Identifying Functional Behaviors of Service Robot SystemsYoungdo Cho, Hwangwook Kim, Dae-Kyoo Kim, Sooyong Park. 109-118 [doi]
- Adaptive Majority-Based Re-routing for Differentiated Reliability in Wireless Sensor NetworksAli Naderi, Sayyed Majid Mazinani, Amin Zadeh Shirazi, Masood Setoodefar, Mahya Faghihnia. 119-124 [doi]
- Dhara: A Service Abstraction-Based OS Kernel Design ModelDharanipragada Janakiram, Hemang Mehta, S. J. Balaji. 127-136 [doi]
- Spatio-temporal UML Statechart for Cyber-Physical SystemsZiwei Liu, Jing Liu, Jifeng He, Zuohua Ding. 137-146 [doi]
- A Deep Investigation for QoS-based Feedback at Design Time and RuntimeRaffaela Mirandola, Catia Trubiani. 147-156 [doi]
- Self-Explanation in Adaptive SystemsNelly Bencomo, Kristopher Welsh, Pete Sawyer, Jon Whittle. 157-166 [doi]
- Formal Analysis of Pervasive Computing SystemsYan Liu 0012, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun 0001, Jit Biswas, Mounir Mokhtari. 169-178 [doi]
- P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural StylesIkbel Krichen, Imen Loulou, Hedi Dhouib, Ahmed Hadj Kacem. 179-188 [doi]
- A Case Study in Formal System Engineering with SysMLIulia Dragomir, Iulian Ober, David Lesens. 189-198 [doi]
- Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formalEwen Denney, Ganesh Pai, Josef Pohl. 199-208 [doi]
- xBIL - A Hardware Resource Oriented Binary Intermediate LanguageJianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye. 211-219 [doi]
- Efficient Algorithms for T-way Test Sequence GenerationLinbin Yu, Yu Lei, Raghu Kacker, D. Richard Kuhn, James Lawrence. 220-229 [doi]
- A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2Marie-Agnès Peraldi-Frati, Arda Goknil, Julien DeAntoni, Johan Nordlander. 230-239 [doi]
- Translating PDDL into CSP# - The PAT ApproachYi Li, Jing Sun 0002, Jin Song Dong, Yang Liu 0003, Jun Sun 0001. 240-249 [doi]
- Parameter Synthesis for Hierarchical Concurrent Real-Time SystemsÉtienne André, Yang Liu, Jun Sun 0001, Jin Song Dong. 253-262 [doi]
- A Design by Contract Approach to Verify Access Control PoliciesHakim Ferrier-Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier. 263-272 [doi]
- Control System with High Robust Stability Characteristics Based on Catastrophe FunctionGulnara Abitova, Vladimir Nikulin, Victor A. Skormin, Mamirbek Beisenbi, Aliya Ainagulova. 273-279 [doi]
- A Control Theoretic Approach for Workflow ManagementHashem Ali Ghazzawi, Iain Bate, Leandro Soares Indrusiak. 280-289 [doi]
- ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating SystemJianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang. 293-301 [doi]
- An Energy-Efficient Real-Time Routing Protocol for Differentiated Data in Wireless Sensor NetworksSayyed Majid Mazinani, Ali Naderi, Masood Setoodefar, Amin Zadeh Shirazi. 302-307 [doi]
- Self-Calibration: Enabling Self-Management in Autonomous Systems by Preserving Model FidelityFahad Javed, Malik Tahir Hassan, Khurum Nazir Junejo, Naveed Arshad, Asim Karim. 308-317 [doi]
- VPDSL: A DSL for Software in the Loop Simulations Covering Material FlowIstvan Nagy, Loek G. Cleophas, Mark van den Brand, Luc Engelen, Liviu Raulea, Ernest Xavier Lobo Mithun. 318-327 [doi]
- ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORTEduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Paul Pettersson. 328-337 [doi]
- Reasoning About Adaptivity of Agents and Multi-agent SystemsGraeme Smith, Jeffrey W. Sanders, Kirsten Winter. 341-350 [doi]
- Extending and Evaluating Agent-Based Models of Algorithmic Trading StrategiesNatalia Ponomareva, Anisoara Calinescu. 351-360 [doi]
- SMURF: Supporting Multi-tenancy Using Re-aspects FrameworkMohamed Almorsy, John C. Grundy, Amani S. Ibrahim. 361-370 [doi]