Search results for "ECBS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Miroslav Popovic, Bernhard Schätz, Sebastian Voss (eds.)	IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2012, Novi Sad, Serbia, April 11-13, 2012	ECBS	2012	DBLP BibTeX RDF
1	Steffen Lehnert, Qurat-ul-ann Farooq, Matthias Riebisch	A Taxonomy of Change Types and Its Application in Software Evolution.	ECBS	2012	DBLP DOI BibTeX RDF
1	James H. Hill, Aniruddha S. Gokhale	Using Template Metaprogramming to Enhance Reuse in Visitor-Based Model Interpreters.	ECBS	2012	DBLP DOI BibTeX RDF
1	Michael L. Valenzuela, Liana Suantak, Jerzy W. Rozenblit	Decision Support Using Deterministic Equivalents of Probabilistic Game Trees.	ECBS	2012	DBLP DOI BibTeX RDF
1	Jan Nikodem, George Hwang, Jerzy W. Rozenblit, Liana Napalkova	Technical Realization of the Optimal Motion Planning Method for Minimally Invasive Surgery.	ECBS	2012	DBLP DOI BibTeX RDF
1	Ivan Kastelan, Nikola Bednar, Mihajlo Katona, Dusan Zivkov	Touch-Screen Stimulation for Automated Verification of Touchscreen-Based Devices.	ECBS	2012	DBLP DOI BibTeX RDF
1	James H. Hill	Using Parameterized Attributes to Improve Testing Capabilities with Domain-Specific Modeling Languages.	ECBS	2012	DBLP DOI BibTeX RDF
1	Christopher Preschern, Nermin Kajtazovic, Christian Kreiner	An Architecture for Safe and Secure Automation System Devices and Maintenance Process.	ECBS	2012	DBLP DOI BibTeX RDF
1	Zdravko Panjkov, Mihajlo Katona, Danijel Spasojevic, Zoltan Pele	A Case Study in Software Reengineering for a DSP-based System on a Chip: Adaptation of Dolby Virtual Speaker.	ECBS	2012	DBLP DOI BibTeX RDF
1	Tomas Potuzak	Division of Road Traffic Network for Distributed Simulation Performed on Heterogeneous Clusters.	ECBS	2012	DBLP DOI BibTeX RDF
1	Dhaminda B. Abeywickrama, Franco Zambonelli	Model Checking Goal-Oriented Requirements for Self-Adaptive Systems.	ECBS	2012	DBLP DOI BibTeX RDF
1	Miodrag Petkovic, Miroslav Popovic, Ilija Basicevic, Djordje Saric	A Host Based Method for Data Leak Protection by Tracking Sensitive Data Flow.	ECBS	2012	DBLP DOI BibTeX RDF
1	Zarko Stanisavljevic, Bosko Nikolic, Jovan Djordjevic	A Module for Automatic Assessment and Verification of Students' Work in Digital Logic Design.	ECBS	2012	DBLP DOI BibTeX RDF
1	Miroslav Popovic, Miodrag Djukic, Vladimir Marinkovic, Nikola Vranic	A Task Tree Executor Architecture Based on Intel Threading Building Blocks.	ECBS	2012	DBLP DOI BibTeX RDF
1	Marcell Feher, Krisztian Fekete, Kristóf Csorba, Bertalan Forstner	Route Separation Strategies for Human Movement Datasets.	ECBS	2012	DBLP DOI BibTeX RDF
1	Slavko Sajic, Nebojsa Maletic, Branislav M. Todorovic, Milan Sunjevaric	Frequency Hopping Synchronization Scheme Based on Real-Time Clock.	ECBS	2012	DBLP DOI BibTeX RDF
1	Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin	Support for Holistic Response-Time Analysis in an Industrial Tool Suite: Implementation Issues, Experiences and a Case Study.	ECBS	2012	DBLP DOI BibTeX RDF
1	Andrea Leitner, Reinhold Weiss, Christian Kreiner	Analyzing the Complexity of Domain Model Representations.	ECBS	2012	DBLP DOI BibTeX RDF
1	Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao, Lei Chen	Modeling and Verifying the Ariadne Protocol Using CSP.	ECBS	2012	DBLP DOI BibTeX RDF
1	Thomas Scheller, eva Kühn	Influencing Factors on the Usability of API Classes and Methods.	ECBS	2012	DBLP DOI BibTeX RDF
1	Ondrej Rysavy, Jaroslav Ráb, Patrik Halfar, Miroslav Svéda	A Formal Authorization Framework for Networked SCADA Systems.	ECBS	2012	DBLP DOI BibTeX RDF
1	Mahmoud Hussein, Jun Han, Alan W. Colman, Jian Yu	An Architecture-Based Approach to Developing Context-Aware Adaptive Systems.	ECBS	2012	DBLP DOI BibTeX RDF
1	Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin	Towards Modeling and Holistic Timing Analysis of Industrial Component-Based DRE Systems.	ECBS	2012	DBLP DOI BibTeX RDF
1	Ralf Dreesen	ViDL: A Versatile ISA Description Language.	ECBS	2012	DBLP DOI BibTeX RDF
1	Robert M. Marks	A Metadata Driven Approach to Performing Multi-vendor Database Schema Upgrades.	ECBS	2012	DBLP DOI BibTeX RDF
1	Vladimir Ciric, Vladimir Simic, Ivan Milentijevic	Yield Modeling for Error Tolerant and Partially Defect Tolerant Arrays.	ECBS	2012	DBLP DOI BibTeX RDF
1	Andrew Milakovich, Vijay Shankar Gopinath, Roman Lysecky, Jonathan Sprinkle	Automated Software Generation and Hardware Coprocessor Synthesis for Data-Adaptable Reconfigurable Systems.	ECBS	2012	DBLP DOI BibTeX RDF
1	Reza Matinnejad, Raman Ramsin	An Analytical Review of Process-Centered Software Engineering Environments.	ECBS	2012	DBLP DOI BibTeX RDF
1	Bojan Mrazovac, Milan Z. Bjelica, Dragan Kukolj, Sasa Vukosavljev, Branislav M. Todorovic	System Design for Passive Human Detection Using Principal Components of the Signal Strength Space.	ECBS	2012	DBLP DOI BibTeX RDF
1	Vukota Pekovic, Dako Banika, Damjan Kuburovic, Vladimir Zlokolica, Nikola Vranic	Simultaneous Functionality Verification System of Multiple Set-Top Boxes.	ECBS	2012	DBLP DOI BibTeX RDF
1	Szabolcs Pál, Zoran Saric, Stanislav Ocovaj, Istvan Papp	Hands-Free VoIP Terminal with Gain Control Based on Neural Network.	ECBS	2012	DBLP DOI BibTeX RDF
1	Branislav Atlagic, Mihaly Sagi, Dejan Milinkov, Bojan Bogovac, Stanko Culaja	A Way towards Efficiency of SCADA Infrastructure.	ECBS	2012	DBLP DOI BibTeX RDF
1	Andreas Attenberger, Klaus Buchenrieder	Modeling and Visualization of Classification-Based Control Schemes for Upper Limb Prostheses.	ECBS	2012	DBLP DOI BibTeX RDF
1	László Blázovics, Kristóf Csorba, Bertalan Forstner, Hassan Charaf	Target Tracking and Surrounding with Swarm Robots.	ECBS	2012	DBLP DOI BibTeX RDF
1	Constanta-Nicoleta Bodea, Maria-Iuliana Dascalu, Luca-Dan Serbanati	An Ontology-Alignment Based Recommendation Mechanism for Improving the Acquisition and Implementation of Managerial Training Services in Project Oriented Organizations.	ECBS	2012	DBLP DOI BibTeX RDF
1	Sean Whitsitt, Abishek Gopalan, Sangman Cho, Jonathan Sprinkle, Srinivasan Ramasubramanian, Liana Suantak, Jerzy W. Rozenblit	On the Extraction and Analysis of a Social Network with Partial Organizational Observation.	ECBS	2012	DBLP DOI BibTeX RDF
1	Vladimir Zlokolica, Nebojsa Milutinovic, Vladimir Marinkovic, Vukota Pekovic, Jan Zloh	Automatic Set-Top Box Menu Navigation Scheme for STB Menu Functional Verification.	ECBS	2012	DBLP DOI BibTeX RDF
1	Stephan Kluth	Discussion on the Zorn-Hypothesis on Inter-server Control Flow and Product Form Queueing Networks.	ECBS	2012	DBLP DOI BibTeX RDF
1	David W. Bustard	Beyond Mainstream Adoption: From Agile Software Development to Agile Organizational Change.	ECBS	2012	DBLP DOI BibTeX RDF
1	Dmitriy Dunaev, László Lengyel	Complexity of a Special Deobfuscation Problem.	ECBS	2012	DBLP DOI BibTeX RDF
1	Renée C. Bryce, Charles J. Colbourn, D. Richard Kuhn	Finding Interaction Faults Adaptively Using Distance-Based Strategies.	ECBS	2011	DBLP DOI BibTeX RDF	distance-based testing, software testing, Hamming distance, Combinatorial testing
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	Nicolas Frisby, M. Peck, Mark Snyder, Perry Alexander	Model Composition in Rosetta.	ECBS	2011	DBLP DOI BibTeX RDF	specification composition, refinement, reasoning
1	Jong Chul Lee, Andrew S. Gardner, Roman Lysecky	Hardware Observability Framework for Minimally Intrusive Online Monitoring of Embedded Systems.	ECBS	2011	DBLP DOI BibTeX RDF	online system monitoring, verification, testing, validation, observability
1	Matthias Galster, Armin Eberlein	Identifying Potential Core Assets in Service-Based Systems to Support the Transition to Service-Oriented Product Lines.	ECBS	2011	DBLP DOI BibTeX RDF	service-based, core assets, service-oriented architectures, SOA, stability, variability, product lines, value
1	Oleg Sokolsky	Medical Cyber-Physical Systems.	ECBS	2011	DBLP DOI BibTeX RDF
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	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	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	Nico Krebs, Sebastian Rönnau, Uwe M. Borghoff	Fostering the Universal Virtual Computer as Long-Term Preservation Platform.	ECBS	2011	DBLP DOI BibTeX RDF	UVC, long-term archiving, archive system, specification, virtual machine
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	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	Karin Breitman, Simone Diniz Junqueira Barbosa, Percy E. Salas, Rita Berardi, José Viterbo F., Tássia Freitas, Thaís Vasconcelos Batista	Understanding IT Organizations Using Viewpoints.	ECBS	2011	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF	functional safety, ISO 26262, preliminary hazard analysis, safety goal, automotive embedded system
1	Stefano Cucchiella, Antonio Cicchetti, Federico Ciccozzi	An Open-Source Pivot Language for Proprietary Tool-Chaining.	ECBS	2011	DBLP DOI BibTeX RDF
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	Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson	Pattern-Driven Support for Designing Component-Based Architectural Models.	ECBS	2011	DBLP DOI BibTeX RDF	clock constraints, UML/Marte, embedded system, components
1	Mohammed Akour, Akanksha Jaidev, Tariq M. King	Towards Change Propagating Test Models in Autonomic and Adaptive Systems.	ECBS	2011	DBLP DOI BibTeX RDF	autonomic software, testing, model-driven engineering, self-adaptation, change propagation
1	Ivana Popovic, Vladislav Vrtunski, Miroslav Popovic	Formal Verification of Distributed Transaction Management in a SOA Based Control System.	ECBS	2011	DBLP DOI BibTeX RDF	two phase commit protocol, model checking, service oriented architecture, distributed transactions
1	Vijay Shankar Gopinath, Jonathan Sprinkle, Roman Lysecky	Modeling of Data Adaptable Reconfigurable Embedded Systems.	ECBS	2011	DBLP DOI BibTeX RDF	DARES, GME, model-based design, model integrated computing, Data adaptability
1	Peter Yastrebenetsky, Mark Trakhtenbrot	Analysis of Applicability for Synchronization Complexity Metric.	ECBS	2011	DBLP DOI BibTeX RDF	synchronization complexity analysis, practical applicability, soundness
1		18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2011, Las Vegas, NV, USA, 27-29 April, 2011	ECBS	2011	DBLP BibTeX RDF
1	Sachidanand Mahadevan, Vijay Shankar Gopinath, Roman 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	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	Maribel Hudson, Jonathan Sprinkle	Simplification of Semantically-Rich Model Transformations through Generated Transformation Blocks.	ECBS	2011	DBLP DOI BibTeX RDF	generative transformations, transformation simplification, Model transformation, domain-specific modeling
1	Matthias Riebisch, Stephan Bode, Qurat-ul-ann Farooq, Steffen Lehnert	Towards Comprehensive Modelling by Inter-model Links Using an Integrating Repository.	ECBS	2011	DBLP DOI BibTeX RDF	inter-model dependencies, model interconnection, dependency, traceability, repository, model-based development
1	Mohammad Saeed Abou Trab, Steve Counsell, Robert M. Hierons	GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications.	ECBS	2011	DBLP DOI BibTeX RDF	real-time model-based testing, CAN, testing tool, Real-time embedded systems
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	Kevin L. Moore	Consensus in Networks: Coordination and Control of CyberPhysical Systems, from Unmanned Vehicles to Energy-Efficient Buildings.	ECBS	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	Distributed Real-time Embedded, Dependability, Model-driven Engineering, Component-based Systems
1	Travis A. Hoffman, Jerzy W. Rozenblit, Ali Akoglu, Liana Suantak	Queral Networks: Toward an Approach for Engineering Large Artificial Neural Networks.	ECBS	2011	DBLP DOI BibTeX RDF	Parallel Architecture, Evolutionary Computation, Artificial Neural Networks, Automatic Programming, Computation Theory
1	Miroslav Svéda, Ondrej Rysavy, 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	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	DBLP DOI BibTeX RDF	in-the-loop, simulation, validation, autonomous, vehicle, Model-based
1	Matthias Galster, Armin Eberlein	Facilitating Software Architecting by Ranking Requirements Based on their Impact on the Architecture Process.	ECBS	2011	DBLP DOI BibTeX RDF	software architecture, ranking, software requirements, prioritization
1	Håkan Gustavsson, Jakob Axelsson	A Comparative Case Study of Architecting Practices in the Embedded Software Industry.	ECBS	2011	DBLP DOI BibTeX RDF	Architecting, Embedded systems, Process, Case study
1	Robert B. France	Supporting Community-Driven Evolution of Model-Driven Development Knowledge Using ReMoDD.	ECBS	2011	DBLP DOI BibTeX RDF
1	Tony Spiteri Staines	Activity and Petri Net Model-to-Model Mapping Using Triple Graph Grammars.	ECBS	2010	DBLP DOI BibTeX RDF
1	Miao Wang, Viliam Holub, Trevor Parsons, John Murphy, Patrick O'Sullivan	Scalable Run-Time Correlation Engine for Monitoring in a Cloud Computing Environment.	ECBS	2010	DBLP DOI BibTeX RDF
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	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	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	Mohammad Saeed Abou Trab, Steve Counsell	Fault Coverage Measurement of a Timed Test Case Generation Approach.	ECBS	2010	DBLP DOI BibTeX RDF
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	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	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	Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li	Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System.	ECBS	2010	DBLP DOI BibTeX RDF
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	Dalila Tamzalit, Tom Mens	Guiding Architectural Restructuring through Architectural Styles.	ECBS	2010	DBLP DOI BibTeX RDF
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	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	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	Moazzam Fareed Niazi, Hannu Tenhunen, Tiberiu Seceleanu	An Emulation Solution for the SegBus Platform.	ECBS	2010	DBLP DOI BibTeX RDF
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	Fan Yang, Wen Su, Huibiao Zhu, Qin Li	Formalizing MapReduce with CSP.	ECBS	2010	DBLP DOI BibTeX RDF	Cloud Computing, CSP, MapReduce
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	Jonathan Tate, Iain Bate	Do Sensornet Protocol Variants Yield Real Benefits?.	ECBS	2010	DBLP DOI BibTeX RDF	wireless networks, protocols, sensornets
1	Mike Hinchey, Lorcan Coyle	Evolving Critical Systems.	ECBS	2010	DBLP DOI BibTeX RDF
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	Hussain Al-Helal Tapasya Patki, Jonathan Sprinkle	UAV Search: Maximizing Target Acquisition.	ECBS	2010	DBLP DOI BibTeX RDF	Rotorcraft, UAV, Command and Control, Search and Rescue
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

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