Tomás Bures

According to our database1, Tomás Bures
  • authored at least 81 papers between 2005 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies.
TCPS, 2017

Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions.
ACM SIGSOFT Software Engineering Notes, 2017

Model Problem (CrowdNav) and Framework (RTX) for Self-Adaptation Based on Big Data Analytics (Artifact).
DARTS, 2017

Intelligent Ensembles – a Declarative Group Description Language and Java Framework (Artifact).
DARTS, 2017

Unit testing performance with Stochastic Performance Logic.
Autom. Softw. Eng., 2017

Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Self-Adaptation Based on Big Data Analytics: A Model Problem and Tool.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

Intelligent Ensembles - A Declarative Group Description Language and Java Framework.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

SEsCPS 2017 Workshop Summary.
Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2017

2016
Component-based design of cyber-physical applications with safety-critical requirements.
Microprocessors and Microsystems - Embedded Hardware Design, 2016

Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations.
Journal of Systems and Software, 2016

Logic-based modeling of information transfer in cyber-physical multi-agent systems.
Future Generation Comp. Syst., 2016

Software Abstractions for Component Interaction in the Internet of Things.
IEEE Computer, 2016

Statistical Approach to Architecture Modes in Smart Cyber Physical Systems.
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Model problem and testbed for experiments with adaptation in smart cyber-physical systems.
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems.
Proceedings of the Software Architecture - 10th European Conference, 2016

2015
The Autonomic Cloud.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

The E-mobility Case Study.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

The Invariant Refinement Method.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Supporting Performance Awareness in Autonomous Ensembles.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Software Engineering for Smart Cyber-Physical Systems - Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS.
ACM SIGSOFT Software Engineering Notes, 2015

Formal Verification of Annotated Textual Use-Cases.
Comput. J., 2015

An Architecture Framework for Experimentations with Self-Adaptive Cyber-physical Systems.
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Security and Trust in Data Sharing Smart Cyber-Physical Systems.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems.
Proceedings of the Software Architecture - 9th European Conference, 2015

Towards Intelligent Ensembles.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Employing Domain Knowledge for Optimizing Component Communication.
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

Formalization of Invariant Patterns for the Invariant Refinement Method.
Proceedings of the Software, 2015

2014
Automated resolution of connector architectures using constraint solving (ARCAS method).
Software and System Modeling, 2014

Comparison of component frameworks for real-time embedded systems.
Knowl. Inf. Syst., 2014

DEECo: Software Engineering for Smart CPS.
ERCIM News, 2014

Architecture Adaptation Based on Belief Inaccuracy Estimation.
Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014

Improving Strategy in Robot Soccer Game by Sequence Extraction.
Proceedings of the 18th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2014

Towards Performance-Aware Engineering of Autonomic Component Ensembles.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems.
Proceedings of the Nature of Computation and Communication - International Conference, 2014

DEECo: an ecosystem for cyber-physical systems.
Proceedings of the 36th International Conference on Software Engineering, 2014

Software Engineering for Software-Intensive Cyber-Physical Systems.
Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Informatik 2014, Big Data, 2014

Gossiping Components for Cyber-Physical Systems.
Proceedings of the Software Architecture - 8th European Conference, 2014

Towards Component-Based Design of Safety-Critical Cyber-Physical Applications.
Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

Strengthening architectures of smart CPS by modeling them as runtime product-lines.
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

Development of smart cyber-physical systems.
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

2013
Interoperable domain-specific languages families for code generation.
Softw., Pract. Exper., 2013

SOFA 2 Component Framework and Its Ecosystem.
Electr. Notes Theor. Comput. Sci., 2013

RELATE: a research training network on engineering and provisioning of service-based cloud applications.
Proceedings of the 2013 international workshop on Hot topics in cloud services, 2013

Position paper: towards a requirements-driven design of ensemble-based component systems.
Proceedings of the 2013 international workshop on Hot topics in cloud services, 2013

Adaptive deployment in ad-hoc systems using emergent component ensembles: vision paper.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Software Components in Computer Assisted Living?
Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase.
Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

Engineering autonomous systems.
Proceedings of the 17th Panhellenic Conference on Informatics, 2013

Towards Verification of Ensemble-Based Component Systems.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Design of ensemble-based component systems by invariant refinement.
Proceedings of the CBSE'13, 2013

DEECO: an ensemble-based component system.
Proceedings of the CBSE'13, 2013

2012
Capturing performance assumptions using stochastic performance logic.
Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

Towards Dependable Emergent Ensembles of Components: The DEECo Component Model.
Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

CoDIT: Bridging the Gap between System-Level and Component-Level Development.
Proceedings of the Software Engineering Research, 2012

FOAM: A Lightweight Method for Verification of Use-Cases.
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

Performance Awareness in Component Systems: Vision Paper.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Property networks allowing oracle-based mode-change propagation in hierarchical components.
Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

2011
Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons Learned.
Proceedings of the 9th International Conference on Software Engineering Research, 2011

Verifying Temporal Properties of Use-Cases in Natural Language.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Extensible Polyglot Programming Support in Existing Component Frameworks.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

Strengthening Component Architectures by Modeling Fine-Grained Entities.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2010
Comparison of Component Frameworks for Real-Time Embedded Systems.
Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010

2009
Using Connectors to Address Transparent Distribution in Enterprise Systems - Pitfalls and Options.
Proceedings of the Software Engineering, 2009

Supporting Real-Life Applications in Hierarchical Component Systems.
Proceedings of the Software Engineering Research, 2009

Using a product line for creating component systems.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Bridging the Component-Based and Service-Oriented Worlds.
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

2008
Safe Systems with Software Components in SOFA 2.
ERCIM News, 2008

A Component Model Family for Vehicular Embedded Systems.
Proceedings of the Third International Conference on Software Engineering Advances, 2008

Using DSL for Automatic Generation of Software Connectors.
Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008

A Component Model for Control-Intensive Distributed Embedded Systems.
Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

2007
Runtime Support for Advanced Component Concepts.
Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

Advanced Features of Hierarchical Component Models.
Proceedings of the 10th International Conference on Information System Implementation and Modeling, 2007

CoCoME in SOFA.
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

CoCoME in Fractal.
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model.
Proceedings of the Fourth International Conference on Software Engineering, 2006

Eliminating Execution Overhead of Disabled Optional Features in Connectors.
Proceedings of the Software Architecture, Third European Workshop, 2006

2005
Generating connectors for heterogeneous deployment.
Proceedings of the 5th International Workshop on Software Engineering and Middleware, 2005

Microcomponent-Based Component Controllers: A Foundation for Component Aspects.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005


  Loading...