Link bibtex
I. Gerostathopoulos, D. Škoda, F. Plášil, T. Bureš, A. Knauss:
Tuning Self-Adaptation in Cyber-Physical Systems through Architectural Homeostasis, in Journal of Systems and Software 148, pp. 37-55, 2019
DOI: 10.1016/j.jss.2018.10.051
Link bibtex
R. Al-Ali, T. Bureš, P. Hnětynka, F. Krijt, F. Plášil, J. Vinárek:
Dynamic Security Specification Through Autonomic Component Ensembles, in Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, pp. 172-185, 2018
ISBN: 978-3-030-03424-5, DOI: 10.1007/978-3-030-03424-5_12
Link bibtex
F. Krijt, Z. Jiracek, T. Bureš, P. Hnětynka, F. Plášil:
Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality, in Proc. 5th International Conference on Model-Driven Engineering and Software Development, pp. 561-568, 2017
ISBN: 978-989-758-210-3
PDF bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, F. Plášil, F. Krijt, J. Vinárek:
Trait-based Language for Smart Cyber-Physical Systems, Technical report no. D3S-TR-2017-01, Department of Distributed and Dependable Systems, Charles University, 2017
Link bibtex
I. Gerostathopoulos, T. Bureš, P. Hnětynka, A. Hujecek, F. Plášil, D. Škoda:
Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies, in ACM Transactions on Cyber-Physical Systems 1(3), pp. 1-25, 2017
DOI: 10.1145/2823345
Link bibtex
I. Gerostathopoulos, D. Škoda, F. Plášil, T. Bureš, A. Knauss:
Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems, in Software Architecture, pp. 113-128, 2016
ISBN: 978-3-319-48992-6, DOI: 10.1007/978-3-319-48992-6_8
Link bibtex
T. Bureš, P. Hnětynka, F. Krijt, V. Matena, F. Plášil:
Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication, in Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I, pp. 642–656, 2016
ISBN: 978-3-319-47166-2
Link bibtex
I. Gerostathopoulos, T. Bureš, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil, N. Plouzeau:
Self-adaptation in software-intensive cyber–physical systems: From system goals to architecture configurations, in Journal of Systems and Software, 2016
DOI: 10.1016/j.jss.2016.02.028
Link bibtex
T. Bureš, I. Gerostathopoulos, J. Keznikl, F. Plášil, P. Tůma:
Formalization of Invariant Patterns for the Invariant Refinement Method, in Software, Services, and Systems, pp. 602-618, 2015
ISBN: 978-3-319-15544-9 978-3-319-15545-6
Link bibtex
V. Simko, D. Hauzar, P. Hnětynka, T. Bureš, F. Plášil:
Formal Verification of Annotated Textual Use-Cases, in The Computer Journal 58(7), pp. 1495-1529, 2015
DOI: 10.1093/comjnl/bxu068
Link bibtex
M. Kit, F. Plášil, V. Matena, T. Bureš, O. Kovac:
Employing Domain Knowledge for Optimizing Component Communication, in Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, pp. 59–64, 2015
ISBN: 978-1-4503-3471-6, DOI: 10.1145/2737166.2737172
Link bibtex
T. Bureš, F. Krijt, F. Plášil, P. Hnětynka, Z. Jiracek:
Towards Intelligent Ensembles, in Proceedings of the 2015 European Conference on Software Architecture Workshops, pp. 17:1–17:4, 2015
ISBN: 978-1-4503-3393-1, DOI: 10.1145/2797433.2797450
Link bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
The Invariant Refinement Method, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 405–428, 2015
ISBN: 978-3-319-16310-9
Link bibtex
I. Gerostathopoulos, T. Bureš, P. Hnětynka, A. Hujecek, F. Plášil, D. Škoda:
Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems, in Software Architecture: 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings, pp. 45–52, 2015
ISBN: 978-3-319-23727-5, DOI: 10.1007/978-3-319-23727-5_4
Link bibtex
R. Al-Ali, T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
DEECo: An Ecosystem for Cyber-Physical Systems, in Companion Proceedings of ICSE 2014, Hyderabad, India, pp. 610-611, 2014
ISBN: 978-1-4503-2768-8, DOI: 10.1145/2591062.2591140
Link bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
Gossiping Components for Cyber-Physical Systems, in Software Architecture: 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings, pp. 250–266, 2014
ISBN: 978-3-319-09970-5
Link bibtex
R. Al-Ali, T. Bureš, I. Gerostathopoulos, J. Keznikl, F. Plášil:
Architecture Adaptation Based on Belief Inaccuracy Estimation, in Proceedings of WICSA 2014, Sydney, NSW, Australiatecture, pp. 87–90, 2014
ISBN: 978-1-4799-3412-6, DOI: 10.1109/WICSA.2014.20
Link bibtex
J. Barnat, N. Beneš, T. Bureš, I. Černá, J. Keznikl, F. Plášil:
Towards Verification of Ensemble-Based Component Systems, in Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 41–60, 2014
ISBN: 978-3-319-07602-7
Link bibtex
J. Keznikl, T. Bureš, F. Plášil, P. Hnětynka:
Automated resolution of connector architectures using constraint solving (ARCAS method), in Software & Systems Modeling 13(2), pp. 843–872, 2014
DOI: 10.1007/s10270-012-0274-8
bibtex
I. Gerostathopoulos, J. Keznikl, T. Bureš, M. Kit, F. Plášil:
Software Engineering for Software-Intensive Cyber-Physical Systems, in Proc. of CPSData workshop in INFORMATIK'14. To Appear., 2014
Link bibtex
T. Bureš, P. Hnětynka, F. Plášil:
Strengthening Architectures of Smart CPS by Modeling Them As Runtime Product-lines, in Proceedings of the 17th International ACM Sigsoft Symposium on Component-based Software Engineering, pp. 91–96, 2014
ISBN: 978-1-4503-2577-6, DOI: 10.1145/2602458.2602478
Link bibtex
T. Poch, O. Šerý, F. Plášil, J. Kofroň:
Threaded behavior protocols, in Formal Aspects of Computing 25(4), pp. 543-572, 2013
DOI: 10.1007/s00165-011-0194-3
Link bibtex
F. Plášil, T. Bureš:
Software Components in Computer Assisted Living, in SOFSEM 2013: Theory and Practice of Computer Science: 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings, pp. 28–28, 2013
ISBN: 978-3-642-35843-2
bibtex
R. Al-Ali, T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
DEECo Computational Model - I, Technical report no. No. D3S-TR-2013-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2013
bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
DEECo – an Ensemble-Based Component System, in Proc. of CBSE'13, pp. 81-90, 2013
ISBN: 978-1-4503-2122-8
bibtex
J. Keznikl, T. Bureš, F. Plášil, I. Gerostathopoulos, P. Hnětynka, N. Hoch:
Design of Ensemble-Based Component Systems by Invariant Refinement, in Proceedings of CBSE'13, Vancouver, Canada, pp. 91-100, 2013
Link bibtex
M. Malohlava, F. Plášil, T. Bureš, P. Hnětynka:
Interoperable domain-specific languages families for code generation, in Software: Practice and Experience 43(5), pp. 479–499, 2013
DOI: 10.1002/spe.2118
Link bibtex
V. Simko, D. Hauzar, T. Bureš, P. Hnětynka, F. Plášil:
Verifying Temporal Properties of Use-Cases in Natural Language, in Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers, pp. 350–367, 2012
ISBN: 978-3-642-35743-5
Link bibtex
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
Autonomous components in dynamic environments, Technical report no. , , 2012
Link bibtex
T. Pop, F. Plášil, M. Outly, M. Malohlava, T. Bureš:
Property Networks Allowing Oracle-based Mode-change Propagation in Hierarchical Components, in Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, pp. 93–102, 2012
ISBN: 978-1-4503-1345-2, DOI: 10.1145/2304736.2304753
Link bibtex
P. Hnětynka, F. Plášil:
Using meta-modeling in design and implementation of component-based systems: the SOFA case study., in Softw., Pract. Exper. 41(11), pp. 1185-1201, 2011
DOI: 10.1002/spe.1036
Link bibtex
P. Parízek, F. Plášil:
Assume-guarantee verification of software components in SOFA 2 framework., in IET Software 4(3), pp. 210-211, 2010
DOI: 10.1049/iet-sen.2009.0016
Link bibtex
J. Kofroň, F. Plášil:
Evolving SOA in the Q-ImPrESS Project., in Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 25-26, 2010
DOI: 10.1007/978-3-642-28412-0_3
Link bibtex
L. Grunske, R. Reussner, F. Plášil:
Component-Based Software Engineering, 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings, in , 2010
ISBN: ISBN 978-3-642-13237-7, DOI: 10.1007/978-3-642-13238-4
Link bibtex
T. Poch, F. Plášil:
Extracting Behavior Specification of Components in Legacy Applications., in Component-Based Software Engineering, 12th International Symposium, CBSE 2009, East Stroudsburg, PA, USA, June 24-26, 2009, Proceedings, pp. 87-103, 2009
DOI: 10.1007/978-3-642-02414-6_6
Link bibtex
J. Kofroň, F. Plášil, O. Šerý:
Modes in component behavior specification via EBP and their application in product lines, in Information and Software Technology 51(1), pp. 31-41, 2009
DOI: 10.1016/j.infsof.2008.09.011
Link bibtex
P. Parízek, F. Plášil:
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities., in Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings, pp. 2-21, 2008
DOI: 10.1007/978-3-540-69824-1_2
Link bibtex
T. Bureš, M. Děcký, P. Hnětynka, J. Kofroň, P. Parízek, F. Plášil, T. Poch, O. Šerý, P. Tůma:
CoCoME in SOFA, in The Common Component Modeling Example: Comparing Software Component Models, pp. 388-417, 2008
ISBN: 978-3-540-85289-6
Link bibtex
L. Bulej, T. Bureš, T. Coupaye, M. Děcký, P. Ježek, P. Parízek, F. Plášil, T. Poch, N. Rivierre, O. Šerý, P. Tůma:
CoCoME in Fractal, in The Common Component Modeling Example, pp. 357-387, 2008
ISBN: 978-3-540-85288-9 978-3-540-85289-6
Link bibtex
O. Sery, F. Plášil:
Slicing of Component Behavior Specification with Respect to Their Composition., in Component-Based Software Engineering, 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings, pp. 189-202, 2007
DOI: 10.1007/978-3-540-73551-9_13
Link bibtex
P. Parízek, F. Plášil:
Modeling Environment for Component Model Checking from Hierarchical Architecture., in Electr. Notes Theor. Comput. Sci. 182, pp. 139-153, 2007
DOI: 10.1016/j.entcs.2006.09.036
Link bibtex
P. Parízek, F. Plášil:
Partial Verification of Software Components: Heuristics for Environment Construction., in 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), August 28-31, 2007, Lübeck, Germany, pp. 75-82, 2007
DOI: 10.1109/EUROMICRO.2007.46
Link bibtex
P. Parízek, F. Plášil:
Specification and Generation of Environment for Model Checking of Software Components., in Electr. Notes Theor. Comput. Sci. 176(2), pp. 143-154, 2007
DOI: 10.1016/j.entcs.2006.02.036
Link bibtex
R. Mirandola, F. Plášil:
CoCoTA - Common Component Task., in The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007], pp. 4-15, 2007
DOI: 10.1007/978-3-540-85289-6_2
Link bibtex
V. Holub, F. Plášil:
Reducing Component Systems' Behavior Specification., in XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 8-9 November 2007, Iquique, Chile, pp. 63-72, 2007
DOI: 10.1109/SCCC.2007.16
Link bibtex
P. Hnětynka, F. Plášil:
Dynamic Reconfiguration and Access to Services in Hierarchical Component Models., in Component-Based Software Engineering, 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings, pp. 352-359, 2006
DOI: 10.1007/11783565_27
PDF bibtex
P. Parízek, F. Plášil, J. Kofroň:
Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker, Technical report no. 2006/02, Department of Software Engineering, Charles University, 2006
Link bibtex
J. Adamek, T. Bureš, P. Ježek, J. Kofroň, V. Mencl, P. Parízek, F. Plášil:
Component reliability extensions for fractal component model, Technical report no. XX/2006, Institute of Computer Science Academy of Sciences of the Czech Republic & France Telecom, 2006
Link bibtex
P. Ježek, J. Kofroň, F. Plášil:
Model Checking of Component Behavior Specification: A Real Life Experience, in Electronic Notes in Theoretical Computer Science 160, pp. 197-210, 2006
DOI: 10.1016/j.entcs.2006.05.023
bibtex
V. Mencl, F. Plášil, J. Adámek:
Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective., in IASTED International Conference on Software Engineering, part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 15-17, 2005, pp. 193-201, 2005
Link PDF bibtex
M. Mach, F. Plášil, J. Kofroň:
Behavior Protocols Verification: Fighting State Explosion, in International Journal of Computer and Information Science 6(1), pp. 22-30, 2005
Link bibtex
J. Adámek, F. Plášil:
Component composition errors and update atomicity: static analysis., in Journal of Software Maintenance 17(5), pp. 363-377, 2005
DOI: 10.1002/smr.321
Link bibtex
J. Adámek, F. Plášil:
Partial Bindings of Components - Any Harm?., in 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November - 3 December 2004, Busan, Korea, pp. 632-639, 2004
DOI: 10.1109/APSEC.2004.70
Link bibtex
F. Plášil, V. Holub:
Exceptions in Component Interaction Protocols - Necessity., in Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, pp. 227-244, 2004
DOI: 10.1007/11786160_13
bibtex
M. Mach, F. Plášil:
Addressing State Explosion in Behavior Protocol Verification., in 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 15-16 September 2004, Chicago, IL, USA, pp. 327-333, 2004
bibtex
J. Adámek, F. Plášil:
Erroneous architecture is a relative concept., in Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA, pp. 715-720, 2004
Link bibtex
T. Bureš, F. Plášil:
Communication Style Driven Connector Configurations, in Software Engineering Research and Applications: First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers, pp. 102–116, 2004
ISBN: 978-3-540-24675-6
bibtex
T. Bureš, F. Plášil:
Scalable Element-Based Connectors, in Proceedings of SERA, 2003
Link bibtex
F. Plášil, V. Mencl:
Getting 'whole Picture' Behavior in a Use Case Model., in Transactions of the SDPS 7(4), pp. 63-79, 2003
Link bibtex
F. Plášil, S. Visnovsky:
Behavior Protocols for Software Components., in IEEE Trans. Software Eng. 28(11), pp. 1056-1076, 2002
DOI: 10.1109/TSE.2002.1049404
Link bibtex
D. Bálek, F. Plášil:
Software Connectors and their Role in Component Deployment., in New Developments in Distributed Applications and Interoperable Systems, IFIP TC6 / WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems, September 17-19, 2001, Kraków, Poland, pp. 69-84, 2001
DOI: 10.1007/0-306-47005-5_6
bibtex
P. Kähkipuro, A. Buble, A. Gopinath, A. Kaushal, C. Liyanaarachchi, C. Readler, D. Flater, D. Niehaus, F. Caruso, F. Plášil, K. Raatikainen, L. Pau, M. Chung, P. Tůma, S. Nimmagadda, S. Tockey:
OMG Benchmark PSIG White Paper on Benchmarking, Technical report no. bench/99-12-01, OMG, 1999
Link bibtex
F. Plášil, M. Besta, S. Visnovsky:
Bounding Component Behavior via Protocols., in TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 387-398, 1999
DOI: 10.1109/TOOLS.1999.787567
Link bibtex
M. Broy, A. Deimel, J. Henn, K. Koskimies, F. Plášil, G. Pomberger, W. Pree, M. Stal, C. Szyperski:
What characterizes a (software) component?, in Software - Concepts and Tools 19(1), pp. 49-56, 1998
DOI: 10.1007/s003780050007
Link bibtex
F. Plášil, M. Stal:
An architectural view of distributed objects and components in CORBA, Java RMI and COM/DCOM., in Software - Concepts and Tools 19(1), pp. 14-28, 1998
DOI: 10.1007/s003780050004
Link bibtex
F. Plášil, D. Bálek, R. Janecek:
SOFA/DCUP: architecture for component trading and dynamic updating., in Fourth International Conference on Configurable Distributed Systems, 1998, Proceedings, Annapolis, MA, USA, 6 May, 1998, pp. 43-51, 1998
DOI: 10.1109/CDS.1998.675757
PDF bibtex
F. Plášil, P. Tůma, A. Buble:
CORBA Benchmarking, Technical report no. 98/7, Charles University, 1998
Link bibtex
F. Plášil, D. Mikusík:
Inheriting Synchronization Protocols via Sound Enrichment Rules., in Modular Programming Languages, Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19-21, 1997, Proceedings, pp. 267-281, 1997
DOI: 10.1007/3-540-62599-2_45
Link bibtex
PDF bibtex
J. Kleindienst, F. Plášil, P. Tůma:
What We Are Missing in the Persistent Object Service Specification, Technical report no. , Charles University, 1996
Link bibtex
J. Kleindienst, F. Plášil, P. Tůma:
CORBA and Object Services (Invited Paper), in Theory and Practice of Informatics: Proc. 23rd Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM), pp. 74-93, 1996
ISBN: 978-3-540-61994-9 978-3-540-49588-8
Link bibtex
J. Kleindienst, F. Plášil, P. Tůma:
Lessons Learned from Implementing the CORBA Persistent Object Service, in ACM SIGPLAN Notices 31(10), pp. 150–167, 1996
DOI: 10.1145/236338.236351