16. ICECCS 2011: Las Vegas, Nevada, USA
Isabelle Perseil, Karin Breitman, Roy Sterritt (Eds.): 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. IEEE Computer Society 2011- Preface.
Real-Time Systems I
- Julien Bertrane: Temporal Abstract Domains. 3-12
- 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
- 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
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
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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team