| 2012 | 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012 Isabelle Perseil, Karin K. Breitman, Marc Pouzet |
| 2012 | A Case Study in Formal System Engineering with SysML. Iulia Dragomir, Iulian Ober, David Lesens |
| 2012 | A Control Theoretic Approach for Workflow Management. Hashem Ali Ghazzawi, Iain Bate, Leandro Soares Indrusiak |
| 2012 | A Deep Investigation for QoS-based Feedback at Design Time and Runtime. Raffaela Mirandola, Catia Trubiani |
| 2012 | A Design by Contract Approach to Verify Access Control Policies. Hakim Ferrier-Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier |
| 2012 | A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2. Marie-Agnès Peraldi-Frati, Arda Goknil, Julien Deantoni, Johan Nordlander |
| 2012 | Adaptive Majority-Based Re-routing for Differentiated Reliability in Wireless Sensor Networks. Ali Naderi, Sayyed Majid Mazinani, Amin Zadeh Shirazi, Masood Setoodefar, Mahya Faghihnia |
| 2012 | An Energy-Efficient Real-Time Routing Protocol for Differentiated Data in Wireless Sensor Networks. Sayyed Majid Mazinani, Ali Naderi, Masood Setoodefar, Amin Zadeh Shirazi |
| 2012 | An Experimental Study on Collaborative Filtering for Requirements Engineering. Fabio Roda |
| 2012 | An Interaction-Driven Approach to Identifying Functional Behaviors of Service Robot Systems. Youngdo Cho, Hwangwook Kim, Dae-Kyoo Kim, Sooyong Park |
| 2012 | Analysis of Use Case Requirements Using SFTA and SFMEA Techniques. Saurabh Tiwari, Santosh Singh Rathore, Sudhanshu Gupta, Gogate Vaibhav Vinayak, Atul Gupta |
| 2012 | Bridging the Gap between User Requirements and Configuration Requirements. Pietro Colombo, Pejman Salehi, Ferhat Khendek, Maria Toeroe |
| 2012 | Control System with High Robust Stability Characteristics Based on Catastrophe Function. Gulnara Abitova, Vladimir Nikulin, Victor A. Skormin, Mamirbek Beisenbi, Aliya Ainagulova |
| 2012 | Control Systems: Phenomena and Structuring Functional Requirement Documents. Sanaz Yeganefard, Michael J. Butler |
| 2012 | Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models. Fabien Cadoret, Etienne Borde, Sébastien Gardoll, Laurent Pautet |
| 2012 | Dhara: A Service Abstraction-Based OS Kernel Design Model. Dharanipragada Janakiram, Hemang Mehta, S. J. Balaji |
| 2012 | Efficient Algorithms for T-way Test Sequence Generation. Linbin Yu, Yu Lei, Raghu Kacker, D. Richard Kuhn, James Lawrence |
| 2012 | Extending and Evaluating Agent-Based Models of Algorithmic Trading Strategies. Natalia Ponomareva, Anisoara Calinescu |
| 2012 | Formal Analysis of Pervasive Computing Systems. Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun, Jit Biswas, Mounir Mokhtari |
| 2012 | Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal. Ewen Denney, Ganesh Pai, Josef Pohl |
| 2012 | Improving Hardware Reuse through XML-based Interface Encapsulation. Miguel Angel Sánchez, Marisa López-Vallejo, Carlos Angel Iglesias, Carlos A. López-Barrio |
| 2012 | Merging UML2 Composite Structures of Software Product Lines. Takoua Ben Rhouma, Patrick Tessier, François Terrier |
| 2012 | Message from Program Co-chairs. Isabelle Perseil, Marc Pouzet, Karin K. Breitman |
| 2012 | Models and Methodology for Automated Business Continuity Analysis. Ulrich Winkler, Wasif Gilani, Alex Guitman, Alan Marshall |
| 2012 | Non-intrusive Repair of Reactive Programs. David Harel, Guy Katz, Assaf Marron, Gera Weiss |
| 2012 | ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang |
| 2012 | P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles. Ikbel Krichen, Imen Loulou, Hedi Dhouib, Ahmed Hadj Kacem |
| 2012 | Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. Étienne André, Yang Liu, Jun Sun, Jin Song Dong |
| 2012 | Performance Analysis of Data Gathering Protocol Using PRISM. Kang He, Hongli Yang, Yachao Feng, Yuan Liu, Zongyan Qiu |
| 2012 | Reasoning About Adaptivity of Agents and Multi-agent Systems. Graeme Smith, Jeffrey W. Sanders, Kirsten Winter |
| 2012 | SMURF: Supporting Multi-tenancy Using Re-aspects Framework. Mohamed Almorsy, John C. Grundy, Amani S. Ibrahim |
| 2012 | Self-Calibration: Enabling Self-Management in Autonomous Systems by Preserving Model Fidelity. Fahad Javed, Malik Tahir Hassan, Khurum Nazir Junejo, Naveed Arshad, Asim Karim |
| 2012 | Self-Explanation in Adaptive Systems. Nelly Bencomo, Kristopher Welsh, Pete Sawyer, Jon Whittle |
| 2012 | Spatio-temporal UML Statechart for Cyber-Physical Systems. Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding |
| 2012 | Systematic Scenario-Based Analysis of UML Design Class Models. Lijun Yu, Robert B. France, Indrakshi Ray, Wuliang Sun |
| 2012 | Translating PDDL into CSP# - The PAT Approach. Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun |
| 2012 | VPDSL: A DSL for Software in the Loop Simulations Covering Material Flow. Istvan Nagy, Loek G. Cleophas, Mark van den Brand, Luc Engelen, Liviu Raulea, Ernest Xavier Lobo Mithun |
| 2012 | ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT. Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Paul Pettersson |
| 2012 | xBIL - A Hardware Resource Oriented Binary Intermediate Language. Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye |