logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Maurice H. ter Beek

consiglio nazionale delle ricerche (cnr)

29H-index
265Paper Count
3.0KCitation Count
Published Papers 13
Publication Date
logo
Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System
errFORMAL ASPECTS OF COMPUTING
IF1.4
err2025-12-01
err0
PREAI
errPassler, Juliane; Beek, Maurice H. Ter; Damiani, Ferruccio; Dubslaff, Clemens; Johnsen, Einar Broch; Tarifa, Silvia Lizeth Tapia
errShare
errSave
Review on Formal Methods for Software Engineering: Languages, Methods, Application Domains
errFORMAL ASPECTS OF COMPUTING
IF1.4
err2025-12-01
err0
PREAI
errBeek, Maurice H. Ter
errShare
errSave
Model transformation and property preservation in rigorous software development: A systematic literature review
errJournal of Systems and Software
IF4.1
err2025-06-16
err0
errOAAI
errGullelala Jadoon; Maurice H. ter Beek; Alessio Ferrari
errShare
errSave
Analysing Self-Adaptive Systems as Software Product Lines
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2025-04-01
err0
PREAI
errPassler, Juliane; Beek, Maurice H. ter; Damiani, Ferruccio; Johnsen, Einar Broch; Tarifa, S. Lizeth Tapia
errShare
errSave
Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2025-02-01
err0
PREAI
errBroccia, Giovanna; ter Beek, Maurice H.; Lafuente, Alberto Lluch; Spoletini, Paola; Fantechi, Alessandro; Ferrari, Alessio
errShare
errSave
Product lines of dataflows
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2024-04-01
err2
errOAAI
errLienhardt, Michael; Beek, Maurice H. ter; Damiani, Ferruccio
errShare
errSave
Systems and software product lines of the future
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2023-05-01
err0
PREAI
errter Beek, Maurice H.; Schaefer, Ina
errShare
errSave
Formal Methods in Railways: A Systematic Mapping Study
errACM COMPUTING SURVEYS
IF28
err2022-11-21
err21
errOAAI
errFerrari, Alessio; Ter Beek, Maurice H.
errShare
errSave
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2022-11-01
err25
PREAI
errFerrari, Alessio; Mazzanti, Franco; Basile, Davide; ter Beek, Maurice H.
errShare
errSave
Static detection of equivalent mutants in real-time model-based mutation testing An Empirical Evaluation
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2022-09-20
err8
errOAAI
errBasile, Davide; ter Beek, Maurice H.; Lazreg, Sami; Cordy, Maxime; Legay, Axel
errShare
errSave
Efficient static analysis and verification of featured transition systems
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2021-10-23
err15
errOAAI
errter Beek, Maurice H.; Damiani, Ferruccio; Lienhardt, Michael; Mazzanti, Franco; Paolini, Luca
errShare
errSave
Quantitative Security Risk Modeling and Analysis with RisQFLan
errCOMPUTERS & SECURITY
IF5.4
err2021-10-01
err7
errOAAI
errter Beek, Maurice H.; Legay, Axel; Lafuente, Alberto Lluch; Vandin, Andrea
errShare
errSave
A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2020-03-01
err30
errOAAI
errter Beek, Maurice H.; Legay, Axel; Lafuente, Alberto Lluch; Vandin, Andrea
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
I
Ina Schaefer
H-index: 39 · Papers: 402
A
Axel Legay
H-index: 39 · Papers: 536
A
Alessandro Fantechi
H-index: 33 · Papers: 238
A
Alessio Ferrari
H-index: 32 · Papers: 202
A
Alberto Lluch Lafuente
H-index: 27 · Papers: 182
View more