Embedded Software Engineering (ESE)

Model-Based Development

• 
  Jair Gonzalez-Pina, Rabéa Ameur-Boulifa, Renaud Pacalet: DiplodocusDF, a Domain-Specific Modelling Language for Software Defined Radio Applications. 1-8
• 
  Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid: A MDD Approach for RTOS Integration on Valid Real-Time Design Model. 9-16
• 
  Carlos Gomez, Julien DeAntoni, Frédéric Mallet: Multi-view Power Modeling Based on UML, MARTE and SysML. 17-20

Formal Methods

• 
  Alessandro Cimatti, Stefano Tonetta: A Property-Based Proof System for Contract-Based Design. 21-28
• 
  Robert de Groote, Jan Kuper, Hajo Broersma, Gerard J. M. Smit: Max-Plus Algebraic Throughput Analysis of Synchronous Dataflow Graphs. 29-38

Certification and Tool Support

• 
  Ricardo Garibay-Martínez, Luis Lino Ferreira, Luís Miguel Pinho: A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems. 39-46
• 
  Christopher Preschern, Kurt Dietrich: Structuring Modular Safety Software Certification by Using Common Criteria Concepts. 47-50
• 
  Andreas Hjertström, Dag Nyström, Mikael Sjödin: Database Proxy Tool Support in an AUTOSAR Development Environment. 51-54

Analysis and Synthesis

• 
  Roland Schatz, Herbert Prähofer: Analyzing Long-Running Controller Applications for Specification Violations Based on Deterministic Replay. 55-62
• 
  Ramin Etemaadi, Michel R. V. Chaudron: Varying Topology of Component-Based System Architectures Using Metaheuristic Optimization. 63-70
• 
  Luka Lednicki, Ivica Crnkovic, Mario Zagar: Towards Automatic Synthesis of Hardware-Specific Code in Component-Based Embedded Systems. 71-74
• 
  Roland Mader, Gerhard Grießnig, Eric Armengaud, Andrea Leitner, Christian Kreiner, Quentin Bourrouilh, Christian Steger, Reinhold Weiss: A Bridge from System to Software Development for Safety-Critical Automotive Embedded Systems. 75-79
• 
  Rafia Inam, Jukka Mäki-Turja, Mikael Sjödin, Jirí Kuncar: Real-Time Component Integration Using Runnable Virtual Nodes. 80-84

Model-Based Development, Components, and Services (MOCS)

Product Lines

• 
  Leonardo P. Tizzei, Cecília M. F. Rubira, Jaejoon Lee: An Aspect-Based Feature Model for Architecting Component Product Lines. 85-92
• 
  Wylliams Barbosa Santos, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira: TIRT: A Traceability Information Retrieval Tool for Software Product Lines Projects. 93-100
• 
  Thiago Fernandes Lins de Medeiros, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira: CodeScoping: A Source Code Based Tool to Software Product Lines Scoping. 101-104
• 
  Markus Nöbauer, Norbert Seyff, Iris Groher, Deepak Dhungana: A Lightweight Approach for Product Line Scoping. 105-108

Embedded Systems

• 
  Premek Brada, Kamil Jezek: Ensuring Component Application Consistency on Small Devices: A Repository-Based Approach. 109-116
• 
  Juraj Feljan, Jan Carlson, Tiberiu Seceleanu: Towards a Model-Based Approach for Allocating Tasks to Multicore Processors. 117-124

Extra-functional Properties

• 
  Elvinia Riccobene, Pasqualina Potena, Patrizia Scandurra: Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model. 125-132
• 
  Henning Groenda: Path Coverage Criteria for Palladio Performance Models. 133-137
• 
  Aurélio A. M. Matsui, Straus Michalsky, Marco Aurélio Gerosa: Using Virtual Machine Security to Reinforce Components Constraints. 138-141

Modeling Components

• 
  Mehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin: Toward Model-Based Trade-off Analysis of Non-functional Requirements. 142-149
• 
  Javier Criado, Luis Iribarne, Nicolás Padilla, Javier Troya, Antonio Vallecillo: An MDE Approach for Runtime Monitoring and Adapting Component-Based Systems: Application to WIMP User Interface Architectures. 150-157
• 
  Kung-Kiu Lau, Cuong M. Tran: X-MAN: An MDE Tool for Component-Based System Development. 158-165
