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 (2)

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

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

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

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

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

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

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

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

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

2018

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
Arcaini P., Ježek P., Kofroň J.: Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin,
to appear in proceedings of ABZ'18, March 2018

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

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

GAUK 390615 (1)

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

Full list of publications supported by GAUK 390615

GAUK 391115 (1)

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

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

Full list of publications supported by MPM4CPS (cost1404)

RELATE (1)

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

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 (1)

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

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

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