Tomás Bures

Petr Hnetynka, Tomás Bures, Frantisek Plasil, 2006, Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06).

Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions

Bradley R. Schmerl, Eduardo Tovar, Danny Weyns, 2017, SOEN.

Adapting a System with Noisy Outputs with Statistical Guarantees

Christian Prehofer, Ilias Gerostathopoulos, Tomás Bures, 2018, 2018 IEEE/ACM 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

DEECo: Software Engineering for Smart CPS

Ilias Gerostathopoulos, Tomás Bures, Rima Al Ali, 2014, ERCIM News.

Position paper: towards a requirements-driven design of ensemble-based component systems

Ilias Gerostathopoulos, Petr Hnetynka, Tomás Bures, 2013, HotTopiCS '13.

A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase

Franco Zambonelli, Nora Koch, Rocco De Nicola, 2013, 2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops.

Low-cost IoT, Big Data, and Cloud Platform for Developing Countries

Abdur Rahim, CongDuc Pham, Tomás Bures, 2017, GECON.

The Invariant Refinement Method

Ilias Gerostathopoulos, Petr Hnetynka, Michal Kit, 2015, The ASCENS Approach.

Performance Modelling of Smart Cyber-Physical Systems

Raffaela Mirandola, Catia Trubiani, Vladimír Matena, 2018, ICPE Companion.

Using DSL for Automatic Generation of Software Connectors

Petr Hnetynka, Tomás Bures, Michal Malohlava, 2008, Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008).

Dynamic Security Specification Through Autonomic Component Ensembles

Petr Hnetynka, Filip Krijt, Tomás Bures, 2018, ISoLA.

Interoperable domain‐specific languages families for code generation

Petr Hnetynka, Tomás Bures, Frantisek Plasil, 2013, Softw. Pract. Exp..

Experimenting with Adaptation in Smart Cyber-Physical Systems: A Model Problem and Testbed

Ilias Gerostathopoulos, Petr Hnetynka, Vladimír Matena, 2019, Engineering Adaptive Software Systems.

Autonomic component ensembles for dynamic evolving architectures of context-aware smart systems: invited talk abstract

Tomás Bures, 2017, ECSA.

Microcomponent-based component controllers: a foundation for component aspects

Tomás Bures, Vladimir Mencl, 2005, 12th Asia-Pacific Software Engineering Conference (APSEC'05).

Formal Verification of Annotated Textual Use-Cases

Petr Hnetynka, Tomás Bures, Frantisek Plasil, 2015, Comput. J..

Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality

Petr Hnetynka, Filip Krijt, Tomás Bures, 2017, MODELSWARD.

Safe Systems with Software Components in SOFA 2

Petr Hnetynka, Tomás Bures, 2008, ERCIM News.

The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems

Hans Vangheluwe, Mauro Iacono, Oksana Nikiforova, 2017, ICSOFT.

Logic-based modeling of information transfer in cyber-physical multi-agent systems

Tomás Bures, Christian Kroiss, 2016, Future Gener. Comput. Syst..

Software Architectures for Context-Aware Smart Systems

Claudia Raibulet, Khalil Drira, Maria Grazia Fugini, 2019, Inf. Softw. Technol..

Verifying Temporal Properties of Use-Cases in Natural Language

Petr Hnetynka, Tomás Bures, Frantisek Plasil, 2011, FACS.

Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems

Ilias Gerostathopoulos, Alessia Knauss, Tomás Bures, 2016, ECSA.

Bridging the Component-Based and Service-Oriented Worlds

Karel Masek, Petr Hnetynka, Tomás Bures, 2009, 2009 35th Euromicro Conference on Software Engineering and Advanced Applications.

Model problem and testbed for experiments with adaptation in smart cyber-physical systems

Ilias Gerostathopoulos, Petr Hnetynka, Vladimír Matena, 2016, SEAMS@ICSE.

Adaptive deployment in ad-hoc systems using emergent component ensembles: vision paper

Tomás Bures, Jaroslav Keznikl, Lubomír Bulej, 2013, ICPE '13.

A Component Model for Control-Intensive Distributed Embedded Systems

Séverine Sentilles, Ivica Crnkovic, Jan Carlson, 2008, CBSE.

Intelligent Ensembles - a Declarative Group Description Language and Java Framework (Artifact)

Ilias Gerostathopoulos, Petr Hnetynka, Filip Krijt, 2017, Dagstuhl Artifacts Ser..

The E-mobility Case Study

Ugo Montanari, Tomás Bures, Nicklas Hoch, 2015, The ASCENS Approach.

FOAM: A Lightweight Method for Verification of Use-Cases

Petr Hnetynka, Tomás Bures, Frantisek Plasil, 2012, 2012 38th Euromicro Conference on Software Engineering and Advanced Applications.

Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment Boundary, and Social Aspects

Bradley R. Schmerl, Danny Weyns, John S. Fitzgerald, 2019, SOEN.

CoCoME in SOFA

Petr Tuma, Martin Decký, Petr Hnetynka, 2007, CoCoME.

Software Engineering for Smart Cyber-Physical Systems -- Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS

Stefan Biffl, Richard Mordinyi, Christian Berger, 2015, SOEN.

A Framework for Tunable Anomaly Detection

Christian Prehofer, Ilias Gerostathopoulos, Tomás Bures, 2019, 2019 IEEE International Conference on Software Architecture (ICSA).

An Architecture Framework for Experimentations with Self-Adaptive Cyber-physical Systems

Ilias Gerostathopoulos, Petr Hnetynka, Michal Kit, 2015, 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

Performance Awareness in Component Systems: Vision Paper

Petr Tuma, Tomás Bures, Jaroslav Keznikl, 2012, 2012 IEEE 36th Annual Computer Software and Applications Conference Workshops.

Tuning self-adaptation in cyber-physical systems through architectural homeostasis

Ilias Gerostathopoulos, Alessia Knauss, Tomás Bures, 2019, J. Syst. Softw..

Software Components in Computer Assisted Living?

Tomás Bures, Frantisek Plasil, 2013, SOFSEM.

CoDIT: Bridging the Gap between System-Level and Component-Level Development

Petr Hnetynka, Tomás Bures, Michal Malohlava, 2012, SERA.

DEECo: an ecosystem for cyber-physical systems

Ilias Gerostathopoulos, Petr Hnetynka, Michal Kit, 2014, ICSE Companion.

CoCoME in Fractal

Petr Tuma, Martin Decký, Thierry Coupaye, 2007, CoCoME.

Development of smart cyber-physical systems

Tomás Bures, 2014, CBSE '14.

Towards Performance-Aware Engineering of Autonomic Component Ensembles

Petr Tuma, Michal Kit, Tomás Bures, 2014, ISoLA.

The Autonomic Cloud

Francesco Tiezzi, Tomás Bures, Rolf Hennicker, 2015, The ASCENS Approach.

Comparison of Component Frameworks for Real-Time Embedded Systems

Petr Hnetynka, Tomás Bures, Michal Malohlava, 2010, CBSE.

Engineering autonomous systems

Nikola B. Serbedzija, Tomás Bures, Jaroslav Keznikl, 2013, PCI '13.

Employing domain knowledge for optimizing component communication

Michal Kit, Vladimír Matena, Tomás Bures, 2015, 2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE).

