- Hsin-Hung Lin, Toshiaki Aoki
, Takuya Katayama:
Automated Adaptor Generation for Services Based on Pushdown Model Checking. ECBS 2011: 130-139 - 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. ECBS 2011: 169-178 - 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. ECBS 2011: 34-43 - Alois Mayr, Reinhold Plösch, Matthias Saft:
Towards an Operational Safety Standard for Software: Modelling IEC 61508 Part 3. ECBS 2011: 97-104 - Kevin L. Moore:
Consensus in Networks: Coordination and Control of CyberPhysical Systems, from Unmanned Vehicles to Energy-Efficient Buildings. ECBS 2011: 1 - 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. ECBS 2011: 269-275 - Ivana Popovic, Vladislav Vrtunski, Miroslav Popovic:
Formal Verification of Distributed Transaction Management in a SOA Based Control System. ECBS 2011: 206-215 - Matthias Riebisch, Stephan Bode, Qurat-ul-ann Farooq, Steffen Lehnert:
Towards Comprehensive Modelling by Inter-model Links Using an Integrating Repository. ECBS 2011: 284-291 - Tripti Saxena, Gabor Karsai:
A Meta-Framework for Design Space Exploration. ECBS 2011: 71-80 - Oleg Sokolsky:
Medical Cyber-Physical Systems. ECBS 2011: 2 - Shvetha Soundararajan, James D. Arthur:
A Structured Framework for Assessing the "Goodness" of Agile Methods. ECBS 2011: 14-23 - Jonathan Sprinkle, Brandon Eames:
On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle. ECBS 2011: 159-168 - Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson:
Pattern-Driven Support for Designing Component-Based Architectural Models. ECBS 2011: 187-196 - Miroslav Svéda, Ondrej Rysavý, Gayan de Silva, Petr Matousek, Jaroslav Ráb:
Reachability Analysis in Dynamically Routed Networks. ECBS 2011: 197-205 - Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokhale:
MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems. ECBS 2011: 44-51 - Mohammad Saeed Abou Trab, Steve Counsell, Robert M. Hierons:
GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications. ECBS 2011: 61-70 - Sean Whitsitt, Jonathan Sprinkle:
Message Modeling for the Joint Architecture for Unmanned Systems (JAUS). ECBS 2011: 251-259 - Peter Yastrebenetsky, Mark B. Trakhtenbrot:
Analysis of Applicability for Synchronization Complexity Metric. ECBS 2011: 24-33 - 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 [contents]
- 2010
- Fredrik Abbors, Andreas Backlund, Dragos Truscan:
MATERA - An Integrated Framework for Model-Based Testing. ECBS 2010: 321-328 - A. A. L. Abdullatif, R. J. Pooley:
UML-JMT: A Tool for Evaluating Performance Requirements. ECBS 2010: 215-225 - Mohammad Saeed Abou Trab, Steve Counsell:
Fault Coverage Measurement of a Timed Test Case Generation Approach. ECBS 2010: 141-149 - Ibrahim A. Aref, Nuredin Ahmed, Fernando Rodríguez Salazar, Khaled Elgaid:
Measuring and Optimising Convergence and Stability in Terms of System Construction in SystemC. ECBS 2010: 263-267 - Frank Böhr:
Model Based Statistical Testing and Durations. ECBS 2010: 344-351 - Marcus Brohede:
Simulations within Information Fusion - The Need for Fault Tolerance High Fault Tolerance Degree. ECBS 2010: 425-429 - Camilo Carromeu, Débora Maria Barroso Paiva, Maria Istela Cagnin, Hana K. Rubinsztejn, Marcelo Augusto Santos Turine, Karin K. Breitman:
Component-Based Architecture for e-Gov Web Systems Development. ECBS 2010: 379-385 - Marco A. Casanova, Tanara Lauschner, Luiz André P. Paes Leme, Karin Koogan Breitman, António L. Furtado, Vânia Maria Ponte Vidal:
Modeling the Mediated Schema Constraints. ECBS 2010: 393-402 - Zenon Chaczko, Christopher Chiu, Ryszard Klempous, Jan Nikodem:
3TZ Collaborative Team Environments Incorporating the Hybrid Holonic Architecture. ECBS 2010: 300-305 - Ye-In Chang, Chen-Chang Wu, Jun-Hong Shen, Tzu-Lun Huang:
Range Queries Based on a Structured Segment Tree in P2P Systems. ECBS 2010: 91-99 - Lianping Chen, Muhammad Ali Babar:
Supporting Customizable Architectural Design Decision Management. ECBS 2010: 232-240
