16. ICECCS 2011: Las Vegas, Nevada, USA

• Preface.
  

Real-Time Systems I

• Julien Bertrane:
  Temporal Abstract Domains. 3-12
  
• Adam Betts, Amine Marref:
  WCET Analysis of Component-Based Systems Using Timing Traces. 13-22
  
• Amine Marref, Adam Betts:
  Memory Positioning of Real-Time Code for Smaller Worst-Case Execution Times. 23-32
  

Real-Time Systems II

• Moris Behnam, Thomas Nolte, Reinder J. Bril:
  Tighter Schedulability Analysis of Synchronization Protocols Based on Overrun without Payback for Hierarchical Scheduling Frameworks. 35-44
  
• W. El Hajj Chehade, Ansgar Radermacher, François Terrier, Bran Selic, Sébastien Gérard:
  A Model-Driven Framework for the Development of Portable Real-Time Embedded Systems. 45-54
  
• Kun Wei, Jim Woodcock, Alan Burns:
  Timed Circus: Timed CSP with the Miracle. 55-64
  
• Ling Yin, Frédéric Mallet, Jing Liu:
  Verification of MARTE/CCSL Time Requirements in Promela/SPIN. 65-74
  

Real-Time Systems III

• Mathieu Acher, Philippe Collet, Philippe Lahire, Sabine Moisan, Jean-Paul Rigault:
  Modeling Variability from Requirements to Runtime. 77-86
  
• Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu:
  Formal Model of Interrupt Program from a Probabilistic Perspective. 87-94
  
• Sylvain Hallé:
  Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications. 95-104
  

Dynamic Modeling

• Tewfik Ziadi, Marcos Aurélio Almeida da Silva, Lom Messan Hillah, Mikal Ziane:
  A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams. 107-116
  
• Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige:
  Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. 117-126
  
• Lunjin Lu, Dae-Kyoo Kim:
  Required Behavior of Sequence Diagrams: Semantics and Refinement. 127-136
  

MDE I

• Abderrahman Matoussi, Frédéric Gervais, Régine Laleau:
  A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification. 139-148
  
• Russell Lock:
  Modelling and Analysing Standard Use within System of Systems. 149-156
  
• Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli:
  Towards a MDE Transformation Workflow for Dependability Analysis. 157-166
  
• Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen:
  Tailoring Process Synthesis to Domain Characteristics. 167-175
  

MDE II

• Luciano Baresi, Matteo Miraz:
  A Component-Oriented Metamodel for the Modernization of Software Applications. 179-187
  
• Adil Anwar, Taoufiq Dkaki, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar:
  A Formal Approach to Model Composition Applied to VUML. 188-197
  
• Sven Jörges, Bernhard Steffen:
  Leveraging Service-Orientation for Combining Code Generation Frameworks. 198-207
  

Intelligent Systems

• Arbi Ghazarian, Mehdi Sagheb-Tehrani, Arin Ghazarian:
  A Software Requirements Specification Framework for Objective Pattern Recognition: A Set-Theoretic Classification Approach. 211-220
  
• Heidar Pirzadeh, Abdelwahab Hamou-Lhadj:
  A Novel Approach Based on Gestalt Psychology for Abstracting the Content of Large Execution Traces for Program Comprehension. 221-230
  
• David Lo, Shahar Maoz:
  Towards Succinctness in Mining Scenario-Based Specifications. 231-240
  

Communication Systems

• Muhammad Ashad Kabir, Jun Han, Alan W. Colman:
  Modeling and Coordinating Social Interactions in Pervasive Environments. 243-252
  
• Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham:
  Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. 253-262
  
• Jonathan Tate, Iain Bate:
  LIPS: A Protocol Suite for Homeostatic Sensornet Management. 263-272
  
• Florian Skopik, Daniel Schall, Schahram Dustdar:
  Computational Social Network Management in Crowdsourcing Environments. 273-282
  

Parallelism-Intensive and Evolving Software Systems

• Naeem Muhammad, Nelis Boucké, Yolande Berbers:
  Parallelism Viewpoint: A Viewpoint to Model Parallelism in Parallelism-Intensive Software Systems. 285-294
  
• Minhaz F. Zibran, Ripon K. Saha, Muhammad Asaduzzaman, Chanchal K. Roy:
  Analyzing and Forecasting Near-Miss Clones in Evolving Software: An Empirical Study. 295-304
  
• Marko Ikonen, Elena Pirinen, Fabian Fagerholm, Petri Kettunen, Pekka Abrahamsson:
  On the Impact of Kanban on Software Project Work: An Empirical Case Study Investigation. 305-314
  

Sixth IEEE International Workshop on UML and AADL

• 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:
  An Efficient Modeling and Execution Framework for Complex Systems Development. 317-331
  
• Gilles Lasnier, Laurent Pautet, Jérôme Hugues, Lutz Wrage:
  An Implementation of the Behavior Annex in the AADL-Toolset Osate2. 332-337
  
• Stéphane Rubini, Frank Singhoff, Jérôme Hugues:
  Modeling and Verification of Memory Architectures with AADL and REAL. 338-343
  
• Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin:
  Two Formal Semantics of a Subset of the AADL. 344-349
  
• Morayo Adedjouma, Hubert Dubois, François Terrier:
  Requirements Exchange: From Specification Documents to Models. 350-354
  
• Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson:
  ABV - A Verifier for the Architecture Analysis and Design Language (AADL). 355-360
  
• Myron Hecht, Alexander Lam, Chris Vogl:
  A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex. 361-366
  
• Alexey V. Khoroshilov, Igor Koverninskiy, Alexandre Petrenko, Alexander Ugnenko:
  Integrating AADL-Based Tool Chain into Existing Industrial Processes. 367-371
  

Last update Wed May 23 00:52:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page