Petr Hnetynka

According to our database, Petr Hnetynka authored at least 94 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• 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

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

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

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

Generalization of Machine-Learning Adaptation in Ensemble-Based Self-adaptive Systems.

Jan Pacovský, Petr Hnetynka, Martin Krulis

Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 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

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

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

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

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

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

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

Dynamic security rules for legacy systems.

Rima Al Ali, Petr Hnetynka, Jiri Havlik, Vlastimil Krivka, Robert Heinrich, Stephan Seifermann, Maximilian Walter, Adrian Juan Verdejo

Proceedings of the 13th European 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

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

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

Guaranteed latency applications in edge-cloud environment.

Petr Hnetynka, Petr Kubát, Rima Al Ali, Ilias Gerostathopoulos, Danylo Khalyeyev

Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018

Modeling of dynamic trust contracts for industry 4.0 systems.

Rima Al Ali, Robert Heinrich, Petr Hnetynka, Adrian Juan Verdejo, Stephan Seifermann, Maximilian Walter

Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 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

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

Software abstractions and architectures for smart cyber-physical systems: Keynote address.

Petr Hnetynka

Proceedings of the 15th IEEE International Conference on Software Engineering Research, 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

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

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

Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems.

Jirí Vinárek, Petr Hnetynka

Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 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

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

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

Verification of Use-Cases with FOAM Tool in Context of Cloud Providers.

Jirí Vinárek, Viliam Simko, Petr Hnetynka

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

A Method for Semi-automated Generation of Test Scenarios Based on Use Cases.

Richard Lipka, Toma Potuak, Premek Brada, Petr Hnetynka, Jirí Vinárek

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 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

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

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

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

Recovering Traceability Links Between Code and Specification Through Domain Model Extraction.

Jirí Vinárek, Petr Hnetynka, Viliam Simko, Petr Kroha

Proceedings of the Enterprise and Organizational Modeling and Simulation, 2014

2013

Interoperable domain-specific languages families for code generation.

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

Softw. Pract. Exp., 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

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

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

2011

Using meta-modeling in design and implementation of component-based systems: the SOFA case study.

Petr Hnetynka, Frantisek Plásil

Softw. Pract. Exp., 2011

Comparing the Service Component Architecture and Fractal Component Model.

Petr Hnetynka, Liam Murphy, John Murphy

Comput. J., 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

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

Automated Code Generation from System Requirements in Natural Language.

Jan Francu, Petr Hnetynka

e Informatica Softw. Eng. J., 2009

JavaCompExt: Extracting Architectural Elements from Java Source Code.

Nicolas Anquetil, Jean-Claude Royer, Pascal André, Gilles Ardourel, Petr Hnetynka, Tomás Poch, Dragos Petrascu, Vladiela Petrascu

Proceedings of the 16th Working Conference on Reverse 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

Automated Generation of Implementation from Textual System Requirements.

Jan Francu, Petr Hnetynka

Proceedings of the Software Engineering Techniques, 2008

Perspectives in component-based software engineering.

Jirí Adámek, Petr Hnetynka

Proceedings of the 2008 International Workshop on Software Engineering in East and South Europe, 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

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

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

Dynamic Reconfiguration and Access to Services in Hierarchical Component Models.

Petr Hnetynka, Frantisek Plásil

Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005

A Model-driven Environment for Component Deployment.

Petr Hnetynka

Proceedings of the Third ACIS International Conference on Software Engineering, 2005

2004

Hand-written vs. MOF-based Metadata Repositories: The SOFA Experience.

Petr Hnetynka, Michal Píse

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2003

Fighting Class Name Clashes in Java Component Systems.

Petr Hnetynka, Petr Tuma

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003