Tomás Bures

According to our database, Tomás Bures authored at least 150 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

How Well Do LLMs Understand DEECo Ensemble-Based Component Architectures.

Michal Töpfer, Danylo Khalyeyev, Tomás Bures, Petr Hnetynka, Frantisek Plásil

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

ExpEngine: A Tool for Data Analytics Workflow Optimization Through User-Driven Experimentation.

Keerthiga Rajenthiram, Milad Abdullah, Ilias Gerostathopoulos, Petr Hnetynka, Tomás Bures

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2024

2023

Machine-learning abstractions for component-based self-optimizing systems.

Michal Töpfer, Milad Abdullah, Tomás Bures, Petr Hnetynka, Martin Krulis

Int. J. Softw. Tools Technol. Transf., December, 2023

Generating adaptation rule-specific neural networks.

Tomás Bures, Petr Hnetynka, Martin Krulis, Frantisek Plásil, Danylo Khalyeyev, Sebastian Hahner, Stephan Seifermann, Maximilian Walter, Robert Heinrich

Int. J. Softw. Tools Technol. Transf., December, 2023

Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems.

Danny Weyns, Radu Calinescu, Raffaela Mirandola, Kenji Tei, Maribel Acosta, Amel Bennaceur, Nicolas Boltz, Tomás Bures, Javier Cámara, Ada Diaconescu, Gregor Engels, Simos Gerasimou, Ilias Gerostathopoulos, Sinem Getir Yaman, Vincenzo Grassi, Sebastian Hahner, Emmanuel Letier, Marin Litoiu, Lina Marsso, Angelika Musil, Juergen Musil, Genaína Nunes Rodrigues, Diego Perez-Palacin, Federico Quin, Patrizia Scandurra, Antonio Vallecillo, Andrea Zisman

ACM SIGSOFT Softw. Eng. Notes, October, 2023

Self-Adaptation in Industry: A Survey.

Danny Weyns, Ilias Gerostathopoulos, Nadeem Abbas, Jesper Andersson, Stefan Biffl, Premek Brada, Tomás Bures, Amleto Di Salle, Matthias Galster, Patricia Lago, Grace A. Lewis, Marin Litoiu, Angelika Musil, Juergen Musil, Panos Patros, Patrizio Pelliccione

ACM Trans. Auton. Adapt. Syst., June, 2023

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

Maximilian Walter, Sebastian Hahner, Tomás Bures, Petr Hnetynka, Robert Heinrich, Ralf H. Reussner

Autom., June, 2023

Modeling Machine Learning Concerns in Collective Adaptive Systems.

Petr Hnetynka, Martin Krulis, Michal Töpfer, Tomás Bures

Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023

Towards a Reference Component Model of Edge-Cloud Continuum.

Danylo Khalyeyev, Tomás Bures, Petr Hnetynka

Proceedings of the 20th International Conference on Software Architecture, 2023

Model-based Confidentiality Analysis under Uncertainty.

Sebastian Hahner, Tizian Bitschi, Maximilian Walter, Tomás Bures, Petr Hnetynka, Robert Heinrich

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.

Michiel Provoost, Danny Weyns, Dimitri Van Landuyt, Sam Michiels, Tomás Bures

Proceedings of the 28th European Conference on Pattern Languages of Programs, 2023

Early Stopping of Non-productive Performance Testing Experiments Using Measurement Mutations.

Milad Abdullah, Lubomír Bulej, Tomás Bures, Vojtech Horký, Petr Tuma

Proceedings of the 49th Euromicro Conference on Software Engineering and Advanced Applications, 2023

Online ML Self-adaptation in Face of Traps.

Michal Töpfer, Frantisek Plásil, Tomás Bures, Petr Hnetynka, Martin Krulis, Danny Weyns

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.

Rima Al Ali, Lubomír Bulej, Jan Kofron, Tomás Bures

Future Gener. Comput. Syst., 2022

Preliminary Results of a Survey on the Use of Self-Adaptation in Industry.

