• 
  11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic. IEEE Computer Society 2004 ISBN 0-7695-2125-8

Invited Lecture

• 
  Jonah Z. Lavi, Joseph Kudish: Systems Modeling & Requirements Specification Using ECSAM: A Method for Embedded Computer-Based Systems Analysis. 2-12

Modeling

• 
  Stephanie M. White: A Comparative Analysis of Object-Oriented and Other Methods For Modeling Computer Based Systems. 13-20
• 
  Liana Suantak, Faisal Momen, Jerzy W. Rozenblit, David B. Hillis, Michael Barnes, Jerry Schlabach: Modeling and Simulation of Stability and Support Operations (SASO). 21-28
• 
  Branislav Kusy, Ákos Lédeczi, Miklos Maroti, Péter Völgyesi: Domain Independent Generative Modeling. 29-35

SW Architecture

• 
  Jiang Guo, Yuehong Liao: The Scheduling Algorithms in Software Architecture Modeling. 36-43
• 
  Mourad Oussalah, Adel Smeda, Tahar Khammaci: An Explicit Definition of Connectors for Component-Based Software Architecture. 44-51
• 
  Ferdinand Wagner, T. Wagner, Peter Wolstenholme: Closing the Gap Between Software Modelling and Code. 52-60

Performance Analysis and Optimization

• 
  P. Garg, Aseem Gupta, Jerzy W. Rozenblit: Performance Analysis of Embedded Systems in the Virtual Component Co-Design Environment. 61-68
• 
  John Leaney, Mark Denford, Tim O'Neill: Enabling Optimisation in the Design of Complex Computer based Systems. 69-74
• 
  Tomas Koutny, Jirí Safarík: Gradient Method with Topology Discovery for Load-Balancing in Active Networks. 75-85

SW Techniques

• 
  Zhao Li, Wee Keong Ng: WICCAP: From Semi-structured Data to Structured Data. 86-93
• 
  Cai Qingsong, Zimu Li, Jianping Hu: Suffix Caching Techniques of Streaming Media Based On Batch Patching. 94-101
• 
  Josef Schwarz, Jiri Ocenasek, Jirí Jaros: Advanced Bayesian Optimization Algorithms Applied in Decomposition Problems. 102-112

Distributed and Mobile Embedded Systems

• 
  Miroslav Svéda: A Design Framework for Internet-Based Embedded Distributed Systems. 113-120
• 
  Kumar Chhokra, Ted Bapty, Jason Scott, Simon Winberg, Janos Sztipanovits, Don van Rheeden, Ben Abbott: WASP: A Radio Geolocation System on Highly Resource Constrained Mobile Platforms. 121-127
• 
  Jan Janecek: Efficient SOAP Processing in Embedded Systems. 128-135

Formal Techniques 1

• 
  Kalpesh Zinjuwadia, Perry Alexander: DVTG and Test Harnessing using Rosetta Specifications. 136-143
• 
  J.-Hendrik Pfeiffer, Wilhelm Rossak, Andreas Speck: Applying Model Checking to Workflow Verification. 144-151
• 
  Joanna Strug, Stanislaw Deniziak, Krzysztof Sapiecha: Validation of Reactive Embedded Systems against Temporal Requirements. 152-160

Keynote Lecture

• 
  Jan M. Honzik: The Survey Of Some Aspects Of European Higher Education At The Beginning Of The Third Millennium. 161-167

System Architecture

• 
  Mark Denford, John Leaney, Tim O'Neill: Non-Functional Refinement of Computer Based Systems Architecture. 168-177
• 
  Peter Tabeling: Architectural Description with Integrated Data Consistency Models. 178-185
• 
  Lukás Sekanina, Vladimír Drábek: Theory and Applications of Evolvable Embedded Systems. 186-194

Formal Techniques 2

• 
  Ninh-Thuan Truong, Jeanine Souquières: An Approach for the Verification of UML Models Using B. 195-202
• 
  Ondrej Rysavy, Frantisek Bures: Formal Abstract Architecture for Use Case Specifications. 203-210
• 
  Frantisek Scuglik: Formal Specification of Shared Variables Using CSP. 211-217

CBS Tools

• 
  Jonathan Sprinkle: Improving CBS Tool Development with Technological Spaces. 218-224
• 
  Clemens Reichmann, Markus Kühl, Philipp Graf, Klaus D. Müller-Glaser: GeneralStore - A CASE-Tool Integration Platform Enabling Model Level Coupling of Heterogeneous Designs for Embedded Electronic Systems. 225-232
• 
  Ivan Velikic, Miroslav Popovic, Vladimir Kovacevic: A Concept of an Integrated Development Environment for Reactive Systems. 233-241

Simulation

• 
  Gabriele Luculli: Efficient and Effective Simulation of Memory Maps for System-on-Chip. 242-247
• 
  Petr Grillinger, Premysl Brada, Stanislav Racek: Simulation Approach to Embedded System Programming and Testing. 248-254
• 
  J. Sebestyénová: Simulation and Verification Tool for Hierarchical Real-Time Systems. 255-262

Requirements Engineering

• 
  Li Jiang, Armin Eberlein, Behrouz Homayoun Far: A Methodology for Requirements Engineering Process Development. 263-272
• 
  Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo: IRIS: A Semi-Formal Approach for Detecting Requirements Interactions. 273-281
• 
  Anneliese Amschler Andrews, Per Runeson, Robert B. France: Requirements Trade-offs During UML Design. 282-292

