Search results for "ECBS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Moshe Goldstein, David Dayan, Max Rabin, Devora Berlowitz, Or Berlowitz, Raphael B. Yehezkael	Design principles of an embedded language (EFL) enabling well defined order-independent execution.	ECBS	2017	DBLP DOI BibTeX RDF
1	Marcel Marek, Ondrej Rysavý, Vladimír Veselý	Towards analysis of IP communication in a constrained environment of tactical radio networks.	ECBS	2017	DBLP DOI BibTeX RDF
1	M. D. Siam Hasan, Thomas R. Dean, Fahim T. Imam, Francisco Garcia, Sylvain P. Leblanc, Mohammad Zulkernine	A Constraint-based intrusion detection system.	ECBS	2017	DBLP DOI BibTeX RDF
1	Peter Berta, Michal Bystrický, Michal Krempaský, Valentino Vranic	Employing issues and commits for in-code sentence based use case identification and remodularization.	ECBS	2017	DBLP DOI BibTeX RDF
1	Jong Chul Lee, Roman Lysecky	System Observation of Blocking, Non-blocking, and Cascading Events for Runtime Monitoring of Real-Time Systems.	ECBS	2013	DBLP DOI BibTeX RDF
1	Thomas Bohne, Uwe M. Borghoff	Data Fusion: Boosting Performance in Keyword Extraction.	ECBS	2013	DBLP DOI BibTeX RDF
1	Yuan Tian, Yi Zhang, Sihong Gu	Embedded System Design for Miniature CPT Atomic Clock Circuit.	ECBS	2013	DBLP DOI BibTeX RDF
1	David Lindecker, Gabor Simko, István Madari, Tihamer Levendovszky, Janos Sztipanovits	Multi-way Semantic Specification of Domain-Specific Modeling Languages.	ECBS	2013	DBLP DOI BibTeX RDF
1	Gabor Simko, David Lindecker, Tihamer Levendovszky, Ethan K. Jackson, Sandeep Neema, Janos Sztipanovits	A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems.	ECBS	2013	DBLP DOI BibTeX RDF
1	Johannes Sametinger	Software Security.	ECBS	2013	DBLP DOI BibTeX RDF
1	Mikhail Ramalho, Mauro Freitas, Felipe Rodrigues Monteiro Sousa, Hendrio Marques, Lucas C. Cordeiro, Bernd Fischer 0002	SMT-Based Bounded Model Checking of C++ Programs.	ECBS	2013	DBLP DOI BibTeX RDF
1	Haydn Mearns, John Leaney	The Use of Autonomic Management in Multi-provider Telecommunication Services.	ECBS	2013	DBLP DOI BibTeX RDF
1	Andreas Attenberger, Klaus Buchenrieder	Wavelet-Based Detrending for EMG Noise Removal.	ECBS	2013	DBLP DOI BibTeX RDF
1	Darshan G. Puranik, Dennis C. Feiock, James H. Hill	Real-Time Monitoring using AJAX and WebSockets.	ECBS	2013	DBLP DOI BibTeX RDF
1	Nermin Kajtazovic, Christopher Preschern, Christian Kreiner	A Component-Based Dynamic Link Support for Safety-Critical Embedded Systems.	ECBS	2013	DBLP DOI BibTeX RDF
1	Scott A. Douglass	Autonomous Agents in Complex Event-Driven Software Systems.	ECBS	2013	DBLP DOI BibTeX RDF
1	Sebastian Voss, Bernhard Schätz	Deployment and Scheduling Synthesis for Mixed-Critical Shared-Memory Applications.	ECBS	2013	DBLP DOI BibTeX RDF
1	David W. Bustard, F. George Wilkie, Des Greer	The Maturation of Agile Software Development Principles and Practice: Observations on Successive Industrial Studies in 2010 and 2012.	ECBS	2013	DBLP DOI BibTeX RDF
1	César Gutierrez, Juan Garbajosa, Jessica Díaz, Agustín Yagüe	Providing a Consensus Definition for the Term "Smart Product".	ECBS	2013	DBLP DOI BibTeX RDF
1	Jerzy W. Rozenblit (eds.)	20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, ECBS 2013, Scottsdale, AZ, USA, April 22-24, 2013	ECBS	2013	DBLP BibTeX RDF
1	Francesca De Crescenzio, Giuseppe Frau	Design of Virtual Reality Based HMIs (Human Machine Interfaces) of Complex Systems.	ECBS	2013	DBLP DOI BibTeX RDF
1	Matthias Galster, Armin Eberlein, Li Jiang 0006	Structuring Software Requirements for Architecture Design.	ECBS	2013	DBLP DOI BibTeX RDF
1	Nermin Kajtazovic, Christopher Preschern, Christian Kreiner	A Persistent Naming Scheme for Embedded Systems in Automation.	ECBS	2013	DBLP DOI BibTeX RDF
1	Oumair Naseer, Akeel A. Shah, Rana Atif Ali Khan	Feedback Control Scheduling for Crane Control System.	ECBS	2013	DBLP DOI BibTeX RDF
1	Antoaneta Kondeva, Daniel Ratiu, Bernhard Schätz, Sebastian Voss	Seamless Model-Based Development of Embedded Systems with AF3 Phoenix.	ECBS	2013	DBLP DOI BibTeX RDF
1	Kun Zhang, Jonathan Sprinkle	Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring.	ECBS	2013	DBLP DOI BibTeX RDF
1	Nathan Sandoval, Casey Mackin, Sean Whitsitt, Roman L. Lysecky, Jonathan Sprinkle	System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems.	ECBS	2013	DBLP DOI BibTeX RDF
1	Lu Ding, Adrian Lizarraga, Susan Lysecky, Roman Lysecky, Ann Gordon-Ross	Accuracy-Guided Runtime Adaptive Profiling Optimization of Wireless Sensor Networks.	ECBS	2013	DBLP DOI BibTeX RDF
1	Nathan Sandoval, Casey Mackin, Roman L. Lysecky, Jonathan Sprinkle	How You Can Learn to Stop Worrying and Love Reconfigurable Embedded Systems: A Tutorial.	ECBS	2013	DBLP DOI BibTeX RDF
1	George Hwang, Jerzy W. Rozenblit	Implementation of Computer-Guided Navigation in Surgical Training.	ECBS	2013	DBLP DOI BibTeX RDF
1	Sean Whitsitt, Jonathan Sprinkle	Model Based Development with the Skeleton Design Method.	ECBS	2013	DBLP DOI BibTeX RDF
1	Florian Pölzlbauer, Iain Bate, Eugen Brenner	On Extensible Networks for Embedded Systems.	ECBS	2013	DBLP DOI BibTeX RDF
1	Jonathan Sprinkle	Mobile Device Software: Model-Based Architectures and Examples.	ECBS	2013	DBLP DOI BibTeX RDF
1	Devesh Bhatt, Kirk Schloegel, Gabor Madl, David Oglesby	Quantifying Error Propagation in Data Flow Models.	ECBS	2013	DBLP DOI BibTeX RDF
1	Ondrej Rysavý, Jaroslav Ráb, Patrik Halfar, Miroslav Svéda	A Formal Authorization Framework for Networked SCADA Systems.	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	Yessine Hadj Kacem, Adel Mahfoudhi, Amina Magdich, Chokri Mraidha, Walid Karamti	Using MDE and priority time petri nets for the schedulability analysis of embedded systems modeled by UML activity diagrams.	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	Vladimir M. Ciric, Vladimir Simic, Ivan Z. Milentijevic	Yield Modeling for Error Tolerant and Partially Defect Tolerant Arrays.	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	Stephan Kluth	Discussion on the Zorn-Hypothesis on Inter-server Control Flow and Product Form Queueing Networks.	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	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	Ralf Dreesen	ViDL: A Versatile ISA Description Language.	ECBS	2012	DBLP DOI BibTeX RDF
1	Xi Wu 0005, Si Liu 0001, Huibiao Zhu, Yongxin Zhao, Lei Chen	Modeling and Verifying the Ariadne Protocol Using CSP.	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	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	David W. Bustard	Beyond Mainstream Adoption: From Agile Software Development to Agile Organizational Change.	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	Péter Fehér, László Lengyel	The challenges of a model transformation language.	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	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	Branislav Atlagic, Mihaly Sagi, Dejan Milinkov, Bojan Bogovac, Stanko Culaja	Model-based approach to the development of SCADA applications.	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	Marcell Fehér, Krisztian Fekete, Kristóf Csorba, Bertalan Forstner	Route Separation Strategies for Human Movement Datasets.	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	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	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	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	Reza Matinnejad, Raman Ramsin	An Analytical Review of Process-Centered Software Engineering Environments.	ECBS	2012	DBLP DOI BibTeX RDF
1	Mahmoud Hussein, Jun Han 0004, Alan W. Colman, Jian Yu	An Architecture-Based Approach to Developing Context-Aware 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	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	Thomas Scheller, Eva Kühn	Influencing Factors on the Usability of API Classes and Methods.	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	James H. Hill, Aniruddha S. Gokhale	Using Template Metaprogramming to Enhance Reuse in Visitor-Based Model Interpreters.	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	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	Michael L. Valenzuela, Liana Suantak, Jerzy W. Rozenblit	Decision Support Using Deterministic Equivalents of Probabilistic Game Trees.	ECBS	2012	DBLP DOI BibTeX RDF
1	Andrew Milakovich, Vijay Shankar Gopinath, Roman L. Lysecky, Jonathan Sprinkle	Automated Software Generation and Hardware Coprocessor Synthesis for Data-Adaptable Reconfigurable Systems.	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	Dhaminda B. Abeywickrama, Franco Zambonelli	Model Checking Goal-Oriented Requirements for Self-Adaptive Systems.	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	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	James H. Hill	Using Parameterized Attributes to Improve Testing Capabilities with Domain-Specific Modeling Languages.	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	Dmitriy Dunaev, László Lengyel	Complexity of a Special Deobfuscation Problem.	ECBS	2012	DBLP DOI BibTeX RDF
1	Nicolas Frisby, M. Peck, Mark Snyder, Perry Alexander	Model Composition in Rosetta.	ECBS	2011	DBLP DOI BibTeX RDF	specification composition, refinement, reasoning
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	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	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	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		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	Robert B. France	Supporting Community-Driven Evolution of Model-Driven Development Knowledge Using ReMoDD.	ECBS	2011	DBLP DOI BibTeX RDF
1	Vijay Shankar Gopinath, Jonathan Sprinkle, Roman L. 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	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	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	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	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	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	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	Kevin L. Moore 0001	Consensus in Networks: Coordination and Control of CyberPhysical Systems, from Unmanned Vehicles to Energy-Efficient Buildings.	ECBS	2011	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
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	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	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	Stefano Cucchiella, Antonio Cicchetti, Federico Ciccozzi	An Open-Source Pivot Language for Proprietary Tool-Chaining.	ECBS	2011	DBLP DOI BibTeX RDF
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	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	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

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