Frantisek Plásil
Orcid: 0000-0003-1910-8989
According to our database1,
Frantisek Plásil
authored at least 76 papers
between 1996 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
1
1
2
2
1
1
2
1
1
2
1
1
1
1
1
1
2
1
1
2
1
1
2
5
5
4
3
1
1
1
1
8
5
2
4
1
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024
2023
Int. J. Softw. Tools Technol. Transf., December, 2023
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023
2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
Introducing Estimators - Abstraction for Easy ML Employment in Self-adaptive Architectures.
Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022
2021
IEEE Access, 2021
2020
Int. J. Softw. Tools Technol. Transf., 2020
Toward autonomically composable and context-dependent access control specification through ensembles.
Int. J. Softw. Tools Technol. Transf., 2020
2019
J. Syst. Softw., 2019
2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
2017
ACM Trans. Cyber Phys. Syst., 2017
Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017
2016
Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations.
J. Syst. Softw., 2016
Computer, 2016
Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems.
Proceedings of the Software Architecture - 10th European Conference, 2016
2015
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
An Architecture Framework for Experimentations with Self-Adaptive Cyber-physical Systems.
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015
Proceedings of the Software Architecture - 9th European Conference, 2015
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015
Proceedings of the Software, 2015
2014
Automated resolution of connector architectures using constraint solving (ARCAS method).
Softw. Syst. Model., 2014
Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014
Proceedings of the 36th International Conference on Software Engineering, 2014
Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014
Proceedings of the Software Architecture - 8th European Conference, 2014
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
Softw. Pract. Exp., 2013
Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013
Proceedings of the CBSE'13, 2013
2012
Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012
Property networks allowing oracle-based mode-change propagation in hierarchical components.
Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012
2011
Using meta-modeling in design and implementation of component-based systems: the SOFA case study.
Softw. Pract. Exp., 2011
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011
2010
IET Softw., 2010
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010
2009
Modes in component behavior specification via EBP and their application in product lines.
Inf. Softw. Technol., 2009
Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009
2008
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities.
Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008
2007
Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007
Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007
Partial Verification of Software Components: Heuristics for Environment Construction.
Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), 2007
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007
2006
Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006
Specification and Generation of Environment for Model Checking of Software Components.
Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2006
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006
Proceedings of the Fourth International Conference on Software Engineering, 2006
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006
2005
J. Softw. Maintenance Res. Pract., 2005
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005
Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective.
Proceedings of the IASTED International Conference on Software Engineering, 2005
2004
Addressing State Explosion in Behavior Protocol Verification.
Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004
Erroneous architecture is a relative concept.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004
Proceedings of the Architecting Systems with Trustworthy Components, 2004
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004
2003
2002
2001
Proceedings of the New Developments in Distributed Applications and Interoperable Systems, 2001
1999
Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999
1998
An architectural view of distributed objects and components in CORBA, Java RMI and COM/DCOM.
Softw. Concepts Tools, 1998
Proceedings of the Fourth International Conference on Configurable Distributed Systems, 1998
1997
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 1997
1996
Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996
Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996