State identification for labeled transition systems with inputs and outputs

Autor: Bos, P. van den, Vaandrager, F.W., Arbab, F., Jongmans, S.-S.

Publikováno v: Arbab, F.; Jongmans, S.-S. (ed.), Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019. Proceedings, 191-212. Cham : Springer
STARTPAGE=191;ENDPAGE=212;ISSN=0302-9743;TITLE=Arbab, F.; Jongmans, S.-S. (ed.), Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019. Proceedings
Science of Computer Programming, 209, pp. 1-24
Science of Computer Programming, 209, 1-24
Arbab, F.; Jongmans, S.-S. (ed.), Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019. Proceedings, pp. 191-212
Science of computer programming, 209:102678. Elsevier

For Finite State Machines (FSMs) a rich testing theory has been developed to discover aspects of their behavior and ensure their correct functioning. Although this theory is widely used, e.g., to check conformance of protocol implementations, its app

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9603ba0c097dda98f075057a1d143c62
https://doi.org/10.1016/j.scico.2021.102678

Treo: Textual Syntax for Reo Connectors

Autor: Dokter, K.P.C., Arbab, F., Bliudze S., Bensalem S.

Publikováno v: MeTRiD@ETAPS
Electronic Proceedings in Theoretical Computer Science, Vol 272, Iss Proc. MeTRiD 2018, Pp 121-135 (2018)
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 121-135
STARTPAGE=121;ENDPAGE=135;TITLE=Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design

Reo is an interaction-centric model of concurrency for compositional specification of communication and coordination protocols. Formal verification tools exist to ensure correctness and compliance of protocols specified in Reo, which can readily be (

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d7381aca6d7179cecccada0c748e5782

Coordination of Mobile Components

Autor: Arbab, F.

Publikováno v: In Electronic Notes in Theoretical Computer Science August 2001 54:1-16

A transition system semantics for the control-driven coordination language M ANIFOLD

Autor: Bonsangue, M.M. ^*, Arbab, F., de Bakker, J.W., Rutten, J.J.M.M., Scutellà, A., Zavattaro, G.

Publikováno v: In Theoretical Computer Science 2000 240(1):3-47

Specification guidelines to avoid the state space explosion problem

Autor: Groote, J.F., Kouters, T.W.D.M., Osaiweran, A.A.H., Arbab, F., Sirjani, M.

Publikováno v: Fundamentals of Software Engineering ISBN: 9783642293191
FSEN
Fundamentals of Software Engineering (4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011. Revised Selected Papers), 112-126
STARTPAGE=112;ENDPAGE=126;TITLE=Fundamentals of Software Engineering (4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011. Revised Selected Papers)

During the last two decades we modelled the behaviour of a large number of systems. We noted that different styles of modelling had quite an effect on the size of the state spaces of the modelled system. The differences were so substantial that some

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fc1f184712a9ff7bbef4156fdcc9865b
https://doi.org/10.1007/978-3-642-29320-7_8