D3S Publications
2012 (12)
Refereed (journals/proceedings)
| PDF, Link |
Malohlava M., Plášil F., Bureš T., Hnětynka P.: Interoperable DSL Families for Code Generation,
Software: Practice and Experience, John Wiley & Sons, Ltd, ISSN: 1097-024X, DOI: 10.1002/spe.2118, April 2012 |
| Link |
Plšek A., Loiret F., Malohlava M.: Component-Oriented Development for Real-Time Java,
A book chapter in the book Distributed, Embedded and Real-time Java Systems. Editors: T. Higuera-Toledano and A. Wellings, ISBN 978-1-4419-8157-8, DOI 10.1007/978-1-4419-8158-5_11, February 2012 |
| PDF, Link |
Babka V., Libič P., Martinec T., Tůma P.: On The Accuracy of Cache Sharing Models,
In Proceedings of ICPE 2012, Boston, USA, Awarded with Best Student Paper Award. ACM, ISBN 978-1-4503-1202-8, pp. 21-32, April 2012 |
| PDF, Link |
Bulej L., Bureš T., Keznikl J., Koubková A., Podzimek A., Tůma P.: Capturing Performance Assumptions using Stochastic Performance Logic,
In Proceedings of ICPE 2012, Boston, USA. ACM, ISBN 978-1-4503-1202-8, pp. 311-322, April 2012 |
Submitted
| PDF |
Keznikl J., Bureš T., Plášil F., Hnětynka P.: Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method),
submitted, February 2012 |
|
Babka M., Balyo T., Keznikl J.: Finding Short Satisfying Assignments of Boolean Formulas,
submitted, February 2012 |
Accepted
| PDF |
Rollini S. F., Šerý O., Sharygina N.: Leveraging Interpolant Strength in Model Checking,
Accepted for publication in Proceedings of Computer Aided Verification (CAV '12), 2012 |
| PDF |
Pop T., Plášil F., Matěj Outlý, Malohlava M., Bureš T.: Property Networks Allowing Oracle-based Mode-change Propagation in Hierarchical Components,
, April 2012 |
|
Samuel Kounev, Philipp Reinecke, Fabian Brosig, Jeremy Bradley, Kaustubh Joshi, Babka V., Anton Stefanek, Stephen Gilmore: Providing Dependability and Resilience in the Cloud: Challenges and Opportunities,
Accepted as Book Chapter in A. Avritzer, A. van Moorsel, K. Wolter, and M. Vieira: Resilience Assessment and Evaluation, Dagstuhl Seminar 10292, Springer Verlag, 2012 |
Technical Reports
| PDF |
Keznikl J., Bureš T., Plášil F., Hnětynka P.: Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method),
Tech. Report No. 2012/1, Dep. of Distributed and Dependable Systems, Charles University in Prague, February 2012 |
Nonrefereed
| PDF |
Babka V., Tůma P.: Computer Memory: Why We Should Care What Is Under The Hood,
Invited Paper, To Appear in Post-conference proceedings of MEMICS 2011, Springer LNCS 7119, ISBN 978-3-642-25928-9, January 2012 |
| PDF |
Malohlava M., Hnětynka P., Bureš T.: SOFA 2 Component Framework and Its Ecosystem,
Extended abstract of the tutorial, To Appear in Post-conference Proceedings of FESCA 2012, 2012 |
2011 (25)
Refereed (journals/proceedings)
| Link |
Hnětynka P., Murphy L., Murphy J.: Comparing the Service Component Architecture and Fractal Component Model,
The Computer Journal, 54 (7), Oxford University Press, 2011 (IF 1.394), DOI: 10.1093/comjnl/bxq046, July 2011 |
| Link |
Pop T., Keznikl J., Malohlava M., Bureš T., Hnětynka P., Hošek P.: Introducing Support for Embedded and Real-time Devices into Existing Hierarchical Component System: Lessons Learned,
In Proceedings of 9th ACIS International Conference on Software Engineering Research, Management and Applications (SERA2011), Baltimore, Maryland, USA, pp. 3-11, ISBN 978-1-4577-1028-5, DOI 10.1109/SERA.2011.14, August 2011 |
| Link |
Francu J., Hnětynka P.: Automated Generation of Implementation from Textual System Requirements,
In Software Engineering Techniques (postproceedings of CEE-SET 2008, Brno, Czech Republic), LNCS 4980, Springer, pp. 34-47, ISBN 978-3-642-22385-3, ISSN 0302-9743, DOI 10.1007/978-3-642-22386-0_3, September 2011 |
| PDF, Link |
Babka V., Tůma P.: Can Linear Approximation Improve Performance Prediction ?,
Proceedings of EPEW 2011, Borrowdale, UK, Springer-Verlag LNCS 6977, ISBN 978-3-642-24748-4, ISSN 0302-9743, pp. 250-264, October 2011 |
| PDF, Link |
Keznikl J., Malohlava M., Bureš T., Hnětynka P.: Extensible Polyglot Programming Support in Existing Component Frameworks,
In Proceedings of 37th Euromicro Conference on Software Engineering and Advanced Applications, Oulu, Finland, pp. 107 - 115, ISBN 978-1-4577-1027-8, DOI 10.1109/SEAA.2011.25, August 2011 |
| PDF |
Šimko V., Hauzar D., Bureš T., Hnětynka P., Plášil F.: Verifying Temporal Properties of Use-Cases in Natural Language,
Postproceedings of 8th International Symposium on Formal Aspects of Component Software (FACS 2011)
conference, Oslo, Norway, LNCS, Springer, September 2011 |
| Link |
Hnětynka P., Plášil F.: Using Meta-modeling in Design and Implementation of Component-based Systems: The SOFA Case-study,
Software: Practice and Experience, 44 (11), pp. 1185-1201,
ISSN 0038-0644, Wiley, (IF 0.573), DOI 10.1002/spe.1036, October 2011
The pre-peer reviewed version of the article can be downloaded
here. |
| PDF |
Jančík P., Parízek P., Kofroň J.: Advanced Debugging with JPF Inspector,
Local proceedings of MEMICS 2011, ISBN 978-80-214-4305-1, pp 43 - 50, September 2011 |
| Link |
Poch T., Šerý O., Plášil F., Kofroň J.: Threaded Behavior Protocols,
In Formal Aspects of Computing, Springer London, ISSN: 0934-5043, pp. 1-30, DOI: 10.1007/s00165-011-0194-3, IF 1.226, September 2011
(preliminary version available here)
|
| PDF, Link |
Bureš T., Ježek P., Malohlava M., Poch T., Šerý O.: Strengthening Component Architectures by Modeling Fine-grained Entities,
In Proceedings of 37th Euromicro Conference on Software Engineering and Advanced Applications, Oulu, Finland, pp. 124 - 128, ISBN 978-1-4577-1027-8, DOI 10.1109/SEAA.2011.27, August 2011 |
Submitted
Accepted
| PDF |
Šerý O., Fedyukovich G., Sharygina N.: Interpolation-based Function Summaries in Bounded Model Checking,
Accepted for publication in Proceedings of Haifa Verification Conference (HVC '11), 2011 |
Books
| WWW |
Yung-Cheol Byun, Kiumi Akingbehin, Hnětynka P., Roger Lee (Eds.): Proceedings of the ACIS/JNU International Conference on Computers, Networks, Systems and Industrial Engineering,
IEEE CS, ISBN 978-0-7695-4417-5, May 2011 |
Technical Reports
| PDF |
Keznikl J., Malohlava M., Marek L., Tůma P.: Ferdinand Project Middleware List,
Tech. Report No. 2011/2, Dep. of Distributed and Dependable Systems, Charles University in Prague, January 2011 |
| PDF |
Hauzar D., Kofroň J.: Hunting Bugs Inside Web Applications,
Formal Verification of Object-Oriented Software, Technical report, Department of Informatics, KIT, 2011-26, October 2011 |
| PDF |
Pop T., Bureš T., Hnětynka P.: Case Studies for Component Based Development for Real-time and Embedded Devices,
Tech. Report No. 2011/10, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2011 |
| PDF |
Malohlava M., Plášil F., Bureš T., Hnětynka P.: Interoperable DSL Families for Code Generation,
Tech. Report No. 2011/4, Dep. of Distributed and Dependable Systems, Charles University in Prague, April 2011 |
| PDF |
Pop T.: Towards Optimization of Mobile Device Energy Consumption Based on Code Offload,
Tech. Report No. 2011/11, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2011 |
| PDF |
Libič P., Tůma P.: Towards Garbage Collection Modeling,
Tech. Report No. 2011/1, Dep. of Distributed and Dependable Systems, Charles University in Prague, January 2011 |
| PDF |
Matěj Outlý, Pop T., Malohlava M., Bureš T.: Mode Change in Real-time Component Systems - Suitable Form of Run-Time Variability in Resource Constrained Environments,
Tech. Report No. 2011/7, Dep. of Distributed and Dependable Systems, Charles University in Prague, September 2011 |
| PDF |
Kofroň J., Jančík P., Parízek P.: Refinement between TBP and Java Implementation of Components,
Tech. Report No. 2011/5, Dep. of Distributed and Dependable Systems, Charles University in Prague, September 2011 |
| PDF |
Babka V., Bulej L., Libič P., Marek L., Martinec T., Podzimek A., Tůma P.: Resource Impact Analysis,
Q-ImPrESS Project Deliverable D3.4, January 2011 |
| PDF |
Šimko V.: Patterns In Specification Documents,
Tech. Report No. 2011/6, Dep. of Distributed and Dependable Systems, Charles University in Prague, July 2011 |
Nonrefereed
| PDF |
Fedyukovich G., Šerý O., Sharygina N.: Function Summaries in Software Upgrade Checking,
Extended abstract, Accepted for publication in Proceedings of Haifa Verification Conference (HVC '11), 2011 |
|
Kofroň J., Plášil F.: Evolving SOA in the Q-ImPrESS Project,
Invited talk at WADT 2010, Proceedings of WADT 2010, Springer Verlag, LNCS 7137, November 2011
(preliminary version available here)
|
2010 (24)
Refereed (journals/proceedings)
| Link |
Hošek P., Pop T., Bureš T., Hnětynka P., Malohlava M.: Comparison of Component Frameworks for Real-time Embedded Systems,
In proceedings of CBSE 2010, Prague, Czech Republic, LNCS 6092, Springer, pp. 21-36, ISSN 0302-9743, ISBN 978-3-642-13237-7, June 2010 |
| PDF |
Parízek P., Yuldashev N.: Extraction of Component-Environment Interaction Model Using State Space Traversal,
In Proceedings of the 25th ACM Symposium on Applied Computing (SAC 2010), SE track, ACM, March 2010 |
| PDF, Link |
Parízek P., Kalibera T.: Efficient Detection of Errors in Java Components Using Random Environment and Restarts,
In Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010), LNCS, vol. 6015, ISBN 978-3-642-12001-5, ISSN 0302-8743, March 2010 |
| Link |
Plšek A., Zhao L., Sahin V. H., Tang D., Kalibera T., Vitek J.: Developing safety critical Java applications with oSCJ/L0,
In Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), ACM, ISBN 978-1-4503-0122-0, pp. 95-101, 2010 |
| PDF |
Parízek P., Plášil F.: Assume-Guarantee Verification of Software Components in SOFA 2 Framework,
In IET Software, volume 4, issue 3, ISSN 1751-8806, June 2010 |
|
Kalibera T., Hagelberg J., Maj P., Pizlo F., Titzer B., Vitek J.: A Family of Real-time Java Benchmarks,
To appear in Concurrency and Computation: Practice and Experience, Wiley, August 2010 |
| PDF |
Děcký M.: A Road to a Formally Verified General-Purpose Operating System,
In the Proceedings of the 1st International Symposium on Architecting Critical Systems (federate event of CompArch 2010), pp. 72 - 88, LNCS 6150, Springer-Verlag, ISBN 978-3-642-13555-2, June 2010 |
| PDF |
Kolb E., Šerý O., Weiss R.: Applicability of the BLAST Model Checker: An Industrial Case Study,
In Proceedings of PSI'09, LNCS 5947, ISBN 978-3-642-11485-4, pp. 218-229, January 2010 |
| PDF |
Kalibera T., Parízek P., Haddad G., Leavens G., Vitek J.: Challenge Benchmarks for Verification of Real-time Programs,
In Proceedings of 4th ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV'10), ACM, ISBN 978-1-60558-890-2, January 2010 |
| Link |
Šimko V., Hnětynka P., Bureš T.: From textual use-cases to component-based applications,
In proceedings of SNPD 2010, London, UK, Studies in Computational Intelligence (SCI), Springer, June 2010 |
| Link |
Becker S., Hauck M., Trifu M., Krogmann K., Kofroň J.: Reverse Engineering Component Models for Quality Predictions,
in Proceedings of the 14th
European Conference on Software Maintenance and Reengineering,
European Projects Track, (c) IEEE, ISBN: 978-0-7695-4321-5, March 2010
(preliminary version available here)
|
| PDF, Link |
Babka V., Tůma P., Bulej L.: Validating Model-Driven Performance Predictions On Random Software Systems,
In the Proceedings of the Sixth International Conference on the Quality of Software Architectures (QoSA 2010, federate event of CompArch 2010), Springer-Verlag, LNCS 6093, ISBN 978-3-642-13820-1, ISSN 0302-9743, pp. 3-19, June 2010 |
|
Kalibera T.: Replicating Real-Time Garbage Collector,
To appear in Concurrency and Computation: Practice and Experience, Wiley, August 2010 |
| Link |
Ficek M., Pop T., Dufková K., Vláčil P., Kencl L., Tomek M.: Performance Study of Active Tracking in a Cellular Network using a Modular Signaling Platform,
Proceedings of the 8th international conference on Mobile systems, applications, and services, June 2010 |
Books
| Link |
Grunske L., Reussner R., Plášil F. (Eds.): Component-Based Software Engineering,
Proceedings of the 13th International Symposium, CBSE 2010, Prague, Czech Republic, ISBN: 978-3-642-13237-7, June 2010 |
| Link |
Heineman G. T., Kofroň J., Plášil F. (Eds.): Research into Practice - Reality and Gaps,
Proceedings of the 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, ISBN: 978-3-642-13820-1, June 2010 |
| Link |
Kalibera T., Vitek J. (Eds.): Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES),
ACM, ISBN 978-1-4503-0122-0, August 2010 |
Ph.D. Theses
| PDF |
Šerý O.: Automated Verification of Software,
Ph.D. thesis, advisor: Frantisek Plasil, September 2010 |
| PDF |
Poch T.: Towards Thread Aware Component Specifications,
Ph.D. thesis, advisor: Frantisek Plasil, September 2010 |
Technical Reports
| PDF |
Parízek P., Kalibera T., Vitek J.: Model Checking Real-time Java,
Tech Report No. 2010/1, Dept. of Distributed and Dependable Systems, Charles University, June 2010 |
| PDF |
Petr Hošek, Pop T., Malohlava M., Hnětynka P., Bureš T.: Supporting real-time features in a hierarchical component system,
Tech. Report No. 2010/5, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2010 |
| PDF |
Babka V., Bulej L., Ciancone A., Filieri A., Hauck M., Libič P., Marek L., Stammel J., Tůma P.: Prediction Validation,
Q-ImPrESS Project Deliverable D4.2, July 2010 |
Master Theses
| PDF |
Keznikl J.: SOFA 2 runtime support for dynamic languages,
Master Thesis, advisor: Michal Malohlava, August 2010 |
| PDF |
Podzimek A.: Read-Copy-Update for OpenSolaris,
Master Thesis, advisor: Martin Děcký, September 2010 |
2009 (29)
Refereed (journals/proceedings)
| PDF |
Poch T., Plášil F.: Extracting Behavior Specification of Components in Legacy Applications,
In Proceedings of the 12th International Symposium on Component Based Software Engineering (CBSE 2009), LNCS 5582, ISBN 978-3-642-02413-9, pp. 87-103, June 2009 |
| PDF, Link |
Babka V., Tůma P.: Investigating Cache Parameters of x86 Family Processors,
In Proceedings of SPEC Benchmark Workshop 2009, Austin, TX, USA, Awarded with Kaivalya Dixit Award. Springer-Verlag, LNCS 5419, ISBN 978-3-540-93798-2, ISSN 0302-9743, pp. 77-96, January 2009 |
| PDF |
Kofroň J., Poch T., Šerý O.: Making Components Fit: SPINing,
In Proceedings of SEW-32, IEEE, ISBN 978-0-7695-3617-0, pp. 65-74, Greece, January 2009 |
| PDF |
Šerý O.: Enhanced Property Specification and Verification in BLAST,
In Proceedings of FASE 2009, LNCS 5503, pp. 456-469, York, UK, March 2009 |
| PDF |
Kofroň J., Plášil F., Šerý O.: Modes in component behavior specification via EBP and their application in product lines,
In Information and Software Technology 51/1, pp. 31-41, Elsevier, January 2009 |
| PDF, Link |
Libič P., Tůma P., Bulej L.: Issues in Performance Modeling of Applications with Garbage Collection,
In Proceedings of QUASOSS 2009, Amsterdam, Netherlands, ACM, ISBN 978-1-60558-709-7, pp. 3-10, August 2009 |
| PDF |
Schoeberl M., Korsholm S., Kalibera T., Ravn A. P.: A Hardware Abstraction Layer in Java,
Accepted for ACM Transactions on Embedded Computing Systems (TECS), September 2009 |
| PDF, Link |
Baker J., Cunei A., Kalibera T., Pizlo F., Vitek J.: Accurate Garbage Collection in Uncooperative Environments Revisited,
Concurrency and Computation: Practice and Experience, Wiley, February 2009 |
| PDF, Link |
Parízek P., Adámek J., Kalibera T.: Automated Construction of Reasonable Environment for Java Components,
In Proceedings of the 6th International Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA 2009), ENTCS, vol. 253, issue 1, ISSN 1571-0661, pp. 145-160, October 2009 |
| PDF |
Masek K., Hnětynka P., Bureš T.: Bridging the component-based and service-oriented worlds,
In proceedings of EUROMICRO SEAA 2009, Patras, Greece, IEEE CS, ISBN 978-0-7695-3784-9, pp. 47-54, August 2009 |
| PDF, Link |
Kalibera T., Hagelberg J., Pizlo F., Plšek A., Titzer B., Vitek J.: CDx: A Family of Real-time Java Benchmarks,
In Proceedings of 7th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), ACM, ISBN 978-1-60558-732-5, pp. 41-50, September 2009 |
| Link |
Loiret F., Malohlava M., Plšek A., Merle P., Seinturier L.: Constructing Domain-Specific Component Frameworks through Architecture Refinement,
In Proceedings of the 35th Euromicro Conference, Patras, Greece, August 2009 |
| PDF, PDF, Link |
Babka V., Libič P., Tůma P.: Timing Penalties Associated with Cache Sharing,
In Proceedings of MASCOTS 2009, London, UK, IEEE, ISBN: 978-1-4244-4926-2, ISSN: 1526-7539, pp. 583-586, September 2009 |
| PDF |
Kofroň J., Poch T., Šerý O.: TBP: Code-Oriented Component Behavior Specification,
In Proceedings of SEW-32, IEEE, ISBN 978-0-7695-3617-0, pp. 75-83, Greece, January 2009 |
| PDF |
Kebrt M., Šerý O.: UnitCheck: Unit Testing and Model Checking Combined,
In Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), LNCS 5799, ISBN 978-3-642-04760-2, pp. 97-103, October 2009 |
| Link |
Bureš T., Hala J., Hnětynka P.: Using Connectors to Address Transparent Distribution in Enterprise Systems — Pitfalls and Options,
In Proceedings of SNPD 2009, Daegu, Korea, Studies in Computational Intelligence 209 (SCI), Springer, ISSN 1860-949X, ISBN 978-3-642-01202-0, pp. 81-92, May 2009 |
| PDF, PDF |
Kofroň J., Parízek P., Šerý O.: On Teaching Formal Methods: Behavior Models and Code Analysis,
In Proceedings of the 2nd International FME Conference on Teaching Formal Methods (TFM 2009),
LNCS 5846, ISBN 978-3-642-04911-8, Eindhoven, The Netherlands,
The original publication is available at www.springerlink.com, November 2009 |
| PDF, Link |
Babka V., Marek L., Tůma P.: When Misses Differ: Investigating Impact of Cache Misses on Observed Performance,
In Proceedings of ICPADS 2009, Shenzhen, China, IEEE, ISBN: 978-0-7695-3900-3, ISSN: 1521-9097, pp. 112-119, December 2009 |
| Link |
Ježek P., Bureš T., Hnětynka P.: Supporting Real-life Applications in Hierarchical Component Systems,
Accepted for publication in Proceedings of SERA 2009, Haikou, China, Studies in Computational Intelligence (SCI), Springer, December 2009 |
| Link |
Bureš T., Hnětynka P., Malohlava M.: Using a product line for creating component systems,
In Proceedings of the 2009 ACM symposium of Applied Computing (SAC'09), Honolulu, Hawaii, USA, ACM, ISBN:978-1-60558-166-8, March 2009 |
| PDF |
Kalibera T., Pizlo F., Hosking A. L., Vitek J.: Scheduling Hard Real-time Garbage Collection,
In Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS), IEEE, December 2009 |
| PDF, Link |
Parízek P., Kalibera T.: Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs,
In Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009), LNCS, vol. 5825, ISBN 978-3-642-04569, November 2009 |
| PDF, Link |
Kalibera T.: Replicating Real-Time Garbage Collector for Java,
In Proceedings of 7th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), ACM, ISBN 978-1-60558-732-5, pp. 100-109, September 2009 |
| PDF |
Hocko M., Kalibera T.: Reducing Performance Non-determinism via Cache-aware Page Allocation Strategies,
Accepted at First Joint WOSP/SIPEW International Conference on Performance Engineering, September 2009 |
Technical Reports
| PDF |
Bureš T., Ježek P., Malohlava M., Poch T., Šerý O.: Fine-grained Entities in Component Architectures,
Tech. Report No. 2009/5, Dep. of SW Engineering, Charles University in Prague, June 2009 |
| PDF |
Bulej L., Marek L., Tůma P.: Object Instance Profiling,
Tech. Report No. 2009/7, Dep. of SW Engineering, Charles University in Prague, November 2009 |
| PDF |
Babka V.: Cache Sharing Sensitivity of SPEC CPU2006 Benchmarks, Version 2.0,
Tech. Report No. 2009/3, Dep. of SW Engineering, Charles University in Prague, July 2009 |
Master Theses
| PDF |
Marek L.: Parallel Processing and Software Performance,
Master thesis, advisor: Petr Tuma, January 2009 |
Nonrefereed
| PDF |
Kalibera T., Procházka M., Pizlo F., Děcký M., Vitek J., Zulianello M.: Real-Time Java in Space: Potential Benefits and Open Challenges,
In the Proceedings of Data Systems in Aerospace (DASIA 2009), ESA, May 2009 |
2008 (22)
Refereed (journals/proceedings)
| Link |
Mirandola R., Plášil F.: CoCoTA - Common Component Task,
Chapter in The Common Component Modeling Example: Comparing Software Component Models, Springer-Verlag, LNCS 5153, August 2008 |
| PDF |
Malohlava M., Plšek A., Loiret F., Merle P., Seinturier L.: Introducing Distribution into a RTSJ-based Component Framework,
In Proceedings of 2nd Junior Researcher Workshop on Real-Time Computing, Rennes, France, October 2008 |
| PDF |
Malohlava M., Bureš T.: Language for reconfiguring runtime infrastructure of component-based systems,
In Proceedings of MEMICS 2008, Znojmo, Czech Republic, ISBN 978-80-7355-082-0, November 2008 |
| PDF |
Bureš T., Děcký M., Hnětynka P., Kofroň J., Parízek P., Plášil F., Poch T., Šerý O., Tůma P.: CoCoME in SOFA,
Chapter in The Common Component Modeling Example: Comparing Software Component Models, Springer-Verlag, LNCS 5153, August 2008 |
|
Francu J., Hnětynka P.: Automated Generation of Implementation from Textual System Requirements,
Accepted for publication in post-proceedings of CEE-SET 2008, Brno, Czech Republic, October 2008 |
| PDF, Link |
Parízek P., Plášil F.: Modeling of Component Environment in Presence of Callbacks and Autonomous Activities,
In Proceedings of TOOLS EUROPE 2008, Springer-Verlag, LNBIP, vol. 11, ISBN 3-540-69823-4, ISSN 1865-1348, pp. 2-21, June 2008 |
| PDF |
Procházka M., Ward R., Tůma P., Hnětynka P., Adámek J.: A Component-Oriented Framework for Spacecraft On-Board Software,
Proceedings of DASIA 2008, DAta Systems In Aerospace, Palma de Mallorca, European Space Agency Report Nr. SP-665, ISBN 978-92-9221-229-2, May 2008 |
| PDF |
Plšek A., Adámek J.: Carmen: Software Component Model Checker,
in Proceedings of QoSA 2008, Karlsruhe, Germany, Springer, LNCS 5281, ISBN 978-3-540-87878-0, ISSN 0302-9743, pp. 71-85, October 2008 |
| PDF, Link |
Parízek P., Adámek J.: Checking Session-Oriented Interactions between Web Services,
In Proceedings of 34th EUROMICRO SEAA conference, IEEE Computer Society, ISBN 978-0-7695-3276-9, pp. 3-10, September 2008 |
| PDF |
Bulej L., Bureš T., Coupaye T., Děcký M., Ježek P., Parízek P., Plášil F., Poch T., Rivierre N., Šerý O., Tůma P.: CoCoME in Fractal,
Chapter in The Common Component Modeling Example: Comparing Software Component Models, Springer-Verlag, LNCS 5153, August 2008 |
| Link |
Babka V., Bulej L., Děcký M., Holub V., Tůma P.: Teaching Operating Systems: Student Assignments and the Software Engineering Perspective,
In the Proceedings of the 2008 International Workshop on Software Engineering in East and South Europe (SEESE), Leipzig, Germany, Copyright (C) ACM, New York, NY, USA, ISBN 978-1-60558-076-0, pp. 71-77, May 2008 |
| PDF |
Bureš T., Malohlava M., Hnětynka P.: Using DSL for Automatic Generation of Software Connectors,
In Proceedings of ICCBSS 2008, Madrid, Spain, IEEE Computer Society Press, ISBN 0-7695-3091-5, pp. 138-147, February 2008 |
| Link |
Bureš T., Hnětynka P.: Safe Systems with Software Components in SOFA 2,
ERCIM News 75, published by ERCIM EEIG, Sophia-Antipolis Cedex, ISSN 0926-4981, pp. 27-28, October 2008 |
| PDF |
Hnětynka P., Plášil F.: The power of MOF-based meta-modeling of components,
In proceedings of ASEA 2008, Hainan Island, China, IEEE CS, ISBN 978-0-7695-3432-9, pp. 67-72, December 2008 |
| Link |
Adámek J., Hnětynka P.: Perspectives in Component-based Software Engineering,
in proceedings of the 2008 International Workshop on Software Engineering in East and South Europe (SEESE), Leipzig, Germany, Copyright (C) ACM, New York, NY, USA, ISBN 978-1-60558-076-0, pp. 35-42, May 2008 |
|
Kapová L., Bureš T., Hnětynka P.: Preserving Intentions in SOA Business Process Development,
In proceedings of SERA 2008, Prague, Czech Republic,
Studies in Computational Intelligence 150 (SCI),
Springer, ISSN 1860-949X, ISBN 978-3-540-70774-5, pp. 59-72, August 2008
(preliminary version available here)
|
Books
| Link |
Rausch A., Reussner R., Mirandola R., Plášil F. (Eds.): The Common Component Modeling Example: Comparing Software Component Models,
Lecture Notes in Computer Science, ISBN 978-3-540-85288-9, Springer LNCS 5153, August 2008 |
| Link |
Becker S., Plášil F., Reussner R. (Eds.): Quality of Software Architectures: Models and Architectures,
Proceedings of the 4th International Conference on the Quality of Software Architectures (QoSA 2008), Springer, LNCS 5281, 2008 |
Ph.D. Theses
| PDF |
Parízek P.: Formal Verification of Components in Java,
Ph.D. thesis, advisor: Frantisek Plasil, September 2008 |
Technical Reports
| PDF |
Parízek P., Adámek J.: Modeling and Verification of Session-Oriented Interactions between Web Services: Compliance of BPEL with Session Protocols,
Tech. Report No. 2008/2, Dep. of SW Engineering, Charles University in Prague, January 2008 |
| PDF |
Babka V., Bulej L., Děcký M., Kraft J., Libič P., Marek L., Seceleanu C., Tůma P.: Resource Usage Modeling,
Q-ImPrESS Project Deliverable D3.3, September 2008 |
Nonrefereed
| PDF |
Babka V.: Resource Sharing in QPN-based Performance Models,
In the Proceedings of WDS'08, edited by J. Safrankova and J. Pavlu, June 2008 |
2007 (34)
Refereed (journals/proceedings)
|
Holub V.: Identifying Representatives for Interfering Automata,
in Proceedings of 1st Digital Communications and Computer Applications (DCCA2007), ISBN 625-3-2007, pp. 1178-1185, Irbid, Jordan, March 2007 |
| PDF, PostScript |
Jambor M., Hrubý T., Tauš J., Krchák K., Holub V.: Implementation of a Linux Log-Structured File System with a Garbage Collector,
in Operating Systems Review special issue 41(1), ACM Press, ISSN 0163-5980, January 2007 |
| PDF |
Babka V., Tůma P.: Effects of Memory Sharing on Contemporary Processor Architectures,
Proceedings of Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007), Znojmo, Czech Republic, October 2007 |
| PDF, Link |
Drazan J., Mencl V.: Improved Processing of Textual Use Cases: Deriving Behavior Specifications,
in Proceedings of SOFSEM 2007, January 20 - 26, 2007, Harrachov, Czech Republic, LNCS 4362, pp.856-868, DOI: 10.1007/978-3-540-69507-3_74, Springer, January 2007 |
| PDF |
Kofroň J.: Checking Software Component Behavior Using Behavior Protocols and Spin,
In proceedings of Applied Computing 2007, Seoul, Korea, ISBN 1-59593-480-4, pp. 1513-1517, March 2007 |
| PDF, Link |
Parízek P., Plášil F., Kofroň J.: Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker,
In Proceedings of 30th IEEE/NASA Software Engineering Workshop (SEW-30), IEEE Computer Society, ISBN 0-7695-2624-1, ISSN 1550-6215, pp. 133-141, January 2007 |
| PDF |
Matousek T., Ježek P.: DeSpec: Modeling the Windows Driver Environment,
Accepted for publication in Proceedings of FESCA, ETAPS'07, Braga, Portugal, ENTCS, March 2007 |
| PDF |
Hnětynka P., Murphy J.: Deployment of Java-based Components in Embedded Environment,
Proceedings of Applied Computing 2007, Salamanca, Spain, ISBN 978-972-8924-30-0, pp. 583-588, February 2007 |
| PDF, Link |
Parízek P., Plášil F.: Partial Verification of Software Components: Heuristics for Environment Construction,
In Proceedings of 33rd EUROMICRO SEAA conference, IEEE Computer Society, ISBN 0-7695-2977-1, ISSN 1089-6503, pp. 75-82, August 2007 |
| PDF, Link |
Parízek P., Plášil F.: Specification and Generation of Environment for Model Checking of Software Components,
In Proceedings of International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2006), ENTCS, Vol. 176, Issue 2, ISSN 1571-0661, pp. 143-154, May 2007 |
| PDF |
Šerý O., Plášil F.: Slicing of Component Behavior Specification with Respect to Their Composition,
In Proceedings of 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2007), LNCS 4608, July 2007 |
| PDF, PostScript |
Holub V., Tůma P.: Streaming State Space: A Method of Distributed Model Verification,
in proceedings of 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2007), IEEE Computer Society Press, ISBN 978-0-7695-2856-4, pp. 356-368, Shanghai, China, June 2007 |
| PDF, Link |
Parízek P., Plášil F.: Modeling Environment for Component Model Checking from Hierarchical Architecture,
In Proceedings of Formal Aspects of Component Software (FACS'06), ENTCS, Vol. 182, ISSN 1571-0661, pp. 139-153, June 2007 |
| PDF |
Adámek J.: Verification of Software Components: Addressing Unbounded Parallelism,
published in the International Journal of Computer and Information Science, Vol. 8, Num. 2, pp. 300-309, ISSN 1525-9293, June 2007 |
| PDF |
Bureš T., Hnětynka P., Plášil F., Klesnil J., Kmoch O., Kohan T., Kotrc P.: Runtime Support for Advanced Component Concepts,
Proceedings of SERA 2007, Busan, Korea, IEEE CS, ISBN 0-7695-2867-8, pp. 337-345, August 2007 |
| PDF, PostScript |
Holub V., Plášil F.: Reducing Component Systems' Behavior Specification,
in proceedings of XXVI International Conference of the Chilean Computer Science Society, IEEE Computer Science Press, Iquique, Chile, November 2007 |
| PDF |
Bureš T., Hnětynka P., Plášil F.: Runtime Concepts of Hierarchical Software Components,
In International Journal of Computer & Information Science, Vol. 8, No. S, ISSN 1525-9293, pp. 454-463, September 2007 |
| PDF, Link |
Babka V., Děcký M., Tůma P.: Resource Sharing in Performance Models,
Proceedings of Fourth European Performance Engineering Workshop (EPEW 2007), Berlin, Germany, September 27-28, 2007, Springer-Verlag, LNCS 4748, July 2007 |
Books
| Link |
van Leeuwen J., Italiano G. F., van der Hoek W., Meinel C., Sack H., Plášil F. (Eds.): SOFSEM 2007: Theory and Practice of Computer Science,
Proceedings of the 33rd Conference on Current Trends in Theory and Practice of Computer Science, Springer LNCS 4362, 2007 |
| WWW |
de Boer F., Mencl V. (Eds.): Proceedings of the Third International Workshop on Formal Aspects of Component Software (FACS 2006),
Electronic Notes in Theoretical Computer Science, Volume 182, June 2007 |
Ph.D. Theses
| PDF |
Holub V.: Fighting the State Explosion Problem in Component Protocols,
Ph.D. Thesis, advisor: Frantisek Plasil, July 2007 |
| PDF, Link |
Gergič J.: Addressing On-Demand Assembly and Adaptation Using a Runtime Intentional Versioning Engine,
Ph.D. thesis, advisor: Petr Tuma, October 2007 |
| PDF, Link |
Kofroň J.: Behavior Protocols Extensions,
Ph.D. thesis, advisor: Frantisek Plasil, September 2007 |
| PDF |
Bulej L.: Connector-based Performance Data Collection for Component Applications,
Ph.D. Thesis, advisor: Petr Tuma, July 2007 |
Technical Reports
| PDF |
Parízek P., Plášil F.: Heuristic Reduction of Parallelism in Component Environment,
Tech. Report No. 2007/2, Dep. of SW Engineering, Charles University in Prague, March 2007 |
| PDF |
Šerý O., Plášil F.: Slicing behavior specification of components,
Tech. Report No. 2007/1, Dep. of SW Engineering, Charles University in Prague, January 2007 |
Master Theses
| PDF |
Safrata P.: Infrastructure for Deployment of Heterogeneous Component-based Applications,
Master thesis, advisor: Lubomir Bulej, February 2007 |
| PDF |
Hocko M.: Tuning Virtual Memory for Performance,
Master Thesis, advisor: Tomas Kalibera, July 2007 |
| PDF |
Malohlava M.: Using StrategoXT for Generation of Software Connectors,
Master thesis, advisor: Tomas Bures, January 2007 |
| PDF |
Petřek P.: Optimizing of Software Connectors Code Generator's Performance,
Master thesis, advisor: Tomas Bures, September 2007 |
| PDF, PDF |
Šimko V.: Multimedia Grid,
Master Thesis, advisor: Leo Galambos, May 2007 |
Nonrefereed
| PDF |
Bureš T., Děcký M., Hnětynka P., Kofroň J., Parízek P., Plášil F., Poch T., Šerý O., Tůma P.: CoCoME in SOFA 2.0,
Poster, Intel 12th EMEA Academic Forum, Intel Corporation, 2200 Mission College Blvd., Santa Clara, CA, USA, June 2007 |
| PDF |
Děcký M.: Component-based General-purpose Operating System,
In the Proceedings of WDS'07, Edited by J. Safrankova, June 2007 |
| PDF |
Babka V., Děcký M., Tůma P.: Performance in CoCoME,
Poster, Intel 12th EMEA Academic Forum, Intel Corporation, 2200 Mission College Blvd., Santa Clara, CA, USA, June 2007 |
2006 (27)
Refereed (journals/proceedings)
| Link |
Hnětynka P., Plášil F.: Dynamic Reconfiguration and Access to Services in Hierarchical Component Models,
Proceedings of CBSE 2006, Vasteras near Stockholm, Sweden,
LNCS 4063, ISBN 3-540-35628-2, ISSN 0302-9743, pp. 352 - 359,
(C) Springer-Verlag, June 2006
(preliminary version available here)
|
| PDF, PDF, Link |
Bulej L., Bureš T.: Eliminating Execution Overhead of Disabled Optional Features in Connectors,
in Proceedings of the 3rd European Workshop on Software Architectures (EWSA 2006), Nantes, France, Copyright (C) Springer-Verlag, Berlin, LNCS 4344, ISBN 978-3-540-69271-3, ISSN 0302-9743, pp. 50-65, September 2006 |
| PDF, Link |
Šerý O., Poch T., Safrata P., Brom C.: Level-Of-Detail in Behaviour of Virtual Humans,
In Proceedings of Current Trends in Theory and Practice of Computer Science January 21 - 27, 2006 Merin, Czech Republic, LNCS 3831, pp. 565-574, (C) Springer-Verlag, January 2006 |
| PDF |
Barros T., Henrio L., Cansado A., Madelaine E., Morel M., Mencl V., Plášil F.: Extension of the Fractal ADL for the Specification of Behaviours of Distributed Components,
accepted for poster presentation at the 5th Fractal Workshop (part of ECOOP'06), July 3rd, 2006, Nantes, France, July 2006 |
| PDF |
Hnětynka P., Nevaril P.: Meta-data Management for the Fractal Component Model,
Poster presentation at the 5th Fractal Workshop (part of ECOOP'06), July 3rd, 2006, Nantes, France, July 2006 |
| PDF |
Kofroň J., Adámek J., Bureš T., Ježek P., Mencl V., Parízek P., Plášil F.: Checking Fractal Component Behavior Using Behavior Protocols,
Presented at the 5th Fractal Workshop (part of ECOOP'06), July 3rd, 2006, Nantes, France, July 2006 |
| PDF |
Bureš T., Hnětynka P., Plášil F.: SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model,
Proceedings of SERA 2006, Seattle, USA, IEEE CS, ISBN 0-7695-2656-X, pp. 40-48, August 2006 |
| PDF, PDF, Link |
Kalibera T., Tůma P.: Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results,
in proceedings of Third European Performance Engineering Workshop (EPEW 2006), Budapest, Hungary, Copyright (C) Springer-Verlag, Berlin, LNCS 4054, ISBN 3-540-35362-3, ISSN 0302-9743, pp. 63-77., June 2006 |
| PDF |
Kalibera T., Lehotsky J., Majda D., Repcek B., Tomcanyi M., Tomecek A., Tůma P., Urban J.: Automated Benchmarking and Analysis Tool,
in proceedings of First International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2006), Pisa, Italy, Copyright (C) ACM, ISBN 1-59593-504-5, October 2006 |
| PDF |
Mencl V., Polak M.: UML 2.0 Components and Fractal: An Analysis,
accepted to the 5th Fractal Workshop (part of ECOOP'06), July 3rd, 2006, Nantes, France, July 2006 |
| PDF, PostScript |
Holub V.: On Distributed Verification of Generalized Interaction Models of Software Components,
presented on 20th European Conference on Object-Oriented Programming (ECOOP 2006) Doctoral Symposium, July 2006 |
| PDF, Link |
Ježek P., Kofroň J., Plášil F.: Model Checking of Component Behavior Specification: A Real Life Experience,
In Electronic Notes in Theoretical Computer Science, Vol. 160, pp. 197-210, Elsevier B.V., ISSN: 1571-0661, August 2006 |
| PDF |
Adámek J.: Addressing Unbounded Parallelism in Verification of Software Components,
in Proceedings of the Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2006), Las Vegas, Nevada, USA, published by IEEE Computer Society, June 2006 |
Ph.D. Theses
| PDF, PDF |
Bureš T.: Generating Connectors for Homogeneous and Heterogeneous Deployment,
Ph.D. Thesis, advisor: Frantisek Plasil, September 2006 |
| PDF |
Adámek J.: Behavior Composition in Component Systems,
Ph.D. Thesis, advisor: Frantisek Plasil, September 2006 |
| PDF |
Kalibera T.: Performance in Software Development Cycle: Regression Benchmarking,
Ph.D. Thesis, advisor: Petr Tuma, September 2006 |
Technical Reports
| PDF |
Kofroň J.: Extending Behavior Protocols With Data and Multisynchronization,
Tech. Report No. 2006/10, Dep. of SW Engineering, Charles University in Prague, October 2006 |
| PDF |
Kalibera T., Lehotsky J., Majda D., Repcek B., Tomcanyi M., Tomecek A., Tůma P., Urban J.: Automated Benchmarking and Analysis Tool,
Tech. Report No. 2006/8. Dept. of SW Engineering, Charles University,Prague, June 2006 |
| PDF |
Kofroň J.: Software Component Verification: On Translating Behavior Protocols to Promela,
Tech. Report No. 2006/11, Dep. of SW Engineering, Charles University in Prague, October 2006 |
| PDF |
Hamrle M., Klacko T., Plch T., Šerý O., Tůma P.: P2 Skype Demo: How To Interact With Skype,
Tech. Report No. 2006/12, Dep. of SW Engineering, Charles University, December 2006 |
| PDF |
Parízek P., Plášil F., Kofroň J.: Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker,
Tech. Report No. 2006/2, Dep. of SW Engineering, Charles University, January 2006 |
| PDF |
Parízek P., Plášil F.: Modeling Environment for Component Model Checking from Hierarchical Architecture,
Published in Preliminary Proceedings of 3rd International Workshop on Formal Aspects of Component Software (FACS'06), Prague, Czech Republic, September 20-22, 2006, UNU-IIST Report No. 344, September 2006 |
| PDF |
Bulej L., Bureš T.: Addressing Static Execution Overhead in Connectors with Disabled Optional Features,
Tech. Report No. 2006/6, Dep. of SW Engineering, Charles University, Prague, June 2006 |
Master Theses
| PDF |
Poch T.: Distributed Behavior Protocol Checker,
Master thesis, advisor: Jan Kofron, September 2006 |
| PDF, ZIP, WWW |
Drazan J.: Natural Language Processing of Textual Use Cases,
Master thesis, advisor: Vladimir Mencl, February 2006 |
| PDF |
Šerý O.: Model Checking and Reduction of Behavior Protocols,
Master thesis, advisor: Frantisek Plasil, May 2006 |
Nonrefereed
| PDF |
Kofroň J.: Behavior Protocols: Fighting the "Spearhead" Problem,
In the Proceedings of WDS'06, edited by J. Safrankova and J. Pavlu, MATFYZPRESS, Prague, 2006, pp. 130-134, ISBN 80-86732-84-3, Czech Republic, June 2006 |
2005 (28)
Refereed (journals/proceedings)
| PDF |
Plášil F.: Enhancing Component Specification by Behavior Description - the SOFA Experience,
Proceedings of the 4th International Symposium on Information and Communication Technologies (WISICT 2005), January 3rd-6th, 2005, Cape Town, South Africa, A volume in the ACM international conference proceedings series, published by Computer Science Press, Trinity College Dublin, Ireland, ISBN 0-9544145-6-X, pp. 185-190, January 2005 |
| PDF |
Galik O., Bureš T.: Generating Connectors for Heterogeneous Deployment,
In Proceedings of the 5th international Workshop on Software Engineering and Middleware (Lisbon, Portugal, September 05 - 06, 2005). SEM '05. ACM Press, New York, NY, ISBN 1-59593-204-4, pp. 54-61., September 2005 |
| Link |
Tůma P.: Component and Middleware Performance,
Studia Informatica Universalis, Vol. 4, No. 1, pp. 1-6, Editions Suger, October 2005 |
| PDF, PDF |
Kalibera T., Bulej L., Tůma P.: Benchmark Precision and Random Initial State,
in Proceedings of the 2005 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS 2005), Cherry Hill, NJ, USA, Copyright (C) SCS, San Diego, CA, USA, pp. 853-862, ISBN 1-56555-300-4, July 2005 |
| PDF, PDF, PDF |
Kalibera T., Bulej L., Tůma P.: Automated Detection of Performance Regressions: The Mono Experience,
in proceedings of the 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2005), Atlanta, GA, USA, Copyright (C) IEEE, Piscataway, New Jersey, USA, ISBN 0-7695-2458-3, ISSN 1526-7539, pp. 183-190, September 2005 |
| PDF |
Hnětynka P.: A Model-driven Environment for Component Deployment,
Proceedings of SERA 2005, Mount Pleasant, Michigan, USA, IEEE CS, ISBN 0-7695-2297-1, pp. 6-13, August 2005 |
| PDF |
Mencl V., Plášil F., Adámek J.: Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective,
in Proceedings of the Software Engineering (SE) 2005 conference, Feb. 15-17, 2005, Innsbruck, Austria, ISBN 0-88986-466-7, ISSN 1027-2666, pp. 193-201, ACTA Press, February 2005 |
| PDF |
Mach M., Plášil F., Kofroň J.: Behavior Protocol Verification: Fighting State Explosion,
Published in the International Journal of Computer and Information Science, Vol.6, Number 1, ACIS, ISSN 1525-9293, pp. 22-30, March 2005 |
| Link |
Adámek J., Plášil F.: Component Composition Errors and Update Atomicity: Static Analysis,
Journal of Software Maintenance and Evolution: Research and Practice 17(5), pp. 363-377, DOI: 10.1002/smr.321, Online ISSN: 1532-0618, Print ISSN: 1532-060X, September 2005
(preliminary version available here)
|
| PDF |
Sobr L., Tůma P.: SOFAnet: Middleware for Software Distribution over Internet,
in proceedings of Symposium on Applications and the Internet (SAINT 2005), Trento, Italy, Copyright (C) IEEE, Piscataway, New Jersey, USA, ISBN 0-7695-2262-9, pp. 48-53, February 2005 |
| PDF, Link |
Bulej L., Kalibera T., Tůma P.: Repeated Results Analysis for Middleware Regression Benchmarking,
in Performance Evaluation: An International Journal, Performance Modeling and Evaluation of High-Performance Parallel and Distributed Systems, vol. 60, pg. 345-358, Elsevier B.V., ISSN 0166-5316, May 2005 |
| PDF |
Bulej L., Bureš T.: Using Connectors for Deployment of Heterogeneous Applications in the Context of OMG D&C Specification,
in Proceedings of 1st International Conference on Interoperability of Enterprise Software and Applications (INTEROP-ESA 2005), Geneva, Switzerland, ISBN 1-84628-151-2, pp. 349-360, February 2005 |
| PDF, Link |
Mencl V., Bureš T.: Microcomponent-Based Component Controllers: A Foundation for Component Aspects,
in Proceedings of 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Dec 15-17, 2005, Taipei, Taiwan, pp. 729-738, ISBN 0-7695-2465-6, ISSN 1530-1362, IEEE Computer Society Press, December 2005 |
| PDF, Link |
Kalibera T., Bulej L., Tůma P.: Quality Assurance in Performance: Evaluating Mono Benchmark Results,
in proceedings of the Second International Workshop on Software Quality (SOQUA 2005), Erfurt, Germany, Copyright (C) Springer-Verlag, Berlin, LNCS3712, ISBN 3-540-29033-8, ISSN 0302-9743, pp. 271-288, September 2005 |
| Link, Link |
Brebner P., Cecchet E., Marguerite J., Tůma P., Ciuhandu O., Dufour B., Eeckhout L., Frenot S., Krishna A. S., Murphy J., Verbrugge C.: Middleware Benchmarking: Approaches, Results, Experiences,
Concurrency and Computation: Practice and Experience, Vol. 17, No. 15, pp. 1799-1805, Wiley, December 2005 |
Ph.D. Theses
| PDF |
Hnětynka P.: Making deployment process of distributed component-based software unified,
Ph.D. Thesis, advisor: Frantisek Plasil, September 2005 |
Technical Reports
| PDF |
Bulej L., Bureš T.: Deploying Heterogeneous Applications using OMG D&C and Software Connectors,
Tech. Report No. 2005/10, Dep. of SW Engineering, Charles University, Prague, November 2005 |
| PDF |
Kofroň J.: Enhancing Behavior Protocols with Atomic Actions,
Tech. Report No. 2005/8, Dep. of SW Engineering, Charles University, Prague, November 2005 |
| PDF |
Galik O., Bureš T.: Handling Heterogeneity in Connector Generation,
Tech. Report No. 2005/2, Dep. of SW Engineering, Charles University, Prague, June 2005 |
| PDF |
Bureš T.: Automated Synthesis of Connectors for Heterogeneous Deployment,
Tech. Report No. 2005/4, Dep. of SW Engineering, Charles University, Prague, August 2005 |
| PDF |
Hnětynka P., Plášil F., Bureš T., Mencl V., Kapová L.: SOFA 2.0 metamodel,
Tech. Report No. 2005/11 (preliminary version), Dep. of SW Engineering, Charles University, December 2005 |
| PDF |
Parízek P., Plášil F.: Specification and Generation of Environment for Model Checking of Software Components,
Tech. Report No. 2005/5, Dep. of SW Engineering, Charles University, November 2005 |
|
Ježek P., Kofroň J., Plášil F.: Model Checking of Component Behavior Specification: A Real Life Experience,
Published in Preliminary Proceedings of International Workshop on Formal Aspects of Component Software (FACS'05), Macao, October 24-25, 2005, UNI-IIST Report No. 333, October 2005 |
| PDF |
Adámek J.: Modeling Unbounded Parallelism Using Behavior Protocols,
Tech. Report No. 2005/7, Dep. of SW Engineering, Charles University, Prague, November 2005 |
Master Theses
| PDF, ZIP, WWW |
Samek J.: Employing OCL for specifying behavior compliance,
Master thesis, advisor: Vladimir Mencl, September 2005 |
| PDF, Link |
Prosek L.: Solving the Missing Environment Problem in Bandera,
Master thesis, advisor: Jan Kofron, September 2005 |
| PDF, ZIP, WWW |
Polak M.: UML 2.0 Components,
Master thesis, advisor: Vladimir Mencl, September 2005 |
| PDF, ZIP |
Matousek T.: Model of the Windows Driver Environment,
Master thesis, advisor: Pavel Jezek, September 2005 |
2004 (19)
Refereed (journals/proceedings)
| PDF |
Adámek J., Plášil F.: Erroneous Architecture is a Relative Concept,
in Proceedings of Software Engineering and Applications (SEA) conference, Cambridge, MA, USA, published by ACTA Press, ISBN 0-88986-425-X, ISSN 1482-7905, pp. 715-720, November 2004 |
| PDF |
Mencl V.: Deriving Behavior Specifications from Textual Use Cases,
in Proceedings of Workshop on Intelligent Technologies for Software Engineering (WITSE04, Sep 21, 2004, part of ASE 2004), Linz, Austria, ISBN 3-85403-180-7, pp. 331-341, Oesterreichische Computer Gesellschaft, September 2004 |
| PDF, PDF, Link |
Kalibera T., Bulej L., Tůma P.: Generic Environment for Full Automation of Benchmarking,
in proceedings of Net.ObjectDays 2004, First International Workshop on Software Quality (SOQUA 2004), Erfurt, Germany, Copyright (C) 2004 tranSIT GmbH Ilmenau, Germany, pp. 35-41, ISBN 3-9808628-3-6 ; also in Testing of Component-Based Systems and Software Quality, Proceedings of SOQUA 2004 and TECOS 2004, LNI 58, GI 2004, pp. 125-132, ISBN 3-88579-387-3, ISSN 1617-5468, September 2004 |
| PDF |
Hnětynka P., Plášil F.: Distributed Versioning Model for MOF,
Proceedings of WISICT 2004, Cancun, Mexico, A volume in the ACM international conference proceedings series, published by Computer Science Press, Trinity College Dublin Ireland, ISBN 0-9544145-3-5, pp. 489-494, January 2004 |
| PDF, PostScript |
Plášil F., Holub V.: Exceptions in Component Interaction Protocols - a necessity,
in Architecting Systems with Trustworthy Components: International Seminar, LNCS Volume 3938, (C) Springer-Verlag, ISBN 3-540-35800-5, DOI 10.1007/11786160, pre-print version, December 2004 |
| PDF |
Mach M., Plášil F.: Addressing State Explosion in Behavior Protocol Verification,
Proceedings of SNPD'04, Beijing, China, June 30 - July 2, 2004, ACIS, ISBN 0-9700776-8-8, pp. 327-333, June 2004 |
| PDF |
Hnětynka P., Píše M.: Hand-written vs. MOF-based Metadata Repositories: The SOFA Experience,
Proceedings of ECBS 2004, Brno, Czech Republic, IEEE CS, ISBN 0-7695-2125-8, pp. 329-336, May 2004 |
|
Tůma P.: Co nového přinášejí moderní softwarové architektury ?,
in Automa - Časopis pro automatizační techniku (in Czech), vol. 10, no. 6, pp. 19-22, published by FCC Public s.r.o., Czech Republic, ISSN 1210-9592, June 2004 |
| PDF, Link |
Bureš T., Plášil F.: Communication Style Driven Connector Configurations,
Extended version of "Scalable Element-Based Connectors", Copyright (C) Springer-Verlag, Berlin, LNCS3026, ISBN 3-540-21975-7, ISSN 0302-9743, pp. 102-116, 2004 |
| PDF, Link |
Mencl V.: Specifying Component Behavior with Port State Machines,
Electronic Notes in Theoretical Computer Science, vol. 101C pp. 129-153, Proceedings of the Workshop on the Compositional Verification of UML Models (CVUML, Oct 21, 2003, part of UML 2003), Edited by F. de Boer and M. Bonsangue, ISSN 1571-0661, Elsevier Science, November 2004 |
| PDF, PDF, Link |
Bulej L., Kalibera T., Tůma P.: Regression Benchmarking with Simple Middleware Benchmarks,
in proceedings of the 2004 International Performance Computing and Communications Conference (IPCCC 2004), International Workshop on Middleware Performance, Phoenix, AZ, USA, Copyright (C) 2004 IEEE, Piscataway, New Jersey, USA, pp. 771-776, ISBN 0-7803-8396-6, ISSN 1097-2641, April 2004 |
| PDF |
Hnětynka P.: Making Deployment of Distributed Component-based Software Unified,
Proceedings of CSSE 2004 (part of ASE 2004), Linz, Austria, Austrian Computer Society, ISBN 3-85403-180-7, pp. 157-161, September 2004 |
| PDF |
Adámek J., Plášil F.: Partial Bindings of Components - any Harm?,
Presented at the SACT 2004 Workshop, Busan, Korea (held in conjunction with the APSEC 2004 conference), and published in the Proceedings of APSEC 2004, IEEE Computer Society, ISBN 0-7695-2245-9, ISSN 1530-1362, pp. 632-639, November 2004 |
Ph.D. Theses
| PDF, PDF |
Mencl V.: Use Cases: Behavior Assembly, Behavior Composition and Reasoning,
Ph.D. Thesis, advisor: Frantisek Plasil, June 2004 |
Technical Reports
| PDF |
Mencl V.: Converting Textual Use Cases into Behavior Specifications,
Tech. Report No. 2004/5, Dept. of SW Engineering, Charles University, Prague, August 2004 |
| PDF |
Bulej L., Bureš T.: Addressing Heterogeneity in OMG D&C-based Deployment,
Tech. Report No. 2004/7, Dep. of SW Engineering, Charles University, Prague, November 2004 |
| PDF |
Hnětynka P.: Component Model for Unified Deployment of Distributed Component-based Software,
Tech. Report No. 2004/4, Dep. of SW Engineering, Charles University, Prague, June 2004 |
| PDF |
Adámek J., Plášil F.: Static Checking for Missing Bindings of Components,
Tech. Report No. 2004/3, Dep. of SW Engineering, Charles University, Prague, March 2004 |
| PDF, Link |
Mikle O.: Practical Attacks on Digital Signatures Using MD5 Message Digest,
Cryptology ePrint Archive, Report 2004/356, December 2004 |
2003 (15)
Refereed (journals/proceedings)
| PDF, WWW |
Hnětynka P., Tůma P.: Fighting Class Name Clashes in Java Component Systems,
Proceedings of JMLC 2003, Klagenfurt, Austria, Copyright (C) Springer-Verlag, Berlin, LNCS2789, ISSN-0302-9743, pp. 106-109, August 2003 |
| PDF |
Plášil F., Mencl V.: Getting "Whole Picture" Behavior in a Use Case Model,
in Proceedings of IDPT 2003, Austin, Texas, U.S.A., ISSN 1090-9389, abstract pp. 23, full paper on CD in session-4/p-4-4.pdf, published by Society for Design and Process Science, Grandview, Texas, awarded with Rudolf Christian Karl Diesel Best Paper Award, also published in Transactions of the SDPS: Journal of Integrated Design and Process Science, vol. 7, no. 4, pp. 63-79, December 2003 |
| PDF, PDF |
Adámek J., Plášil F.: Behavior Protocols Capturing Errors and Updates,
in Proceedings of the Second International Workshop on Unanticipated Software Evolution (USE 2003), ETAPS, published by University of Warsaw, Poland, pp. 17-25, April 2003 |
| PDF |
Plášil F., Mencl V.: Getting "Whole Picture" Behavior in a Use Case Model,
in Transactions of the SDPS: Journal of Integrated Design and Process Science, vol. 7, no. 4, pp. 63-79, Dec 2003, ISSN-1092-0617, publisher: Society for Design and Process Science, Grandview, Texas, slightly modified version of paper published in Proceedings of IDPT 2003, December 2003 |
| PDF, PDF |
Buble A., Bulej L., Tůma P.: CORBA Benchmarking: A Course With Hidden Obstacles,
In the Proceedings of the 2003 Internation Parallel & Distributed Processing Symposium (IPDPS 2003), Workshop on Performance Modeling, Evaluation and Optimization of Parallel and Distributed Systems (PMEOPDS 2003), Nice, France, Copyright (C) 2003 IEEE, Piscataway, New Jersey, USA, ISBN 0-7695-1926-1, ISSN 1530-2075, pp. 279, CDROM DATA/W18_PMEO_11.PDF, April 2003 |
| PDF |
Bureš T., Plášil F.: Scalable Element-Based Connectors,
Proceedings of SERA 2003, San Francisco, USA, ISBN 0-9700776-6-1, Copyright by The International Association for Computer & Information Science (ACIS), pp. 198-204, June 2003 |
| PDF, PDF |
Adámek J.: Static Analysis of Component Systems Using Behavior Protocols,
in OOPSLA 2003 Companion, Anaheim, CA, USA, published by ACM, ISBN 1-58113-751-6, pp. 116-117, October 2003 |
| PDF |
Gergič J.: Towards a Versioning Model for Component-based Software Assembly,
Proceedings of ICSM 2003, Amsterdam, Netherlands, published by IEEE Computer Society, ISBN 0-7695-1905-9, pp. 138-147, October 2003 |
|
Tůma P.: Modern Software Architectures: Novel Solutions or Old Hats?,
in proceedings of the Annual Database Conference (DATAKON 2003), Brno, Czech Republic, published by Masaryk University in Brno, Czech Republic, ISBN 80-210-3215-4, pp. 151-162, October 2003 |
Ph.D. Theses
| PDF |
Brada P.: Specification-Based Component Substitutability and Revision Identification,
Ph.D. Thesis, advisor: Frantisek Plasil, August 2003 |
Technical Reports
| PDF |
Mencl V.: Enhancing Component Behavior Specifications with Port State Machines,
Tech. Report No. 2003/4, Dept. of SW Engineering, Charles University, Prague, September 2003 |
| PDF |
Bulej L., Bureš T.: A Connector Model Suitable for Automatic Generation of Connectors,
Tech. Report No. 2003/1, Dep. of SW Engineering, Charles University, Prague, January 2003 |
| PDF |
Bureš T., Plášil F.: Composing Connectors of Elements,
Tech. Report No. 2003/3, Dep. of SW Engineering, Charles University, Prague, May 2003 |
| PDF |
Hnětynka P., Tůma P.: Managing Class Names in Java Component Systems with Dynamic Update,
Tech. Report No. 2003/2, Dep. of SW Engineering, Charles University, Prague, February 2003 |
Master Theses
| PDF, ZIP |
Mach M.: Model Checking of Behavior Protocols,
Master Thesis, advisor: Frantisek Plasil, September 2003 |
2002 (18)
Refereed (journals/proceedings)
| PDF, WWW |
Kalibera T., Tůma P.: Distributed Component System Based On Architecture Description: The SOFA Experience,
Proceedings of DOA 2002, Irvine, CA, USA, Copyright (C) Springer-Verlag, pp. 981-994, LNCS2519, ISBN 3-540-00106-9, ISSN 0302-9743, October 2002 |
| WWW |
Plášil F., Višňovský S.: Behavior Protocols for Software Components,
IEEE Transactions on Software Engineering, vol. 28, no. 11, November 2002
(preliminary version available here)
|
| PDF |
Procházka M., Plášil F.: Transactions in Software Components: Container-Interposed Transactions,
International Journal for Computer and Information Science (a slightly modified version of the paper presented at SNPD 2001), Vol. 3, No. 2, March 2002 |
| PDF |
Brada P.: Metadata Support for Safe Component Upgrades,
Proceedings of Compsac'02, the 26th Annual International Computer Software & Applications Conference, Oxford, England, IEEE CS Press, August 2002 |
| PDF |
Tůma P., Buble A.: Overview of the CORBA Performance,
Proceedings of the 2002 EurOpen.CZ Conference, Znojmo, Czech Republic, September 2002 |
Books
| WWW |
Grosky W. I., Plášil F. (Eds.): SOFSEM 2002: Theory and Practice of Informatics,
Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics, Springer LNCS 2540, November 2002 |
Ph.D. Theses
| PDF |
Bálek D.: Connectors in Software Architectures,
Ph.D. Thesis, advisor: Frantisek Plasil, March 2002 |
| PDF |
Procházka M.: Advanced Transactions in Component-Based Software Architectures,
Ph.D. Thesis, Charles University, University of Evry, February 2002 |
| PDF |
Višňovský S.: Modeling Software Components Using Behavior Protocols,
Ph.D. Thesis, advisor: Frantisek Plasil, December 2002 |
Technical Reports
| PDF |
Adámek J., Plášil F.: Behavior Protocols: Tolerating Faulty Architectures and Supporting Dynamic Updates,
Technical Report 02/10, Department of Computer Science, University of New Hampshire, NH, U.S.A., October 2002 |
| PDF |
Plášil F., Mencl V.: Use Cases: Assembling "Whole Picture" Behavior,
Technical Report 02/11, Department of Computer Science, University of New Hampshire, NH, U.S.A., November 2002 |
| PDF |
Brada P.: The ENT Model: A General Model for Software Interface Structuring,
Technical report DCSE/TR-2002-10, DCSE, University of West Bohemia, Pilsen, Czech Republic, April 2002 |
Master Theses
| PDF |
Bureš T.: Generator of Connectors for SOFA/DCUP,
Master Thesis, advisor: Frantisek Plasil, September 2002 |
| PDF |
Bulej L.: Generator of Connectors for SOFA/DCUP,
Master Thesis, advisor: Petr Tuma, June 2002 |
| PDF, Link |
Strnad P.: IDL Source Generator and IDL Compiler Testing Tool,
Master Thesis, advisor: Petr Tuma, April 2002 |
| PDF, Link |
Kuhn J.: IIOP Engine For Testing CORBA Implementation Robustness,
Master Thesis, advisor: Petr Tuma, September 2002 |
| PDF, Link |
Cifka M.: Visual Development of Software Components,
Master Thesis, advisor: Petr Tuma, September 2002 |
| PDF, Link |
Kalibera T.: SOFA Support in C++ Environments,
Master Thesis, advisor: Petr Tuma, January 2002 |
2001 (10)
Refereed (journals/proceedings)
| PDF |
Procházka M., Plášil F.: Container-Interposed Transactions,
Proceedings of the Component-Based Software Engineering special session of the SNPD 2001 Conference, Nagoya, Japan, August 2001 |
| PDF, PDF |
Mencl V.: Autonomous Points in Component Composition,
Extended abstract of the Poster presented at OOPSLA 2001, in the Conference Companion, ACM ISBN 1-58113-441-X, pp. 83-84, Tampa, FL, USA, October 2001 |
| PDF |
Brada P.: Component Revision Identification Based on IDL/ADL Component Specification,
Poster presentation. Proceedings of the ESEC/FSE 2001, Vienna, Austria, ACM Press, August 2001 |
| PDF, GZIP |
Bálek D., Plášil F.: Software Connectors and Their Role in Component Deployment,
Proceedings of DAIS'01, Krakow, Kluwer, September 2001 |
| PDF |
Brada P.: Towards Automated Component Compatibility Assessment,
Presented at the 6th International Workshop on Component-Oriented Programming (part of ECOOP'2001), 2001 |
| PDF |
Tůma P., Buble A.: Open CORBA Benchmarking,
Proceedings of the 2001 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS 2001), Orlando, FL, Copyright (C) SCS, San Diego, CA, USA, July 2001 |
Technical Reports
| PDF |
Mencl V., Adámek J., Buble A., Hnětynka P., Višňovský S.: Enhancing EJB Component Model,
Tech. Report No. 2001/7, Dep. of SW Engineering, Charles University, Prague, December 2001 |
| PDF |
Mencl V.: Managing Configuration of Update-enabled Software Components,
Tech. Report No. 2001/5, Dep. of SW Engineering, Charles University, Prague, October 2001 |
| PDF |
Tůma P., Buble A.: Technical Report on Open CORBA Benchmarking,
Tech. Report No. 2001/1, Dep. of SW Engineering, Charles University, Prague (slightly modified form appears in the SPECTS '01 conference proceedings), March 2001 |
| PDF |
Mencl V., Hnětynka P.: Managing Evolution of Component Specifications using a Federation of Repositories,
Tech. Report No. 2001/2, Dep. of SW Engineering, Charles University, Prague, June 2001 |
2000 (8)
Refereed (journals/proceedings)
| PDF |
Procházka M.: Advanced Transactions in Enterprise JavaBeans,
Proceedings of EDO 2000, Davis (CA), USA, Springer Verlag, LNCS, October 2000 |
| PDF |
Blair G., Blair L., Issarny V., Tůma P., Zarras A.: The Role of Software Architecture in Constraining Adaptation in Component-based Middleware Platforms,
Proceedings of Middleware 2000, IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing, Hudson River Valley (NY), USA. Springer Verlag, LNCS, April 2000 |
Technical Reports
| PDF |
Distributed Systems Research Group: EJB Comparison Project,
Final Project Report, Public Distribution Version, February 2000 |
| PDF |
Plášil F., Višňovský S., Bešta M.: Behavior Protocols,
Tech. Report No. 2000/7, Dep. of SW Engineering, Charles University, Prague, August 2000 |
| PDF |
Procházka M.: Extending Transactions in Enterprise JavaBeans,
Tech. Report No. 2000/3, Dep. of SW Engineering, Charles University, Prague, 2000 |
| PDF |
Procházka M., Tůma P., Pospíšil R.: Enterprise JavaBeans Benchmarking,
Tech. Report No. 2000/4, Dep. of SW Engineering, Charles University, Prague, 2000 |
| PDF |
Bálek D., Plášil F.: Software Connectors: A Hierarchical Model,
Tech. Report No. 2000/2, Dep. of SW Engineering, Charles University, Prague, Revised 11/25/2000, November 2000 |
| PDF |
Brada P.: SOFA Component Revision Identification,
Tech. Report No. 2000/9, Dep. of SW Engineering, Charles University, Prague, 2000 |
1999 (9)
Refereed (journals/proceedings)
| PDF |
Plášil F., Višňovský S., Bešta M.: Bounding Component Behavior via Protocols,
Proceedings of TOOLS USA '99, CS IEEE, TOOLS 30, pp. 387-398, August 1999 |
| PDF |
Brada P.: Component Change and Version Identification in SOFA,
Proceedings of SOFSEM'99, Czech Republic, Springer-Verlag, LNCS, 1999 |
|
Tůma P., Issarny V., Zarras A.: Using Meta-Level Architectural Description Towards the Systematic Synthesis of Middleware,
Proceedings of the Reflection'99 conference, St Malo, France (part of project ASTER, www-rocq.inria.fr/solidor/work/aster.html, done during a postdoc stay at IRISA/INRIA Rennes), July 1999 |
Technical Reports
| PDF |
Distributed Systems Research Group: CORBA Comparison Project,
Project Extension Final Report, August 1999 |
| PDF, PDF |
Plášil F., Višňovský S., Bešta M.: Behavior Protocols and Components,
Tech. Report No. 99/2, Dep. of SW Engineering, Charles University, Prague, 1999 |
| PDF |
Hoa D. N.: Dynamic Aspects in SOFA/DCUP,
Tech. Report No. 99/7, Dep. of SW Engineering, Charles University, Prague, June 1999 |
Master Theses
| PDF |
Višňovský S.: Checking Semantic Compatibility of SOFA/DCUP components,
Master Thesis, advisor: Miloslav Besta, 1999 |
| ZIP, Link |
Gergič J.: A Versioning Model for SOFA/DCUP Architecture,
Master Thesis, advisor: Frantisek Plasil, 1999 |
| PDF, PDF |
Buble A.: Comparing CORBA Implementations,
Master Thesis, advisor: Petr Tuma, August 1999 |
1998 (10)
Refereed (journals/proceedings)
| PDF |
Plášil F., Stal M.: An architectural view of distributed objects and components in CORBA, Java RMI and COM/DCOM,
Software Concepts & Tools (vol. 19, no. 1), Springer Verlag, 1998 |
| PDF |
Kleindienst J.: BeanChannel: Java Distributed Event Model,
Proceedings of the IASTED International Conference on Parallel and Distributed Systems (Euro-PDS'98), Vienna, July 1998 |
| PDF, PDF |
Plášil F., Bálek D., Janeček R.: SOFA/DCUP: Architecture for Component Trading and Dynamic Updating,
Proceedings of ICCDS'98, Annapolis, Maryland, USA, IEEE CS Press, May 1998 |
|
Broy M., Deimel A., Henn J., Koskimies K., Plášil F., Pomberger G., Pree W., Szyperski C.: What characterizes a (software) component?,
Software Concepts & Tools (vol. 19, no. 1), 1998 |
Ph.D. Theses
| PDF |
Kleindienst J.: The Bean Channel: Java distributed event model,
Ph.D. Thesis, advisor: Frantisek Plasil, 1998 |
Technical Reports
| PDF |
Distributed Systems Research Group: CORBA Comparison Project,
Final Project Report, June 1998 |
| PDF |
Plášil F., Tůma P., Buble A.: CORBA Benchmarking,
Tech. Report No. 98/7, Dep. of SW Engineering, Charles University, Prague (in a slightly modified form submitted to OMG as the Charles University Response to ORBOS Benchmark RFI as the OMG document bench/98-10-04), October 1998 |
|
Mikusik D., Višňovský S., Stranik J., Svec M.: Synchronization Protocols for Orbix 2.0,
Students' Project, advisor: Frantisek Plasil, 1998 |
Master Theses
| PDF, PostScript |
Mencl V.: Component Definition Language,
Master Thesis, advisor: Nguyen Duy Hoa, 1998 |
| PDF |
Mikusik D.: Implementation of Synchronization Protocols,
Master Thesis, advisor: Frantisek Plasil, 1998 |
1997 (7)
Refereed (journals/proceedings)
| ZIP |
Plášil F., Mikusik D.: Inheriting Synchronization Protocols via Sound Enrichment Rules,
Proceedings of Joint Modular Programming Languages Conference, Springer LNCS 1204, a contribution to the inheritance anomaly problem, March 1997 |
Books
|
Plášil F., Jeffery K. (Eds.): SOFSEM '97: Theory and Practice of Informatics,
Proceedings of the Conference on Current Trends in Theory and Practice of Informatics, Springer LNCS 1338, 1997 |
Ph.D. Theses
| PDF |
Tůma P.: Persistence in CORBA,
Ph.D. Thesis, advisor: Frantisek Plasil, 1997 |
Technical Reports
| PDF, PDF |
Plášil F., Bálek D., Janeček R.: DCUP: Dynamic Component Updating in Java/CORBA Environment,
Tech. Report No. 97/10, Dep. of SW Engineering, Charles University, Prague, 1997 |
| PDF |
Kleindienst J.: CORBA and Java Compared: Security,
Tech. Report No. 97/8, Dep. of SW Engineering, Charles University, Prague, 1997 |
| ZIP |
Hoa D. N.: Distributed Object Computing with TINA and CORBA,
Tech. Report No. 97/7, Dep. of SW Engineering, Charles University, Prague, 1997 |
| PDF |
Kleindienst J.: CORBA and Java Compared: Object Model,
Tech. Report No. 97/11, Dep. of SW Engineering, Charles University, Prague, September 1997 |
1996 (6)
Refereed (journals/proceedings)
| PDF, GZIP |
Kleindienst J., Plášil F., Tůma P.: CORBA and Object Services,
Presented at SOFSEM'96, Invited Talk, Springer LNCS 1175, ISBN 3-540-61994-1, December 1996 |
| PDF, GZIP |
Kleindienst J., Plášil F., Tůma P.: Lessons Learned from Implementing the CORBA Persistent Object Service,
Proceedings of OOPSLA'96, ACM SIGPLAN Notices, Volume 31, No 10, October 1996 |
| PDF, GZIP |
Kleindienst J., Plášil F., Tůma P.: What We Are Missing in the Persistent Object Service Specification,
Presented at the OOPSLA'96 Workshop on Large Persistent and Distributed Systems, October 1996 |
Books
|
Casavant T. L., Tvrdik P., Plášil F. (Eds.): Parallel Computers: Theory and Practice,
IEEE Press, 1996 |
Technical Reports
|
Hoa D. N., Fadljevic M.: Implementing CORBA's Persistent DataStore Layer,
Tech. Report No. 96/1, Dep. of SW Engineering, Charles University, Prague, June 1996 |
Master Theses
| GZIP |
Bálek D.: Relationship service in CORBA,
Master Thesis, advisor: Frantisek Plasil, 1996 |
1995 (3)
Refereed (journals/proceedings)
|
Smolík T.: An Object-Oriented File System - an Example of Using the Class Hierarchy Framework Concept,
ACM SIGOPS Operating Systems Review,, April 1995 |
Technical Reports
| PDF, GZIP |
Kleindienst J., Plášil F., Tůma P.: Implementing CORBA Persistence Service,
Technical Report #117, 1995 |
| PDF, GZIP |
Adamec J., Grof M., Kleindienst J., Plášil F., Tůma P.: Supporting Interoperability in CORBA via Object Services,
Technical Report #114, Charles University, Prague, 1995 |
1994 (1)
Refereed (journals/proceedings)
|
Plášil F., Grof M.: Using both Virtual 8086 and Protected Modes to Implement Objix Mikrokernel,
In Journal of Microcomputer Applications 17, pg. 381-396., 1994 |
1993 (2)
Refereed (journals/proceedings)
|
Plášil F.: Employing Multiple Inheritance in the Objix Microkernel,
In Proceedings of Third IWOOOS '93, IEEE CS Press, Asheville, North Carolina, December 1993 |
|
Fanta R.: From Processes to Threads,
In Proceedings of Third IWOOOS '93, IEEE CS Press, Asheville, North Carolina, December 1993 |
1992 (1)
Books
|
Plášil F., Staudek J.: Operating Systems,
SNTL Praha (in Czech), 1992 |
|
Year
|
Home
People
Research
Projects
Publications
Teaching
Links
Contact