Danny Weyns, Ilias Gerostathopoulos, Nadeem Abbas, Jesper Andersson, Stefan Biffl, Premek Brada, Tomás Bures, Amleto Di Salle, Patricia Lago, Angelika Musil, Juergen Musil, Patrizio Pelliccione

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.

Martin Krulis, Tomás Bures, Petr Hnetynka

Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

Towards Model-driven Fuzzification of Adaptive Systems Specification.

Tomás Bures, Petr Hnetynka, Martin Krulis, Jan Pacovský

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems.

Michal Töpfer, Milad Abdullah, Tomás Bures, Petr Hnetynka, Martin Krulis

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Attuning Adaptation Rules via a Rule-Specific Neural Network.

Tomás Bures, Petr Hnetynka, Martin Krulis, Frantisek Plásil, Danylo Khalyeyev, Sebastian Hahner, Stephan Seifermann, Maximilian Walter, Robert Heinrich

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Handling Environmental Uncertainty in Design Time Access Control Analysis.

Nicolas Boltz, Sebastian Hahner, Maximilian Walter, Stephan Seifermann, Robert Heinrich, Tomás Bures, Petr Hnetynka

Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

Reducing Experiment Costs in Automated Software Performance Regression Detection.

Milad Abdullah, Lubomír Bulej, Tomás Bures, Petr Hnetynka, Vojtech Horký, Petr Tuma

Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

Towards Characterization of Edge-Cloud Continuum.

Danylo Khalyeyev, Tomás Bures, Petr Hnetynka

Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

MockSAS: Facilitating the Evaluation of Bandit Algorithms in Self-adaptive Systems.

Elvin Alberts, Ilias Gerostathopoulos, Tomás Bures

Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

Introducing Estimators - Abstraction for Easy ML Employment in Self-adaptive Architectures.

Milad Abdullah, Michal Töpfer, Tomás Bures, Petr Hnetynka, Martin Krulis, Frantisek Plásil

Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

ML-DEECo: a Machine-Learning-Enabled Framework for Self-organizing Components.

Michal Töpfer, Milad Abdullah, Martin Krulis, Tomás Bures, Petr Hnetynka

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022

Dynamic Access Control in Industry 4.0 Systems.

Robert Heinrich, Stephan Seifermann, Maximilian Walter, Sebastian Hahner, Ralf H. Reussner, Tomás Bures, Petr Hnetynka, Jan Pacovský

Proceedings of the Digital Transformation, 2022

2021

Targeting uncertainty in smart CPS by confidence-based logic.

Tomás Bures, Petr Hnetynka, Frantisek Plásil, Dominik Skoda, Jan Kofron, Rima Al Ali, Ilias Gerostathopoulos

J. Syst. Softw., 2021

Special Issue on software engineering for trustworthy cyber-physical systems.

Tomás Bures, Radu Calinescu, Danny Weyns

J. Syst. Softw., 2021

Managing latency in edge-cloud environment.

Lubomír Bulej, Tomás Bures, Adam Filandr, Petr Hnetynka, Iveta Hnetynková, Jan Pacovsky, Gabor Sandor, Ilias Gerostathopoulos

J. Syst. Softw., 2021

Towards fuzzification of adaptation rules in self-adaptive architectures.

Tomás Bures, Petr Hnetynka, Martin Krulis, Danylo Khalyeyev, Sebastian Hahner, Stephan Seifermann, Maximilian Walter, Robert Heinrich

CoRR, 2021

Self-Adaptation 2.0.

Tomás Bures

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.

Sebastian Hahner, Stephan Seifermann, Robert Heinrich, Maximilian Walter, Tomás Bures, Petr Hnetynka

Proceedings of the 18th IEEE International Conference on Software Architecture Companion, 2021

Aspect-Oriented Adaptation of Access Control Rules.

Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Stephan Seifermann, Maximilian Walter, Robert Heinrich

Proceedings of the 47th Euromicro Conference on Software Engineering and Advanced Applications, 2021

Self-adaptive K8S Cloud Controller for Time-sensitive Applications.

