Year

2016

2015

2014

D3S Publications

Publications sorting and grouping Sort publications by and group them by

This list contains publications for the last 3 years. See the full list of all publications.

2016 (19)

Refereed (journals/proceedings)

PDF Vinárek J., Hnětynka P.: Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems Position paper,
In Proceedings FESCA 2016, EPTCS 205, 2016, pp. 59–68, doi:10.4204/EPTCS.205.5, April 2016
Podzimek A., Bulej L., Chen L. Y., Binder W., Tůma P.: Robust Partial-Load Experiments with Showstopper,
Accepted for publication in Future Generation Computer Systems, Elsevier, ISSN 0167-739X, 2016
Christian Kroiß, Bureš T.: Logic-based modeling of information transfer in cyber-physical multi-agent systems,
In Future Generation Computer Systems, March 2016
Link, PDF Jančík P., Alt L., Fedyukovich G., Hyvärinen A. E. J., Kofroň J., Sharygina N.: PVAIR: Partial Variable Assignment InterpolatoR,
In proceedings of FASE'16, Eindhoven, Netherlands. The final publication is available at link.springer.com., April 2016
Masrur A., Kit M., Matěna V., Bureš T., Hardt W.: Component-Based Design of Cyber-Physical Applications with Safety-Critical Requirements,
Accepted for publication in Microprocessors and Microsystems, March 2016
Link Bulej L., Bureš T., Horký V., Kotrč J., Marek L., Trojánek T., Tůma P.: Unit testing performance with Stochastic Performance Logic,
Accepted for publication in Journal on Automated Software Engineering, Springer, ISSN: 0928-8910, January 2016
Link Arcaini P., Holom R.M., Riccobene E.: ASM-based formal design of an adaptivity component for a Cloud system,
In Formal Aspects of Computing, 2016
Daniel J., Cimatti A., Griggio A., Tonetta S., Mover S.: Infinite-state liveness-to-safety via implicit abstraction and well-founded relations,
Accepted for publication In Proceedings of Computer Aided Verification (CAV 2016), July 2016
Link, Resources Horký V., Kotrč J., Libič P., Tůma P.: Analysis of Overhead in Dynamic Java Performance Monitoring,
In Proceedings of the 7th ACM/SPEC International Conference on Performance Engineering (ICPE), Delft, Netherlands, ACM, ISBN: 978-1-4503-4080-9, March 2016
Arcaini P., Bonfanti S., Gargantini A., Riccobene E.: How to assure correctness and safety of medical software: the Hemodialysis Machine Case Study,
Accepted for publication in Proceedings of the 5th International Conference on ASM, Alloy, B, TLA, VDM, Z (ABZ 2016), May 2016
Arcaini P., Gargantini A., Vavassori P.: Automatic Detection and Removal of Conformance Faults in Feature Models,
Accepted for publication in Proceedings of the 9th IEEE International Conference on Software Testing, Verification and Validation (ICST 2016), April 2016
PDF Parízek P.: Hybrid Analysis for Partial Order Reduction of Programs with Arrays,
In Proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016), Springer, LNCS 9583, ISBN 978-3-662-49121-8, January 2016
Link Bureš T., Hnětynka P., Kofroň J., Al Ali R., Škoda D.: Statistical Approach to Architecture Modes in Smart Cyber Physical Systems,
Proceedings of WICSA 2016, Venice, Italy, IEEE, pp. 168-177, doi: 10.1109/WICSA.2016.33, April 2016
PDF Parízek P.: Fast Error Detection with Hybrid Analyses of Future Accesses,
In Proceedings of the 31st ACM/SIGAPP Symposium on Applied Computing (SAC 2016), MUSEPAT track, ACM, April 2016
Zheng Y., Rosa A., Salucci L., Li Y., Sun H., Bulej L., Chen L. Y., Qi Z., Binder W.: AutoBench: Finding Workloads That You Need Using Pluggable Hybrid Analyses,
Accepted for publication in proceedings of the 23rd IEEE international conference on Software Analysis, Evolution, and Reengineering (SANER), Osaka, Japan, IEEE, March 2016
Jančík P., Kofroň J.: Dead Variable Analysis for Multi-Threaded Heap Manipulating Programs,
In proceedings of 31st ACM Symposium on Applied Computing, Pisa, Italy, ACM, April 2016
Link Arcaini P., Bordogna G., Ienco D., Sterlacchini S.: User-driven geo-temporal density-based exploration of periodic and not periodic events reported in social networks,
In Information Sciences, 2016
Link Arcaini P., Gargantini A., Riccobene E., Vavassori P.: A novel use of equivalent mutants for static anomaly detection in software artifacts,
In Information and Software Technology, 2016
Gerostathopoulos I., Bureš T., Hnětynka P., Keznikl J., Kit M., Plášil F., Plouzeau N.: Self-Adaptation in Software-Intensive Cyber-Physical Systems: from System Goals to Architecture Configurations,
Accepted for publication in Journal of Systems and Software (Special issue on adaptive and reconfigurable software systems and architectures), March 2016