Software Engineering for Software-Intensive Cyber-Physical Systems

Ilias Gerostathopoulos, Michal Kit, Tomás Bures, 2014, GI-Jahrestagung.

Architecture Adaptation Based on Belief Inaccuracy Estimation

Ilias Gerostathopoulos, Tomás Bures, Jaroslav Keznikl, 2014, 2014 IEEE/IFIP Conference on Software Architecture.

Using Connectors to Address Transparent Distribution in Enterprise Systems - Pitfalls and Options

Petr Hnetynka, Tomás Bures, Josef Hala, 2009, Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing.

SEsCPS 2017 Workshop Summary

Bradley R. Schmerl, Danny Weyns, John S. Fitzgerald, 2017, SEsCPS@ICSE.

Towards Component-Based Design of Safety-Critical Cyber-Physical Applications

Wolfram Hardt, Alejandro Masrur, Michal Kit, 2014, 2014 17th Euromicro Conference on Digital System Design.

Supporting Real-Life Applications in Hierarchical Component Systems

Petr Hnetynka, Tomás Bures, Pavel Jezek, 2009, SERA.

1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2015)

Danny Weyns, Mark Klein, Rodolfo E. Haber, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.

DEECO: an ensemble-based component system

Ilias Gerostathopoulos, Petr Hnetynka, Michal Kit, 2013, CBSE '13.

Runtime Support for Advanced Component Concepts

Petr Hnetynka, Tomás Bures, Frantisek Plasil, 2007, 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007).

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

Christian Prehofer, Ilias Gerostathopoulos, Tomás Bures, 2017, Dagstuhl Artifacts Ser..

Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication

Petr Hnetynka, Filip Krijt, Vladimír Matena, 2016, ISoLA.

Intelligent Ensembles - A Declarative Group Description Language and Java Framework

Ilias Gerostathopoulos, Petr Hnetynka, Filip Krijt, 2017, 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

Eliminating Execution Overhead of Disabled Optional Features in Connectors

Tomás Bures, Lubomír Bulej, 2006, EWSA.

Towards Dependable Emergent Ensembles of Components: The DEECo Component Model

Michal Kit, Tomás Bures, Jaroslav Keznikl, 2012, 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture.

Formalization of Invariant Patterns for the Invariant Refinement Method

Petr Tuma, Ilias Gerostathopoulos, Tomás Bures, 2015, Software, Services, and Systems.

Advanced Features of Hierarchical Component Models

Petr Hnetynka, Tomás Bures, T. Bures, 2007, ISIM.

Unit testing performance with Stochastic Performance Logic

Petr Tuma, Tomás Bures, Lubomír Bulej, 2017, Automated Software Engineering.

Self-Adaptation Based on Big Data Analytics: A Model Problem and Tool

Christian Prehofer, Ilias Gerostathopoulos, Tomás Bures, 2017, 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons Learned

