Page 1 of 15

2021 Journal article Open Access

Editorial
Mciver A, Ter Beek Mh
Source: FORMAL ASPECTS OF COMPUTING, vol. 33, pp. 459-460

2014 Conference article Restricted

Formal methods and analyses in software product line engineering (Track Summary)
Schaefer I, Ter Beek M H
Track Summary

See at: CNR IRIS Restricted | CNR IRIS | link.springer.com

2003 Other Metadata Only Access

Team automata. A formal approach to the modeling of collaboration between system components
Ter Beek, M H
An abstract is not available

See at: CNR IRIS Restricted

2020 Other Open Access

25th International Conference on Formal Methods for Industrial Critical Systems
Ter Beek M
Source: ERCIM NEWS, vol. 123, p. 5

See at: ercim-news.ercim.eu Open Access | CNR IRIS | ISTI Repository | CNR IRIS Restricted

2023 Journal article Open Access

Systems and software product lines of the future
Ter Beek Mh, Schaefer I
Source: THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 199

See at: CNR IRIS Open Access | ISTI Repository | www.sciencedirect.com | CNR IRIS Restricted | CNR IRIS

2007 Other Unknown

FAERUS, nell'ambito di RESIST, EU contr. n. 026764
Mieke Massink, Giorgio Faconti, Maurice Ter Beek, Diego Latella
Not abstract available

See at: CNR ExploRA

2005 Journal article Restricted

Modularity for teams of I/O automata
Ter Beek M. H., Kleijn J.
NoneSource: INFORMATION PROCESSING LETTERS, vol. 95 (issue 5), pp. 487-495

See at: CNR IRIS Restricted | CNR IRIS | www.sciencedirect.com

2012 Conference article Restricted

The Variability Model Checker VMC.
Ter Beek M H
We demonstrate an experimental tool for modelling and analysing (behavioural) variability in product families modelled as Modal Transition Systems (MTSs).

See at: CNR IRIS Restricted | CNR IRIS

2014 Book Open Access

Proceedings of the 18th International Software Product Line Conference - Volume 2
Gnesi S, Fantechi A, Ter Beek M H, Botterweck G, Becker M
An abstract is not available

See at: dl.acm.org Open Access | CNR IRIS | CNR IRIS Restricted

2016 Journal article Open Access

Automated verification of programs and Web systems
Ter Beek M. H., Lisitsa A., Nemytykh A. P., Ravara A.
Source: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. 85 (issue 5), pp. 653-654

See at: CNR IRIS Open Access | ISTI Repository | www.sciencedirect.com | CNR IRIS Restricted

2017 Journal article Open Access

Automated specification and verification of Web-based applications
Ter Beek M H, Lluch Lafuente A
Source: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. 87

See at: CNR IRIS Open Access | ISTI Repository | www.sciencedirect.com | CNR IRIS Restricted | CNR IRIS

2019 Contribution to book Open Access

The Legacy of Stefania Gnesi: From Software Engineering to Formal Methods and Tools, and Back
Ter Beek M. H., Fantechi A., Semini L.
The Legacy of Stefania Gnesi.

See at: CNR IRIS Open Access | link.springer.com | ISTI Repository | CNR IRIS Restricted | CNR IRIS

2020 Journal article Open Access

Preface to Special issue dedicated to Jetty Kleijn on the occasion of her 65th birthday
Ter Beek M. H., Koutny M., Rozenberg G.
Source: FUNDAMENTA INFORMATICAE, vol. 175 (issue 1-4), pp. v-viii

See at: content.iospress.com Open Access | CNR IRIS | ISTI Repository | CNR IRIS Restricted

2017 Other Open Access

Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems
Ter Beek M
Source: ERCIM NEWS, vol. 108, p. 9

See at: ercim-news.ercim.eu Open Access | CNR IRIS | ISTI Repository | CNR IRIS Restricted

2021 Journal article Open Access

Formal methods: practical applications and foundations
Ter Beek Mh, Mciver A
Source: FORMAL METHODS IN SYSTEM DESIGN, vol. 58 (issue 1-2), pp. 1-4

See at: CNR IRIS Open Access | link.springer.com | ISTI Repository | CNR IRIS Restricted | CNR IRIS

2023 Journal article Open Access

Introduction to the special collection from iFM 2022
Monahan R, Ter Beek Mh
Source: FORMAL ASPECTS OF COMPUTING, vol. 35 (issue 3), pp. 1-2

See at: dl.acm.org Open Access | CNR IRIS | ISTI Repository | CNR IRIS Restricted

2023 Journal article Open Access

Preface. Selected papers of the 24th international conference on coordination models and languages (COORDINATION 2022)
Ter Beek Mh, Sirjani M
Source: LOGICAL METHODS IN COMPUTER SCIENCE, vol. 19

See at: CNR IRIS Open Access | lmcs.episciences.org | ISTI Repository | CNR IRIS Restricted

2024 Conference article Restricted

Product lines of dataflows: Extended Abstract
Lienhardt M., Ter Beek M. H., Damiani F.
This one-page document summarizes a paper published in JSS [1].

See at: dl.acm.org Restricted | CNR IRIS | CNR IRIS

2008 Other Metadata Only Access

SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI)
Gnesi S, Latella D, Massink M, Mazzanti F, Sulova A, Ter Beek M H
No abstract avaible

See at: CNR IRIS Restricted

2004 Other Open Access

Modularity for Teams of I/O Automata
Ter Beek M H, Kleijn J
It is shown how Input/Output automata fit in the framework of team automata, thus making it possible to view certain notions and results regarding their modular structure as special instances of more general observations.

See at: CNR IRIS Open Access | ISTI Repository | CNR IRIS Restricted