• 
  Adel Ziani, Brahim Hamid, Jean-Michel Bruel: A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design. 166-169
• 
  Quyet-Thang Pham, Antoine Beugnard: Automatic Adaptation of Transformations Based on Type Graph with Multiplicity. 170-174

Frameworks and Architecture

• 
  Tomas Potuzak, Richard Lipka, Premek Brada, Pavel Herout: Testing a Component-Based Application for Road Traffic Crossroad Control Using the SimCo Simulation Framework. 175-182
• 
  Óscar Mortágua Pereira, Rui L. Aguiar, Maribel Yasmina Santos: ORCA: Architecture for Business Tier Components Driven by Dynamic Adaptation and Based on Call Level Interfaces. 183-191

Finding and Building Components

• 
  George Kakarontzas, Ioannis Stamelos, Stefanos Skalistis, Athanasios Naskos: Extracting Components from Open Source: The Component Adaptation Environment (COPE) Approach. 192-199
• 
  Fotis Kokkoras, Konstantinos Ntonas, Apostolos Kritikos, George Kakarontzas, Ioannis Stamelos: Federated Search for Open Source Software Reuse. 200-203
• 
  Christian Brel, Philippe Renevier-Gonin, Anne-Marie Pinna-Dery, Michel Riveill: Application and UI Composition Using a Component-Based Description and Annotations. 204-207

Modeling Services and Components

• 
  Mauro Caporuscio: Engineering Emergent Semantics into Pervasive Resource Discovery. 208-215
• 
  Konstantinos Triantafyllidis, Egor Bondarev, Peter H. N. de With: Low-Level Profiling and MARTE-Compatible Modeling of Software Components for Real-Time Systems. 216-223
• 
  Stéphane Frénot, Julien Ponge: LogOS: An Automatic Logging Framework for Service-Oriented Architectures. 224-227
• 
  Viliam Simko, Petr Hnetynka, Tomás Bures, Frantisek Plasil: FOAM: A Lightweight Method for Verification of Use-Cases. 228-232
• 
  Barbara Gallina, Muhammad A. Javed, Faiz Ul Muram, Sasikumar Punnekkat: A Model-Driven Dependability Analysis Method for Component-Based Architectures. 233-240

Special Sessions Papers: Cyber-Physical Systems (Invited Papers)

• 
  Horst F. Wedde: DEZENT - A Cyber-Physical Approach for Providing Affordable Regenerative Electric Energy in the Near Future. 241-249
• 
  Raphael Maas, Erik Maehle, Karl-Erwin Großpietsch: Applying the Organic Robot Control Architecture ORCA to Cyber-Physical Systems. 250-257
• 
  Sebastian Senge, Horst F. Wedde: Bee-Inpired Road Traffic Control as an Example of Swarm Intelligence in Cyber-Physical Systems. 258-265

Software Process and Product Improvement (SPPI)

Agile and Lean Processes

• 
  Teemu Karvonen, Pilar Rodríguez, Pasi Kuvaja, Kirsi Mikkonen, Markku Oivo: Adapting the Lean Enterprise Self-Assessment Tool for the Software Development Domain. 266-273
• 
  Viktoria Gulliksen Stray, Nils Brede Moe, Aybüke Aurum: Investigating Daily Team Meetings in Agile Software Projects. 274-281
• 
  Stavros Stavru: Organizational Values and Agile Methods Deployment. 282-285

Process Improvement and Quality Measurement and Assurance

• 
  Rudolf Ramler, Dietmar Winkler, Martina Schmidt: Random Test Case Generation and Manual Unit Testing: Substitute or Complement in Retrofitting Tests for Legacy Code? 286-293
• 
  Ahmet Dikici, Oktay Türetken, Onur Demirörs: A Case Study on Measuring Process Quality: Lessons Learned. 294-297
• 
  Frank Elberzhager, Thomas Bauer: From Assumptions to Context-Specific Knowledge in the Area of Combined Static and Dynamic Quality Assurance. 298-301
• 
  Giuseppe Destefanis, Roberto Tonelli, Ewan D. Tempero, Giulio Concas, Michele Marchesi: Micro Pattern Fault-Proneness. 302-306

Process and Product Modeling

• 
  Fritz Stallinger, Robert Neumann: From Software to Software System Products: An Add-on Process Reference Model for Enhancing ISO/IEC 12207 with Product Management and System-Level Reuse. 307-314
