Year

2018

2017

2016

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.

2018 (6)

Refereed (journals/proceedings)

Link Arcaini P., Gargantini A., Radavelli M.: An evolutionary process for product-driven updates of feature models,
In Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2018), February 2018
Link Arcaini P., Gargantini A., Riccobene E.: Fault-based test generation for regular expressions by mutation,
In Software Testing, Verification and Reliability, March 2018
Kellogg M., Dort V., Millstein S., Ernst M. D.: Lightweight Verification of Array Indexing,
In Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2018), 2018
Link Kubát P., Bulej L., Bureš T., Horký V., Tůma P.: Adaptive Dispatch: A Pattern for Performance-Aware Software Self-Adaptation,
In Proceedings of the 9th ACM/SPEC International Conference on Performance Engineering (ICPE '18 Companion), Berlin, Germany, ACM, ISBN: 978-1-4503-5629-9, April 2018
Link Arcaini P., Ježek P., Kofroň J.: Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin,
in Proc. of 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Springer, DOI: 10.1007/978-3-319-91271-4, ISBN: 978-3-319-91270-7, pp. 277-291, June 2018

Technical Reports

PDF Přemysl Vysoký, Parízek P., Václav Pech: INGRID: Creating Languages in MPS from ANTLR Grammars,
Tech. Report No. D3S-TR-2018-01, Dep. of Distributed and Dependable Systems, Charles University, May 2018

2017 (26)

Refereed (journals/proceedings)

Link Bureš T.: Autonomic component ensembles for dynamic evolving architectures of context-aware smart systems: invited talk abstract,
Proceeding ECSA '17 Proceedings of the 11th European Conference on Software Architecture: Companion Proceedings, Pages 70-70, Canterbury, United Kingdom, 2017
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 Arcaini P., Gargantini A., Riccobene E.: NuSeen: a tool framework for the NuSMV model checker,
In Proceedings of the 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), March 2017
Link Corentin Dupont, Bureš T., Mehdi Sheikhalishahi, Congduc Pham, Abdur Rahim: Low-cost IoT, Big Data, and Cloud Platform for Developing Countries,
Proceedings of Economics of Grids, Clouds, Systems, and Services: 14th International Conference, GECON 2017, Biarritz, France, pages 285--299, 2017
Link Jančík P., Kofroň J.: On Partial State Matching,
Formal Aspects Of Computing, 29(5), Springer London, Print ISSN 0934-5043, Online ISSN 1433-299X, DOI 10.1007/s00165-016-0413-z, pp 777--803, September 2017
PDF, Link Zheng Y., Bulej L., Binder W.: An Empirical Study on Deoptimization in the Graal Compiler,
In proceedings of the 31th European Conference on Object-Oriented Programming (ECOOP), Barcelona, Spain, June 2017
Link Sanny Schmid, Gerostathopoulos I., Christian Prehofer, Bureš T.: Model Problem (CrowdNav) and Framework (RTX) for Self-Adaptation Based on Big Data Analytics (Artifact),
Dagstuhl Artifacts Series (DARTS), 2017
Link Krijt F., zbynek, Bureš T., Hnětynka P., Gerostathopoulos I.: Intelligent Ensembles: a Declarative Group Description Language and Java Framework (Artifact),
Dagstuhl Artifacts Series (DARTS), 2017
Link Arcaini P., Trubiani C.: Collaborative Development of Feature Models and Evaluation of Performance Bounds,
In Proceedings of the 32nd ACM/SIGAPP Symposium on Applied Computing (SAC 2017), SA-TTA track, April 2017
Link Gerostathopoulos I., Bureš T., Hnětynka P., Adam Hujecek, Plášil F., Škoda D.: Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies,
Journal ACM Transactions on Cyber-Physical Systems archive, Volume 1 Issue 3, No. 13, 2017
Link Oksana Nikiforova, Nisrine El Marzouki, Konstantins Gusarovs, Hans Vangheluwe, Bureš T., Al Ali R., Mauro Iacono, Priscill Orue Esquivel, Florin Leon: The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems,
Proceedings of ICSOFT 2017, Madrid, Spain, vol. 1, pp. 286-293, July 2017
Link Krijt F., Jiráček Z., Bureš T., Hnětynka P., Plášil F.: Automated Dynamic Formation of Component Ensembles,
In Proceedings of Modelsward 2017, Porto, Portugal, pp. 561-568, SCITEPRESS, doi:10.5220/0006273705610568, February 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., Bonfanti S., Gargantini A., Mashkoor A., Riccobene E.: Integrating Formal Methods into Medical Software Development: the ASM approach,
In Science of Computer Programming, July 2017
Link Arcaini P., Gargantini A., Vavassori P.: Automated Repairing of Variability Models,
In Proceedings of the 21st International Systems and Software Product Line Conference (SPLC 2017), September 2017
Link Matěna V., Alejandro Masrur, Bureš T.: An Ensemble-Based Approach for Scalable QoS in Highly Dynamic CPS,
43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pages 234-238, 2017
Link Angelika Musil, Juergen Musil, Danny Weyns, Bureš T., Henry Muccini, Mohammad Sharaf: Patterns for Self-Adaptation in Cyber-Physical Systems,
Multi-Disciplinary Engineering for Cyber-Physical Production Systems: Data Models and Software Solutions for Handling Complex Engineering Projects, Springer, pages 331--368, ISBN 978-3-319-56345-9, 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
Link Arcaini P., Gargantini A., Riccobene E.: Decomposition-Based Approach for Model-Based Test Generation,
In IEEE Transactions on Software Engineering, December 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
WWW Al Ali R.: Industrial Use Cases of Cyber Physical Systems in EU Projects,
Proceedings of FedCSIS 2017, Prague, Czech Republic, September 2017
Link Bureš T., Danny Weyns, Bradley Schmer, Eduardo Tovar, Eric Boden, Thomas Gabor, Gerostathopoulos I., Pragya Gupta, Eunsuk Kang, Alessia Knauss, Pankesh Patel, Awais Rashid, Ivan Ruchkin, Roykrong Sukkerd, Christos Tsigkanos: Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions,
SIGSOFT Softw. Eng. Notes, ISSN 0163-5948, 2017
Link Bureš T., Danny Weyns, Bradley R. Schmerl, John Fitzgerald: SEsCPS 2017 Workshop Summary,
IEEE/ACM 3rd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), pages 1-1, 2017
Link Sanny Schmid, Gerostathopoulos I., Christian Prehofer, Bureš T.: Self-Adaptation Based on Big Data Analytics: A Model Problem and Tool,
IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pages 102-108, 2017
Link Krijt F., zbynek, Bureš T., Hnětynka P., Gerostathopoulos I.: Intelligent Ensembles - A Declarative Group Description Language and Java Framework,
IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pages 116-122, 2017

Technical Reports

PDF Bureš T., Gerostathopoulos I., Hnětynka P., Plášil F., Krijt F., Vinárek J., Kofroň J.: Trait-based Language for Smart Cyber-Physical Systems,
Tech. Report No. D3S-TR-2017-01, Dep. of Distributed and Dependable Systems, Charles University, January 2017

2016 (35)

Refereed (journals/proceedings)

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

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