Abstract is missing.
- Consensus in Networks: Coordination and Control of CyberPhysical Systems, from Unmanned Vehicles to Energy-Efficient BuildingsKevin L. Moore. 1 [doi]
- Medical Cyber-Physical SystemsOleg Sokolsky. 2 [doi]
- Supporting Community-Driven Evolution of Model-Driven Development Knowledge Using ReMoDDRobert France. 3 [doi]
- Finding Interaction Faults Adaptively Using Distance-Based StrategiesRenée C. Bryce, Charles J. Colbourn, D. Richard Kuhn. 4-13 [doi]
- A Structured Framework for Assessing the Goodness of Agile MethodsShvetha Soundararajan, James D. Arthur. 14-23 [doi]
- Analysis of Applicability for Synchronization Complexity MetricPeter Yastrebenetsky, Mark Trakhtenbrot. 24-33 [doi]
- Hardware/Software Communication Middleware for Data Adaptable Embedded SystemsSachidanand Mahadevan, Vijay Shankar Gopinath, Roman Lysecky, Jonathan Sprinkle, Jerzy W. Rozenblit, Michael W. Marcellin. 34-43 [doi]
- MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded SystemsSumant Tambe, Akshay Dabholkar, Aniruddha S. Gokhale. 44-51 [doi]
- Hardware Observability Framework for Minimally Intrusive Online Monitoring of Embedded SystemsJong Chul Lee, Andrew S. Gardner, Roman Lysecky. 52-60 [doi]
- GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN ApplicationsMohammad Saeed Abou Trab, Steve Counsell, Robert M. Hierons. 61-70 [doi]
- A Meta-Framework for Design Space ExplorationTripti Saxena, Gabor Karsai. 71-80 [doi]
- Queral Networks: Toward an Approach for Engineering Large Artificial Neural NetworksTravis A. Hoffman, Jerzy W. Rozenblit, Ali Akoglu, Liana Suantak. 81-88 [doi]
- Towards Change Propagating Test Models in Autonomic and Adaptive SystemsMohammed Akour, Akanksha Jaidev, Tariq M. King. 89-96 [doi]
- Towards an Operational Safety Standard for Software: Modelling IEC 61508 Part 3Alois Mayr, Reinhold Plösch, Matthias Saft. 97-104 [doi]
- Fostering the Universal Virtual Computer as Long-Term Preservation PlatformNico Krebs, Uwe M. Borghoff, Sebastian Rönnau. 105-110 [doi]
- Understanding IT Organizations Using ViewpointsKarin Breitman, Simone Diniz Junqueira Barbosa, Percy E. Salas, Rita Berardi, José Viterbo F., Tássia Freitas, Thaís Vasconcelos Batista. 111-119
- Measuring and Reducing Modeling Effort in Domain-Specific Modeling Languages with ExamplesJames H. Hill. 120-129 [doi]
- Automated Adaptor Generation for Services Based on Pushdown Model CheckingHsin-hung Lin, Toshiaki Aoki, Takuya Katayama. 130-139 [doi]
- Model Composition in RosettaNicolas Frisby, M. Peck, Mark Snyder, Perry Alexander. 140-148 [doi]
- UML/OCL and RefinementMohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté. 149-158 [doi]
- On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground VehicleJonathan Sprinkle, Brandon Eames. 159-168 [doi]
- A Computer-Aided Approach to Preliminary Hazard Analysis for Automotive Embedded SystemsRoland Mader, G. Griessnig, Andreas Leitner, Christian Kreiner, Quentin Bourrouilh, Eric Armengaud, Christian Steger, Reinhold Weiß. 169-178 [doi]
- Identifying Potential Core Assets in Service-Based Systems to Support the Transition to Service-Oriented Product LinesMatthias Galster, Armin Eberlein. 179-186 [doi]
- Pattern-Driven Support for Designing Component-Based Architectural ModelsJagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson. 187-196 [doi]
- Reachability Analysis in Dynamically Routed NetworksMiroslav Svéda, Ondrej Rysavy, Gayan de Silva, Petr Matousek, Jaroslav Ráb. 197-205 [doi]
- Formal Verification of Distributed Transaction Management in a SOA Based Control SystemIvana Popovic, Vladislav Vrtunski, Miroslav Popovic. 206-215 [doi]
- Scenario-Based Architectural Design Decisions Documentation and EvolutionMeiru Che, Dewayne E. Perry. 216-225 [doi]
- A Comparative Case Study of Architecting Practices in the Embedded Software IndustryHåkan Gustavsson, Jakob Axelsson. 226-231 [doi]
- Facilitating Software Architecting by Ranking Requirements Based on their Impact on the Architecture ProcessMatthias Galster, Armin Eberlein. 232-240 [doi]
- An Open-Source Pivot Language for Proprietary Tool-ChainingStefano Cucchiella, Antonio Cicchetti, Federico Ciccozzi. 241-250 [doi]
- Message Modeling for the Joint Architecture for Unmanned Systems (JAUS)Sean Whitsitt, Jonathan Sprinkle. 251-259 [doi]
- Simplification of Semantically-Rich Model Transformations through Generated Transformation BlocksMaribel Hudson, Jonathan Sprinkle. 260-268 [doi]
- Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual EnvironmentsFlorian Mutter, Stefanie Gareis, Bernhard Schätz, Andreas Bayha, Franziska Grüneis, Michael Kanis, Dagmar Koss. 269-275 [doi]
- Modeling of Data Adaptable Reconfigurable Embedded SystemsVijay Shankar Gopinath, Jonathan Sprinkle, Roman Lysecky. 276-283 [doi]
- Towards Comprehensive Modelling by Inter-model Links Using an Integrating RepositoryMatthias Riebisch, Stephan Bode, Qurat-ul-ann Farooq, Steffen Lehnert. 284-291 [doi]