Tomás Bures

According to our database1, Tomás Bures authored at least 148 papers between 2005 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Machine-learning abstractions for component-based self-optimizing systems.
Int. J. Softw. Tools Technol. Transf., December, 2023

Generating adaptation rule-specific neural networks.
Int. J. Softw. Tools Technol. Transf., December, 2023

Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems.
ACM SIGSOFT Softw. Eng. Notes, October, 2023

Self-Adaptation in Industry: A Survey.
ACM Trans. Auton. Adapt. Syst., June, 2023

Architecture-based attack propagation and variation analysis for identifying confidentiality issues in Industry 4.0.
Autom., June, 2023

Modeling Machine Learning Concerns in Collective Adaptive Systems.
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023

Towards a Reference Component Model of Edge-Cloud Continuum.
Proceedings of the 20th International Conference on Software Architecture, 2023

Model-based Confidentiality Analysis under Uncertainty.
Proceedings of the 20th International Conference on Software Architecture, 2023

Joint Learning: A Pattern for Reliable and Efficient Decision-Making in Self-Adaptive Internet of Things.
Proceedings of the 28th European Conference on Pattern Languages of Programs, 2023

Early Stopping of Non-productive Performance Testing Experiments Using Measurement Mutations.
Proceedings of the 49th Euromicro Conference on Software Engineering and Advanced Applications, 2023

Online ML Self-adaptation in Face of Traps.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023

2022
A guide to design uncertainty-aware self-adaptive components in Cyber-Physical Systems.
Future Gener. Comput. Syst., 2022

Preliminary Results of a Survey on the Use of Self-Adaptation in Industry.
Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

Simdex: A Simulator of a Real Self-adaptive job-dispatching System Backend.
Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

Towards Model-driven Fuzzification of Adaptive Systems Specification.
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Attuning Adaptation Rules via a Rule-Specific Neural Network.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Handling Environmental Uncertainty in Design Time Access Control Analysis.
Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

Reducing Experiment Costs in Automated Software Performance Regression Detection.
Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

Towards Characterization of Edge-Cloud Continuum.
Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

MockSAS: Facilitating the Evaluation of Bandit Algorithms in Self-adaptive Systems.
Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

Introducing Estimators - Abstraction for Easy ML Employment in Self-adaptive Architectures.
Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

ML-DEECo: a Machine-Learning-Enabled Framework for Self-organizing Components.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022

Dynamic Access Control in Industry 4.0 Systems.
Proceedings of the Digital Transformation, 2022

2021
Targeting uncertainty in smart CPS by confidence-based logic.
J. Syst. Softw., 2021

Special Issue on software engineering for trustworthy cyber-physical systems.
J. Syst. Softw., 2021

Managing latency in edge-cloud environment.
J. Syst. Softw., 2021

Towards fuzzification of adaptation rules in self-adaptive architectures.
CoRR, 2021

Self-Adaptation 2.0.
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Modeling Data Flow Constraints for Design-Time Confidentiality Analyses.
Proceedings of the 18th IEEE International Conference on Software Architecture Companion, 2021

Aspect-Oriented Adaptation of Access Control Rules.
Proceedings of the 47th Euromicro Conference on Software Engineering and Advanced Applications, 2021

Self-adaptive K8S Cloud Controller for Time-sensitive Applications.
Proceedings of the 47th Euromicro Conference on Software Engineering and Advanced Applications, 2021

Architectural Optimization for Confidentiality Under Structural Uncertainty.
Proceedings of the Software Architecture - 15th European Conference, 2021

Six Software Engineering Principles for Smarter Cyber-Physical Systems.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020
A language and framework for dynamic component ensembles in smart systems.
Int. J. Softw. Tools Technol. Transf., 2020

Toward autonomically composable and context-dependent access control specification through ensembles.
Int. J. Softw. Tools Technol. Transf., 2020

Towards Language-Agnostic Reuse of Palladio Quality Analyses.
Softwaretechnik-Trends, 2020

Special issue on software quality of advanced software applications.
Softw. Qual. J., 2020

Report of the 2nd International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2018).
ACM SIGSOFT Softw. Eng. Notes, 2020

Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Forming Ensembles at Runtime: A Machine Learning Approach.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Using component ensembles for modeling autonomic component collaboration in smart farming.
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

PROMISE: high-level mission specification for multiple robots.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

A Toolbox for Realtime Timeseries Anomaly Detection.
Proceedings of the 2020 IEEE International Conference on Software Architecture Companion, 2020

QRML: A Component Language and Toolset for Quality and Resource Management.
Proceedings of the Forum for Specification and Design Languages, 2020

IVIS: Highly customizable framework for visualization and processing of IoT data.
Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

2019
Continuous Data-driven Software Engineering - Towards a Research Agenda: Report on the Joint 5th International Workshop on Rapid Continuous Software Engineering (RCoSE 2019) and 1st International Works.
ACM SIGSOFT Softw. Eng. Notes, 2019

Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report.
ACM SIGSOFT Softw. Eng. Notes, 2019

Tuning self-adaptation in cyber-physical systems through architectural homeostasis.
J. Syst. Softw., 2019

Software Architectures for Context-Aware Smart Systems.
Inf. Softw. Technol., 2019

High-level mission specification for multiple robots.
Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

Automated Trainability Evaluation for Smart Software Functions.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

A Framework for Tunable Anomaly Detection.
Proceedings of the IEEE International Conference on Software Architecture, 2019

Experimenting with Adaptation in Smart Cyber-Physical Systems: A Model Problem and Testbed.
Proceedings of the Engineering Adaptive Software Systems, 2019

2018
Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment Boundary, and Social Aspects.
ACM SIGSOFT Softw. Eng. Notes, 2018

Front Matter - SEAMS 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.
Dagstuhl Artifacts Ser., 2018

Adaptive Dispatch: A Pattern for Performance-Aware Software Self-Adaptation.
Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

Performance Modelling of Smart Cyber-Physical Systems.
Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

A Tool for Online Experiment-Driven Adaptation.
Proceedings of the 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2018

Dynamic Security Specification Through Autonomic Component Ensembles.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Adapting a system with noisy outputs with statistical guarantees.
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

A Virtual Playground for Testing Smart Cyber-Physical Systems.
Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018

Cost-Aware Stage-Based Experimentation: Challenges and Emerging Results.
Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018

2017
Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies.
ACM Trans. Cyber Phys. Syst., 2017

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

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

Intelligent Ensembles - a Declarative Group Description Language and Java Framework (Artifact).
Dagstuhl Artifacts Ser., 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

The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems.
Proceedings of the 12th International Conference on Software Technologies, 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

Low-cost IoT, Big Data, and Cloud Platform for Developing Countries.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2017

An Ensemble-Based Approach for Scalable QoS in Highly Dynamic CPS.
Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 2017

Autonomic component ensembles for dynamic evolving architectures of context-aware smart systems: invited talk abstract.
Proceedings of the 11th European Conference on Software Architecture, 2017

Patterns for Self-Adaptation in Cyber-Physical Systems.
Proceedings of the Multi-Disciplinary Engineering for Cyber-Physical Production Systems, 2017

2016
Component-based design of cyber-physical applications with safety-critical requirements.
Microprocess. Microsystems, 2016

Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations.
J. Syst. Softw., 2016

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

Software Abstractions for Component Interaction in the Internet of Things.
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

Towards systematic live experimentation in software-intensive systems of systems.
Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, 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 Softw. Eng. 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).
Softw. Syst. Model., 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

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, 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. Exp., 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
SOFA 2 Component Framework and Its Ecosystem.
Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 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

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...