Petr Hnetynka, Tomás Bures, Jaroslav Keznikl, 2011, 2011 Ninth International Conference on Software Engineering Research, Management and Applications.

Statistical Approach to Architecture Modes in Smart Cyber Physical Systems

Petr Hnetynka, Jan Kofron, Tomás Bures, 2016, 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA).

Towards Verification of Ensemble-Based Component Systems

Ivana Cerná, Jiri Barnat, Tomás Bures, 2013, FACS.

Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns

Robert Heinrich, Petr Hnetynka, Tomás Bures, 2020, ISoLA.

RELATE: a research training network on engineering and provisioning of service-based cloud applications

Jean-Marc Jézéquel, Samuel Kounev, Steffen Zschaler, 2013, HotTopiCS '13.

Adaptive Dispatch: A Pattern for Performance-Aware Software Self-Adaptation

Petr Tuma, Tomás Bures, Lubomír Bulej, 2018, ICPE Companion.

Improving Strategy in Robot Soccer Game by Sequence Extraction

Jan Martinovic, Katerina Slaninová, Tomás Bures, 2014, KES.

Report of the 2nd International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2018)

Claudia Raibulet, Khalil Drira, Maria Grazia Fugini, 2020, ACM SIGSOFT Softw. Eng. Notes.

QRML: A Component Language and Toolset for Quality and Resource Management

Twan Basten, Marc Geilen, Petr Hnetynka, 2020, 2020 Forum for Specification and Design Languages (FDL).

Toward autonomically composable and context-dependent access control specification through ensembles

Petr Hnetynka, Frantisek Plasil, Tomás Bures, 2020, International Journal on Software Tools for Technology Transfer.

Automated resolution of connector architectures using constraint solving (ARCAS method)

Petr Hnetynka, Tomás Bures, Jaroslav Keznikl, 2014, Software & Systems Modeling.

Strengthening architectures of smart CPS by modeling them as runtime product-lines

Petr Hnetynka, Tomás Bures, Frantisek Plasil, 2014, CBSE '14.

Strengthening Component Architectures by Modeling Fine-Grained Entities

Tomás Bures, Ondrej Sery, Michal Malohlava, 2011, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications.

Cost-Aware Stage-Based Experimentation: Challenges and Emerging Results

Petr Tuma, Christian Prehofer, Ilias Gerostathopoulos, 2018, 2018 IEEE International Conference on Software Architecture Companion (ICSA-C).

Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems

Ilias Gerostathopoulos, Petr Hnetynka, Tomás Bures, 2015, ECSA.

Logic-based modeling of information transfer in cyber-physical multi-agent systems

Tomás Bures, Christian Kroiss, T. Bures, 2014, Future Gener. Comput. Syst..

Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report

Bradley R. Schmerl, Danny Weyns, Hans Vangheluwe, 2019, SOEN.

A Virtual Playground for Testing Smart Cyber-Physical Systems

Petr Hnetynka, Tomás Bures, Danylo Khalyeyev, 2018, 2018 IEEE International Conference on Software Architecture Companion (ICSA-C).

Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment Boundary, and Social Aspects

Bradley R. Schmerl, Danny Weyns, John S. Fitzgerald, 2019, SOEN.

Towards systematic live experimentation in software-intensive systems of systems

Petr Tuma, Christian Prehofer, Ilias Gerostathopoulos, 2016, SiSoS@ECSA '16.

SOFA 2 Component Framework and Its Ecosystem

Petr Hnetynka, Tomás Bures, Michal Malohlava, 2013, Electron. Notes Theor. Comput. Sci..

A Tool for Online Experiment-Driven Adaptation

Christian Prehofer, Ilias Gerostathopoulos, Tomás Bures, 2018, 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W).

Using a product line for creating component systems

Petr Hnetynka, Tomás Bures, Michal Malohlava, 2009, SAC '09.

Self-Adaptation 2.0

Tomás Bures, 2021, 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

Self-adaptive K8S Cloud Controller for Time-sensitive Applications

Petr Hnetynka, Tomás Bures, Lubomír Bulej, 2021, 2021 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA).

A guide to design uncertainty-aware self-adaptive components in Cyber-Physical Systems

Jan Kofron, Tomás Bures, Lubomír Bulej, 2022, Future Gener. Comput. Syst..

Targeting uncertainty in smart CPS by confidence-based logic

Ilias Gerostathopoulos, Petr Hnetynka, Jan Kofron, 2021, J. Syst. Softw..

Aspect-Oriented Adaptation of Access Control Rules

Robert Heinrich, Ilias Gerostathopoulos, Petr Hnetynka, 2021, 2021 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA).

Six Software Engineering Principles for Smarter Cyber-Physical Systems

Bradley R. Schmerl, David Garlan, Danny Weyns, 2021, 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C).

Towards fuzzification of adaptation rules in self-adaptive architectures pdf

Martin Krulis, Robert Heinrich, Petr Hnetynka, 2021, ArXiv.

Modeling Data Flow Constraints for Design-Time Confidentiality Analyses

Robert Heinrich, Petr Hnetynka, Tomás Bures, 2021, 2021 IEEE 18th International Conference on Software Architecture Companion (ICSA-C).