Lubomír Bulej, Tomás Bures, Petr Hnetynka, Danylo Khalyeyev

Proceedings of the 47th Euromicro Conference on Software Engineering and Advanced Applications, 2021

Architectural Optimization for Confidentiality Under Structural Uncertainty.

Maximilian Walter, Sebastian Hahner, Stephan Seifermann, Tomás Bures, Petr Hnetynka, Jan Pacovský, Robert Heinrich

Proceedings of the Software Architecture - 15th European Conference, 2021

Six Software Engineering Principles for Smarter Cyber-Physical Systems.

Danny Weyns, Tomás Bures, Radu Calinescu, Barnaby Craggs, John S. Fitzgerald, David Garlan, Bashar Nuseibeh, Liliana Pasquale, Awais Rashid, Ivan Ruchkin, Bradley R. Schmerl

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.

Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Frantisek Plásil, Filip Krijt, Jirí Vinárek, Jan Kofron

Int. J. Softw. Tools Technol. Transf., 2020

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

Rima Al Ali, Tomás Bures, Petr Hnetynka, Jan Matejek, Frantisek Plásil, Jirí Vinárek

Int. J. Softw. Tools Technol. Transf., 2020

Towards Language-Agnostic Reuse of Palladio Quality Analyses.

Malte Reimann, Stephan Seifermann, Maximilian Walter, Robert Heinrich, Tomás Bures, Petr Hnetynka

Softwaretechnik-Trends, 2020

Special issue on software quality of advanced software applications.

Lefteris Angelis, Tomás Bures

Softw. Qual. J., 2020

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

Claudia Raibulet, Khalil Drira, Maria Grazia Fugini, Genaína Nunes Rodrigues, Patrizio Pelliccione, Tomás Bures

ACM SIGSOFT Softw. Eng. Notes, 2020

Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns.

Tomás Bures, Petr Hnetynka, Robert Heinrich, Stephan Seifermann, Maximilian Walter

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Forming Ensembles at Runtime: A Machine Learning Approach.

Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jan Pacovsky

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.

Petr Hnetynka, Tomás Bures, Ilias Gerostathopoulos, Jan Pacovsky

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.

Sergio García, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Tomás Bures

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.

Markus böbel, Ilias Gerostathopoulos, Tomás Bures

Proceedings of the 2020 IEEE International Conference on Software Architecture Companion, 2020

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

Freek van den Berg, Václav Camra, Martijn Hendriks, Marc Geilen, Petr Hnetynka, Fernando Manteca, Pablo Sánchez, Tomás Bures, Twan Basten

Proceedings of the Forum for Specification and Design Languages, 2020

IVIS: Highly customizable framework for visualization and processing of IoT data.

Lubomír Bulej, Tomás Bures, Petr Hnetynka, Václav Camra, Petr Siegl, Michal Töpfer

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.

Ilias Gerostathopoulos, Marco Konersmann, Stephan Krusche, David Issa Mattos, Jan Bosch, Tomás Bures, Brian Fitzgerald, Michael Goedicke, Henry Muccini, Helena Holmström Olsson, Thomas Brand, Robert Chatley, Nikolaos Diamantopoulos, Arik Friedman, Miguel Jiménez, Jan Ole Johanssen, Putra Manggala, Masumi Koseki, Jorge Melegati, Nuthan Munaiah, Gabriel Tamura, Vasileios Theodorou, Jeffrey Wong, Iris Figalist

ACM SIGSOFT Softw. Eng. Notes, 2019

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

Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald, Adina Aniculaesei, Christian Berger, João Cambeiro, Jan Carlson, Shafiul Azam Chowdhury, Marian Daun, Nianyu Li, Matthias Markthaler, Claudio Menghi, Birgit Penzenstadler, Aedan D. Pettit, Robert G. Pettit IV, Luca Sabatucci, Christos Tranoris, Hans Vangheluwe, Sebastian Voss, Edith Zavala

ACM SIGSOFT Softw. Eng. Notes, 2019

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

