Ter Beek, M. H.
An abstract is not available
See at: CNR ExploRA
Mciver A., Ter Beek M. H.
Source: Formal aspects of computing 33 (2021): 459–460. doi:10.1007/s00165-021-00559-y
DOI: 10.1007/s00165-021-00559-y
Metrics:
See at:
link.springer.com 
| ISTI Repository | ISTI Repository | CNR ExploRA
Maurice H. Ter Beek, Jetty Kleijn
NoneSource: Information processing letters (Print) 95 (2005): 487–495. doi:10.1016/j.ipl.2005.05.012
DOI: 10.1016/j.ipl.2005.05.012
Metrics:
See at:
Information Processing Letters | Information Processing Letters 
| www.sciencedirect.com | CNR ExploRA
Massink M., Bolognesi T., Latella D., Gnesi S., Maurice Ter Beek M. H.
No abstract avaible
See at: CNR ExploRA
Ter Beek M. H., Lluch Lafuente A.
Source: Journal of Logical and Algebraic Methods in Programming [online] 87 (2017). doi:10.1016/j.jlamp.2016.11.004
DOI: 10.1016/j.jlamp.2016.11.004
Metrics:
See at:
Journal of Logical and Algebraic Methods in Programming | ISTI Repository | www.sciencedirect.com | CNR ExploRA
Ter Beek M. H., Mciver A.
Source: Formal methods in system design 58 (2021): 1–4. doi:10.1007/s10703-021-00380-6
DOI: 10.1007/s10703-021-00380-6
Metrics:
See at:
ISTI Repository | link.springer.com | CNR ExploRA
Ter Beek M. H., Schaefer I.
Source: The Journal of systems and software 199 (2023). doi:10.1016/j.jss.2023.111622
DOI: 10.1016/j.jss.2023.111622
Metrics:
See at:
ISTI Repository | www.sciencedirect.com | CNR ExploRA
Monahan R., Ter Beek M. H.
Source: Formal aspects of computing 35 (2023): 1–2. doi:10.1145/3622995
DOI: 10.1145/3622995
Metrics:
See at:
dl.acm.org | ISTI Repository | CNR ExploRA
Ter Beek M. H., Sirjani M.
Source: Logical Methods in Computer Science 19 (2023).
See at:
lmcs.episciences.org | ISTI Repository | CNR ExploRA
Ter Beek M. H., Fantechi A., Semini L.
The Legacy of Stefania Gnesi.Source: From Software Engineering to Formal Methods and Tools, and Back, edited by ter Beek M. H.; Fantechi A.; Semini L., pp. 1–11. Berlin: Springer, 2019
DOI: 10.1007/978-3-030-30985-5_1
Metrics:
See at:
ISTI Repository | doi.org | link.springer.com | CNR ExploRA
Gnesi S., Latella D., Massink M., Mazzanti F., Sulova A., Ter Beek M. H.
No abstract avaible
See at: CNR ExploRA
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:
ISTI Repository | CNR ExploRA
Ter Beek M. H.
We demonstrate an experimental tool for modelling and analysing (behavioural) variability in product families modelled as Modal Transition Systems (MTSs).Source: Joint 9th International Conference on Integrated Formal Methods and 3rd International Conference on ASM, Alloy, B, VDM, and Z, pp. 26–30, Pisa, Italy, 18-21 June 2012
See at: CNR ExploRA
Ter Beek M. H., Gnesi S., Mazzanti F.
We demonstrate an experimental tool for the modeling and analysis of behavioral variability in product families.Source: 16th International Software Product Line Conference, pp. 242–245, Salvador, Bahia, Grazil, 2-7 September 2012
DOI: 10.1145/2364412.2364454
Metrics:
See at:
dl.acm.org | doi.org | CNR ExploRA
Ter Beek M. H., Gnesi S., Mazzanti F.
Researchers from the Formal Methods and Tools group of ISTI-CNR have developed a tool for the computer-aided verification of behavioural variability in product families.Source: ERCIM news 93 (2013): 51.
See at:
ercim-news.ercim.eu | CNR ExploRA
Schaefer I., Ter Beek M. H.
Track SummarySource: ISoLA 2014 - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. 6th International Symposium, pp. 253–256, Corfu, Greece, 8-11 October 2014
DOI: 10.1007/978-3-662-45234-9_18
Metrics:
See at:
doi.org | link.springer.com | CNR ExploRA
Gnesi S., Fantechi A., Ter Beek M. H., Botterweck G., Becker M.
An abstract is not availableSource: New York: ACM, Association for computing machinery, 2014
See at:
dl.acm.org | CNR ExploRA
Ter Beek M. H., Lisitsa A., Nemytykh A. P., Ravara A.
Source: Journal of Logical and Algebraic Methods in Programming [online] 85 (2016): 653–654. doi:10.1016/j.jlamp.2016.06.005
DOI: 10.1016/j.jlamp.2016.06.005
Metrics:
See at:
Journal of Logical and Algebraic Methods in Programming | ISTI Repository | www.sciencedirect.com | CNR ExploRA
Ter Beek M. H., Loreti M.
Source: ACM transactions on modeling and computer simulation 28 (2018): 8:1–8:4. doi:10.1145/3177772
DOI: 10.1145/3177772
Metrics:
See at:
ACM Transactions on Modeling and Computer Simulation | ISTI Repository | dl.acm.org | ACM Transactions on Modeling and Computer Simulation | CNR ExploRA
Ter Beek M. H., Fantechi A., Semini L.
This Festschrift contains 32 contributions by collaborators, colleagues, and friends of Stefania Gnesi to celebrate her 65th birthday.Source: Berlin: Springer, 2019
DOI: 10.1007/978-3-030-30985-5
Metrics:
See at:
link.springer.com | ISTI Repository | CNR ExploRA