Search results for "ECBS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Oleg Sokolsky	Medical Cyber-Physical Systems.	ECBS	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	hardware/software communication middleware, hardware/software codesign, model-based design, Data adaptability
1	Meiru Che, Dewayne E. Perry	Scenario-Based Architectural Design Decisions Documentation and Evolution.	ECBS	2011	DBLP DOI BibTeX RDF	scenario, architectural knowledge, architecture evolution, architectural design decision, architecture documentation
1	Alois Mayr, Reinhold Plösch, Matthias Saft	Towards an Operational Safety Standard for Software: Modelling IEC 61508 Part 3.	ECBS	2011	DBLP DOI BibTeX RDF	software safety standard, measure, quality model, operationalization, IEC 61508
1	Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama	Automated Adaptor Generation for Services Based on Pushdown Model Checking.	ECBS	2011	DBLP DOI BibTeX RDF	Behavior Mismatch, Pushdown Model Checking, Unbounded Messages, Service Adaptation
1	Peter Yastrebenetsky, Mark B. Trakhtenbrot	Analysis of Applicability for Synchronization Complexity Metric.	ECBS	2011	DBLP DOI BibTeX RDF	synchronization complexity analysis, practical applicability, soundness
1	Miroslav Svéda, Ondrej Rysavý, Gayan de Silva, Petr Matousek, Jaroslav Ráb	Reachability Analysis in Dynamically Routed Networks.	ECBS	2011	DBLP DOI BibTeX RDF	network reachability, routing protocols, network design, IP-networks, network configuration
1	Tripti Saxena, Gabor Karsai	A Meta-Framework for Design Space Exploration.	ECBS	2011	DBLP DOI BibTeX RDF	design space exploration, constraint programming, model based design
1	Shvetha Soundararajan, James D. Arthur	A Structured Framework for Assessing the "Goodness" of Agile Methods.	ECBS	2011	DBLP DOI BibTeX RDF	Agile Assessment, Assessing Adequacy, Linkages between Objectives, Effectiveness, Capability, Practices, Indicators, Principles
1	Jonathan Sprinkle, Brandon Eames	On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle.	ECBS	2011	DBLP DOI BibTeX RDF	multicore, Autonomous systems, model-based design, component-based systems, code reuse
1	James H. Hill	Measuring and Reducing Modeling Effort in Domain-Specific Modeling Languages with Examples.	ECBS	2011	DBLP DOI BibTeX RDF	measure, reduction, domain-specific modeling languages, model complexity
1	Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté	UML/OCL and Refinement.	ECBS	2011	DBLP DOI BibTeX RDF	Mathematics extension, Global invariant, Local invariant, Refinement, Genericity, Inheritance, OCL, Class Library
1	Sean Whitsitt, Jonathan Sprinkle	Message Modeling for the Joint Architecture for Unmanned Systems (JAUS).	ECBS	2011	DBLP DOI BibTeX RDF	JAUS, Unmanned systems, Code generation, Metamodeling, Model-based design, Autonomous vehicles
1	Haydn Mearns, John Leaney, Dominique Verchère	The Architectural Evolution of Telecommunications Network Management Systems.	ECBS	2010	DBLP DOI BibTeX RDF	telecommunications management, architecture, evolution
1	Eduardo Machado Gonçalves, Cecília Mary Fischer Rubira	Archmeds: An Infrastructure for Dependable Service-Oriented Architectures.	ECBS	2010	DBLP DOI BibTeX RDF	service-oriented architecture, fault-tolerant computing, dependability, redundancy
1	Michael L. Valenzuela, Chuan Feng, Praneel Reddy, Faisal Momen, Jerzy W. Rozenblit, Brian Ten Eyck, Ferenc Szidarovszky	A Non-numerical Predictive Model for Asymmetric Analysis.	ECBS	2010	DBLP DOI BibTeX RDF	ATRAP, Non-Numerical, Prediction, Data-Fusion, Template
1	Daniel Fasel, Khurram Shahzad	A Data Warehouse Model for Integrating Fuzzy Concepts in Meta Table Structures.	ECBS	2010	DBLP DOI BibTeX RDF	Data Warehouse modeling, Fuzzy Data Warehouse, Fuzzy Concepts, Fuzzy Logic, Data Warehouse
1	Tomasz Porzucek, Stephan Kluth, Mathias Fritzsche, David Redlich	Combination of a Discrete Event Simulation and an Analytical Performance Analysis through Model-Transformations.	ECBS	2010	DBLP DOI BibTeX RDF	FMC-QE, MDPE, Discrete Event Simulation, Model Transformations, Quantitative Analysis
1	Heike S. Rolfs, Andreas W. Liehr, Klaus Buchenrieder	Communication Modeling for System-Level Performance-Simulation.	ECBS	2010	DBLP DOI BibTeX RDF	Extended Queuing Networks, FlexRayTM, Simulation-Model, Communication Modeling
1	Abel Marrero Pérez, Stefan Kaiser	Top-Down Reuse for Multi-level Testing.	ECBS	2010	DBLP DOI BibTeX RDF	Test levels, test reuse, real-time and embedded systems, testing strategies, test design
1	Andreas Heinecke, Tobias Brückmann, Tobias Griebe, Volker Gruhn	Generating Test Plans for Acceptance Tests from UML Activity Diagrams.	ECBS	2010	DBLP DOI BibTeX RDF	Model Based Testing, Activity Diagram, Test Case Generation
1	Ivan Kastelan, Nikola Teslic, Vukota Pekovic, Tarkan Tekcan	TV Screen Content Extraction and Recognition Algorithm for the Verification of Digital Television Systems.	ECBS	2010	DBLP DOI BibTeX RDF	subimage extraction, functional failure detection, digital TV testing, TV screen capturing, image comparison
1	Tony Spiteri Staines	Activity and Petri Net Model-to-Model Mapping Using Triple Graph Grammars.	ECBS	2010	DBLP DOI BibTeX RDF
1	Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius	Model-Based Testing Using System vs. Test Models - What Is the Difference?.	ECBS	2010	DBLP DOI BibTeX RDF	UML bases testing, Model-based testing, System models, Test models
1	Fredrik Abbors, Andreas Backlund, Dragos Truscan	MATERA - An Integrated Framework for Model-Based Testing.	ECBS	2010	DBLP DOI BibTeX RDF	Model-Based Testing, Model Validation, Requirements Traceability
1	Georgiana Macariu, Vladimir Cretu	Timed Automata Model for Component-Based Real-Time Systems.	ECBS	2010	DBLP DOI BibTeX RDF	model checking, components, real-time scheduling
1	Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li 0002	Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System.	ECBS	2010	DBLP DOI BibTeX RDF
1	Lucas C. Cordeiro, Bernd Fischer 0002, João Marques-Silva 0001	Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking.	ECBS	2010	DBLP DOI BibTeX RDF	Embedded Software Verification, Bounded Model Checking, Satisfiability Modulo Theories
1	Flávia Coimbra Delicato, Paulo F. Pires, Luci Pirmez, Thaís Vasconcelos Batista	Wireless Sensor Networks as a Service.	ECBS	2010	DBLP DOI BibTeX RDF	web mashups, wireless sensor networks, web services, SOA
1	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	DBLP DOI BibTeX RDF	Simulation, Modelling, SystemC, Flocking
1	Frank Böhr	Model Based Statistical Testing and Durations.	ECBS	2010	DBLP DOI BibTeX RDF	embedded systems, real-time, testing, model based testing, usage model
1	Gisele M. Simas, Rodrigo Andrade de Bem, Lucas Novelo, Guilherme P. Fickel, Silvia Silva da Costa Botelho	Visual Tracking Based on 3D Probabilistic Reconstruction.	ECBS	2010	DBLP DOI BibTeX RDF
1	Mike Hinchey, Lorcan Coyle	Evolving Critical Systems.	ECBS	2010	DBLP DOI BibTeX RDF
1	Lianping Chen, Muhammad Ali Babar 0001	Supporting Customizable Architectural Design Decision Management.	ECBS	2010	DBLP DOI BibTeX RDF	software architecture, design rationale, Architectural knowledge, customizability, architectural design decision
1	Miroslav Svéda	Fault Management Driven Design with Safety and Security Requirements.	ECBS	2010	DBLP DOI BibTeX RDF	operational error, security, safety, fault management, embedded system design
1	Jonathan Tate, Iain Bate	Do Sensornet Protocol Variants Yield Real Benefits?.	ECBS	2010	DBLP DOI BibTeX RDF	wireless networks, protocols, sensornets
1	Fan Yang, Wen Su, Huibiao Zhu, Qin Li 0002	Formalizing MapReduce with CSP.	ECBS	2010	DBLP DOI BibTeX RDF	Cloud Computing, CSP, MapReduce
1	Patricia O'Hagan	Engineering Self-Service Correctional Facility Biometric Computer-Based Systems.	ECBS	2010	DBLP DOI BibTeX RDF
1	Sebastian Wieczorek, Alin Stefanescu	Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces.	ECBS	2010	DBLP DOI BibTeX RDF	UI Testing, System-level Testing, Service-oriented Architecture, Model-based Testing, Enterprise Systems
1	Massood Khaari, Raman Ramsin	Process Patterns for Aspect-Oriented Software Development.	ECBS	2010	DBLP DOI BibTeX RDF	Aspect-Oriented Software Development, Process Patterns, Situational Method Engineering
1	Moazzam Fareed Niazi, Hannu Tenhunen, Tiberiu Seceleanu	An Emulation Solution for the SegBus Platform.	ECBS	2010	DBLP DOI BibTeX RDF
1	Mohammad Saeed Abou Trab, Steve Counsell	Fault Coverage Measurement of a Timed Test Case Generation Approach.	ECBS	2010	DBLP DOI BibTeX RDF
1	Dalila Tamzalit, Tom Mens	Guiding Architectural Restructuring through Architectural Styles.	ECBS	2010	DBLP DOI BibTeX RDF
1	Mike Hinchey, Lorcan Coyle	Evolving Critical Systems: A Research Agenda for Computer-Based Systems.	ECBS	2010	DBLP DOI BibTeX RDF	evolving critical systems (ECS), softwware evolution
1	Hussain Al-Helal, Jonathan Sprinkle	UAV Search: Maximizing Target Acquisition.	ECBS	2010	DBLP DOI BibTeX RDF	Rotorcraft, UAV, Command and Control, Search and Rescue
1	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	DBLP DOI BibTeX RDF	load balance, P2P, distributed hash table, range query, segment tree
1	Richard Mordinyi, Eva Kühn, Alexander Schatten	Towards an Architectural Framework for Agile Software Development.	ECBS	2010	DBLP DOI BibTeX RDF	Agile Business Requirements, Abstraction, Agile Software Development, Architectural Styles, Decoupling
1	A. A. L. Abdullatif, R. J. Pooley	UML-JMT: A Tool for Evaluating Performance Requirements.	ECBS	2010	DBLP DOI BibTeX RDF
1	Isabelle Perseil, Laurent Pautet	High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems.	ECBS	2010	DBLP DOI BibTeX RDF	Real-time systems, Abstraction, Analysis, MARTE
1	Julie A. McCann	Wireless Sensor Networking: The Pleasure and the Pain.	ECBS	2010	DBLP DOI BibTeX RDF
1	Jeanette Heidenberg, Ivan Porres	Metrics Functions for Kanban Guards.	ECBS	2010	DBLP DOI BibTeX RDF	software metrics, agile methods, autonomation
1	R. J. Pooley, A. A. L. Abdullatif	CPASA: Continuous Performance Assessment of Software Architecture.	ECBS	2010	DBLP DOI BibTeX RDF	CPASA, Agile developemnt, Performance Engineering, Performance Verification
1	Mario Riojas, Susan Lysecky, Jerzy W. Rozenblit	Adapting Engineering Education to Resource-Constrained Middle Schools: Teaching Methodologies and Computing Technologies.	ECBS	2010	DBLP DOI BibTeX RDF	Accessible Computing Platforms, Computer-Human Interaction and Design, Project Based Learning, Interactive Technologies, Engineering Education
1	Ulrich Krenn, Michael Thonhauser, Christian Kreiner	ECQL: A Query and Action Language for Model-Based Applications.	ECBS	2010	DBLP DOI BibTeX RDF	model interpretation, domain specific language, model-based development
1	Bernhard Groene, Wolfram Kleis, Jochen Boeder	Educating Architects in Industry - The SAP Architecture Curriculum.	ECBS	2010	DBLP DOI BibTeX RDF	Software Architect, Education, Curriculum
1	Rodrigo Dias Arruda Senra, Claudia Bauzer Medeiros	Database Descriptors: Laying the Path to Commodity Web Data Services.	ECBS	2010	DBLP DOI BibTeX RDF	databases, cloud computing, descriptors
1	Khalid Latif 0002, Tiberiu Seceleanu, Hannu Tenhunen	Power and Area Efficient Design of Network-on-Chip Router through Utilization of Idle Buffers.	ECBS	2010	DBLP DOI BibTeX RDF	Segbus, Virtual Channel, NoC
1	Miao Wang 0002, Viliam Holub, Trevor Parsons, John Murphy 0001, Patrick O'Sullivan	Scalable Run-Time Correlation Engine for Monitoring in a Cloud Computing Environment.	ECBS	2010	DBLP DOI BibTeX RDF
1	Zenon Chaczko, Christopher Chiu, Ryszard Klempous, Jan Nikodem	3TZ Collaborative Team Environments Incorporating the Hybrid Holonic Architecture.	ECBS	2010	DBLP DOI BibTeX RDF	3 Time Zone (3TZ), Collaborative Project Development, Business Process Reengineering (BPR) Holonic Architecture, 3TZ Virtual Labware, Zachman Framework
1	Marcus Brohede	Simulations within Information Fusion - The Need for Fault Tolerance High Fault Tolerance Degree.	ECBS	2010	DBLP DOI BibTeX RDF	real-world actions, whiteboard architecture, degree of fault tolerance, information fusion, real-time simulation
1	Qurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zafar I. Malik, Matthias Riebisch	A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support.	ECBS	2010	DBLP DOI BibTeX RDF	UML, model based testing, Regression testing, State machine
1	Marc-Florian Wendland, Jürgen Großmann, Andreas Hoffmann 0001	Establishing a Service-Oriented Tool Chain for the Development of Domain-Independent MBT Scenarios.	ECBS	2010	DBLP DOI BibTeX RDF	FOKUS!MBT, MBT, UTP, Testing Metamodel, UML
1	Gerhard Grießnig, Roland Mader, Christian Steger, Reinhold Weiss	Design and Implementation of Safety Functions on a Novel CPLD-Based Fail-Safe System Architecture.	ECBS	2010	DBLP DOI BibTeX RDF	safety-critical embedded system, fail-safe system, safety function, safety, CPLD, IEC 61508
1	Bogdan Trivunovic, Miroslav Popovic, Vladislav Vrtunski	An Application Level Parallelization of Complex Real-Time Software.	ECBS	2010	DBLP DOI BibTeX RDF	complex real-time software, parallelization, DMS
1	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	DBLP DOI BibTeX RDF	software architecture, software product line, e-gov
1	Qaisar A. Malik, Dragos Truscan, Johan Lilius	Using UML Models and Formal Verification in Model-Based Testing.	ECBS	2010	DBLP DOI BibTeX RDF
1	Roy Sterritt, Brandon Eames, Jonathan Sprinkle (eds.)	17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010	ECBS	2010	DBLP BibTeX RDF
1	Marco A. Casanova, Tanara Lauschner, Luiz André P. Paes Leme, Karin Koogan Breitman, António L. Furtado 0001, Vânia Maria Ponte Vidal	Modeling the Mediated Schema Constraints.	ECBS	2010	DBLP DOI BibTeX RDF	mediated schema, Description Logics, Integrity constraint
1	Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist	Design-Space Exploration through Constraint-Based Model-Transformation.	ECBS	2010	DBLP DOI BibTeX RDF	Model transformation, design-space exploration, rule-based, declarative, EMF
1	Miroslav Popovic, Ilija Basicevic, Vladislav Vrtunski	A Task Tree Executor: New Runtime for Parallelized Legacy Software.	ECBS	2009	DBLP DOI BibTeX RDF
1	Yosr Jarraya, Mourad Debbabi, Jamal Bentahar	On the Meaning of SysML Activity Diagrams.	ECBS	2009	DBLP DOI BibTeX RDF
1	Tomasz Porzucek, Stephan Kluth, Flavius Copaciu, Werner Zorn	Modeling and Evaluation Framework for FMC-QE.	ECBS	2009	DBLP DOI BibTeX RDF
1	Brian Dougherty, Jules White, Chris Thompson, Douglas C. Schmidt	Automating Hardware and Software Evolution Analysis.	ECBS	2009	DBLP DOI BibTeX RDF
1	Babak Mohammadizadeh Khoshroo, Hassan Rashidi	Towards a Framework for Agile Management Based on Chaos and Complex System Theories.	ECBS	2009	DBLP DOI BibTeX RDF
1	Michael C. Jaeger, Ludger Fiege	Viewpoints in the Smart Home Product Line.	ECBS	2009	DBLP DOI BibTeX RDF
1	Meiko Jensen, Sven Feja	A Security Modeling Approach for Web-Service-Based Business Processes.	ECBS	2009	DBLP DOI BibTeX RDF
1	Rami Al-Motlak, Jerzy W. Rozenblit, Faisal Momen	A Distributed Computing Framework for Parallelization of Coevolution in Multi-sided Conflicts.	ECBS	2009	DBLP DOI BibTeX RDF
1	Martin Monperrus, Antoine Beugnard, Joël Champeau	A Definition of "Abstraction Level" for Metamodels.	ECBS	2009	DBLP DOI BibTeX RDF
1	Fahad Javed, Naveed Arshad	A Penny Saved is a Penny Earned: Applying Optimization Techniques to Power Management.	ECBS	2009	DBLP DOI BibTeX RDF
1	Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake	Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications.	ECBS	2009	DBLP DOI BibTeX RDF
1	Damian Dechev, Peter Pirkelbauer, Nicolas Rouquette, Bjarne Stroustrup	Semantically Enhanced Containers for Concurrent Real-Time Systems.	ECBS	2009	DBLP DOI BibTeX RDF
1	Chuan Feng, Jerzy W. Rozenblit, Allan J. Hamilton, Andrzej Wytyczak-Partyka	Defining Spatial Regions in Computer-Assisted Laparoscopic Surgical Training.	ECBS	2009	DBLP DOI BibTeX RDF
1	Michael Thonhauser, Christian Kreiner, Martin Schmid	Interpreting Model-Based Components for Information Systems.	ECBS	2009	DBLP DOI BibTeX RDF
1	Abhishek Dubey	Algorithms for Synthesizing Safe Sets of Operation for Embedded Systems.	ECBS	2009	DBLP DOI BibTeX RDF
1	Benjamin Hummel	A Semantic Model for Computer-Based Spatio-temporal Systems.	ECBS	2009	DBLP DOI BibTeX RDF
1	S. Campos, Julio C. V. Neves, Luis E. Zárate, Mark A. J. Song	Distributed BMC: A Depth-First Approach to Explore Clause Symmetry.	ECBS	2009	DBLP DOI BibTeX RDF
1		16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009	ECBS	2009	DBLP BibTeX RDF
1	Thomas Leveque, Jacky Estublier, Germán Vega	Extensibility and Modularity for Model Driven Engineering Environments.	ECBS	2009	DBLP DOI BibTeX RDF
1	Philippa Conmy, Iain Bate	Semi-Automated Safety Analysis for Field Programmable Gate Arrays.	ECBS	2009	DBLP DOI BibTeX RDF
1	Muhammad Rashid, Bernard Pottier	Application Capturing and Performance Estimation in an Holistic Design Environment.	ECBS	2009	DBLP DOI BibTeX RDF
1	Tamás Vajk, Róbert Kereskényi, Tihamer Levendovszky, Ákos Lédeczi	Raising the Abstraction of Domain-Specific Model Translator Development.	ECBS	2009	DBLP DOI BibTeX RDF
1	Markus Herrmannsdoerfer, Sabine Rittmann, Bernhard Schätz	Structured Formalization of Service-Oriented Specifications.	ECBS	2009	DBLP DOI BibTeX RDF
1	Stephan Bode, Anja Fischer, Winfried E. Kühnhauser, Matthias Riebisch	Software Architectural Design Meets Security Engineering.	ECBS	2009	DBLP DOI BibTeX RDF
1	Shvetha Soundararajan, James D. Arthur	A Soft-Structured Agile Framework for Larger Scale Systems Development.	ECBS	2009	DBLP DOI BibTeX RDF
1	Jessica Díaz, Agustín Yagüe, Juan Garbajosa	A Systematic Process for Implementing Gateways for Test Tools.	ECBS	2009	DBLP DOI BibTeX RDF
1	Thein Than Tun, Rod Chapman, Charles B. Haley, Robin C. Laney, Bashar Nuseibeh	A Framework for Developing Feature-Rich Software Systems.	ECBS	2009	DBLP DOI BibTeX RDF
1	Andrzej Wytyczak-Partyka, Jan Nikodem, Ryszard Klempous	Application of Structure-from-Motion 3D Reconstruction in Computer-Guided Surgical Training.	ECBS	2009	DBLP DOI BibTeX RDF
1	Jonathan Tate, Iain Bate	Tuning Complex Sensornet Systems Using Principled Engineering Methods.	ECBS	2009	DBLP DOI BibTeX RDF
1	Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Ted Bapty	Modeling and Analysis of Probabilistic Timed Systems.	ECBS	2009	DBLP DOI BibTeX RDF
1	Robert Brcina, Stephan Bode, Matthias Riebisch	Optimisation Process for Maintaining Evolvability during Software Evolution.	ECBS	2009	DBLP DOI BibTeX RDF

Publications at "ECBS"( http://dblp.L3S.de/Venues/ECBS )