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.

ASCENS (17)

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

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

Full list of publications supported by ASCENS

cost (1)

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
Notice: Trying to get property of non-object in /var/www/vhosts/cuni.cz/WWW80/d3s.mff.cuni.cz/publications/index.inc.php on line 130

Full list of publications supported by

Ferdinand (1)

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

Full list of publications supported by Ferdinand

GACR 13-12121P - Pavel Parízek (3)

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

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

Full list of publications supported by GACR 13-12121P - Pavel Parízek

GAČR 14-11384S - Jan Kofroň (10)

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

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

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

Full list of publications supported by GAČR 14-11384S - Jan Kofroň

GAČR 1489 (1)

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

Full list of publications supported by GAČR 1489

GAČR 17-12465S - Jan Kofroň (5)

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

Full list of publications supported by GAČR 17-12465S - Jan Kofroň

GAUK 390615 (2)

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

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

Full list of publications supported by GAUK 390615

GAUK 391115 (2)

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

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

Full list of publications supported by GAUK 391115

MPM4CPS (cost1404) (6)

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
PDF Al Ali R.: Industrial Use Cases of Cyber Physical Systems in EU Projects,
Proceedings of FedCSIS 2017, Prague, Czech Republic, (to appear), September 2017

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

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

Full list of publications supported by MPM4CPS (cost1404)

RELATE (10)

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

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

Full list of publications supported by RELATE

Specifický výzkum 2010 (1)

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

Full list of publications supported by Specifický výzkum 2010

Specifický výzkum 2014 (4)

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

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

Full list of publications supported by Specifický výzkum 2014

Specifický výzkum 2015 (7)

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

Full list of publications supported by Specifický výzkum 2015

Specifický výzkum 2016 (6)

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

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

Full list of publications supported by Specifický výzkum 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