M. Töpfer, D. Khalyeyev, T. Bureš, P. Hnětynka, F. Plášil:
How Well Do LLMs Understand DEECo Ensemble-based Component Architectures, accepted for publication in Proceedings of ISOLA 2024, Crete, Greece
How Well Do LLMs Understand DEECo Ensemble-based Component Architectures, accepted for publication in Proceedings of ISOLA 2024, Crete, Greece
T. Bureš, P. Hnětynka, M. Kruliš, F. Plášil, D. Khalyeyev, S. Hahner, S. Seifermann, M. Walter, R. Heinrich:
Generating adaptation rule-specific neural network, in International Journal on Software Tools for Technology Transfer 25, pp. 733–746, 2023
DOI: 10.1007/s10009-023-00725-y
Generating adaptation rule-specific neural network, in International Journal on Software Tools for Technology Transfer 25, pp. 733–746, 2023
DOI: 10.1007/s10009-023-00725-y
M. Abdullah, M. Töpfer, T. Bureš, P. Hnětynka, M. Kruliš, F. Plášil:
Introducing Estimators—Abstraction for Easy ML Employment in Self-adaptive Architectures, in Proceedings of ECSA 2022 Tracks and Workshops, pp. 370-385, 2023
DOI: 10.1007/978-3-031-36889-9_25
Introducing Estimators—Abstraction for Easy ML Employment in Self-adaptive Architectures, in Proceedings of ECSA 2022 Tracks and Workshops, pp. 370-385, 2023
DOI: 10.1007/978-3-031-36889-9_25
M. Töpfer, F. Plášil, T. Bureš, P. Hnětynka, M. Kruliš, D. Weyns:
Online ML Self-adaptation in Face of Traps, accepted for publication in Proceedings of ACSOS 2023,Toronto, Canada
Online ML Self-adaptation in Face of Traps, accepted for publication in Proceedings of ACSOS 2023,Toronto, Canada
T. Bureš, P. Hnětynka, M. Kruliš, F. Plášil, D. Khalyeyev, S. Hahner, S. Seifermann, M. Walter, R. Heinrich:
Attuning Adaptation Rules via a Rule-Specific Neural Network, in Proceedings of ISOLA 2022, Rhodes, Greece, pp. 215-230, 2022
DOI: 10.1007/978-3-031-19759-8_14
Attuning Adaptation Rules via a Rule-Specific Neural Network, in Proceedings of ISOLA 2022, Rhodes, Greece, pp. 215-230, 2022
DOI: 10.1007/978-3-031-19759-8_14
I. Gerostathopoulos, F. Plášil, C. Prehofer, J. Thomas, B. Bischl:
Automated Online Experiment-Driven Adaptation–Mechanics and Cost Aspects, in IEEE Access 9, pp. 58079-58087, 2021
DOI: 10.1109/ACCESS.2021.3071809
Automated Online Experiment-Driven Adaptation–Mechanics and Cost Aspects, in IEEE Access 9, pp. 58079-58087, 2021
DOI: 10.1109/ACCESS.2021.3071809
T. Bureš, P. Hnětynka, F. Plášil, D. Škoda, J. Kofroň, R. Ali, I. Gerostathopoulos:
Targeting uncertainty in smart CPS by confidence-based logic, in Journal of Systems and Software 181, 2021
DOI: 10.1016/j.jss.2021.111065
Targeting uncertainty in smart CPS by confidence-based logic, in Journal of Systems and Software 181, 2021
DOI: 10.1016/j.jss.2021.111065
T. Bureš, I. Gerostathopoulos, P. Hnětynka, F. Plášil, F. Krijt, J. Vinárek, J. Kofroň:
A language and framework for dynamic component ensembles in smart systems, in International Journal on Software Tools for Technology Transfer 22(4), pp. 497-509, 2020
DOI: 10.1007/s10009-020-00558-z
A language and framework for dynamic component ensembles in smart systems, in International Journal on Software Tools for Technology Transfer 22(4), pp. 497-509, 2020
DOI: 10.1007/s10009-020-00558-z
R. Al Ali, T. Bureš, P. Hnětynka, J. Matejek, F. Plášil, J. Vinárek:
Toward autonomically composable and context-dependent access control specification through ensembles, in International Journal on Software Tools for Technology Transfer 22(4), pp. 511-522, 2020
DOI: 10.1007/s10009-020-00556-1
Toward autonomically composable and context-dependent access control specification through ensembles, in International Journal on Software Tools for Technology Transfer 22(4), pp. 511-522, 2020
DOI: 10.1007/s10009-020-00556-1
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
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
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
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
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
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
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
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
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
Trait-based Language for Smart Cyber-Physical Systems, Technical report no. D3S-TR-2017-01, Department of Distributed and Dependable Systems, Charles University, 2017
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
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
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
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
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, DOI: 10.1007/978-3-319-47166-2_45
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, DOI: 10.1007/978-3-319-47166-2_45
T. Bureš, F. Plášil, M. Kit, P. Tůma, N. Hoch:
Software Abstractions for Component Interaction in the Internet of Things, in Computer 49(12), pp. 50-59, 2016
DOI: 10.1109/MC.2016.377
Software Abstractions for Component Interaction in the Internet of Things, in Computer 49(12), pp. 50-59, 2016
DOI: 10.1109/MC.2016.377
M. Kit, I. Gerostathopoulos, T. Bureš, P. Hnětynka, F. Plášil:
An Architecture Framework for Experimentations with Self-Adaptive Cyber-physical Systems, in 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 93-96, 2015
DOI: 10.1109/SEAMS.2015.28
An Architecture Framework for Experimentations with Self-Adaptive Cyber-physical Systems, in 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 93-96, 2015
DOI: 10.1109/SEAMS.2015.28
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
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
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
Formal Verification of Annotated Textual Use-Cases, in The Computer Journal 58(7), pp. 1495-1529, 2015
DOI: 10.1093/comjnl/bxu068
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
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
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
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
I. Gerostathopoulos, T. Bureš, P. Hnětynka, A. Hujecek, F. Plášil, D. Škoda:
Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems, Technical report no. No. D3S-TR-2015-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2015
Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems, Technical report no. No. D3S-TR-2015-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2015
I. Gerostathopoulos, T. Bureš, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil, N. Plouzeau:
Self-Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations, Technical report no. D3S-TR-2015-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2015
Self-Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations, Technical report no. D3S-TR-2015-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2015
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
The Invariant Refinement Method, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 405–428, 2015
ISBN: 978-3-319-16310-9
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
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
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil, N. Plouzeau:
Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations, Technical report no. No. D3S-TR-2014-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2014
Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations, Technical report no. No. D3S-TR-2014-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2014
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
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
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
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
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
Computational Model for Gossiping Components in Cyber-Physical Systems, Technical report no. No. D3S-TR-2014-03, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2014
Computational Model for Gossiping Components in Cyber-Physical Systems, Technical report no. No. D3S-TR-2014-03, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2014
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
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
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, DOI: 10.1007/978-3-319-09970-5_23
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, DOI: 10.1007/978-3-319-09970-5_23
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
Software Engineering for Software-Intensive Cyber-Physical Systems, in Proc. of CPSData workshop in INFORMATIK'14. To Appear., 2014
I. Gerostathopoulos, J. Keznikl, T. Bureš, M. Kit, F. Plášil:
Software Engineering for Software-Intensive Cyber-Physical Systems, Technical report no. No. D3S-TR-2014-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2014
Software Engineering for Software-Intensive Cyber-Physical Systems, Technical report no. No. D3S-TR-2014-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2014
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
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
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
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
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
DEECo - an Ensemble-Based Component System, Technical report no. No. D3S-TR-2013-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2013
DEECo - an Ensemble-Based Component System, Technical report no. No. D3S-TR-2013-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2013
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
DEECo – an Ensemble-Based Component System, in Proc. of CBSE'13, pp. 81-90, 2013
ISBN: 978-1-4503-2122-8
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
DEECo Computational Model - I, Technical report no. No. D3S-TR-2013-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2013
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
Design of Ensemble-Based Component Systems by Invariant Refinement, in Proceedings of CBSE'13, Vancouver, Canada, pp. 91-100, 2013
T. Bureš, I. Gerostathopoulos, J. Keznikl, F. Plášil:
Formalization of Invariant Patterns for the Invariant Refinement Method, Technical report no. No. D3S-TR-2013-04, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2013
Formalization of Invariant Patterns for the Invariant Refinement Method, Technical report no. No. D3S-TR-2013-04, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2013
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
Interoperable domain-specific languages families for code generation, in Software: Practice and Experience 43(5), pp. 479–499, 2013
DOI: 10.1002/spe.2118
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, DOI: 10.1007/978-3-642-35843-2_2
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, DOI: 10.1007/978-3-642-35843-2_2
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
Threaded behavior protocols, in Formal Aspects of Computing 25(4), pp. 543-572, 2013
DOI: 10.1007/s00165-011-0194-3
J. Keznikl, T. Bureš, F. Plášil, P. Hnětynka:
Automated Resolution of Connector Architectures Using Constraint Solving \(ARCAS method\), Technical report no. No. D3S-TR-2012-03, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2012
Automated Resolution of Connector Architectures Using Constraint Solving \(ARCAS method\), Technical report no. No. D3S-TR-2012-03, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2012
T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
Autonomous components in dynamic environments, Technical report, , 2012
Autonomous components in dynamic environments, Technical report, , 2012
V. Simko, P. Hnětynka, T. Bureš, F. Plášil:
FOAM: A Lightweight Method for Verification of Use-Cases, in 2012 38th Euromicro Conference on Software Engineering and Advanced Applications, pp. 228-232, 2012
DOI: 10.1109/SEAA.2012.15
FOAM: A Lightweight Method for Verification of Use-Cases, in 2012 38th Euromicro Conference on Software Engineering and Advanced Applications, pp. 228-232, 2012
DOI: 10.1109/SEAA.2012.15
V. Simko, P. Hnětynka, T. Bureš, F. Plášil:
Formal Verification of Annotated Use Cases, Technical report no. No. D3S-TR-2012-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2012
Formal Verification of Annotated Use Cases, Technical report no. No. D3S-TR-2012-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2012
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
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
T. Bureš, P. Hnětynka, J. Keznikl, F. Plášil, P. Tůma:
Towards a Periodic Table of Component Models, Technical report no. No. D3S-TR-2012-07, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2012
Towards a Periodic Table of Component Models, Technical report no. No. D3S-TR-2012-07, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2012
J. Keznikl, T. Bureš, F. Plášil, M. Kit:
Towards Dependable Emergent Ensembles of Components: The DEECo Component Model, in 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, pp. 249-252, 2012
DOI: 10.1109/WICSA-ECSA.212.39
Towards Dependable Emergent Ensembles of Components: The DEECo Component Model, in 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, pp. 249-252, 2012
DOI: 10.1109/WICSA-ECSA.212.39
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
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
M. Malohlava, F. Plášil, T. Bureš, P. Hnětynka:
Interoperable DSL Families for Code Generation, Technical report no. No. 2011/4, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2011
Interoperable DSL Families for Code Generation, Technical report no. No. 2011/4, Dep. of Distributed and Dependable Systems, Charles University in Prague, 2011
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
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
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
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
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
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
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
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
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
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
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
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
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
CoCoME in Fractal, in The Common Component Modeling Example, pp. 357-387, 2008
ISBN: 978-3-540-85288-9 978-3-540-85289-6
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
CoCoME in SOFA, in The Common Component Modeling Example: Comparing Software Component Models, pp. 388-417, 2008
ISBN: 978-3-540-85289-6
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
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
T. Bureš, M. Decky, P. Hnětynka, J. Kofroň, P. Parízek, F. Plášil, T. Poch, O. Sery, P. Tůma:
CoCoME in SOFA 2.0, in Intel 12th EMEA Academic Forum, 2007
CoCoME in SOFA 2.0, in Intel 12th EMEA Academic Forum, 2007
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
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
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
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
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
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
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
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
T. Bureš, P. Hnětynka, F. Plášil:
Runtime Concepts of Hierarchical Software Components, in International Journal of Computer and Information Science 8, pp. 454-463, 2007
Runtime Concepts of Hierarchical Software Components, in International Journal of Computer and Information Science 8, pp. 454-463, 2007
T. Bureš, P. Hnětynka, F. Plášil, J. Klesnil, O. Kmoch, T. Kohan, P. Kotrc:
Runtime Support for Advanced Component Concepts, in 5th ACIS International Conference on Software Engineering Research, Management Applications (SERA 2007), pp. 337-345, 2007
DOI: 10.1109/SERA.2007.115
Runtime Support for Advanced Component Concepts, in 5th ACIS International Conference on Software Engineering Research, Management Applications (SERA 2007), pp. 337-345, 2007
DOI: 10.1109/SERA.2007.115
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
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
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
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
J. Kofroň, J. Adamek, T. Bureš, P. Ježek, V. Mencl, P. Parízek, F. Plášil:
Checking Fractal Component Behavior Using Behavior Protocols, in the 5th Fractal Workshop - part of ECOOP, 2006
Checking Fractal Component Behavior Using Behavior Protocols, in the 5th Fractal Workshop - part of ECOOP, 2006
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
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
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
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
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
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
P. Parízek, F. Plášil, J. Kofroň:
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker, in Proceedings of SEW 2006, pp. 133-141, 2006
ISBN: 0-7695-2624-1, DOI: 10.1109/SEW.2006.23
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker, in Proceedings of SEW 2006, pp. 133-141, 2006
ISBN: 0-7695-2624-1, DOI: 10.1109/SEW.2006.23
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
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
J. Adamek, T. Bureš, P. Ježek, J. Kofroň, V. Mencl, P. Parízek, F. Plášil:
Real-life Behavior Specification of Software Components, in The 11th EMEA Academic Forum, Dublin, Ireland, 2006
Real-life Behavior Specification of Software Components, in The 11th EMEA Academic Forum, Dublin, Ireland, 2006
T. Bureš, P. Hnětynka, F. Plášil:
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model, in Fourth International Conference on Software Engineering Research, Management and Applications - SERA 2006, pp. 40-48, 2006
DOI: 10.1109/SERA.2006.62
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model, in Fourth International Conference on Software Engineering Research, Management and Applications - SERA 2006, pp. 40-48, 2006
DOI: 10.1109/SERA.2006.62
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
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
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
Behavior Protocols Verification: Fighting State Explosion, in International Journal of Computer and Information Science 6(1), pp. 22-30, 2005
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
Component composition errors and update atomicity: static analysis., in Journal of Software Maintenance 17(5), pp. 363-377, 2005
DOI: 10.1002/smr.321
P. Hnětynka, F. Plášil, T. Bureš, V. Mencl, L. Kapova:
SOFA 2.0 metamodel, Technical report no. No. 2005/11, Dep. of SW Engineering, Charles University, Prague, 2005
SOFA 2.0 metamodel, Technical report no. No. 2005/11, Dep. of SW Engineering, Charles University, Prague, 2005
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
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
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
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
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
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
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
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
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
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
T. Bureš, F. Plášil:
Composing Connectors of Elements, Technical report no. No. 2003/3, Dep. of SW Engineering, Charles University, Prague, 2003
Composing Connectors of Elements, Technical report no. No. 2003/3, Dep. of SW Engineering, Charles University, Prague, 2003
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
Getting 'whole Picture' Behavior in a Use Case Model., in Transactions of the SDPS 7(4), pp. 63-79, 2003
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
Behavior Protocols for Software Components., in IEEE Trans. Software Eng. 28(11), pp. 1056-1076, 2002
DOI: 10.1109/TSE.2002.1049404
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
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
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
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
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
OMG Benchmark PSIG White Paper on Benchmarking, Technical report no. bench/99-12-01, OMG, 1999
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
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
F. Plášil, P. Tůma, A. Buble:
CORBA Benchmarking, Technical report no. 98/7, Charles University, 1998
CORBA Benchmarking, Technical report no. 98/7, Charles University, 1998
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
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
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
What characterizes a (software) component?, in Software - Concepts and Tools 19(1), pp. 49-56, 1998
DOI: 10.1007/s003780050007
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
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
F. Plášil, K. Jeffery:
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, Springer, 1997
ISBN: 3-540-63774-5
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, Springer, 1997
ISBN: 3-540-63774-5
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
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
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
Lessons Learned from Implementing the CORBA Persistent Object Service, in ACM SIGPLAN Notices 31(10), pp. 150–167, 1996
DOI: 10.1145/236338.236351
J. Kleindienst, F. Plášil, P. Tůma:
What We Are Missing in the Persistent Object Service Specification, Technical report, Charles University, 1996
What We Are Missing in the Persistent Object Service Specification, Technical report, Charles University, 1996