17. ECBS 2010: Oxford, England, UK

Keynotes

• Julie McCann:
  Wireless Sensor Networking: The Pleasure and the Pain. 3
  
• Mike Hinchey, Lorcan Coyle:
  Evolving Critical Systems. 4
  
• Patricia O'Hagan:
  Engineering Self-Service Correctional Facility Biometric Computer-Based Systems. 5
  

Embedded, Sensornet and Grid Systems

• Hussain Al-Helal Tapasya Patki, Jonathan Sprinkle:
  UAV Search: Maximizing Target Acquisition. 9-18
  
• Jonathan Tate, Iain Bate:
  Do Sensornet Protocol Variants Yield Real Benefits?. 19-28
  
• Miao Wang, Viliam Holub, Trevor Parsons, John Murphy, Patrick O'Sullivan:
  Scalable Run-Time Correlation Engine for Monitoring in a Cloud Computing Environment. 29-38
  

Modeling and Testing

• Qurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zafar I. Malik, Matthias Riebisch:
  A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support. 41-49
  
• Qaisar A. Malik, Dragos Truscan, Johan Lilius:
  Using UML Models and Formal Verification in Model-Based Testing. 50-56
  
• Andreas Heinecke, Tobias Brückmann, Tobias Griebe, Volker Gruhn:
  Generating Test Plans for Acceptance Tests from UML Activity Diagrams. 57-66
  

Architectures

• Dalila Tamzalit, Tom Mens:
  Guiding Architectural Restructuring through Architectural Styles. 69-78
  
• R. J. Pooley, A. A. L. Abdullatif:
  CPASA: Continuous Performance Assessment of Software Architecture. 79-87
  

Data Systems

• Ye-In Chang, Chen-Chang Wu, Jun-Hong Shen, Tzu-Lun Huang:
  Range Queries Based on a Structured Segment Tree in P2P Systems. 91-99
  
• Daniel Fasel, Khurram Shahzad:
  A Data Warehouse Model for Integrating Fuzzy Concepts in Meta Table Structures. 100-109
  

Design and Development

• Miroslav Svéda:
  Fault Management Driven Design with Safety and Security Requirements. 113-120
  
• Georgiana Macariu, Vladimir Cretu:
  Timed Automata Model for Component-Based Real-Time Systems. 121-130
  
• Khalid Latif, Tiberiu Seceleanu, Hannu Tenhunen:
  Power and Area Efficient Design of Network-on-Chip Router through Utilization of Idle Buffers. 131-138
  

Testing and Verification

• Mohammad Saeed Abou Trab, Steve Counsell:
  Fault Coverage Measurement of a Timed Test Case Generation Approach. 141-149
  
• Abel Marrero Pérez, Stefan Kaiser:
  Top-Down Reuse for Multi-level Testing. 150-159
  
• Lucas Cordeiro, Bernd Fischer, João Marques-Silva:
  Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking. 160-169
  

Modeling and Simulation

• Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist:
  Design-Space Exploration through Constraint-Based Model-Transformation. 173-182
  
• Tomasz Porzucek, Stephan Kluth, Mathias Fritzsche, David Redlich:
  Combination of a Discrete Event Simulation and an Analytical Performance Analysis through Model-Transformations. 183-192
  
• Heike S. Rolfs, Andreas W. Liehr, Klaus Buchenrieder:
  Communication Modeling for System-Level Performance-Simulation. 193-198
  

Industry and Education

• Bernhard Groene, Wolfram Kleis, Jochen Boeder:
  Educating Architects in Industry - The SAP Architecture Curriculum. 201-205
  
• Gerhard Grießnig, Roland Mader, Christian Steger, Reinhold Weiss:
  Design and Implementation of Safety Functions on a Novel CPLD-Based Fail-Safe System Architecture. 206-212
  

Doctoral Symposium

• A. A. L. Abdullatif, R. J. Pooley:
  UML-JMT: A Tool for Evaluating Performance Requirements. 215-225
  
• Ivan Kastelan, Nikola Teslic, Vukota Pekovic, Tarkan Tekcan:
  TV Screen Content Extraction and Recognition Algorithm for the Verification of Digital Television Systems. 226-231
  
• Lianping Chen, Muhammad Ali Babar:
  Supporting Customizable Architectural Design Decision Management. 232-240
  
• Massood Khaari, Raman Ramsin:
  Process Patterns for Aspect-Oriented Software Development. 241-250
  

Poster Presentations

• Bogdan Trivunovic, Miroslav Popovic, Vladislav Vrtunski:
  An Application Level Parallelization of Complex Real-Time Software. 253-257
  
