Petr Hnetynka

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

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

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

Proceedings of the 1st international workshop on Quality of service-oriented software systems

Heiko Koziolek, Paul Pettersson, Petr Hnetynka, 2009, FSE 2009.

The Invariant Refinement Method

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

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

Using component ensembles for modeling autonomic component collaboration in smart farming

Tomas Bures, Ilias Gerostathopoulos, Petr Hnetynka, 2020, SEAMS@ICSE.

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.

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

Petr Hnetynka, Premek Brada, Jirí Vinárek, 2015, 2015 41st Euromicro Conference on Software Engineering and Advanced Applications.

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.

Formal Verification of Annotated Use-Cases

Tomas Bures, Petr Hnetynka, Frantisek Plasil, 2012 .

Safe Systems with Software Components in SOFA 2

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

Hand-written vs. MOF-based metadata repositories: the SOFA experience

Petr Hnetynka, Michal Píse, 2004, Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004..

Verifying Temporal Properties of Use-Cases in Natural Language

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

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.

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

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

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.

CoCoME in SOFA

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

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.

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

Petr Hnetynka, 2017, 2017 IEEE 15th International Conference on Software Engineering Research, Management and Applications (SERA).

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.

Implemented Domain Model Generation

Petr Hnetynka, Petr Kroha, Viliam Simko, 2013 .

Supporting real-time features in a hierarchical component system

Tomas Bures, Petr Hnetynka, Michal Malohlava, 2010 .

Comparison of Component Frameworks for Real-Time Embedded Systems

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

Fighting Class Name Clashes in Java Component Systems

Petr Tuma, Petr Hnetynka, P. Hnetynka, 2003, JMLC.

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.

Automated Code Generation from System Requirements in Natural Language

Petr Hnetynka, Jan Francu, 2009, e Informatica Softw. Eng. J..

Model Problem and Testbed for Experiments with Adaptation in Smart Cyber-Physical Systems

Tomas Bures, Ilias Gerostathopoulos, Petr Hnetynka, 2016, 2016 IEEE/ACM 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

Modeling of dynamic trust contracts for industry 4.0 systems

Robert Heinrich, Petr Hnetynka, Stephan Seifermann, 2018, ECSA.

Dynamic Reconfiguration and Access to Services in Hierarchical Component Models

Petr Hnetynka, Frantisek Plasil, F. Plášil, 2006, CBSE.

Supporting Real-Life Applications in Hierarchical Component Systems

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

Adaptation in Cyber-Physical Systems : from System Goals to Architecture Configurations

Noël Plouzeau, Tomas Bures, Ilias Gerostathopoulos, 2014 .

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

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

Recovering Traceability Links Between Code and Specification Through Domain Model Extraction

Petr Hnetynka, Petr Kroha, Viliam Simko, 2014, EOMAS@CAiSE.

Advanced Features of Hierarchical Component Models

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

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.

JavaCompExt: Extracting Architectural Elements from Java Source Code

Nicolas Anquetil, Jean-Claude Royer, Petr Hnetynka, 2009, 2009 16th Working Conference on Reverse Engineering.

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

Guaranteed latency applications in edge-cloud environment

Ilias Gerostathopoulos, Petr Hnetynka, Rima Al Ali, 2018, ECSA.

Use Cases in Dataflow-Based Privacy and Trust Modeling and Analysis in Industry 4.0 Systems

Robert Heinrich, Tomas Bures, Petr Hnetynka, 2018 .

Runtime Concepts of Hierarchical Software Components

Tomas Bures, Petr Hnetynka, Frantisek Plasil, 2007 .

Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns

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

Comparing the Service Component Architecture and Fractal Component Model

Liam Murphy, John Murphy, Petr Hnetynka, 2011, Comput. J..

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

Automated Generation of Implementation from Textual System Requirements

Petr Hnetynka, Jan Francu, 2008, CEE-SET.

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.

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

Petr Hnetynka, Viliam Simko, Jirí Vinárek, 2015, 2015 41st Euromicro Conference on Software Engineering and Advanced Applications.

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.

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

Petr Hnetynka, Frantisek Plasil, 2011, Softw. Pract. Exp..

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

Petr Hnetynka, Jirí Vinárek, P. Hnetynka, 2016, FESCA@ETAPS.

Managing Evolution of Component Specifications using a Federation of Repositories

Petr Hnetynka, Vladimir Mencl, 2001 .

Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems

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

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

SOFA 2 Component Framework and Its Ecosystem

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

Using a product line for creating component systems

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

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

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

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

Trait-based Language for Smart Cyber-Physical Systems

Tomas Bures, Ilias Gerostathopoulos, Petr Hnetynka, 2018 .

A COMPONENT-ORIENTED FRAMEWORK FOR SPACECRAFT ON-BOARD SOFTWARE

Petr Tuma, Petr Hnetynka, Roger Ward, 2008 .

DEECo Computational Model – I

Tomas Bures, Ilias Gerostathopoulos, Petr Hnetynka, 2013 .