Special Design and Teaching Techniques

• 
  Ryszard Klempous, Jan Nikodem, Tomasz Walkowiak, Jerzy W. Rozenblit: Network Virtual Laboratory for External Devices Programming. 293-298
• 
  Ban Al-Ani, Norazlin Yusop: Role-Playing, Group Work and Other Ambitious Teaching Methods in a Large Requirements Engineering Course. 299-306
• 
  Ralph-Johan Back, Cristina Cerschi Seceleanu: Contracts and Games in Controller Synthesis for Discrete Systems. 307-315

Keynote Lecture

• 
  Miroslav Kubat: Induction in Time-Varying Domains: Motivation, Origins, and Encouragements. 316-322

Model-Based Development 1

• 
  Andrzej Pieczynski, Silva Robak, Anna Walaszek-Babiszewska: Features with Fuzzy Probability. 323-328
• 
  Petr Hnetynka, Michal Píse: Hand-written vs. MOF-based Metadata Repositories: The SOFA Experience. 329-336
• 
  Vitus S. W. Lam, Julian A. Padget: Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. 337-347

Applications

• 
  Richard Ruzicka, Pavel Tupec: Formal Approach to Synthesis of a Test Controller. 348-355
• 
  Hassan El-Banna, Alaa A. El-Fattah, Waleed Fakhr: An Efficient Implementation of the 1D DCT using FPGA Technology. 356-360
• 
  Pavel Zemcík, Adam Herout, Ludek Crha, Otto Fucík, Pavel Tupec: Particle Rendering Engine in DSP and FPGA. 361-369

Model-Based Development 2

• 
  Matthias Riebisch: Supporting Evolutionary Development by Feature Models and Traceability Links. 370-377
• 
  João M. Fernandes, Johan Lilius: Functional and Object-Oriented Views in Embedded Software Modeling. 378-387
• 
  Dragos Truscan, João M. Fernandes, Johan Lilius: Tool Support for DFD-UML Model-based Transformations. 388-397
• 
  Jan Jürjens, Pasha Shabalin: A Foundation for Tool-Supported Critical Systems Development with UML. 398-405
• 
  Ilian Pashov, Matthias Riebisch: Using Feature Modeling for Program Comprehension and Software Architecture Recovery. 406-418

Industrial Track 1

• 
  Dusan Kolár, Stanislav Cerny: Evolution of Software for Embedded Systems in Processor Expert. 419-422
• 
  Otto Fucík, Pavel Zemcík, Pavel Tupec, Ludek Crha, Adam Herout: The Networked Photo-Enforcement and Traffic Monitoring System Unicam. 423-428
• 
  Jiri Haze, Radimir Vrba: ADC Position-Sense Interface. 429-434
• 
  Ole Blaurock: A Modular Approach to SystemC-Based Codesign Promoting Reuse of High-Level Legacy C-Models. 435-442

Workshop on Engineering of Autonomic Systems (EASe 2004) 1

• 
  Christopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash: Verification of Emergent Behaviors in Swarm-based Systems. 443-448
• 
  Roy Sterritt, Darren Gunning, Alan Meban, Phillip Henning: Exploring Autonomic Options in an Unified Fault Management Architecture through Reflex Reactions via Pulse Monitoring. 449-455
• 
  Jim Nichols, Ted Bapty: A Model-Based Self-Adaptive Approach to Image Processing. 456-462

Industrial Track 2

• 
  Petr Matena: Throughput Computing. 463
• 
  Vladimír Oplustil, L. Gáspár, D. Svacina, Stefan Szabó: COTS (Commercial Off The Shelf) Distributed System for Critical Application. 464-468
• 
  Jirí Kotzian, Vilém Srovnal: Design and Optimization of Distributed Control System using UML Model. 469-477

Workshop EASe 2

• 
  Shweta Shetty, Sandeep Neema, Ted Bapty: Model Based Self Adaptive Behavior Language for Large Scale Real time Embedded Systems. 478-483
• 
  Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey: Asteroid Exploration with Autonomic Systems. 484-489
• 
  Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey: Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT. 490-499

Workshop EASe 3

• 
  Denis Gracanin, Shawn A. Bohner, Michael G. Hinchey: Towards a Model-Driven Architecture for Autonomic Systems. 500-505
• 
  Yves Caseau: Self-Adaptive and Self-Healing Message Passing Strategies for Process-Oriented Integration Infrastructures. 506-512
• 
  Roy Sterritt, Saulai Chung: Personal Autonomic Computing Self-Healing Tool. 513-522

Workshop on Security, Interoperability, and Applications of Mobile Agent Systems (SIAMAS 2004) 1

• 
  Daniel Lübke, Jorge Marx Gómez: Applications for Mobile Agents in Peer-to-Peer-Networks. 523-529
• 
  Nikos Migas, William J. Buchanan, Kevin A. McArtney: Migration of Mobile Agents in Ad-hoc, Wireless Networks. 530-535
• 
  Ulrich Pinsdorf: A Formal Approach for Interoperability between Mobile Agent Systems and Component Based Architectures. 536-543

Workshop SIAMAS 2

• 
  Joan Ametller, Sergi Robles, Jose A. Ortega-Ruiz: An Implementation of Self-Protected Mobile Agents. 544-549
• 
  Peter Braun, Ingo Müller, Sven Geisenhainer, Volkmar Schau, Wilhelm Rossak: A Service-oriented Software Architecture for Mobile Agent Toolkits. 550-556