Year

2019

2018

2017

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.

2019 (1)

Refereed (journals/proceedings)

Link Gerostathopoulos I., Škoda D., Plášil F., Bureš T., Alessia Knauss: Tuning self-adaptation in cyber-physical systems through architectural homeostasis,
Journal of Systems and Software, February 2019

2018 (13)

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
Matěna V., Bureš T., Gerostathopoulos I., Hnětynka P.: Experimenting with Adaptation in Smart Cyber-Physical Systems: A Model Problem and Testbed,
Book chapter in Y. Yu, A. Bandara, T. Tamai, et al.: Engineering adaptive software systems, [in-print], Springer, 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
Al Ali R., Heinrich R., Hnětynka P., Juan-Verdejo A., Seifermann S., Walter M., Khalyeyev D.: Modeling of Dynamic Trust Contracts for Industry 4.0 Systems,
To appear in Context-aware, Autonomous and Smart Architecture Workshop co-located with the 12th European Conference on Software Architecture (CASA@ECSA2018), 24-28 September, Madrid, Spain, February 2018
Hnětynka P., Kubát P., Al Ali R., Gerostathopoulos I., Khalyeyev D.: Guaranteed Latency Applications in Edge-Cloud Environment,
To appear in Context-aware, Autonomous and Smart Architecture Workshop co-located with the 12th European Conference on Software Architecture (CASA@ECSA2018), 24-28 September, Madrid, Spain, February 2018
Link Bureš T., Matěna V., Miradola R., Pagliari L., Trubiani C.: Performance Modelling of Smart Cyber-Physical Systems,
In Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, Berlin, Germany, ACM, ISBN: 978-1-4503-5629-9, DOI: 10.1145/3185768.3186306, 2018
Al Ali R., Bureš T., Hnětynka P., Krijt F., Plášil F., Vinárek J.: Dynamic Security Specification through Autonomic Component Ensemble,
To appear in 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA2018), Cyprus, November, February 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), July 2018
Link Parízek P., Lhoták O.: Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking,
International Journal on Software Tools for Technology Transfer (STTT), in print (available online), Springer, 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
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

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
Link Al Ali R., Bureš T., Hartmann B., Havlik J., Heinrich R., Hnětynka P., Juan-Verdejo A., Parízek P., Seifermann S., Walter M.: Use Cases in Dataflow-Based Privacy and Trust Modeling and Analysis in Industry 4.0 Systems,
Karlsruhe Reports in Informatics 2018,9, Karlsruhe Institute of Technology, Faculty of Informatics, ISSN 2190-4782, 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.: 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, 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 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 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 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., 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 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 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
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 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 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
WWW Al Ali R.: Industrial Use Cases of Cyber Physical Systems in EU Projects,
Proceedings of FedCSIS 2017, Prague, Czech Republic, September 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 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 Arcaini P., Gargantini A., Riccobene E.: Decomposition-Based Approach for Model-Based Test Generation,
In IEEE Transactions on Software Engineering, December 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 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 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

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
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 2018-11-14