Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th ECBS 2011: Las Vegas, NV, USA
- 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2011, Las Vegas, NV, USA, 27-29 April, 2011. IEEE Computer Society 2011, ISBN 978-1-4577-0065-1
Keynotes
- Kevin L. Moore:
Consensus in Networks: Coordination and Control of CyberPhysical Systems, from Unmanned Vehicles to Energy-Efficient Buildings. 1 - Oleg Sokolsky:
Medical Cyber-Physical Systems. 2 - Robert B. France:
Supporting Community-Driven Evolution of Model-Driven Development Knowledge Using ReMoDD. 3
Software I
- Renée C. Bryce, Charles J. Colbourn, D. Richard Kuhn:
Finding Interaction Faults Adaptively Using Distance-Based Strategies. 4-13 - Shvetha Soundararajan, James D. Arthur:
A Structured Framework for Assessing the "Goodness" of Agile Methods. 14-23 - Peter Yastrebenetsky, Mark B. Trakhtenbrot:
Analysis of Applicability for Synchronization Complexity Metric. 24-33
Embedded Systems
- Sachidanand Mahadevan, Vijay Shankar Gopinath, Roman L. Lysecky, Jonathan Sprinkle
, Jerzy W. Rozenblit, Michael W. Marcellin:
Hardware/Software Communication Middleware for Data Adaptable Embedded Systems. 34-43 - Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokhale:
MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems. 44-51 - Jong Chul Lee, Andrew S. Gardner, Roman Lysecky:
Hardware Observability Framework for Minimally Intrusive Online Monitoring of Embedded Systems. 52-60 - Mohammad Saeed Abou Trab, Steve Counsell, Robert M. Hierons:
GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications. 61-70
Doctoral Symposium
- Tripti Saxena, Gabor Karsai:
A Meta-Framework for Design Space Exploration. 71-80 - Travis A. Hoffman, Jerzy W. Rozenblit, Ali Akoglu, Liana Suantak:
Queral Networks: Toward an Approach for Engineering Large Artificial Neural Networks. 81-88 - Mohammed Akour, Akanksha Jaidev, Tariq M. King:
Towards Change Propagating Test Models in Autonomic and Adaptive Systems. 89-96 - Alois Mayr, Reinhold Plösch, Matthias Saft:
Towards an Operational Safety Standard for Software: Modelling IEC 61508 Part 3. 97-104
Computer-Based Systems: Scale, Transition, and Legacy
- Nico Krebs, Sebastian Rönnau, Uwe M. Borghoff:
Fostering the Universal Virtual Computer as Long-Term Preservation Platform. 105-110 - Karin K. Breitman, Simone Diniz Junqueira Barbosa, Percy E. Salas, Rita Berardi, José Viterbo Filho, Tássia Freitas, Thaís Vasconcelos Batista:
Understanding IT Organizations Using Viewpoints. ECBS 2011: 111-119
Model-Based Design
- James H. Hill:
Measuring and Reducing Modeling Effort in Domain-Specific Modeling Languages with Examples. 120-129 - Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama:
Automated Adaptor Generation for Services Based on Pushdown Model Checking. 130-139 - Nicolas Frisby, M. Peck, Mark Snyder, Perry Alexander:
Model Composition in Rosetta. 140-148 - Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté:
UML/OCL and Refinement. 149-158
Component-Based Systems
- Jonathan Sprinkle, Brandon Eames:
On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle. 159-168 - Roland Mader, Gerhard Griessnig, Andrea Leitner, Christian Kreiner, Quentin Bourrouilh, Eric Armengaud, Christian Steger, Reinhold Weiß:
A Computer-Aided Approach to Preliminary Hazard Analysis for Automotive Embedded Systems. 169-178 - Matthias Galster, Armin Eberlein:
Identifying Potential Core Assets in Service-Based Systems to Support the Transition to Service-Oriented Product Lines. 179-186 - Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson:
Pattern-Driven Support for Designing Component-Based Architectural Models. 187-196
Distributed and Networked Systems
- Miroslav Svéda, Ondrej Rysavý, Gayan de Silva, Petr Matousek, Jaroslav Ráb:
Reachability Analysis in Dynamically Routed Networks. 197-205 - Ivana Popovic, Vladislav Vrtunski, Miroslav Popovic:
Formal Verification of Distributed Transaction Management in a SOA Based Control System. 206-215
Software II
- Meiru Che, Dewayne E. Perry:
Scenario-Based Architectural Design Decisions Documentation and Evolution. 216-225 - Håkan Gustavsson, Jakob Axelsson:
A Comparative Case Study of Architecting Practices in the Embedded Software Industry. 226-231 - Matthias Galster, Armin Eberlein:
Facilitating Software Architecting by Ranking Requirements Based on their Impact on the Architecture Process. 232-240
Eighth IEEE Workshop on Model-Based Development for Computer-Based Systems
- Stefano Cucchiella, Antonio Cicchetti, Federico Ciccozzi:
An Open-Source Pivot Language for Proprietary Tool-Chaining. 241-250 - Sean Whitsitt, Jonathan Sprinkle:
Message Modeling for the Joint Architecture for Unmanned Systems (JAUS). 251-259 - Maribel Hudson, Jonathan Sprinkle:
Simplification of Semantically-Rich Model Transformations through Generated Transformation Blocks. 260-268 - Florian Mutter, Stefanie Gareis, Bernhard Schätz, Andreas Bayha, Franziska Grüneis, Michael Kanis, Dagmar Koss:
Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments. 269-275 - Vijay Shankar Gopinath, Jonathan Sprinkle, Roman L. Lysecky:
Modeling of Data Adaptable Reconfigurable Embedded Systems. 276-283 - Matthias Riebisch, Stephan Bode, Qurat-ul-ann Farooq, Steffen Lehnert:
Towards Comprehensive Modelling by Inter-model Links Using an Integrating Repository. 284-291
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
