193 result(s)
Page Size: 10, 20, 50
Export: bibtex, xml, json, csv
Order by:

CNR Author operator: and / or
more
Typology operator: and / or
Language operator: and / or
Date operator: and / or
more
Rights operator: and / or
2003 Doctoral thesis Unknown

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 People


2005 Article Unknown

Modularity for teams of I/O automata
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

See at: DOI Resolver | CNR People | www.sciencedirect.com


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 People


2008 Other Unknown

XXL - CNR/RSTL
Massink M., Bolognesi T., Latella D., Gnesi S., Maurice Ter Beek M. H.
No abstract avaible

See at: CNR People


2017 Article Unknown

Automated specification and verification of Web-based applications
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

See at: DOI Resolver | CNR People | www.sciencedirect.com


2008 Other Unknown

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 People


2004 Other Unknown

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 People


2010 Report Unknown

Sensoria - Manual for using the UMC model of the automotive case study
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.Project(s): SENSORIA

See at: CNR People


2010 Report Unknown

Sensoria - Manual for using the UMC model of the finance case study
Ter Beek M., Mazzanti F.
We show how to use a UMC model of the credit request scenario of SENSORIA's Finance case study, described in detail in [BM10], and verify properties formulated in the service-oriented temporal logic SocL.Project(s): SENSORIA

See at: CNR People


2005 Article Unknown

Contributions of team automata in security
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 People


2012 Conference object Unknown

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).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 People


2012 Conference object Unknown

Demonstration of a model checker for the analysis of product variability.
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

See at: dl.acm.org | DOI Resolver | CNR People


2013 Article Unknown

VMC: a tool for the analysis of variability in software product lines
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 People


2014 Conference object Unknown

Formal methods and analyses in software product line engineering (Track Summary)
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

See at: DOI Resolver | link.springer.com | CNR People


2014 Book Unknown

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 availableSource: New York: ACM, Association for computing machinery, 2014

See at: dl.acm.org | CNR People


2016 Article Unknown

Automated verification of programs and Web systems
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

See at: DOI Resolver | CNR People | www.sciencedirect.com


2018 Article Open Access OPEN

Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (Forecast)
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

See at: ISTI Repository Open Access | dl.acm.org | DOI Resolver | CNR People


2007 Other Unknown

SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI)
Gnesi S., Latella D., Massink M., Ter Beek M., Franco Mazzanti F.
The aim of SENSORIA is to develop a novel comprehensive approach to the engineering of software systems for service-oriented overlay computers where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach.

See at: CNR People


2003 Report Unknown

Team automata satisfying compositionality
Ter Beek M. H., Kleijn J.
A team automaton is said to satisfy compositionality if its behaviour can be described in terms of the behaviour of its constituting component automata. As an initial investigation of the conditions under which team automata satisfy compositionality, we study their computations and behaviour in relation to those of their constituting component automata. We show that the construction of team automata according to certain natural types of synchronization guarantees compositionality.

See at: CNR People


2004 Other Unknown

Team Automata for Security Analysis
Ter Beek M., Lenzini G., Petrocchi M.
We show that team automata (TA) are well suited for security analysis by reformulating the Generalized Non-Deducibility on Compositions (GNDC) schema in terms of TA. We then use this to show that integrity is guaranteed for a case study in which TA model an instance of the Efficient Multi-chained Stream Signature (EMSS) protocol.

See at: matrix.iei.pi.cnr.it | CNR People