14. ECBS 2007:
Tucson,
Arizona,
USA
14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA.
IEEE Computer Society 2007, ISBN 0-7695-2772-8 BibTeX
Keynote Address
Architectures
- Andreas W. Liehr, Klaus Buchenrieder:
Generation of Related Performance Simulation Models at an Early Stage in the Design Cycle.
7-14
Electronic Edition (link) BibTeX
- Cameron Maxwell, Tim O'Neill, John Leaney:
Formal Architecture Transformation Using Heuristics.
15-24
Electronic Edition (link) BibTeX
- Jukka Honkola, Sari Leppänen, Pasi Rinne-Rahkola, Martti Soderlund, Markku Turunen, Kimmo Varpaaniemi:
A Case Study: Applying Lyra in Modeling S60 Camera Functionality.
25-36
Electronic Edition (link) BibTeX
- Artem Parakhine, Tim O'Neill, John Leaney:
Application of Bayesian Networks to Architectural Optimisation.
37-44
Electronic Edition (link) BibTeX
- David Colquitt, John Leaney:
Expanding the View on Complexity within the Architecture Trade-off Analysis Method.
45-54
Electronic Edition (link) BibTeX
- Jianfeng Peng, Chuan Feng, Haiyan Qiao, Jerzy W. Rozenblit:
An Event-Driven Architecture for Fine Grained Intrusion Detection and Attack Aftermath Mitigation.
55-62
Electronic Edition (link) BibTeX
- Ernest Cachia, Mark Vella:
Using Weak Bisimulation for Enterprise Integration Architecture Formal Verification--I.
63-70
Electronic Edition (link) BibTeX
- Sérgio Lopes, Adriano Tavares, João L. Monteiro, Carlos A. Silva:
Design and Description of a Classification System Framework for Easier Reuse.
71-82
Electronic Edition (link) BibTeX
Component-Based System Design
Distributed Systems Design
- Vu Van Tan, Dae-Seung Yoo, Myeong-Jae Yi:
Modern Distributed Data Acquisition and Control Systems Based on OPC Techniques.
115-122
Electronic Edition (link) BibTeX
- Nanjun Li:
Node-Oriented Modeling and Simulation of IP Networks.
123-132
Electronic Edition (link) BibTeX
- M. Muztaba Fuad, Michael J. Oudshoorn:
Transformation of Existing Programs into Autonomic and Self-healing Entities.
133-144
Electronic Edition (link) BibTeX
- Zenon Chaczko, Ryszard Klempous, Jan Nikodem, Michal Nikodem:
Methods of Sensors Localization in Wireless Sensor Networks.
145-152
Electronic Edition (link) BibTeX
- Ryszard Klempous, Jan Nikodem, Lukasz Radosz, Norbert Raus:
Adaptive Misbehavior Detection in Wireless Sensors Network Based on Local Community Agreement.
153-160
Electronic Edition (link) BibTeX
- Chuan Feng, Lizhi Yang, Jerzy W. Rozenblit, Peter Beudert:
Design of a Wireless Sensor Network Based Automatic Light Controller in Theater Arts.
161-170
Electronic Edition (link) BibTeX
Embedded Real-Time Software Systems
- Maryline Silly-Chetto, Audrey Marchand:
Dynamic Scheduling of Skippable Periodic Tasks in Weakly-Hard Real-Time Systems.
171-177
Electronic Edition (link) BibTeX
- Vaclav Dvorak:
Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software.
178-185
Electronic Edition (link) BibTeX
- Miroslav Svéda:
End-User DevelopmentFramework for Embedded System Applications.
186-194
Electronic Edition (link) BibTeX
- Lucas Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena, Paulo Romero Martins Maciel:
Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach.
195-202
Electronic Edition (link) BibTeX
- Jin Hyun Kim, Jin-Young Choi:
Embedded System Modeling Based on Resource-Oriented Model.
203-212
Electronic Edition (link) BibTeX
- Peter Zoeteweij, Rui Abreu, Rob Golsteijn, Arjan J. C. van Gemund:
Diagnosis of Embedded Software Using Program Spectra.
213-220
Electronic Edition (link) BibTeX
- Matthew Eby, Jan Werner, Gabor Karsai, Ákos Lédeczi:
Integrating Security Modeling into Embedded System Design.
221-228
Electronic Edition (link) BibTeX
- Cord Giese, Arnd Schnieders, Jens Weiland:
A Practical Approach for Process Family Engineering of Embedded Control Software.
229-240
Electronic Edition (link) BibTeX
Lifecycly Processes and Process Evolution
Requirements Elicitation and Analysis
Model-Based System Development
Medical Applications
Modeling and Analysis of Complex Sysetms
Reengineering and Reuse
Industrial Applications
Reliability,
Safety,
Dependability,
Security
- Galen Rasche, Erin Allwein, Michael S. Moore, Ben Abbott:
Model-Based Cyber Security.
405-412
Electronic Edition (link) BibTeX
- Jan Nikodem, Maciej Nikodem:
Secure Communication Trees in Ad Hoc Networks.
413-421
Electronic Edition (link) BibTeX
- Ernest Cachia, Mark Micallef:
A Multi-Tier, Multi-Role Security Framework for E-Commerce Systems.
422-432
Electronic Edition (link) BibTeX
- Chuan Feng, Jianfeng Peng, Haiyan Qiao, Jerzy W. Rozenblit:
Alert Fusion for a Computer Host Based Intrusion Detection System.
433-440
Electronic Edition (link) BibTeX
- Haiyan Qiao, Jianfeng Peng, Chuan Feng, Jerzy W. Rozenblit:
Behavior Analysis-Based Learning Framework for Host Level Intrusion Detection.
441-447
Electronic Edition (link) BibTeX
- Patricia O'Hagan, Edward Hanna, Roy Sterritt, Paul McKay:
Engineering Vertical Orchestration: From Biometric Trace Events to Incident Reporting.
448-458
Electronic Edition (link) BibTeX
Doctoral Symposium
Sysetm Assessment,
Testing,
and Metrics
- Miroslav Popovic, Jelena Kovacevic:
A Statistical Approach to Model-Based Robustness Testing.
485-494
Electronic Edition (link) BibTeX
- Stephan Schulz, Jukka Honkola, Antti Huima:
Towards Model-Based Testing with Architecture Models.
495-502
Electronic Edition (link) BibTeX
- Gregorio Díaz, Elena Navarro, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero:
Testing Time Goal-Driven Requirements with Model Checking Techniques.
503-514
Electronic Edition (link) BibTeX
- Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi Hassaïne:
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams.
515-522
Electronic Edition (link) BibTeX
- Claudio Talarico, Min-Sung Koh, Esteban Rodriguez-Marek:
System Level Performance Assessment of SOC Processors with SystemC.
523-530
Electronic Edition (link) BibTeX
Verification and Validation
ECBS Model-Based System Devemopment Workshop
- Andrea Schauerhuber, Manuel Wimmer, Wieland Schwinger, Elisabeth Kapsammer, Werner Retschitzegger:
Aspect-Oriented Modeling of Ubiquitous Web Applications: The aspectWebML Approach.
569-576
Electronic Edition (link) BibTeX
- Joel Huselius, Johan Kraft, Hans Hansson, Sasikumar Punnekkat:
Evaluating the Quality of Models Extracted from Embedded Real-Time Software.
577-585
Electronic Edition (link) BibTeX
- Bas Graaf, Arie van Deursen:
Visualisation of Domain-Specific Modelling Languages Using UML.
586-595
Electronic Edition (link) BibTeX
- Jing Liu, Josh Dehlinger, Hongyu Sun, Robyn R. Lutz:
State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines.
596-608
Electronic Edition (link) BibTeX
Poster
Copyright © Sat May 16 23:07:54 2009
by Michael Ley (ley@uni-trier.de)
