| 2011 | Analyzing and Forecasting Near-Miss Clones in Evolving Software: An Empirical Study. | Minhaz F. Zibran, Ripon K. Saha, Muhammad Asaduzzaman, Chanchal K. Roy |
| 2011 | A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams. | Tewfik Ziadi, Marcos Aurlio Almeida da Silva, Lom-Messan Hillah, Mikal Ziane |
| 2011 | Formal Model of Interrupt Program from a Probabilistic Perspective. | Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu |
| 2011 | Verification of MARTE/CCSL Time Requirements in Promela/SPIN. | Ling Yin, Frdric Mallet, Jing Liu |
| 2011 | Two Formal Semantics of a Subset of the AADL. | Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin |
| 2011 | Preface. | |
| 2011 | Timed Circus: Timed CSP with the Miracle. | Kun Wei, Jim Woodcock, Alan Burns |
| 2011 | LIPS: A Protocol Suite for Homeostatic Sensornet Management. | Jonathan Tate, Iain Bate |
| 2011 | Computational Social Network Management in Crowdsourcing Environments. | Florian Skopik, Daniel Schall, Schahram Dustdar |
| 2011 | Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. | Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige |
| 2011 | Modeling and Verification of Memory Architectures with AADL and REAL. | Stphane Rubini, Frank Singhoff, Jrme Hugues |
| 2011 | A Novel Approach Based on Gestalt Psychology for Abstracting the Content of Large Execution Traces for Program Comprehension. | Heidar Pirzadeh, Abdelwahab Hamou-Lhadj |
| 2011 | An Efficient Modeling and Execution Framework for Complex Systems Development. | Isabelle Perseil, Laurent Pautet, Jean-Franois Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frdric Mallet, Dominique Bertrand, Sbastien Faucou, Abdelhafid Zitouni, Mahmoud Boufada, Lionel Seinturier, Jol Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sbastien Grard |
| 2011 | Tailoring Process Synthesis to Domain Characteristics. | Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen |
| 2011 | Parallelism Viewpoint: A Viewpoint to Model Parallelism in Parallelism-Intensive Software Systems. | Naeem Muhammad, Nelis Bouck, Yolande Berbers |
| 2011 | Towards a MDE Transformation Workflow for Dependability Analysis. | Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli |
| 2011 | A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification. | Abderrahman Matoussi, Frdric Gervais, Rgine Laleau |
| 2011 | Memory Positioning of Real-Time Code for Smaller Worst-Case Execution Times. | Amine Marref, Adam Betts |
| 2011 | Required Behavior of Sequence Diagrams: Semantics and Refinement. | Lunjin Lu, Dae-Kyoo Kim |
| 2011 | Towards Succinctness in Mining Scenario-Based Specifications. | David Lo, Shahar Maoz |
| 2011 | Modelling and Analysing Standard Use within System of Systems. | Russell Lock |
| 2011 | An Implementation of the Behavior Annex in the AADL-Toolset Osate2. | Gilles Lasnier, Laurent Pautet, Jrme Hugues, Lutz Wrage |
| 2011 | Integrating AADL-Based Tool Chain into Existing Industrial Processes. | Alexey V. Khoroshilov, Igor Koverninskiy, Alexander K. Petrenko, Alexander Ugnenko |
| 2011 | Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. | Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham |
| 2011 | Modeling and Coordinating Social Interactions in Pervasive Environments. | Muhammad Ashad Kabir, Jun Han, Alan W. Colman |