Ilias Gerostathopoulos, Dominik Skoda, Frantisek Plásil, Tomás Bures, Alessia Knauss

J. Syst. Softw., 2019

Software Architectures for Context-Aware Smart Systems.

Claudia Raibulet, Khalil Drira, Maria Grazia Fugini, Patrizio Pelliccione, Tomás Bures

Inf. Softw. Technol., 2019

High-level mission specification for multiple robots.

Sergio García, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Tomás Bures

Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

Automated Trainability Evaluation for Smart Software Functions.

Ilias Gerostathopoulos, Stefan Kugele, Christoph Segler, Tomás Bures, Alois C. Knoll

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

A Framework for Tunable Anomaly Detection.

Md Rakibul Alam, Ilias Gerostathopoulos, Christian Prehofer, Alessandro Attanasi, Tomás Bures

Proceedings of the IEEE International Conference on Software Architecture, 2019

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

Vladimír Matena, Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka

Proceedings of the Engineering Adaptive Software Systems, 2019

2018

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

Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald

ACM SIGSOFT Softw. Eng. Notes, 2018

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

Tomás Bures, Danny Weyns, Jesper Andersson

Dagstuhl Artifacts Ser., 2018

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

Petr Kubát, Lubomír Bulej, Tomás Bures, Vojtech Horký, Petr Tuma

Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

Performance Modelling of Smart Cyber-Physical Systems.

Tomás Bures, Vladimír Matena, Raffaela Mirandola, Lorenzo Pagliari, Catia Trubiani

Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

A Tool for Online Experiment-Driven Adaptation.

Ilias Gerostathopoulos, Ali Naci Uysal, Christian Prehofer, Tomás Bures

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.

Rima Al Ali, Tomás Bures, Petr Hnetynka, Filip Krijt, Frantisek Plásil, Jirí Vinárek

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Adapting a system with noisy outputs with statistical guarantees.

Ilias Gerostathopoulos, Christian Prehofer, Tomás Bures

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.

Danylo Khalyeyev, Petr Hnetynka, Tomás Bures

Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018

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

Ilias Gerostathopoulos, Christian Prehofer, Lubomír Bulej, Tomás Bures, Vojtech Horký, Petr Tuma

Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018

2017

Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies.

Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Adam Hujecek, Frantisek Plásil, Dominik Skoda

ACM Trans. Cyber Phys. Syst., 2017

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

Tomás Bures, Danny Weyns, Bradley R. Schmerl, Eduardo Tovar, Eric Boden, Thomas Gabor, Ilias Gerostathopoulos, Pragya Gupta, Eunsuk Kang, Alessia Knauss, Pankesh Patel, Awais Rashid, Ivan Ruchkin, Roykrong Sukkerd, Christos Tsigkanos

ACM SIGSOFT Softw. Eng. Notes, 2017

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

Sanny Schmid, Ilias Gerostathopoulos, Christian Prehofer, Tomás Bures

Dagstuhl Artifacts Ser., 2017

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

Filip Krijt, Zbynek Jirácek, Tomás Bures, Petr Hnetynka, Ilias Gerostathopoulos

Dagstuhl Artifacts Ser., 2017

Unit testing performance with Stochastic Performance Logic.

Lubomír Bulej, Tomás Bures, Vojtech Horký, Jaroslav Kotrc, Lukás Marek, Tomás Trojánek, Petr Tuma

Autom. Softw. Eng., 2017

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

Filip Krijt, Zbynek Jirácek, Tomás Bures, Petr Hnetynka, Frantisek Plásil

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.

Oksana Nikiforova, Nisrine El Marzouki, Konstantins Gusarovs, Hans Vangheluwe, Tomás Bures, Rima Al Ali, Mauro Iacono, Priscill Orue-Esquivel, Florin Leon

Proceedings of the 12th International Conference on Software Technologies, 2017

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

Sanny Schmid, Ilias Gerostathopoulos, Christian Prehofer, Tomás Bures

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.