2015 (41)

Refereed (journals/proceedings)

Link Arcaini P., Gargantini A., Riccobene E.: Improving Model-based Test Generation by Model Decomposition,
In Proceedings of the 10th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2015). ACM, ISBN: 978-1-4503-3675-8, pp. 119--130, September 2015
Link, Resources Libič P., Bulej L., Horký V., Tůma P.: Estimating the Impact of Code Additions on Garbage Collection Overhead,
In proceedings of the 12th European Performance Engineering Workshop (EPEW 2015), Madrid, Spain, Springer, LNCS 9272, ISBN: 978-3-319-23266-9, ISSN: 0302-9743, pp. 130-145, August 2015
Link Hoch N., Bensler H., Abeywickrama D., Bureš T., Montanari U.: The E-mobility Case Study,
Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 513-533, LNCS 8998, Springer, doi:10.1007/978-3-319-16310-9_17, 2015
Link Horký V., Libič P., Steinhauser A., Tůma P.: DOs and DON'Ts of Conducting Performance Measurements in Java (tutorial),
In proceedings of the 6th ACM/SPEC International Conference on Performance Engineering (ICPE), Austin, Texas, USA, ACM, ISBN: 978-1-4503-3248-4, pp. 337-340, January 2015
PDF Sebastian Götz, Gerostathopoulos I., Filip Krikava, Adnan Shahzada, Romina Spalazzese: Adaptive Exchange of Distributed Partial Models@run.time for Highly Dynamic Systems,
In Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2015). IEEE, in press, May 2015
PDF Hauzar D., Kofroň J.: Framework for Static Analysis of PHP Applications,
In Proceedings of the 29th European Conference on Object-Oriented Programming (ECOOP 2015), July 2015
Link Arcaini P., Bordogna G., Sterlacchini S.: User Driven Query Framework of Social Networks for Geo-Temporal Analysis of Events of Interest,
In Handbook of Research on Innovative Database Query Processing Techniques. IGI Global, 2016, pp. 224-249, October 2015
PDF Daniel J., Parízek P.: PANDA: Simultaneous Predicate Abstraction and Concrete Execution,
In Proceedings of the 11th Haifa Verification Conference (HVC 2015), Springer, LNCS 9434, ISBN 978-3-319-26286-4, November 2015
Link Arcaini P., Riccobene E., Scandurra P.: Modeling and Validating Self-adaptive Service-oriented Applications,
In SIGAPP Appl. Comput. Rev., 15(3), ISSN: 1559-6915, pp. 35-48, October 2015
PDF, Link Marek L., Zheng Y., Ansaloni D., Bulej L., Sarimbekov A., Binder W., Tůma P.: Introduction to Dynamic Program Analysis with DiSL,
In Science of Computer Programming, 5th Special Issue on Experimental Software and Toolkits, volume 98, part 1, Elsevier, ISSN 0167-6423, pp. 100-115, February 2015
Link, Link Šimko V., Hauzar D., Hnětynka P., Bureš T., Plášil F.: Formal Verification of Annotated Textual Use-Cases,
The Computer Journal 58(7), pp. 1495-1529, doi:10.1093/comjnl/bxu068, July 2015
Link Horký V., Libič P., Marek L., Steinhauser A., Tůma P.: Utilizing Performance Unit Tests To Increase Performance Awareness,
In proceedings of the 6th ACM/SPEC International Conference on Performance Engineering (ICPE), Austin, Texas, USA, ACM, ISBN: 978-1-4503-3248-4, pp. 289-300, January 2015
PDF, Link, Resources Podzimek A., Bulej L., Chen L. Y., Binder W., Tůma P.: Analyzing the Impact of CPU Pinning and Partial CPU Loads on Performance and Energy Efficiency,
In proceedings of the 15th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing (CCGRID), Shenzhen, Guangdong, China, Best Research Paper Runner Up, IEEE, ISBN: 978-1-4799-8006-2, pp. 1-10, May 2015
PDF Kit M., Plášil F., Matěna V., Bureš T., Kovac O.: Employing Domain Knowledge for Optimizing Component Communication,
Accepted for publication in Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering, May 2015
PDF, Link Kit M., Gerostathopoulos I., Bureš T., Hnětynka P., Plášil F.: An Architecture Framework for Experimentations with Self-Adaptive Cyber-Physical Systems,
In Proceedings of SEAMS 2015, Firenze, Italy, pp. 93-96, IEEE, doi:10.1109/SEAMS.2015.28, May 2015
PDF, Link Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: The Invariant Refinement Method,
Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 405–428, LNCS 8998, Springer, doi:10.1007/978-3-319-16310-9_12, 2015
Link Sarimbekov A., Stadler L., Bulej L., Sewe A., Podzimek A., Zheng Y., Binder W.: Workload Characterization of JVM Languages,
Currently on-line in Software: Practice & Experience, Wiley, ISSN 1097-024X, 2015
Link Bureš T., Denny Weyns, Mark Klein, Rodolfo E. Haber: 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems,
In Proceedings of International Conference on Software Engineering 2015, May 2015
PDF Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolas D'Ippolito, Gerostathopoulos I., Andreas Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel: Software Engineering Meets Control Theory,
In Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2015). IEEE, in press, May 2015
Link Lipka R., Potuzak T., Brada P., Hnětynka P., Vinárek J.: A Method for Semi-automated Generation of Test Scenarios based on Use Cases,
In Proceedings of Euromicro SEAA 2015, Funchal, Portugal, IEEE, pp. 241-244, doi:10.1109/SEAA.2015.32, August 2015
PDF, Link Štumpf O., Bureš T., Matěna V.: Security and Trust in Data Sharing Smart Cyber-Physical Systems,
In Proceedings of the 9th European Conference on Software Architecture Workshops (ECSAW 2015). Article No. 18. ACM., September 2015
Link Christian Kroiß, Bureš T.: Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems,
Proceedings of ICTCC 2014, LNCSIT 144, Springer, ISBN: 978-3-319-15391-9, ISSN: 1867-8211,, 2015
PDF, Link Bureš T., Gerostathopoulos I., Keznikl J., Plášil F., Tůma P.: Formalization of Invariant Patterns for the Invariant Refinement Method,
Software, Services and Systems, v. 8950 of LNCS. Springer, pp. 602-618, 2015
PDF, Link Bureš T., Krijt F., Plášil F., Hnětynka P., Jiráček Z.: Towards Intelligent Ensembles,
In Proceedings of the 9th European Conference on Software Architecture Workshops (ECSAW 2015). Article No. 17. ACM., September 2015
Link Dhaminda B. Abeywickrama, Jacques Combaz, Horký V., Keznikl J., Kofroň J., Alberto Lluch Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Tůma P., Andrea Vandin, Emil Vassev: Tools for Ensemble Design and Runtime,
Software Engineering for Collective Autonomic Systems: Results from the ASCENS Project. no. 8998 in LNCS, pp. 291-322, Springer, 2015
Link Vinárek J., Šimko V., Hnětynka P.: Verification of Use-Cases with FOAM tool in Context of Cloud Providers,
In Proceedings of Euromicro SEAA 2015, Funchal, Portugal, IEEE, pp. 151-158, doi:10.1109/SEAA.2015.39, August 2015
Bureš T., Danny Weyns, Christian Berger, Stefan Biffl, Marian Daun, Thomas Gabor, David Garlan, Gerostathopoulos I., Christine Julien, Filip Krikava, Richard Mordinyi, Nikos Pronios: Software Engineering for Smart Cyber-Physical Systems -- Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS,
In ACM SIGSOFT Software Engineering Notes, November 2015
Link Arcaini P., Gargantini A., Riccobene E.: Rigorous development process of a safety-critical system: from ASM models to Java code,
In International Journal on Software Tools for Technology Transfer, Springer, ISSN: 1433-2779, pp. 1-23, August 2015
PDF Gerostathopoulos I., Bureš T., Hnětynka P., Hujecek A., Plášil F., Škoda D.: Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems,
In Proceedings of ECSA 2015, Dubrovnik/Cavtat, Croatia, pp. 45-52, LNCS 9278, Springer, doi: 10.1007/978-3-319-23727-5_4, September 2015
PDF, Link Parízek P., Lhoták O.: Model Checking of Concurrent Programs with Static Analysis of Field Accesses,
Science of Computer Programming, volume 98, part 4, Elsevier, February 2015
Link Arcaini P., Bonfanti S., Gargantini A., Mashkoor A., Riccobene E.: Formal validation and verification of a medical software critical component,
In Proceedings of the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2015). IEEE, pp. 80-89, September 2015
Link Zheng Y., Kell S., Bulej L., Sun H., Binder W.: Comprehensive Multi-platform Dynamic Program Analysis for Java and Android,
Currently in early-access in IEEE Software, IEEE, ISSN 0740-7459, November 2015
Link Sun H., Zheng Y., Bulej L., Villazón A., Qi Z., Tůma P., Binder W.: A Programming Model and Framework for Comprehensive Dynamic Analysis on Android,
In proceedings of the 14th International Conference on Modularity (MODULARITY/AOSD), Fort Collins, Colorado, USA, ACM, ISBN: 978-1-4503-3249-1, pp. 133-145, March 2015
PDF, Link Bulej L., Bureš T., Gerostathopoulos I., Horký V., Keznikl J., Marek L., Max Tschaikowski, Mirco Tribastone, Tůma P.: Supporting Performance Awareness in Autonomous Ensembles,
Software Engineering for Collective Autonomic Systems: Results from the ASCENS Project. no. 8998 in LNCS, pp. 291-322, Springer, 2015
PDF, Link Zheng Y., Bulej L., Binder W.: Accurate Profiling in the Presence of Dynamic Compilation,
In proceedings of the 2015 ACM/SIGPLAN international conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA), Pittsburgh, Pennsylvania, USA, Distinguished Paper Award, ACM, pp. 433-450, October 2015

