Frantisek Plásil

88 papers A 1B 8C 7Journal 24Unranked 41

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	B	`conf`	Interpreting Workflow Architectures by LLMs. ENASE Michal Töpfer, Tomás Bures, Frantisek Plásil, Petr Hnetynka
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`	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`	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	—	`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
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	—	`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
2021	J	`jnl`	Automated Online Experiment-Driven Adaptation-Mechanics and Cost Aspects. IEEE Access Ilias Gerostathopoulos, Frantisek Plásil, Christian Prehofer, Janek Thomas, Bernd Bischl
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
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	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
2019	J	`jnl`	Tuning self-adaptation in cyber-physical systems through architectural homeostasis. J. Syst. Softw. Ilias Gerostathopoulos, Dominik Skoda, Frantisek Plásil, Tomás Bures, Alessia Knauss
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
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	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	B	`conf`	Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems. ECSA Ilias Gerostathopoulos, Dominik Skoda, Frantisek Plásil, Tomás Bures, Alessia Knauss
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	J	`jnl`	Software Abstractions for Component Interaction in the Internet of Things. Computer Tomás Bures, Frantisek Plásil, Michal Kit, Petr Tuma, Nicklas Hoch
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	—	`conf`	Employing Domain Knowledge for Optimizing Component Communication. CBSE Michal Kit, Frantisek Plásil, Vladimír Matena, Tomás Bures, Ondrej Kovác
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	—	`conf`	Formalization of Invariant Patterns for the Invariant Refinement Method. Software, Services, and Systems Tomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, Frantisek Plásil, Petr Tuma
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
2014	—	`conf`	Architecture Adaptation Based on Belief Inaccuracy Estimation. WICSA Rima Al Ali, Tomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, Frantisek Plásil
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	—	`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`	Software Engineering for Software-Intensive Cyber-Physical Systems. GI-Jahrestagung Ilias Gerostathopoulos, Jaroslav Keznikl, Tomás Bures, Michal Kit, Frantisek Plásil
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	B	`conf`	Software Components in Computer Assisted Living? SOFSEM Frantisek Plásil, Tomás Bures
2013	J	`jnl`	Threaded behavior protocols. Formal Aspects Comput. Tomás Poch, Ondrej Sery, Frantisek Plásil, Jan Kofron
2013	—	`conf`	Towards Verification of Ensemble-Based Component Systems. FACS Jiri Barnat, Nikola Benes, Tomás Bures, Ivana Cerná, Jaroslav Keznikl, Frantisek Plásil
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`	Property networks allowing oracle-based mode-change propagation in hierarchical components. CBSE Tomás Pop, Frantisek Plásil, Matej Outly, Michal Malohlava, Tomás Bures
2012	—	`conf`	Towards Dependable Emergent Ensembles of Components: The DEECo Component Model. WICSA/ECSA Jaroslav Keznikl, Tomás Bures, Frantisek Plásil, Michal Kit
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	J	`jnl`	Assume-guarantee verification of software components in SOFA 2 framework. IET Softw. Pavel Parízek, Frantisek Plásil
2010	—	`ed.`	Component-Based Software Engineering, 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings CBSE Lars Grunske, Ralf H. Reussner, Frantisek Plásil
2010	—	`conf`	Evolving SOA in the Q-ImPrESS Project. WADT Jan Kofron, Frantisek Plásil
2010	—	`ed.`	Research into Practice - Reality and Gaps, 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings QoSA George T. Heineman, Jan Kofron, Frantisek Plásil
2009	—	`conf`	Extracting Behavior Specification of Components in Legacy Applications. CBSE Tomás Poch, Frantisek Plásil
2009	J	`jnl`	Modes in component behavior specification via EBP and their application in product lines. Inf. Softw. Technol. Jan Kofron, Frantisek Plásil, Ondrej Sery
2008	—	`conf`	Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. TOOLS (46) Pavel Parízek, Frantisek Plásil
2008	—	`ed.`	Quality of Software Architectures. Models and Architectures, 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings QoSA Steffen Becker, Frantisek Plásil, Ralf H. Reussner
2008	—	`ed.`	The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007] CoCoME Andreas Rausch, Ralf H. Reussner, Raffaela Mirandola, Frantisek Plásil
2007	—	`conf`	CoCoME in Fractal. CoCoME 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
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	—	`conf`	CoCoTA - Common Component Task. CoCoME Raffaela Mirandola, Frantisek Plásil
2007	—	`conf`	Introduction. CoCoME Andreas Rausch, Ralf H. Reussner, Raffaela Mirandola, Frantisek Plásil
2007	—	`conf`	Partial Verification of Software Components: Heuristics for Environment Construction. EUROMICRO-SEAA Pavel Parízek, Frantisek Plásil
2007	—	`conf`	Reducing Component Systems' Behavior Specification. SCCC Viliam Holub, Frantisek Plásil
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
2007	—	`ed.`	SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings SOFSEM (1) Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plásil
2007	—	`ed.`	SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings Volume II SOFSEM (2) Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plásil, Mária Bieliková
2007	—	`conf`	Slicing of Component Behavior Specification with Respect to Their Composition. CBSE Ondrej Sery, Frantisek Plásil
2006	—	`conf`	Dynamic Reconfiguration and Access to Services in Hierarchical Component Models. CBSE Petr Hnetynka, Frantisek Plásil
2006	C	`conf`	Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. SEW Pavel Parízek, Frantisek Plásil, Jan Kofron
2006	—	`conf`	Modeling Environment for Component Model Checking from Hierarchical Architecture. FACS Pavel Parízek, 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
2006	—	`conf`	Specification and Generation of Environment for Model Checking of Software Components. FESCA@ETAPS Pavel Parízek, Frantisek Plásil
2005	—	`conf`	Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective. IASTED Conf. on Software Engineering Vladimir Mencl, Frantisek Plásil, Jirí Adámek
2005	J	`jnl`	Component composition errors and update atomicity: static analysis. J. Softw. Maintenance Res. Pract. Jirí Adámek, Frantisek Plásil
2005	—	`conf`	Model Checking of Component Behavior Specification: A Real Life Experience. FACS Pavel Jezek, Jan Kofron, Frantisek Plásil
2004	C	`conf`	Addressing State Explosion in Behavior Protocol Verification. SNPD Martin Mach, Frantisek Plásil
2004	—	`conf`	Erroneous architecture is a relative concept. IASTED Conf. on Software Engineering and Applications Jirí Adámek, Frantisek Plásil
2004	—	`conf`	Exceptions in Component Interaction Protocols - Necessity. Architecting Systems with Trustworthy Components Frantisek Plásil, Viliam Holub
2004	C	`conf`	Partial Bindings of Components - Any Harm?. APSEC Jirí Adámek, Frantisek Plásil
2003	J	`jnl`	Getting 'whole Picture' Behavior in a Use Case Model. Trans. SDPS Frantisek Plásil, Vladimir Mencl
2002	J	`jnl`	Behavior Protocols for Software Components. IEEE Trans. Software Eng. Frantisek Plásil, Stanislav Visnovsky
2002	B	`ed.`	SOFSEM 2002: Theory and Practice of Informatics, 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings SOFSEM William I. Grosky, Frantisek Plásil
2001	C	`conf`	Software Connectors and their Role in Component Deployment. DAIS Dusan Bálek, Frantisek Plásil
1999	—	`conf`	Bounding Component Behavior via Protocols. TOOLS (30) Frantisek Plásil, Milos Besta, Stanislav Visnovsky
1998	J	`jnl`	An architectural view of distributed objects and components in CORBA, Java RMI and COM/DCOM. Softw. Concepts Tools Frantisek Plásil, Michael Stal
1998	—	`conf`	SOFA/DCUP: architecture for component trading and dynamic updating. CDS Frantisek Plásil, Dusan Bálek, Radovan Janecek
1998	J	`jnl`	What characterizes a (software) component? Softw. Concepts Tools Manfred Broy, Anton Deimel, Juergen Henn, Kai Koskimies, Frantisek Plásil, Gustav Pomberger, Wolfgang Pree, Michael Stal, Clemens A. Szyperski
1997	—	`conf`	Inheriting Synchronization Protocols via Sound Enrichment Rules. JMLC Frantisek Plásil, Daniel Mikusík
1997	B	`ed.`	SOFSEM '97: Theory and Practice of Informatics, 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997, Proceedings SOFSEM Frantisek Plásil, Keith G. Jeffery
1996	B	`conf`	CORBA and Object Services. SOFSEM Jan Kleindienst, Frantisek Plásil, Petr Tuma
1996	A	`conf`	Lessons Learned from Implementing the CORBA Persistent Object Service. OOPSLA Jan Kleindienst, Frantisek Plásil, Petr Tuma