Filip Krijt, Zbynek Jirácek, Tomás Bures, Petr Hnetynka, Ilias Gerostathopoulos

Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

SEsCPS 2017 Workshop Summary.

Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald

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.

Corentin Dupont, Tomás Bures, Mehdi Sheikhalishahi, Congduc Pham, Abdur Rahim

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2017

An Ensemble-Based Approach for Scalable QoS in Highly Dynamic CPS.

Vladimír Matena, Alejandro Masrur, Tomás Bures

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.

Tomás Bures

Proceedings of the 11th European Conference on Software Architecture, 2017

Patterns for Self-Adaptation in Cyber-Physical Systems.

Angelika Musil, Juergen Musil, Danny Weyns, Tomás Bures, Henry Muccini, Mohammad Sharaf

Proceedings of the Multi-Disciplinary Engineering for Cyber-Physical Production Systems, 2017

2016

Component-based design of cyber-physical applications with safety-critical requirements.

Alejandro Masrur, Michal Kit, Vladimír Matena, Tomás Bures, Wolfram Hardt

Microprocess. Microsystems, 2016

Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations.

Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil, Noël Plouzeau

J. Syst. Softw., 2016

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

Christian Kroiß, Tomás Bures

Future Gener. Comput. Syst., 2016

Software Abstractions for Component Interaction in the Internet of Things.

Tomás Bures, Frantisek Plásil, Michal Kit, Petr Tuma, Nicklas Hoch

Computer, 2016

Statistical Approach to Architecture Modes in Smart Cyber Physical Systems.

Tomás Bures, Petr Hnetynka, Jan Kofron, Rima Al Ali, Dominik Skoda

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.

Tomás Bures, Petr Hnetynka, Filip Krijt, Vladimír Matena, Frantisek Plásil

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.

Vladimír Matena, Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka

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.

Ilias Gerostathopoulos, Tomás Bures, Sanny Schmid, Vojtech Horký, Christian Prehofer, Petr Tuma

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.

Ilias Gerostathopoulos, Dominik Skoda, Frantisek Plásil, Tomás Bures, Alessia Knauss

Proceedings of the Software Architecture - 10th European Conference, 2016

2015

The Autonomic Cloud.

Philip Mayer, José Velasco, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomás Bures

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

The E-mobility Case Study.

Nicklas Hoch, Henry-Paul Bensler, Dhaminda B. Abeywickrama, Tomás Bures, Ugo Montanari

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

The Invariant Refinement Method.

Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Supporting Performance Awareness in Autonomous Ensembles.

Lubomír Bulej, Tomás Bures, Ilias Gerostathopoulos, Vojtech Horký, Jaroslav Keznikl, Lukás Marek, Max Tschaikowski, Mirco Tribastone, Petr Tuma

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.

Tomás Bures, Danny Weyns, Christian Berger, Stefan Biffl, Marian Daun, Thomas Gabor, David Garlan, Ilias Gerostathopoulos, Christine Julien, Filip Krikava, Richard Mordinyi, Nikos Pronios

ACM SIGSOFT Softw. Eng. Notes, 2015

Formal Verification of Annotated Textual Use-Cases.

Viliam Simko, David Hauzar, Petr Hnetynka, Tomás Bures, Frantisek Plásil

Comput. J., 2015

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

Michal Kit, Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Frantisek Plásil

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

Tomás Bures, Danny Weyns, Mark Klein, Rodolfo E. Haber

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Security and Trust in Data Sharing Smart Cyber-Physical Systems.

Ondrej Stumpf, Tomás Bures, Vladimír Matena

Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems.

Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Adam Hujecek, Frantisek Plásil, Dominik Skoda

Proceedings of the Software Architecture - 9th European Conference, 2015

Towards Intelligent Ensembles.

Tomás Bures, Filip Krijt, Frantisek Plásil, Petr Hnetynka, Zbynek Jirácek

Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Employing Domain Knowledge for Optimizing Component Communication.

Michal Kit, Frantisek Plásil, Vladimír Matena, Tomás Bures, Ondrej Kovác

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

