Year

2017

2016

2015

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.

2017 (5)

Refereed (journals/proceedings)

Link Arcaini P., Gargantini A., Riccobene E.: MutRex: a mutation-based generator of fault detecting strings for regular expressions,
In Proceedings of the 12th International Workshop on Mutation Analysis (MUTATION 2017), March 2017
Link, Resources Stefan P., Horký V., Bulej L., Tůma P.: Unit Testing Performance in Java Projects: Are We There Yet?,
In Proceedings of the 8th ACM/SPEC International Conference on Performance Engineering (ICPE), L'Aquila, Italy, ACM, ISBN: 978-1-4503-4404-3, April 2017
Link Arcaini P., Riccobene E., Scandurra P.: Formal design and verification of self-adaptive systems with decentralized control,
In ACM Transactions on Autonomous and Adaptive Systems, January 2017
Link Jančík P., Kofroň J.: On Partial State Matching,
Formal Aspects Of Computing, ISSN 1433-299X, DOI 10.1007/s00165-016-0413-z, pp 1--27, January 2017
Link Bulej L., Horký V., Tůma P.: Do We Teach Useful Statistics for Performance Evaluation?,
In Proceedings of the 8th ACM/SPEC International Conference on Performance Engineering (ICPE '17 Companion), L'Aquila, Italy, ACM, ISBN: 978-1-4503-4899-7, April 2017

2016 (35)

Refereed (journals/proceedings)

Link Podzimek A., Bulej L., Chen L. Y., Binder W., Tůma P.: Robust Partial-Load Experiments with Showstopper,
In Future Generation Computer Systems, Volume 64, Elsevier, pp. 15-38, ISSN 0167-739X, November 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
Link Masrur A., Kit M., Matěna V., Bureš T., Hardt W.: Component-Based Design of Cyber-Physical Applications with Safety-Critical Requirements,
Microprocessors and Microsystems, Volume 42, pp. 70–86, doi:10.1016/j.micpro.2016.01.007, May 2016
PDF Parízek P.: Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information,
In Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design (FMCAD 2016), October 2016
Link Kroiß C., Bureš T.: Logic-based modeling of information transfer in cyber-physical multi-agent systems,
Future Generation Computer Systems, Volume 56 Issue C, pp. 124-139, doi:10.1016/j.future.2015.09.013, March 2016
Link Bureš T., Plášil F., Kit M., Tůma P., Hoch N.: Software Abstractions for Component Interaction in the Internet of Things,
Computer ( Volume: 49, Issue: 12, Dec. 2016 ) doi:10.1109/MC.2016.377, December 2016
Link Arcaini P., Bonfanti S., Gargantini A., Riccobene E.: Visual notation and patterns for Abstract State Machines,
In Proceedings of the 3rd workshop on Human-Oriented Formal Methods (HOFM 2016), July 2016
PDF Gerostathopoulos I., Škoda D., Plášil F., Bureš T., Knauss A.: Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems,
In Proceedings of ECSA 2016, Copenhagen, Denmark, LNCS 9839, Springer, November 2016
Link Arcaini P., Bonfanti S., Gargantini A., Riccobene E.: How to assure correctness and safety of medical software: the Hemodialysis Machine Case Study,
In Proceedings of the 5th International Conference on ASM, Alloy, B, TLA, VDM, Z (ABZ 2016), May 2016
Link Arcaini P., Bonfanti S., Dausend M., Gargantini A., Mashkoor A., Raschke A., Riccobene E., Scandurra P., Stegmaier M.: Unified Syntax for Abstract State Machines,
In Proceedings of the 5th International Conference on ASM, Alloy, B, TLA, VDM, Z (ABZ 2016), May 2016
Link Sarimbekov A., Stadler L., Bulej L., Sewe A., Podzimek A., Zheng Y., Binder W.: Workload Characterization of JVM Languages,
In Software: Practice & Experience, Volume 46, Issue 8, Wiley, pp. 1053-1089, ISSN 1097-024X, August 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,
In Automated Software Engineering, Volume 24, Issue 1, Springer, pp. 139-187, ISSN: 0928-8910, January 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
Link Arcaini P., Gargantini A., Riccobene E.: SMT-based automatic proof of ASM model refinement,
In Proceedings of the 14th International Conference on Software Engineering and Formal Methods (SEFM 2016), July 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
Link Daniel J., Cimatti A., Griggio A., Tonetta S., Mover S.: Infinite-state liveness-to-safety via implicit abstraction and well-founded relations,
In Proceedings of Computer Aided Verification (CAV 2016), LNCS 9779, July 2016
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
PDF, Link Matěna V., Bureš T., Gerostathopoulos I., Hnětynka P.: Model Problem and Testbed for Experiments with Adaptation in Smart Cyber-Physical Systems,
In Proceedings of SEAMS 2016, Austin, USA, ACM, doi:10.1145/2897053.2897065, May 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
Link 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 Blackburn S. M., Diwan A., Hauswirth M., Sweeney P. F., Amaral J. N., Brecht T., Bulej L., Click C., Eeckhout L., Fischmeister S., Frampton D., Hendren L. J., Hind M., Hosking A. L., Jones R. E., Kalibera T., Keynes N., Nystrom N., Zeller A.: The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations,
In ACM Transactions on Programming Languages and Systems, Volume 38, Issue 4, ACM, pp. 15:1-15:20, ISSN 0164-0925, October 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
Gerostathopoulos I., Bureš T., Hnětynka P., Hujecek A., Plášil F., Škoda D.: Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies,
Accepted for publication in Transactions on Cyber-Physical Systems, September 2016
Link Arcaini P., Gargantini A., Vavassori P.: Automatic Detection and Removal of Conformance Faults in Feature Models,
In Proceedings of the 9th IEEE International Conference on Software Testing, Verification and Validation (ICST 2016), April 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
Link 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,
In proceedings of the 23rd IEEE international conference on Software Analysis, Evolution, and Reengineering (SANER), Osaka, Japan, IEEE, pp. 639-643, March 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
Link Zheng Y., Kell S., Bulej L., Sun H., Binder W.: Comprehensive Multi-platform Dynamic Program Analysis for Java and Android,
In IEEE Software, Volume 33, Issue 4, IEEE, pp. 55-63, ISSN 0740-7459, July 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 Bureš T., Hnětynka P., Krijt F., Matěna V., Plášil F.: Smart coordination of autonomic component ensembles in the context of ad-hoc communication,
Proceedings of ISOLA 2016, Corfu, Greece, Springer, LNCS 9952, pp. 642-656, doi: 10.1007/978-3-319-47166-2_45, October 2016
PDF, Link 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,
Journal of Systems and Software, Volume 122, pp. 378–397, doi:10.1016/j.jss.2016.02.028, December 2016

Master Theses

PDF Dort V.: String Analysis for Code Contracts,
Master Thesis, advisor: Pavel Parízek, September 2016
PDF Blicha M.: Methods for reduction of Craig's interpolant size using partial variable assignment,
Master Thesis, advisor: Jan Kofroň, September 2016

Nonrefereed

Link Bulej L., Zheng Y., Binder W.: Beneath the Bytecode: Observing the JVM at Work Using Bytecode Instrumentation (Invited Talk),
In Proc. 11th international workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS), Rome, Italy, ACM, ISBN: 978-1-4503-4837-9, July 2016
Link Bulej L.: Performance Testing in Software Development: Getting the Developers on Board (Invited Talk),
In. companion proceedings of the International Conference on Performance Engineering (ICPE), Delft, The Netherlands, ACM, ISBN: 978-1-4503-4147-9, pp. 9-9, March 2016

2015 (39)

Refereed (journals/proceedings)

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 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 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
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, Link 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, 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
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
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
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 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 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 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
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
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 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 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
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
PDF 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, 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
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 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
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 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
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 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

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
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