ECBS 2009 Home

Call For Papers

Submission

Registration

Program

Organizers

Workshops

Hotel & Travel

ECBS 2009 Final Program

All ECBS Paper Sessions will be held in Embarcadero

Tuesday, April 14, 2009

[8:30-9:30]  CPS Week Plenary Session (held in Cyril Magnin Ballroom)

[9:30 - 10:00] Break

[10:00 - 10:15] Opening Remarks

[10:15-11:30] Session 1: Modeling            Session Chair: Matthias Riebisch

Markus Herrmannsdoerfer, Sabine Rittmann and Bernhard Schaetz. Structured Formalization of Service-Oriented Specifications

Jacob Gulotta, Diyang Chu, Ximing Yu, Hussain Al-Helal, Tapasya Patki, Jason Hansen, Maribel Hudson and Jonathan Sprinkle. Using Integrative Models in an Advanced Heterogeneous System Simulation   

Sumant Tambe, Akshay Dabholkar and Aniruddha Gokhale. CQML: Aspect-oriented Modeling for Modularizing and Weaving QoS Concerns in Component-based Systems   

[11:30 - 12:30]  Lunch & Poster Session

Poster Title:

Andrzej Wytyczak-Partyka, Klempous Ryszard and Jan Nikodem. Application of structure-from-motion 3D reconstruction in computer-guided surgical training

[12:30 - 2:00] Session 2: Software         Session Chair:  Bernhard Schaetz

Miroslav Popovic, Ilija Basicevic and Vladislav Vrtunski. A Task Tree Executor: New Runtime for Parallelized Legacy Software  

Damian Dechev, Peter Pirkelbauer, Nicolas Rouquette and Bjarne Stroustrup. Semantically Enhanced Containers for Concurrent Real-Time Systems    

Jessica Díaz, Agustín Yague and Juan Garbajosa. A Systematic Process for Implementing Gateways for Test Tools

[2:00-2:30]  Break

[2:30-4:00] Session 3: Formal Methods            Session Chair:  Jonathan Sprinkle

Abhishek Dubey, Derek Riley, Sherif Abdelwahed and Ted Bapty. Modeling and Analysis of Probabilistic Timed Systems

Allan McInnes. Using CSP to Model and Analyze TinyOS Applications

Julio Neves, Sérgio Campos, Mark Song and Luis Zarate. Distributed BMC: A Depth-First Approach to Explore Clause Symmetry

Yosr Jarraya, Mourad Debbabi and Jamal Bentahar. On the Meaning of SysML Activity Diagrams

[4:00 - 4:30]   Break

[4:30 - 6:00] Session 4:  Systems: Design and Analysis      Session Chair:  Jerzy Rozenblit

Stephan Bode, Anja Fischer, Winfried Kühnhauser and Matthias Riebisch. Security Engineering at the Level of Software Architectures

Hamdy Ibrahim, Behrouz Far and Armin Eberlein. Tradeoff and Sensitivity Analysis of a Hybrid Model for Ranking Commercial Off-The-Shelf Products

Jonathan Tate and Iain Bate. Tuning Complex Sensornet Systems Using Principled Engineering Methods

Fahad Javed and Naveed Arshad. A Penny Saved is a Penny Earned: Applying Optimization Techniques to Power Management

[6:00 - 7:00] ECBS Committee Meeting

[7:00 - 9:30] Banquet