| 2012 | A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2. | Marie-Agns Peraldi-Frati, Arda Goknil, Julien DeAntoni, Johan Nordlander |
| 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 | 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 | A Deep Investigation for QoS-based Feedback at Design Time and Runtime. | Raffaela Mirandola, Catia Trubiani |
| 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 | Formal Analysis of Pervasive Computing Systems. | Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun, Jit Biswas, Mounir Mokhtari |
| 2012 | Spatio-temporal UML Statechart for Cyber-Physical Systems. | Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding |
| 2012 | Translating PDDL into CSP# - The PAT Approach. | Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun |
| 2012 | P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles. | Ikbel Krichen, Imen Loulou, Hedi Dhouib, Ahmed Hadj Kacem |
| 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 | Dhara: A Service Abstraction-Based OS Kernel Design Model. | Dharanipragada Janakiram, Hemang Mehta, S. J. Balaji |
| 2012 | Performance Analysis of Data Gathering Protocol Using PRISM. | Kang He, Hongli Yang, Yachao Feng, Yuan Liu, Zongyan Qiu |
| 2012 | Non-intrusive Repair of Reactive Programs. | David Harel, Guy Katz, Assaf Marron, Gera Weiss |
| 2012 | A Control Theoretic Approach for Workflow Management. | Hashem Ali Ghazzawi, Iain Bate, Leandro Soares Indrusiak |
| 2012 | A Design by Contract Approach to Verify Access Control Policies. | Hakim Ferrier-Belhaouari, Pierre Konopacki, Rgine Laleau, Marc Frappier |
| 2012 | ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT. | Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Paul Pettersson |
| 2012 | A Case Study in Formal System Engineering with SysML. | Iulia Dragomir, Iulian Ober, David Lesens |
| 2012 | Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal. | Ewen Denney, Ganesh Pai, Josef Pohl |
| 2012 | Bridging the Gap between User Requirements and Configuration Requirements. | Pietro Colombo, Pejman Salehi, Ferhat Khendek, Maria Toeroe |
| 2012 | An Interaction-Driven Approach to Identifying Functional Behaviors of Service Robot Systems. | Youngdo Cho, Hwangwook Kim, Dae-Kyoo Kim, Sooyong Park |
| 2012 | Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models. | Fabien Cadoret, Etienne Borde, Sbastien Gardoll, Laurent Pautet |
| 2012 | Self-Explanation in Adaptive Systems. | Nelly Bencomo, Kristopher Welsh, Pete Sawyer, Jon Whittle |
| 2012 | Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. | tienne Andr, Yang Liu, Jun Sun, Jin Song Dong |
| 2012 | SMURF: Supporting Multi-tenancy Using Re-aspects Framework. | Mohamed Almorsy, John C. Grundy, Amani S. Ibrahim |
| 2012 | Control System with High Robust Stability Characteristics Based on Catastrophe Function. | Gulnara Abitova, Vladimir Nikulin, Victor A. Skormin, Mamirbek Beisenbi, Aliya Ainagulova |