Ph.D. Theses

PDF Děcký M.: Application of Software Components in Operating System Design,
Ph.D. thesis, advisor: Petr Tůma, September 2015
PDF, Link Gerostathopoulos I.: Model-Driven Development of Software-Intensive Cyber-Physical Systems,
Ph.D. thesis, advisor: Petr Hnetynka, September 2015

Technical Reports

PDF Gerostathopoulos I., Bureš T., Hnětynka P., Adam Hujecek, Plášil F., Škoda D.: Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems,
Tech. Report No. D3S-TR-2015-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, April 2015
PDF Gerostathopoulos I., Bureš T., Hnětynka P., Keznikl J., Kit M., Plášil F., Noel Plouzeau: Self-Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations,
Tech. Report No. D3S-TR-2015-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, April 2015
PDF Bureš T., Hnětynka P., Kofroň J., Al Ali R., Škoda D.: Statistical Approach to Architecture Modes in Smart Cyber Physical Systems,
Tech. Report No. D3S-TR-2015-04, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2015
PDF Parízek P.: Hybrid Analysis of Future Accesses and Heuristics for Fast Detection of Concurrency Errors,
Tech. Report No. D3S-TR-2015-03, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2015

2014 (30)

Refereed (journals/proceedings)

PDF Masrur A., Kit M., Bureš T., Hardt W.: Towards Component-Based Design of Safety-Critical Cyber-Physical Applications,
Accepted for publication in Proceedings of the 17th Euromicro Conference on Digital Systems Design (DSD 2014), Verona, Italy, August 2014
PDF, PDF, Link Al Ali R., Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: DEECo: an Ecosystem for Cyber-Physical Systems,
In Companion proceedings of the 36th International Conference on Software Engineering (ICSE 2014), Hyderabad, India. ACM, pp. 610-611 (poster and extended abstract), June 2014
Link Vinárek J., Hnětynka P., Šimko V., Kroha P.: Recovering Traceability Links Between Code and Specification Through Domain Model Extraction,
In Proceedings of EOMAS 2014, Thessaloniki, Greece, LNBIB 191, Springer, pp. 187-201, doi:10.1007/978-3-662-44860-1_11, June 2014
PDF, Link Gerostathopoulos I.: Model-Driven Design of Ensemble-Based Component Systems,
In Joint Proceedings of the ACM/IEEE 18th International Conference on Model Driven Engi-neering Languages and Systems (MODELS 2014) Poster Session and the ACM Student Research Competition, Valencia, Spain. CEUR-WS, pp. 57-62, September 2014
Link Bureš T., Gerostathopoulos I., Al Ali R.: DEECo: Software Engineering for Smart CPS,
In ERCIM news Special theme: Cyber-Physical Systems, v. 2014, no. 96, January 2014
PDF, Link Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: Gossiping Components for Cyber-Physical Systems,
In Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), Vienna, Austria. Springer, pp. 250-266. Best Research Paper Award, August 2014
Link Keznikl J., Bureš T., Plášil F., Hnětynka P.: Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method),
Software and Systems Modeling, vol. 13, iss. 2, pp. 843-872, doi: 10.1007/s10270-012-0274-8, May 2014
Link Pop T., Hnětynka P., Malohlava M., Hošek P., Bureš T.: Comparison of Component Frameworks for Real-Time Embedded Systems,
Knowledge and Information Systems (KAIS), Vol. 40, Iss. 1, pp 127-170, DOI 10.1007/s10115-013-0627-9, July 2014
Link Bureš T., Hnětynka P., Plášil F.: Strengthening architectures of smart CPS by modeling them as runtime product-lines,
In Proceedings of CBSE 2014, Lille, France, ACM, pp. 91-96, doi:10.1145/2602458.2602478, July 2014
PDF, WWW Gerostathopoulos I., Keznikl J., Bureš T., Kit M., Plášil F.: Software Engineering for Software-Intensive Cyber-Physical Systems,
In Proceedings of the 44th Annual Meeting of the German Informatics Society – 44. Gesellschaft für Informatik Jahrestagung (INFORMATIK 2014). Gesellschaft für Informatik, Bohn, pp. 1179-1190, September 2014
Link Daniel J., Parízek P.: Predicate Abstraction in Program Verification: Survey and Current Trends,
In Proceedings of 2014 Imperial College Computing Student Workshop, OASIcs, September 2014
PDF, Link Parízek P., Jančík P.: Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal,
In Proceedings of the 21st International Symposium on Model Checking of Software (SPIN 2014), ACM, July 2014
PDF, Link Sarimbekov A., Zheng Y., Ansaloni D., Bulej L., Marek L., Binder W., Tůma P., Qi Z.: Dynamic Program Analysis - Reconciling Developer Productivity and Tool Performance,
In Science of Computer Programming, volume 95, part 3, Elsevier, ISSN 0167-6423, pp. 344-358, December 2014
PDF Hauzar D., Kofroň J.: WeVerca: Web Applications Verification for PHP (Tool Paper),
In proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM'14), Grenoble, France. LNCS, September 2014
PDF Jančík P., Kofroň J., Rollini S. F., Sharygina N.: On Interpolants and Variable Assignments,
In proc. of Formal Methods in Computer-Aided Design 2014, Lausanne, Switzerland, October 2014
PDF, PDF, Link Podzimek A., Chen L. Y., Bulej L., Binder W., Tůma P.: Showstopper: The Partial CPU Load Tool,
In proceedings of the 22nd International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS), Paris, France, IEEE CS, ISSN: 1526-7539, pp. 510-513, September 2014
PDF, Link Al Ali R., Bureš T., Gerostathopoulos I., Keznikl J., Plášil F.: Architecture Adaptation Based on Belief Inaccuracy Estimation,
In Proceedings of the 11th Working IEEE/IFIP Conference on Software Architecture (WICSA 2014), Sydney, Australia. IEEE, pp. 87-90, April 2014
PDF Hauzar D., Kofroň J., Baštecký P.: Data-flow Analysis of Programs with Associative Arrays,
In Proceedings of the International Workshop on Engineering Safety and Security Systems (ESSS'14), Singapore, EPTCS, May 2014
PDF, Link Martinec T., Marek L., Steinhauser A., Tůma P., Noorshams Q., Rentschler A., Reussner R.: Constructing Performance Model of JMS Middleware Platform,
In proceedings of the 5th ACM/SPEC International Conference on Performance Engineering (ICPE), Dublin, Ireland, ACM, ISBN: 978-1-4503-2733-6, pp. 123-134, March 2014
PDF, Link Al Ali R., Gerostathopoulos I., Gonzalez-Herrera I., Juan-Verdejo A., Kit M., Surajbali B.: An Architecture-Based Approach for Compute-Intensive Pervasive Systems in Dynamic Environments,
In Proceedings of International Workshop on Hot Topics in Cloud service Scalability, Dublin, Ireland. ACM, in press, March 2014
PDF, Link Libič P., Bulej L., Horký V., Tůma P.: On the Limits of Modeling Generational Garbage Collector Performance,
In proceedings of the 5th ACM/SPEC International Conference on Performance Engineering (ICPE), Dublin, Ireland, Best Research Paper Award, ACM, ISBN: 978-1-4503-2733-6, pp. 15-26, March 2014
PDF, Link Bureš T., Horký V., Kit M., Marek L., Tůma P.: Towards Performance-Aware Engineering of Autonomic Component Ensembles,
In Proceedings of the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu, Greece, Springer, October 2014

Ph.D. Theses

PDF Hauzar D.: Towards Static Analysis of Languages with Dynamic Features,
Ph.D. thesis, advisor: František Plášil, September 2014
PDF, PDF Marek L.: Instrumentation and Evaluation for Dynamic Program Analysis,
Ph.D. thesis, advisor: Petr Tuma, September 2014
PDF, Link Keznikl J.: Dynamic Software Architectures for Resilient Distributed Systems,
Ph.D. thesis, advisor: Tomas Bures, September 2014

Technical Reports

PDF Bulej L., Bureš T., Horký V., Jaroslav Kotrč, Marek L., Tomáš Trojánek, Tůma P.: SPL: Unit Testing Performance,
Tech. Report No. D3S-TR-2014-04, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2014
PDF Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F., Noel Plouzeau: Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations,
Tech. Report No. D3S-TR-2014-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, January 2014
PDF Gerostathopoulos I., Keznikl J., Bureš T., Kit M., Plášil F.: Software Engineering for Software-Intensive Cyber-Physical Systems,
Tech. Report No. D3S-TR-2014-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, January 2014
PDF Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: Computational Model for Gossiping Components in Cyber-Physical Systems,
Tech. Report No. D3S-TR-2014-03, Dep. of Distributed and Dependable Systems, Charles University in Prague, April 2014

Nonrefereed

Link Zheng Y., Sun H., Bulej L., Tůma P., Binder W.: Comprehensive Multi-platform Dynamic Program Analysis for the Java and Dalvik Virtual Machines,
Invited talk, in proceedings of the International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools (PPPJ), Cracow, Poland, ACM, ISBN: 978-1-4503-2926-2, pp. 4-4, September 2014
Logo of Faculty of Mathematics and Physics
  • Phone: +420 951 554 267, +420 951 554 236
  • Email: info<at-sign>d3s.mff.cuni.cz


  • How to find us?
Modified on 2016-04-01