• 
  Edgar Lopes Banhesse, Clenio F. Salviano, Mario Jino: Towards a Metamodel for Integrating Multiple Models for Process Improvement. 315-318
• 
  Gilbert Regan, Fergal McCaffery, Kevin McDaid, Derek Flood: The Barriers to Traceability and their Potential Solutions: Towards a Reference Framework. 319-322
• 
  Markus Kelanti, Jari Lehto, Sanja Aaramaa, Pasi Kuvaja: A Practice for Recording Problem and Solution Domain Requirements in VLSRE. 323-326

Practical Experiences and New Ideas for Process Improvement

• 
  Nauman Bin Ali, Kai Petersen: A Consolidated Process for Software Process Simulation: State of the Art and Industry Experience. 327-336
• 
  Darja Smite, Torgeir Dingsøyr: Fostering Cross-site Coordination through Awareness: An Investigation of State-of-the-Practice through a Focus Group Study. 337-344
• 
  Zane Galvina, Darja Smite: Low Degree of Separation Does Not Guarantee Easy Coordination. 345-348

Special Session: MeSVAM - Measurement as a Strategy for Software Value Management

• 
  Laura Phillips, Aybüke Aurum, Richard Berntsson-Svensson: Managing Software Quality Requirements. 349-356
• 
  Mónica Villavicencio, Alain Abran: Software Measurement in Software Engineering Education: A Delphi Study to Develop a List of Teaching Topics and Related Levels of Learning. 357-362
• 
  Rudolf Ramler, Theodorich Kopetzky, Wolfgang Platz: Value-Based Coverage Measurement in Requirements-Based Testing: Lessons Learned from an Approach Implemented in the TOSCA Testsuite. 363-366

Software Management (SM)

• 
  Panagiota Chatzipetrou, Efi Papatheocharous, Lefteris Angelis, Andreas S. Andreou: An Investigation of Software Effort Phase Distribution Using Compositional Data Analysis. 367-375
• 
  Claudia de O. Melo, Célio Santana, Fabio Kon: Developers Motivation in Agile Teams. 376-383
• 
  Mumin Hicdurmaz: A Fuzzy Multi Criteria Decision Making Approach to Software Life Cycle Model Selection. 384-391
• 
  Helena Holmström Olsson, Hiva Allahyari, Jan Bosch: Climbing the "Stairway to Heaven" - A Mulitiple-Case Study Exploring Barriers in the Transition from Agile Development towards Continuous Deployment of Software. 392-399
• 
  Murat Yilmaz, Rory V. O'Connor: Towards the Understanding and Classification of the Personality Traits of Software Development Practitioners: Situational Context Cards Approach. 400-405
• 
  Frank Elberzhager, Stephan Kremer, Jürgen Münch, Danilo Assmann: Guiding Testing Activities by Predicting Defect-Prone Parts Using Product and Inspection Metrics. 406-413
• 
  Andres H. Zapata, Michel R. V. Chaudron: An Analysis of Accuracy and Learning in Software Project Estimating. 414-421
• 
  Florian Schnitzhofer, Peter Schnitzhofer: Pocket Estimator - A Commercial Solution to Provide Free Parametric Software Estimation Combining an Expert and a Learning Algorithm. 422-425
• 
  Michael Felderer, Armin Beer: Estimating the Return on Investment of Defect Taxonomy Supported System Testing in Industrial Projects. 426-430

Cloud Software (CS)

Cloud Technology

• 
  Adnan Ashraf, Benjamin Byholm, Joonas Lehtinen, Ivan Porres: Feedback Control Algorithms to Deploy and Scale Multiple Web Applications per Virtual Machine. 431-438
• 
  Mikko Hartikainen, Arto Salminen, Jarno Kallio: Towards Mobile Multimedia Mashup Architecture. 439-445

Cloud Software

• 
  Luisanna Cocco, Katiuscia Mannaro, Giulio Concas: A Model for Global Software Development with Cloud Platforms. 446-452
• 
  Andrey Sirotkin, Kaisa Koskela-Huotari, Kaarina Karppinen, Javier Del Ser, Bronan McCabe: Differentiation in the Cloud: Methodology for Integrating Customer Values in Experience Design. 453-459

last updated on Sat May 25 04:58:10 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page