Ter Beek, M. H.
An abstract is not available
See at: CNR ExploRA
Ter Beek M.
Source: ERCIM news 123 (2020): 5–5.
See at:
ercim-news.ercim.eu 
| ISTI Repository | 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
Mieke Massink, Giorgio Faconti, Maurice Ter Beek, Diego Latella
Not abstract available
See at: 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.
Source: ERCIM news 108 (2017): 9–9.
See at:
ercim-news.ercim.eu | ISTI Repository | 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., Mazzanti F.
We show how to use a UMC model of the on road assistance scenario of SENSORIA's Automotive case study, described in [BGKM08], and verify properties formulated in the service-oriented temporal logic SocL.Source: Project report, SENSORIA, 2010
Project(s): SENSORIA
See at:
ISTI Repository | CNR ExploRA
Ter Beek M., Lenzini G., Petrocchi M.
Researchers from two CNR Institutes in Pisa are studying ways in which a formal model of team automata can be exploited to specify and analyse security-related issues.Source: ERCIM news 63 (2005): 38–39.
See at: 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