Table of Contents

• Preface [doi]
• Temporal Abstract DomainsJulien Bertrane. 3-12 [doi]
• WCET Analysis of Component-Based Systems Using Timing TracesAdam Betts, Amine Marref. 13-22 [doi]
• Memory Positioning of Real-Time Code for Smaller Worst-Case Execution TimesAmine Marref, Adam Betts. 23-32 [doi]
• Tighter Schedulability Analysis of Synchronization Protocols Based on Overrun without Payback for Hierarchical Scheduling FrameworksMoris Behnam, Thomas Nolte, Reinder J. Bril. 35-44 [doi]
• A Model-Driven Framework for the Development of Portable Real-Time Embedded SystemsW. El Hajj Chehade, Ansgar Radermacher, François Terrier, Bran Selic, Sébastien Gérard. 45-54 [doi]
• Timed Circus: Timed CSP with the MiracleKun Wei, Jim Woodcock, Alan Burns. 55-64 [doi]
• Verification of MARTE/CCSL Time Requirements in Promela/SPINLing Yin, Frédéric Mallet, Jing Liu. 65-74 [doi]
• Modeling Variability from Requirements to RuntimeMathieu Acher, Philippe Collet, Philippe Lahire, Sabine Moisan, Jean-Paul Rigault. 77-86 [doi]
• Formal Model of Interrupt Program from a Probabilistic PerspectiveYongxin Zhao, Yanhong Huang, Jifeng He, Si Liu. 87-94 [doi]
• Model-Based Simulation of SOAP Web Services from Temporal Logic SpecificationsSylvain Hallé. 95-104 [doi]
• A Fully Dynamic Approach to the Reverse Engineering of UML Sequence DiagramsTewfik Ziadi, Marcos Aurélio Almeida da Silva, Lom-Messan Hillah, Mikal Ziane. 107-116 [doi]
• Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML ModelsOsmar Marchi dos Santos, Jim Woodcock, Richard F. Paige. 117-126 [doi]
• Required Behavior of Sequence Diagrams: Semantics and RefinementLunjin Lu, Dae-Kyoo Kim. 127-136 [doi]
• A Goal-Based Approach to Guide the Design of an Abstract Event-B SpecificationAbderrahman Matoussi, Frédéric Gervais, Régine Laleau. 139-148 [doi]
• Modelling and Analysing Standard Use within System of SystemsRussell Lock. 149-156 [doi]
• Towards a MDE Transformation Workflow for Dependability AnalysisLeonardo Montecchi, Paolo Lollini, Andrea Bondavalli. 157-166 [doi]
• Tailoring Process Synthesis to Domain CharacteristicsStefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen. 167-175 [doi]
• A Component-Oriented Metamodel for the Modernization of Software ApplicationsLuciano Baresi, Matteo Miraz. 179-187 [doi]
• A Formal Approach to Model Composition Applied to VUMLAdil Anwar, Taoufiq Dkaki, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar. 188-197 [doi]
• Leveraging Service-Orientation for Combining Code Generation FrameworksSven Jörges, Bernhard Steffen. 198-207 [doi]
• A Software Requirements Specification Framework for Objective Pattern Recognition: A Set-Theoretic Classification ApproachArbi Ghazarian, Mehdi Sagheb-Tehrani, Arin Ghazarian. 211-220 [doi]
• A Novel Approach Based on Gestalt Psychology for Abstracting the Content of Large Execution Traces for Program ComprehensionHeidar Pirzadeh, Abdelwahab Hamou-Lhadj. 221-230 [doi]
• Towards Succinctness in Mining Scenario-Based SpecificationsDavid Lo, Shahar Maoz. 231-240 [doi]
• Modeling and Coordinating Social Interactions in Pervasive EnvironmentsMuhammad Ashad Kabir, Jun Han, Alan W. Colman. 243-252 [doi]
• Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game TheoryFatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham. 253-262 [doi]
• LIPS: A Protocol Suite for Homeostatic Sensornet ManagementJonathan Tate, Iain Bate. 263-272 [doi]
• Computational Social Network Management in Crowdsourcing EnvironmentsFlorian Skopik, Daniel Schall, Schahram Dustdar. 273-282 [doi]
• Parallelism Viewpoint: A Viewpoint to Model Parallelism in Parallelism-Intensive Software SystemsNaeem Muhammad, Nelis Boucké, Yolande Berbers. 285-294 [doi]
• Analyzing and Forecasting Near-Miss Clones in Evolving Software: An Empirical StudyMinhaz F. Zibran, Ripon K. Saha, Muhammad Asaduzzaman, Chanchal K. Roy. 295-304 [doi]
• On the Impact of Kanban on Software Project Work: An Empirical Case Study InvestigationMarko Ikonen, Elena Pirinen, Fabian Fagerholm, Petri Kettunen, Pekka Abrahamsson. 305-314 [doi]
• An Efficient Modeling and Execution Framework for Complex Systems DevelopmentIsabelle 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. 317-331 [doi]
• An Implementation of the Behavior Annex in the AADL-Toolset Osate2Gilles Lasnier, Laurent Pautet, Jérôme Hugues, Lutz Wrage. 332-337 [doi]
• Modeling and Verification of Memory Architectures with AADL and REALSéphane Rubini, Frank Singhoff, Jérôme Hugues. 338-343 [doi]
• Two Formal Semantics of a Subset of the AADLZhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin. 344-349 [doi]
• Requirements Exchange: From Specification Documents to ModelsMorayo Adedjouma, Hubert Dubois, François Terrier. 350-354 [doi]
• ABV - A Verifier for the Architecture Analysis and Design Language (AADL)Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson. 355-360 [doi]
• A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model AnnexMyron Hecht, Alexander Lam, Chris Vogl. 361-366 [doi]
• Integrating AADL-Based Tool Chain into Existing Industrial ProcessesAlexey V. Khoroshilov, Igor Koverninskiy, Alexandre Petrenko, Alexander Ugnenko. 367-371 [doi]