المؤلفون: Davide Basile, Maurice H. ter Beek, Rosario Pugliese

المصدر: Logical Methods in Computer Science, Vol Volume 16, Issue 2 (2020)

مصطلحات موضوعية: electrical engineering and systems science - systems and control, computer science - distributed, parallel, and cluster computing, computer science - formal languages and automata theory, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/5809/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/009836a5af7e44d7908900d27839e89b

المؤلفون: Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 206, Iss Proc. FMSPLE 2016, Pp 61-75 (2016)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1604.00350v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/2c2c7af3c9a74e1f9f5197ec5b55d576

المؤلفون: Tessa Belder, Maurice H. ter Beek, Erik P. de Vink

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 182, Iss Proc. FMSPLE 2015, Pp 14-30 (2015)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1504.03474v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/2044ea57d1a5481193d4be6fa3e869b0

المؤلفون: Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 182, Iss Proc. FMSPLE 2015, Pp 56-70 (2015)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1504.03476v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/e6c4d51c01ff48fea7fa647d67493885

المؤلفون: Maurice H. ter Beek, Stefania Gnesi, Mercy N. Njima

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 61, Iss Proc. WWV 2011, Pp 34-48 (2011)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1108.2350v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/efee64fcb0ca4b71ae3498848dfac373

المؤلفون: Maurice H. ter Beek, Alessio Ferrari

المصدر: Software; Volume 1; Issue 4; Pages: 381-416

مصطلحات موضوعية: formal methods, empirical studies, guidelines

وصف الملف: application/pdf

Relation: https://dx.doi.org/10.3390/software1040017

الاتاحة: https://doi.org/10.3390/software1040017

المؤلفون: Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, S. Lizeth Tapia Tarifa

المصدر: Science of Computer Programming, 240, 103221, (2024-10)

مصطلحات موضوعية: Artifact, ProFeat, Prism, Feature Models, Probabilistic Model Checking, Self-Adaptive Systems, Cyber-Physical Systems, Robotics

Relation: https://doi.org/10.1007/978-3-031-47705-8_18; https://zenodo.org/communities/eu; https://doi.org/10.5281/zenodo.8275532; https://doi.org/10.5281/zenodo.13946884; oai:zenodo.org:13946884

الاتاحة: https://doi.org/10.5281/zenodo.13946884

المؤلفون: Maurice H. ter Beek, Ina Schaefer

المصدر: The Journal of systems and software 199 (2023). doi:10.1016/j.jss.2023.111622

مصطلحات موضوعية: Hardware and Architecture, Software product lines, Software, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3b07334dfd0e9e01b7788fad9a87dfb9
https://openportal.isti.cnr.it/doc?id=people______::8df74ac665fcb3594d69266f7f4031df

المؤلفون: Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença

المصدر: Formal Methods ISBN: 9783031274800
FM'23-25th International Symposium on Formal Methods, pp. 122–141, Lübeck, Germany, 6-10/3/2023

مصطلحات موضوعية: Team automata, Dynamic logic, Verification, Synchronisation policies

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::21618ba793bd6c00d7debad64af047c6
https://doi.org/10.1007/978-3-031-27481-7_9

المؤلفون: Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, S. Lizeth Tapia Tarifa, Einar Broch Johnsen

المصدر: iFM, 18th International Conference on integrated Formal Methods, Leiden, the Netherlands, 13-15 November 2023

مصطلحات موضوعية: Artifact, ProFeat, Prism, Feature Models, Probabilistic Model Checking, Self-Adaptive Systems, Cyber-Physical Systems, Robotics

Relation: https://zenodo.org/communities/eu; https://doi.org/10.5281/zenodo.8275532; https://doi.org/10.5281/zenodo.8275533; oai:zenodo.org:8275533

الاتاحة: https://doi.org/10.5281/zenodo.8275533

المؤلفون: Davide Basile, Maurice H. ter Beek, Laura Bussi, Vincenzo Ciancia

مصطلحات موضوعية: voxlogica, spatial logic, strategy synthesis, contract automata

Relation: https://doi.org/10.5281/zenodo.8220527; https://doi.org/10.5281/zenodo.8220528; oai:zenodo.org:8220528

الاتاحة: https://doi.org/10.5281/zenodo.8220528

المؤلفون: Maurice H. ter Beek, Annabelle McIver

المصدر: Formal Methods in System Design

مصطلحات موضوعية: Hardware and Architecture, Management science, Computer science, Formal methods, Article, Software, Theoretical Computer Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::912bd1feab86b796a007f648872331b2
https://doi.org/10.1007/s10703-021-00380-6

المؤلفون: Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer

المصدر: Lecture Notes in Computer Science ISBN: 9783031197611
ISoLA'22-11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 246–268, Rhodes, Greece, 24-28/10/2022

مصطلحات موضوعية: Certification, Artificial Intelligence, Formal methods, ERTMS, Verification, Railways

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4be170362cf00f68b6134a09150c5354
https://doi.org/10.1007/978-3-031-19762-8_20

المؤلفون: Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia

المصدر: ISoLA'22-11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 142–164, Rhodes, Greece, 24-28/10/2022
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581