• Mario Riojas, Susan Lysecky, Jerzy W. Rozenblit:
  Adapting Engineering Education to Resource-Constrained Middle Schools: Teaching Methodologies and Computing Technologies. 258-262
  
• Ibrahim Aref, Nuredin Ahmed, Fernando Rodríguez Salazar, Khaled Elgaid:
  Measuring and Optimising Convergence and Stability in Terms of System Construction in SystemC. 263-267
  
• Moazzam Fareed Niazi, Hannu Tenhunen, Tiberiu Seceleanu:
  An Emulation Solution for the SegBus Platform. 268-275
  
• Richard Mordinyi, eva Kühn, Alexander Schatten:
  Towards an Architectural Framework for Agile Software Development. 276-280
  
• Haydn Mearns, John Leaney, Dominique Verchère:
  The Architectural Evolution of Telecommunications Network Management Systems. 281-285
  
• Ulrich Krenn, Michael Thonhauser, Christian Kreiner:
  ECQL: A Query and Action Language for Model-Based Applications. 286-290
  
• Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius:
  Model-Based Testing Using System vs. Test Models - What Is the Difference?. 291-299
  
• Zenon Chaczko, Christopher Chiu, Ryszard Klempous, Jan Nikodem:
  3TZ Collaborative Team Environments Incorporating the Hybrid Holonic Architecture. 300-305
  
• Jeanette Heidenberg, Ivan Porres:
  Metrics Functions for Kanban Guards. 306-310
  
• Michael L. Valenzuela, Chuan Feng, Praneel Reddy, Faisal Momen, Jerzy W. Rozenblit, Brian Ten Eyck, Ferenc Szidarovszky:
  A Non-numerical Predictive Model for Asymmetric Analysis. 311-315
  
• Tony Spiteri Staines:
  Activity and Petri Net Model-to-Model Mapping Using Triple Graph Grammars. 316-317
  

STV'10: System Testing and Validation Workshop

• Fredrik Abbors, Andreas Backlund, Dragos Truscan:
  MATERA - An Integrated Framework for Model-Based Testing. 321-328
  
• Marc-Florian Wendland, Jürgen Großmann, Andreas Hoffmann:
  Establishing a Service-Oriented Tool Chain for the Development of Domain-Independent MBT Scenarios. 329-334
  
• Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li:
  Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System. 335-343
  
• Frank Bohr:
  Model Based Statistical Testing and Durations. 344-351
  
• Sebastian Wieczorek, Alin Stefanescu:
  Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces. 352-357
  
• Fan Yang, Wen Su, Huibiao Zhu, Qin Li:
  Formalizing MapReduce with CSP. 358-367
  

ECBS-LARC: 1st IEEE Latin Americian Regional Conference on the Engineering of Computer Based Systems

• Eduardo Machado Gonçalves, Cecília Mary Fischer Rubira:
  Archmeds: An Infrastructure for Dependable Service-Oriented Architectures. 371-378
  
• Camilo Carromeu, Débora Maria Barroso Paiva, Maria Istela Cagnin, Hana K. Rubinsztejn, Marcelo Augusto Santos Turine, Karin Breitman:
  Component-Based Architecture for e-Gov Web Systems Development. 379-385
  
• Rodrigo Dias Arruda Senra, Claudia Bauzer Medeiros:
  Database Descriptors: Laying the Path to Commodity Web Data Services. 386-392
  
• Marco A. Casanova, Tanara Lauschner, Luiz André P. Paes Leme, Karin Koogan Breitman, Antonio L. Furtado, Vânia Maria Ponte Vidal:
  Modeling the Mediated Schema Constraints. 393-402
  
• Gisele M. Simas, Rodrigo de Bem, Lucas Novelo, Guilherme P. Fickel, Silvia Silva da Costa Botelho:
  Visual Tracking Based on 3D Probabilistic Reconstruction. 403-409
  
• Flávia Coimbra Delicato, Paulo F. Pires, Luci Pirmez, Thaís Vasconcelos Batista:
  Wireless Sensor Networks as a Service. 410-417
  
• Isabelle Perseil, Laurent Pautet:
  High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems. 418-424
  
• Marcus Brohede:
  Simulations within Information Fusion - The Need for Fault Tolerance High Fault Tolerance Degree. 425-429
  
• Mike Hinchey, Lorcan Coyle:
  Evolving Critical Systems: A Research Agenda for Computer-Based Systems. 430-435
  

Last update Tue May 22 04:52:28 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page