Petr Hnetynka - RankMe

108 papers A 1B 9C 10Misc 1Journal 28Unranked 54

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Feedback-based Automated Verification in Vibe Coding of CAS Adaptation Built on Constraint Logic. CoRR Michal Töpfer, Frantisek Plásil, Tomás Bures, Petr Hnetynka
2025	C	`conf`	A Model-Based Approach to Experiment-Driven Evolution of ML Workflows. MODELSWARD Petr Hnetynka, Tomás Bures, Ilias Gerostathopoulos, Milad Abdullah, Keerthiga Rajenthiram
2025	B	`conf`	Interpreting Workflow Architectures by LLMs. ENASE Michal Töpfer, Tomás Bures, Frantisek Plásil, Petr Hnetynka
2025	—	`conf`	Temporal Harmonization of Heterogeneous Software Logs: A Unified Model for Time-Series Analysis. ECSA (Tracks and Workshops) Milad Abdullah, Petr Hnetynka, Jiyan Salim Mahmud
2025	B	`conf`	Towards Continuous Experiment-Driven MLOps. CAIN Keerthiga Rajenthiram, Milad Abdullah, Ilias Gerostathopoulos, Petr Hnetynka, Tomás Bures, Gerard Pons, Besim Bilalli, Anna Queralt
2025	J	`jnl`	Towards Continuous Experiment-driven MLOps. CoRR Keerthiga Rajenthiram, Milad Abdullah, Ilias Gerostathopoulos, Petr Hnetynka, Tomás Bures, Gerard Pons, Besim Bilalli, Anna Queralt
2025	J	`jnl`	Understanding ensemble-based component architectures by LLMs. Int. J. Softw. Tools Technol. Transf. Michal Töpfer, Tomás Bures, Petr Hnetynka, Frantisek Plásil
2024	—	`conf`	ExpEngine: A Tool for Data Analytics Workflow Optimization Through User-Driven Experimentation. ACSOS-C Keerthiga Rajenthiram, Milad Abdullah, Ilias Gerostathopoulos, Petr Hnetynka, Tomás Bures
2024	—	`conf`	How Well Do LLMs Understand DEECo Ensemble-Based Component Architectures. ISoLA (2) Michal Töpfer, Danylo Khalyeyev, Tomás Bures, Petr Hnetynka, Frantisek Plásil
2023	J	`jnl`	Architecture-based attack propagation and variation analysis for identifying confidentiality issues in Industry 4.0. Autom. Maximilian Walter, Sebastian Hahner, Tomás Bures, Petr Hnetynka, Robert Heinrich, Ralf H. Reussner
2023	J	`jnl`	Ensemble-based modeling abstractions for modern self-optimizing systems. CoRR Michal Töpfer, Milad Abdullah, Tomás Bures, Petr Hnetynka, Martin Krulis
2023	J	`jnl`	Generating adaptation rule-specific neural networks. Int. J. Softw. Tools Technol. Transf. Tomás Bures, Petr Hnetynka, Martin Krulis, Frantisek Plásil, Danylo Khalyeyev, Sebastian Hahner, Stephan Seifermann, Maximilian Walter, Robert Heinrich
2023	J	`jnl`	Machine-learning abstractions for component-based self-optimizing systems. Int. J. Softw. Tools Technol. Transf. Michal Töpfer, Milad Abdullah, Tomás Bures, Petr Hnetynka, Martin Krulis
2023	—	`conf`	Model-based Confidentiality Analysis under Uncertainty. ICSA-C Sebastian Hahner, Tizian Bitschi, Maximilian Walter, Tomás Bures, Petr Hnetynka, Robert Heinrich
2023	C	`conf`	Modeling Machine Learning Concerns in Collective Adaptive Systems. MODELSWARD Petr Hnetynka, Martin Krulis, Michal Töpfer, Tomás Bures
2023	—	`conf`	Online ML Self-adaptation in Face of Traps. ACSOS Michal Töpfer, Frantisek Plásil, Tomás Bures, Petr Hnetynka, Martin Krulis, Danny Weyns
2023	J	`jnl`	Online ML Self-adaptation in Face of Traps. CoRR Michal Töpfer, Frantisek Plásil, Tomás Bures, Petr Hnetynka, Martin Krulis, Danny Weyns
2023	—	`conf`	Towards a Reference Component Model of Edge-Cloud Continuum. ICSA-C Danylo Khalyeyev, Tomás Bures, Petr Hnetynka
2023	J	`jnl`	Towards characterization of edge-cloud continuum. CoRR Danylo Khalyeyev, Tomás Bures, Petr Hnetynka
2022	—	`conf`	Attuning Adaptation Rules via a Rule-Specific Neural Network. ISoLA (3) Tomás Bures, Petr Hnetynka, Martin Krulis, Frantisek Plásil, Danylo Khalyeyev, Sebastian Hahner, Stephan Seifermann, Maximilian Walter, Robert Heinrich
2022	—	`ch.`	Dynamic Access Control in Industry 4.0 Systems. Digital Transformation Robert Heinrich, Stephan Seifermann, Maximilian Walter, Sebastian Hahner, Ralf H. Reussner, Tomás Bures, Petr Hnetynka, Jan Pacovský
2022	—	`conf`	Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems. ISoLA (3) Michal Töpfer, Milad Abdullah, Tomás Bures, Petr Hnetynka, Martin Krulis
2022	—	`conf`	Generalization of Machine-Learning Adaptation in Ensemble-Based Self-adaptive Systems. ECSA (Tracks and Workshops) Jan Pacovský, Petr Hnetynka, Martin Krulis
2022	B	`conf`	Handling Environmental Uncertainty in Design Time Access Control Analysis. SEAA Nicolas Boltz, Sebastian Hahner, Maximilian Walter, Stephan Seifermann, Robert Heinrich, Tomás Bures, Petr Hnetynka
2022	—	`conf`	Introducing Estimators - Abstraction for Easy ML Employment in Self-adaptive Architectures. ECSA (Tracks and Workshops) Milad Abdullah, Michal Töpfer, Tomás Bures, Petr Hnetynka, Martin Krulis, Frantisek Plásil
2022	—	`conf`	ML-DEECo: a Machine-Learning-Enabled Framework for Self-organizing Components. ACSOS-C Michal Töpfer, Milad Abdullah, Martin Krulis, Tomás Bures, Petr Hnetynka
2022	B	`conf`	Reducing Experiment Costs in Automated Software Performance Regression Detection. SEAA Milad Abdullah, Lubomír Bulej, Tomás Bures, Petr Hnetynka, Vojtech Horký, Petr Tuma
2022	A	`conf`	Simdex: A Simulator of a Real Self-adaptive job-dispatching System Backend. SEAMS Martin Krulis, Tomás Bures, Petr Hnetynka
2022	—	`conf`	Towards Characterization of Edge-Cloud Continuum. ECSA (Tracks and Workshops) Danylo Khalyeyev, Tomás Bures, Petr Hnetynka
2022	C	`conf`	Towards Model-driven Fuzzification of Adaptive Systems Specification. MODELSWARD Tomás Bures, Petr Hnetynka, Martin Krulis, Jan Pacovský
2021	—	`conf`	Architectural Optimization for Confidentiality Under Structural Uncertainty. ECSA (Tracks and Workshops) Maximilian Walter, Sebastian Hahner, Stephan Seifermann, Tomás Bures, Petr Hnetynka, Jan Pacovský, Robert Heinrich
2021	B	`conf`	Aspect-Oriented Adaptation of Access Control Rules. SEAA Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Stephan Seifermann, Maximilian Walter, Robert Heinrich
2021	J	`jnl`	Forming Ensembles at Runtime: A Machine Learning Approach. CoRR Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jan Pacovský
2021	J	`jnl`	Managing latency in edge-cloud environment. J. Syst. Softw. Lubomír Bulej, Tomás Bures, Adam Filandr, Petr Hnetynka, Iveta Hnetynková, Jan Pacovsky, Gabor Sandor, Ilias Gerostathopoulos
2021	—	`conf`	Modeling Data Flow Constraints for Design-Time Confidentiality Analyses. ICSA Companion Sebastian Hahner, Stephan Seifermann, Robert Heinrich, Maximilian Walter, Tomás Bures, Petr Hnetynka
2021	B	`conf`	Self-adaptive K8S Cloud Controller for Time-sensitive Applications. SEAA Lubomír Bulej, Tomás Bures, Petr Hnetynka, Danylo Khalyeyev
2021	J	`jnl`	Targeting uncertainty in smart CPS by confidence-based logic. J. Syst. Softw. Tomás Bures, Petr Hnetynka, Frantisek Plásil, Dominik Skoda, Jan Kofron, Rima Al Ali, Ilias Gerostathopoulos
2021	J	`jnl`	Towards fuzzification of adaptation rules in self-adaptive architectures. CoRR Tomás Bures, Petr Hnetynka, Martin Krulis, Danylo Khalyeyev, Sebastian Hahner, Stephan Seifermann, Maximilian Walter, Robert Heinrich
2020	J	`jnl`	A language and framework for dynamic component ensembles in smart systems. Int. J. Softw. Tools Technol. Transf. Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Frantisek Plásil, Filip Krijt, Jirí Vinárek, Jan Kofron
2020	—	`conf`	Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns. ISoLA (2) Tomás Bures, Petr Hnetynka, Robert Heinrich, Stephan Seifermann, Maximilian Walter
2020	—	`conf`	Forming Ensembles at Runtime: A Machine Learning Approach. ISoLA (2) Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jan Pacovsky
2020	B	`conf`	IVIS: Highly customizable framework for visualization and processing of IoT data. SEAA Lubomír Bulej, Tomás Bures, Petr Hnetynka, Václav Camra, Petr Siegl, Michal Töpfer
2020	J	`jnl`	Managing Latency in Edge-Cloud Environment. CoRR Lubomír Bulej, Tomás Bures, Adam Filandr, Petr Hnetynka, Iveta Hnetynková, Jan Pacovsky, Gabor Sandor, Ilias Gerostathopoulos
2020	C	`conf`	QRML: A Component Language and Toolset for Quality and Resource Management. FDL Freek van den Berg, Václav Camra, Martijn Hendriks, Marc Geilen, Petr Hnetynka, Fernando Manteca, Pablo Sánchez, Tomás Bures, Twan Basten
2020	J	`jnl`	Toward autonomically composable and context-dependent access control specification through ensembles. Int. J. Softw. Tools Technol. Transf. Rima Al Ali, Tomás Bures, Petr Hnetynka, Jan Matejek, Frantisek Plásil, Jirí Vinárek
2020	J	`jnl`	Towards Language-Agnostic Reuse of Palladio Quality Analyses. Softwaretechnik-Trends Malte Reimann, Stephan Seifermann, Maximilian Walter, Robert Heinrich, Tomás Bures, Petr Hnetynka
2020	—	`conf`	Using component ensembles for modeling autonomic component collaboration in smart farming. SEAMS@ICSE Petr Hnetynka, Tomás Bures, Ilias Gerostathopoulos, Jan Pacovsky
2019	—	`conf`	Dynamic security rules for legacy systems. ECSA (Companion) Rima Al Ali, Petr Hnetynka, Jiri Havlik, Vlastimil Krivka, Robert Heinrich, Stephan Seifermann, Maximilian Walter, Adrian Juan Verdejo
2019	—	`ch.`	Experimenting with Adaptation in Smart Cyber-Physical Systems: A Model Problem and Testbed. Engineering Adaptive Software Systems Vladimír Matena, Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka
2018	—	`conf`	A Virtual Playground for Testing Smart Cyber-Physical Systems. ICSA Companion Danylo Khalyeyev, Petr Hnetynka, Tomás Bures
2018	—	`conf`	Dynamic Security Specification Through Autonomic Component Ensembles. ISoLA (3) Rima Al Ali, Tomás Bures, Petr Hnetynka, Filip Krijt, Frantisek Plásil, Jirí Vinárek
2018	—	`conf`	Guaranteed latency applications in edge-cloud environment. ECSA (Companion) Petr Hnetynka, Petr Kubát, Rima Al Ali, Ilias Gerostathopoulos, Danylo Khalyeyev
2018	—	`conf`	Modeling of dynamic trust contracts for industry 4.0 systems. ECSA (Companion) Rima Al Ali, Robert Heinrich, Petr Hnetynka, Adrian Juan Verdejo, Stephan Seifermann, Maximilian Walter
2017	C	`conf`	Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality. MODELSWARD Filip Krijt, Zbynek Jirácek, Tomás Bures, Petr Hnetynka, Frantisek Plásil
2017	—	`conf`	Intelligent Ensembles - A Declarative Group Description Language and Java Framework. SEAMS@ICSE Filip Krijt, Zbynek Jirácek, Tomás Bures, Petr Hnetynka, Ilias Gerostathopoulos
2017	J	`jnl`	Intelligent Ensembles - a Declarative Group Description Language and Java Framework (Artifact). Dagstuhl Artifacts Ser. Filip Krijt, Zbynek Jirácek, Tomás Bures, Petr Hnetynka, Ilias Gerostathopoulos
2017	C	`conf`	Software abstractions and architectures for smart cyber-physical systems: Keynote address. SERA Petr Hnetynka
2017	J	`jnl`	Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies. ACM Trans. Cyber Phys. Syst. Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Adam Hujecek, Frantisek Plásil, Dominik Skoda
2016	—	`conf`	Model problem and testbed for experiments with adaptation in smart cyber-physical systems. SEAMS@ICSE Vladimír Matena, Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka
2016	J	`jnl`	Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations. J. Syst. Softw. Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil, Noël Plouzeau
2016	—	`conf`	Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication. ISoLA (1) Tomás Bures, Petr Hnetynka, Filip Krijt, Vladimír Matena, Frantisek Plásil
2016	—	`conf`	Statistical Approach to Architecture Modes in Smart Cyber Physical Systems. WICSA Tomás Bures, Petr Hnetynka, Jan Kofron, Rima Al Ali, Dominik Skoda
2016	—	`conf`	Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems. FESCA@ETAPS Jirí Vinárek, Petr Hnetynka
2015	—	`conf`	A Method for Semi-automated Generation of Test Scenarios Based on Use Cases. EUROMICRO-SEAA Richard Lipka, Toma Potuak, Premek Brada, Petr Hnetynka, Jirí Vinárek
2015	—	`conf`	An Architecture Framework for Experimentations with Self-Adaptive Cyber-physical Systems. SEAMS@ICSE Michal Kit, Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Frantisek Plásil
2015	J	`jnl`	Formal Verification of Annotated Textual Use-Cases. Comput. J. Viliam Simko, David Hauzar, Petr Hnetynka, Tomás Bures, Frantisek Plásil
2015	B	`conf`	Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems. ECSA Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Adam Hujecek, Frantisek Plásil, Dominik Skoda
2015	—	`ch.`	The Invariant Refinement Method. The ASCENS Approach Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
2015	—	`conf`	Towards Intelligent Ensembles. ECSA Workshops Tomás Bures, Filip Krijt, Frantisek Plásil, Petr Hnetynka, Zbynek Jirácek
2015	—	`conf`	Verification of Use-Cases with FOAM Tool in Context of Cloud Providers. EUROMICRO-SEAA Jirí Vinárek, Viliam Simko, Petr Hnetynka
2014	J	`jnl`	Automated resolution of connector architectures using constraint solving (ARCAS method). Softw. Syst. Model. Jaroslav Keznikl, Tomás Bures, Frantisek Plásil, Petr Hnetynka
2014	J	`jnl`	Comparison of component frameworks for real-time embedded systems. Knowl. Inf. Syst. Tomás Pop, Petr Hnetynka, Petr Hosek, Michal Malohlava, Tomás Bures
2014	—	`conf`	DEECo: an ecosystem for cyber-physical systems. ICSE Companion Rima Al Ali, Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
2014	B	`conf`	Gossiping Components for Cyber-Physical Systems. ECSA Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
2014	—	`conf`	Recovering Traceability Links Between Code and Specification Through Domain Model Extraction. EOMAS@CAiSE Jirí Vinárek, Petr Hnetynka, Viliam Simko, Petr Kroha
2014	—	`conf`	Strengthening architectures of smart CPS by modeling them as runtime product-lines. CBSE Tomás Bures, Petr Hnetynka, Frantisek Plásil
2013	—	`conf`	DEECO: an ensemble-based component system. CBSE Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
2013	—	`conf`	Design of ensemble-based component systems by invariant refinement. CBSE Jaroslav Keznikl, Tomás Bures, Frantisek Plásil, Ilias Gerostathopoulos, Petr Hnetynka, Nicklas Hoch
2013	J	`jnl`	Interoperable domain-specific languages families for code generation. Softw. Pract. Exp. Michal Malohlava, Frantisek Plásil, Tomás Bures, Petr Hnetynka
2013	—	`conf`	Position paper: towards a requirements-driven design of ensemble-based component systems. HotTopiCS Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka
2012	—	`conf`	CoDIT: Bridging the Gap between System-Level and Component-Level Development. SERA (selected papers) Lukás Hermann, Tomás Bures, Petr Hnetynka, Michal Malohlava
2012	—	`conf`	FOAM: A Lightweight Method for Verification of Use-Cases. EUROMICRO-SEAA Viliam Simko, Petr Hnetynka, Tomás Bures, Frantisek Plásil
2012	—	`conf`	SOFA 2 Component Framework and Its Ecosystem. FESCA Michal Malohlava, Petr Hnetynka, Tomás Bures
2011	J	`jnl`	Comparing the Service Component Architecture and Fractal Component Model. Comput. J. Petr Hnetynka, Liam Murphy, John Murphy
2011	—	`conf`	Extensible Polyglot Programming Support in Existing Component Frameworks. EUROMICRO-SEAA Jaroslav Keznikl, Michal Malohlava, Tomás Bures, Petr Hnetynka
2011	C	`conf`	Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons Learned. SERA Tomás Pop, Jaroslav Keznikl, Petr Hosek, Michal Malohlava, Tomás Bures, Petr Hnetynka
2011	J	`jnl`	Using meta-modeling in design and implementation of component-based systems: the SOFA case study. Softw. Pract. Exp. Petr Hnetynka, Frantisek Plásil
2011	—	`conf`	Verifying Temporal Properties of Use-Cases in Natural Language. FACS Viliam Simko, David Hauzar, Tomás Bures, Petr Hnetynka, Frantisek Plásil
2010	—	`conf`	Comparison of Component Frameworks for Real-Time Embedded Systems. CBSE Petr Hosek, Tomás Pop, Tomás Bures, Petr Hnetynka, Michal Malohlava
2009	J	`jnl`	Automated Code Generation from System Requirements in Natural Language. e Informatica Softw. Eng. J. Jan Francu, Petr Hnetynka
2009	—	`conf`	Bridging the Component-Based and Service-Oriented Worlds. EUROMICRO-SEAA Karel Masek, Petr Hnetynka, Tomás Bures
2009	—	`conf`	JavaCompExt: Extracting Architectural Elements from Java Source Code. WCRE Nicolas Anquetil, Jean-Claude Royer, Pascal André, Gilles Ardourel, Petr Hnetynka, Tomás Poch, Dragos Petrascu, Vladiela Petrascu
2009	—	`ed.`	Proceedings of the 1st international workshop on Quality of service-oriented software systems, QUASOSS '09, Amsterdam, The Netherlands, August 25, 2009 QUASOSS@ESEC/FSE Heiko Koziolek, Paul Pettersson, Petr Hnetynka
2009	—	`conf`	Supporting Real-Life Applications in Hierarchical Component Systems. SERA (selected papers) Pavel Jezek, Tomás Bures, Petr Hnetynka
2009	—	`ch.`	Using Connectors to Address Transparent Distribution in Enterprise Systems - Pitfalls and Options. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Tomás Bures, Josef Hala, Petr Hnetynka
2009	Misc	`conf`	Using a product line for creating component systems. SAC Tomás Bures, Petr Hnetynka, Michal Malohlava
2008	—	`conf`	Automated Generation of Implementation from Textual System Requirements. CEE-SET Jan Francu, Petr Hnetynka
2008	—	`conf`	Perspectives in component-based software engineering. SEESE@ICSE Jirí Adámek, Petr Hnetynka
2008	J	`jnl`	Safe Systems with Software Components in SOFA 2. ERCIM News Tomás Bures, Petr Hnetynka
2008	—	`conf`	Using DSL for Automatic Generation of Software Connectors. ICCBSS Tomás Bures, Michal Malohlava, Petr Hnetynka
2007	—	`conf`	Advanced Features of Hierarchical Component Models. ISIM Petr Hnetynka, Tomás Bures
2007	—	`conf`	CoCoME in SOFA. CoCoME Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parízek, Frantisek Plásil, Tomás Poch, Ondrej Sery, Petr Tuma
2007	C	`conf`	Runtime Support for Advanced Component Concepts. SERA Tomás Bures, Petr Hnetynka, Frantisek Plásil, Jan Klesnil, Ondrej Kmoch, Tomas Kohan, Pavel Kotrc
2006	—	`conf`	Dynamic Reconfiguration and Access to Services in Hierarchical Component Models. CBSE Petr Hnetynka, Frantisek Plásil
2006	C	`conf`	SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model. SERA Tomás Bures, Petr Hnetynka, Frantisek Plásil
2005	C	`conf`	A Model-driven Environment for Component Deployment. SERA Petr Hnetynka
2004	—	`conf`	Hand-written vs. MOF-based Metadata Repositories: The SOFA Experience. ECBS Petr Hnetynka, Michal Píse
2003	—	`conf`	Fighting Class Name Clashes in Java Component Systems. JMLC Petr Hnetynka, Petr Tuma