Formalization of Invariant Patterns for the Invariant Refinement Method.

Tomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, Frantisek Plásil, Petr Tuma

Proceedings of the Software, 2015

2014

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

Jaroslav Keznikl, Tomás Bures, Frantisek Plásil, Petr Hnetynka

Softw. Syst. Model., 2014

Comparison of component frameworks for real-time embedded systems.

Tomás Pop, Petr Hnetynka, Petr Hosek, Michal Malohlava, Tomás Bures

Knowl. Inf. Syst., 2014

DEECo: Software Engineering for Smart CPS.

Tomás Bures, Ilias Gerostathopoulos, Rima Al Ali

ERCIM News, 2014

Architecture Adaptation Based on Belief Inaccuracy Estimation.

Rima Al Ali, Tomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, Frantisek Plásil

Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014

Improving Strategy in Robot Soccer Game by Sequence Extraction.

Vaclav Svaton, Jan Martinovic, Katerina Slaninová, Tomás Bures

Proceedings of the 18th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2014

Towards Performance-Aware Engineering of Autonomic Component Ensembles.

Tomás Bures, Vojtech Horký, Michal Kit, Lukás Marek, Petr Tuma

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

DEECo: an ecosystem for cyber-physical systems.

Rima Al Ali, Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil

Proceedings of the 36th International Conference on Software Engineering, 2014

Software Engineering for Software-Intensive Cyber-Physical Systems.

Ilias Gerostathopoulos, Jaroslav Keznikl, Tomás Bures, Michal Kit, Frantisek Plásil

Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

Gossiping Components for Cyber-Physical Systems.

Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil

Proceedings of the Software Architecture - 8th European Conference, 2014

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

Alejandro Masrur, Michal Kit, Tomás Bures, Wolfram Hardt

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

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

Tomás Bures, Petr Hnetynka, Frantisek Plásil

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.

Tomás Bures

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.

Michal Malohlava, Frantisek Plásil, Tomás Bures, Petr Hnetynka

Softw. Pract. Exp., 2013

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

Samuel Kounev, Stamatia Rizou, Steffen Zschaler, Spiros Alexakis, Tomás Bures, Jean-Marc Jézéquel, Dimitrios Kourtesis, Stelios Pantelopoulos

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.

Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka

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.

Lubomír Bulej, Tomás Bures, Vojtech Horký, Jaroslav Keznikl

Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Software Components in Computer Assisted Living?

Frantisek Plásil, Tomás Bures

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.

Tomás Bures, Rocco De Nicola, Ilias Gerostathopoulos, Nicklas Hoch, Michal Kit, Nora Koch, Giacoma Valentina Monreale, Ugo Montanari, Rosario Pugliese, Nikola B. Serbedzija, Martin Wirsing, Franco Zambonelli

Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

Engineering autonomous systems.

Nikola B. Serbedzija, Tomás Bures, Jaroslav Keznikl

Proceedings of the 17th Panhellenic Conference on Informatics, 2013

Towards Verification of Ensemble-Based Component Systems.

Jiri Barnat, Nikola Benes, Tomás Bures, Ivana Cerná, Jaroslav Keznikl, Frantisek Plásil

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Design of ensemble-based component systems by invariant refinement.

Jaroslav Keznikl, Tomás Bures, Frantisek Plásil, Ilias Gerostathopoulos, Petr Hnetynka, Nicklas Hoch

Proceedings of the CBSE'13, 2013

DEECO: an ensemble-based component system.

Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil

Proceedings of the CBSE'13, 2013

2012

SOFA 2 Component Framework and Its Ecosystem.

Michal Malohlava, Petr Hnetynka, Tomás Bures

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.

Lubomír Bulej, Tomás Bures, Jaroslav Keznikl, Alena Koubková, Andrej Podzimek, Petr Tuma

Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

Towards Dependable Emergent Ensembles of Components: The DEECo Component Model.

Jaroslav Keznikl, Tomás Bures, Frantisek Plásil, Michal Kit

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.