مصطلحات موضوعية: Synthesis, Multi-agent systems, Spatial model checking, Games, Rigorous tool engineering

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbc024fe4c75f8632ddeddfae0fa3150
https://openportal.isti.cnr.it/doc?id=people______::8749d9bd06bbd024fcbe01f78fe05318

المؤلفون: Davide Basile, Maurice H. ter Beek

المصدر: ISTI Working papers, pp.1–8, 2022
Formal Methods ISBN: 9783031274800
FM'23-25th International Symposium on Formal Methods, pp. 550–567, Lübeck, Germany, 6-10/3/2023

مصطلحات موضوعية: Contract-based Applications, Contract Automata, Orchestration, Runtime environment, ComputingMilieux_LEGALASPECTSOFCOMPUTING, Formal Methods, Computer Science::Formal Languages and Automata Theory

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8171ea044cb7f7e9e279817fbdb04a00
https://publications.cnr.it/doc/465708

المؤلفون: Franco Mazzanti, Maurice H. ter Beek, Luca Paolini, Michael Lienhardt, Ferruccio Damiani

المصدر: Empirical software engineering (Online) 27 (2022). doi:10.1007/s10664-020-09930-8
info:cnr-pdr/source/autori:ter Beek M.H.; Damiani F.; Lienhardt M.; Mazzanti F.; Paolini L./titolo:Efficient static analysis and verification of featured transition systems/doi:10.1007%2Fs10664-020-09930-8/rivista:Empirical software engineering (Online)/anno:2022/pagina_da:/pagina_a:/intervallo_pagine:/volume:27

مصطلحات موضوعية: Model checking, Behavioural model, Computer science, Software product lines, Static analysis, Deadlock, Featured transition systems, Formal verification, Product (mathematics), Transition system, Redundancy (engineering), Benchmark (computing), Formal specification, Software product line, Algorithm, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aff399b0783eef5849edbc716de8c6c9
https://openportal.isti.cnr.it/doc?id=people______::b0fc0a1e270d834c9f969267700c3a48

المؤلفون: Alessio Ferrari, Maurice H. Ter Beek

المصدر: ACM computing surveys 55 (2022). doi:10.1145/3520480
ACM computing surveys (2022). doi:10.1145/3520480
info:cnr-pdr/source/autori:Ferrari A.; ter Beek M.H./titolo:Formal Methods in railways: a systematic mapping study/doi:10.1145%2F3520480/rivista:ACM computing surveys/anno:2022/pagina_da:/pagina_a:/intervallo_pagine:/volume

مصطلحات موضوعية: FOS: Computer and information sciences, Model checking, formal methods, General Computer Science, F.4, railway systems, Railway signaling, Theoretical Computer Science, Computer Science - Software Engineering, theorem proving, Interlocking, Railway systems, A.1, D.2, Theorem proving, Model-based development, Formal methods, Semi-formal methods, Static analysis, model checking, railway signaling, Software Engineering (cs.SE), semi-formal methods, static analysis, interlocking, model-based development

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cefd89c278f6e5bb5d729d81a0d9f3c6
https://openportal.isti.cnr.it/doc?id=people______::fcff0569570f31f1be2de3db247b667c

المؤلفون: Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini, Giordano Scarso

المصدر: Science of computer programming
224 (2022). doi:10.1016/j.scico.2022.102879

مصطلحات موضوعية: Model checking, Featured Transition Systems, Modal Transition Systems, Static analysis, Variability, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f485529d2a65554360efcfbcdf36ab94
https://hdl.handle.net/2318/1882860

المؤلفون: Davide Basile, Maurice H. ter Beek

المصدر: Science of computer programming
221 (2022). doi:10.1016/j.scico.2022.102841

مصطلحات موضوعية: Service composition, Controller synthesis, Software quality, Behavioural contracts, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::916aaa53909d92c71ea8bd0fcd8c97e3
https://openportal.isti.cnr.it/doc?id=people______::f01bcdb68412b48921aceac73421ea81

المؤلفون: Franco Mazzanti, Luca Paolini, Michele Valfrè, Giordano Scarso, Michael Lienhardt, Ferruccio Damiani, Maurice H. ter Beek

المصدر: SPLC (B)
SPLC'21-25th ACM International Systems and Software Product Line Conference, pp. 24–27, Leicester, UK, 06-10/09/2021
info:cnr-pdr/source/autori:ter Beek M.H.; Mazzanti F.; Damiani F.; Paolini L.; Scarso G.; Valfrè M.; Lienhardt M./congresso_nome:SPLC'21-25th ACM International Systems and Software Product Line Conference/congresso_luogo:Leicester, UK/congresso_data:06-10%2F09%2F2021/anno:2021/pagina_da:24/pagina_a:27/intervallo_pagine:24–27

مصطلحات موضوعية: Model checking, SPL, Theoretical computer science, Computer science, MTS, Toolchain, software product lines, Feature (machine learning), tool support, Variability, Formal verification, VMC, formal verification, FTS, static analysis, variability, Deadlock, Static analysis, model checking, featured transition systems, configurable systems, Transition system, modal transition systems, State (computer science), variability models

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c2962abda4c9ab35f83e444467805007
https://doi.org/10.1145/3461002.3473071