| 2011 | 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011 Isabelle Perseil, Karin K. Breitman, Roy Sterritt |
| 2011 | A Component-Oriented Metamodel for the Modernization of Software Applications. Luciano Baresi, Matteo Miraz |
| 2011 | A Formal Approach to Model Composition Applied to VUML. Adil Anwar, Taoufiq Dkaki, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar |
| 2011 | A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams. Tewfik Ziadi, Marcos Aurélio Almeida da Silva, Lom-Messan Hillah, Mikal Ziane |
| 2011 | A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification. Abderrahman Matoussi, Frédéric Gervais, Régine Laleau |
| 2011 | A Model-Driven Framework for the Development of Portable Real-Time Embedded Systems. Wassim El Hajj Chehade, Ansgar Radermacher, François Terrier, Bran Selic, Sébastien Gérard |
| 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 | A Software Requirements Specification Framework for Objective Pattern Recognition: A Set-Theoretic Classification Approach. Arbi Ghazarian, Mehdi Sagheb-Tehrani, Arin Ghazarian |
| 2011 | A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex. Myron Hecht, Alexander Lam, Chris Vogl |
| 2011 | ABV - A Verifier for the Architecture Analysis and Design Language (AADL). Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson |
| 2011 | An Efficient Modeling and Execution Framework for Complex Systems Development. Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frédéric Mallet, Dominique Bertrand, Sébastien Faucou, Abdelhafid Zitouni, Mahmoud Boufaïda, Lionel Seinturier, Joël Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sébastien Gérard |
| 2011 | An Implementation of the Behavior Annex in the AADL-Toolset Osate2. Gilles Lasnier, Laurent Pautet, Jérôme Hugues, Lutz Wrage |
| 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 | Computational Social Network Management in Crowdsourcing Environments. Florian Skopik, Daniel Schall, Schahram Dustdar |
| 2011 | Formal Model of Interrupt Program from a Probabilistic Perspective. Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu |
| 2011 | Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham |
| 2011 | Integrating AADL-Based Tool Chain into Existing Industrial Processes. Alexey V. Khoroshilov, Igor Koverninskiy, Alexander K. Petrenko, Alexander Ugnenko |
| 2011 | LIPS: A Protocol Suite for Homeostatic Sensornet Management. Jonathan Tate, Iain Bate |
| 2011 | Leveraging Service-Orientation for Combining Code Generation Frameworks. Sven Jörges, Bernhard Steffen |
| 2011 | Memory Positioning of Real-Time Code for Smaller Worst-Case Execution Times. Amine Marref, Adam Betts |
| 2011 | Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications. Sylvain Hallé |
| 2011 | Modeling Variability from Requirements to Runtime. Mathieu Acher, Philippe Collet, Philippe Lahire, Sabine Moisan, Jean-Paul Rigault |
| 2011 | Modeling and Coordinating Social Interactions in Pervasive Environments. Muhammad Ashad Kabir, Jun Han, Alan W. Colman |
| 2011 | Modeling and Verification of Memory Architectures with AADL and REAL. Stéphane Rubini, Frank Singhoff, Jérôme Hugues |
| 2011 | Modelling and Analysing Standard Use within System of Systems. Russell Lock |
| 2011 | On the Impact of Kanban on Software Project Work: An Empirical Case Study Investigation. Marko Ikonen, Elena Pirinen, Fabian Fagerholm, Petri Kettunen, Pekka Abrahamsson |
| 2011 | Parallelism Viewpoint: A Viewpoint to Model Parallelism in Parallelism-Intensive Software Systems. Naeem Muhammad, Nelis Boucké, Yolande Berbers |
| 2011 | Preface. |
| 2011 | Required Behavior of Sequence Diagrams: Semantics and Refinement. Lunjin Lu, Dae-Kyoo Kim |
| 2011 | Requirements Exchange: From Specification Documents to Models. Morayo Adedjouma, Hubert Dubois, François Terrier |
| 2011 | Tailoring Process Synthesis to Domain Characteristics. Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen |
| 2011 | Temporal Abstract Domains. Julien Bertrane |
| 2011 | Tighter Schedulability Analysis of Synchronization Protocols Based on Overrun without Payback for Hierarchical Scheduling Frameworks. Moris Behnam, Thomas Nolte, Reinder J. Bril |
| 2011 | Timed Circus: Timed CSP with the Miracle. Kun Wei, Jim Woodcock, Alan Burns |
| 2011 | Towards Succinctness in Mining Scenario-Based Specifications. David Lo, Shahar Maoz |
| 2011 | Towards a MDE Transformation Workflow for Dependability Analysis. Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli |
| 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 | 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 | Verification of MARTE/CCSL Time Requirements in Promela/SPIN. Ling Yin, Frédéric Mallet, Jing Liu |
| 2011 | WCET Analysis of Component-Based Systems Using Timing Traces. Adam Betts, Amine Marref |