Lukás Hermann, Tomás Bures, Petr Hnetynka, Michal Malohlava

Proceedings of the Software Engineering Research, 2012

FOAM: A Lightweight Method for Verification of Use-Cases.

Viliam Simko, Petr Hnetynka, Tomás Bures, Frantisek Plásil

Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

Performance Awareness in Component Systems: Vision Paper.

Lubomír Bulej, Tomás Bures, Vojtech Horký, Jaroslav Keznikl, Petr Tuma

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Property networks allowing oracle-based mode-change propagation in hierarchical components.

Tomás Pop, Frantisek Plásil, Matej Outly, Michal Malohlava, Tomás Bures

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.

Tomás Pop, Jaroslav Keznikl, Petr Hosek, Michal Malohlava, Tomás Bures, Petr Hnetynka

Proceedings of the 9th International Conference on Software Engineering Research, 2011

Verifying Temporal Properties of Use-Cases in Natural Language.

Viliam Simko, David Hauzar, Tomás Bures, Petr Hnetynka, Frantisek Plásil

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Extensible Polyglot Programming Support in Existing Component Frameworks.

Jaroslav Keznikl, Michal Malohlava, Tomás Bures, Petr Hnetynka

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.

Tomás Bures, Pavel Jezek, Michal Malohlava, Tomás Poch, Ondrej Sery

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.

Tomás Bures, Josef Hala, Petr Hnetynka

Proceedings of the Software Engineering, 2009

Supporting Real-Life Applications in Hierarchical Component Systems.

Pavel Jezek, Tomás Bures, Petr Hnetynka

Proceedings of the Software Engineering Research, 2009

Using a product line for creating component systems.

Tomás Bures, Petr Hnetynka, Michal Malohlava

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Bridging the Component-Based and Service-Oriented Worlds.

Karel Masek, Petr Hnetynka, Tomás Bures

Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

2008

Safe Systems with Software Components in SOFA 2.

Tomás Bures, Petr Hnetynka

ERCIM News, 2008

A Component Model Family for Vehicular Embedded Systems.

Tomás Bures, Jan Carlson, Séverine Sentilles, Aneta Vulgarakis

Proceedings of the Third International Conference on Software Engineering Advances, 2008

Using DSL for Automatic Generation of Software Connectors.

Tomás Bures, Michal Malohlava, Petr Hnetynka

Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008

A Component Model for Control-Intensive Distributed Embedded Systems.

Séverine Sentilles, Aneta Vulgarakis, Tomás Bures, Jan Carlson, Ivica Crnkovic

Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

2007

Runtime Support for Advanced Component Concepts.

Tomás Bures, Petr Hnetynka, Frantisek Plásil, Jan Klesnil, Ondrej Kmoch, Tomas Kohan, Pavel Kotrc

Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

Advanced Features of Hierarchical Component Models.

Petr Hnetynka, Tomás Bures

Proceedings of the 10th International Conference on Information System Implementation and Modeling, 2007

CoCoME in SOFA.

Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parízek, Frantisek Plásil, Tomás Poch, Ondrej Sery, Petr Tuma

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

CoCoME in Fractal.

Lubomír Bulej, Tomás Bures, Thierry Coupaye, Martin Decký, Pavel Jezek, Pavel Parízek, Frantisek Plásil, Tomás Poch, Nicolas Rivierre, Ondrej Sery, Petr Tuma

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.

Tomás Bures, Petr Hnetynka, Frantisek Plásil

Proceedings of the Fourth International Conference on Software Engineering, 2006

Eliminating Execution Overhead of Disabled Optional Features in Connectors.

Lubomír Bulej, Tomás Bures

Proceedings of the Software Architecture, Third European Workshop, 2006

2005

Generating connectors for heterogeneous deployment.

Ondrej Galik, Tomás Bures

Proceedings of the 5th International Workshop on Software Engineering and Middleware, 2005

Microcomponent-Based Component Controllers: A Foundation for Component Aspects.

Vladimir Mencl, Tomás Bures

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005