Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Mousavi, MohammadReza"'
Publikováno v:
EPTCS 41, 2010, pp. 106-120
Sound behavioral equations on open terms may become unsound after conservative extensions of the underlying operational semantics. Providing criteria under which such equations are preserved is extremely useful; in particular, it can avoid the need t
Externí odkaz:
http://arxiv.org/abs/1011.6435
Autor:
Mousavi, MohammadReza, Salaün, Gwen
Publikováno v:
EPTCS 30, 2010
This volume contains the proceedings of FOCLASA 2010, the 9th International Workshop on the Foundations of Coordination Languages and Software Architectures. FOCLASA 2010 was held in Paris, France on July 30th, 2010 as a satellite event of the 21st I
Externí odkaz:
http://arxiv.org/abs/1007.4993
Autor:
Mousavi, MohammadReza
Publikováno v:
EPTCS 18, 2010, pp. 32-45
We re-examine the challenges concerning causality in the semantics of Esterel and show that they pertain to the known issues in the semantics of Structured Operational Semantics with negative premises. We show that the solutions offered for the seman
Externí odkaz:
http://arxiv.org/abs/1002.2868
Publikováno v:
In Theoretical Computer Science 2 November 2012 458:1-28
Autor:
Abeywickrama, Dhaminda B., Bennaceur, Amel, Chance, Greg, Demiris, Yiannis, Kordoni, Anastasia, Levine, Mark, Moffat, Luke, Moreau, Luc, Mousavi, Mohammadreza, Nuseibeh, Bashar, Ramamoorthy, Subramanian, Ringert, Jan Oliver, Wilson, James, Windsor, Shane, Eder, Kerstin
Publikováno v:
Abeywickrama, D B, Bennaceur, A, Chance, G, Demiris, Y, Kordoni, A, Levine, M, Moffat, L, Luc, M, Mousavi, M R, Nuseibeh, B, Ramamoorthy, S, Ringert, J O, Wilson, J S, Windsor, S P & Eder, K I 2023, ' On Specifying for Trustworthiness ', Communications of the ACM . https://doi.org/10.48550/arXiv.2206.11421
Abeywickrama, D B, Bennaceur, A, Chance, G, Demiris, Y, Kordoni, A, Levine, M, Moffat, L, Moreau, L, Mousavi, M, Nuseibeh, B, Ramamoorthy, S, Ringert, J O, Wilson, J, Windsor, S & Eder, K 2023, ' On Specifying for Trustworthiness ', COMMUNICATIONS OF THE ACM . https://doi.org/10.48550/arXiv.2206.11421
Abeywickrama, D B, Bennaceur, A, Chance, G, Demiris, Y, Kordoni, A, Levine, M, Moffat, L, Moreau, L, Mousavi, M, Nuseibeh, B, Ramamoorthy, S, Ringert, J O, Wilson, J, Windsor, S & Eder, K 2023, ' On Specifying for Trustworthiness ', COMMUNICATIONS OF THE ACM . https://doi.org/10.48550/arXiv.2206.11421
As autonomous systems are becoming part of our daily lives, ensuring their trustworthiness is crucial. There are a number of techniques for demonstrating trustworthiness. Common to all these techniques is the need to articulate specifications. In thi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::96068a1a770d10a3303a935ca272bd49
Publikováno v:
In Theoretical Computer Science 2011 412(28):3045-3071
Publikováno v:
In Information and Computation 2009 207(2):85-119
Publikováno v:
In Theoretical Computer Science 2007 373(3):238-272
Autor:
Mousavi, MohammadReza
Publikováno v:
In Electronic Notes in Theoretical Computer Science 29 September 2006 162:267-271
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.