Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Mousavi Mohammad Reza 1978 ) "

Sökning: WFRF:(Mousavi Mohammad Reza 1978 )

  • Resultat 1-10 av 41
  • [1]2345Nästa
Sortera/gruppera träfflistan
  • Aceto, Luca, et al. (författare)
  • A Rule Format for Unit Elements
  • 2009
  • Ingår i: The Equational Logic of Parallel Processes. - Eindhoven : Eindhoven University of Technology.
  • Rapport (övrigt vetenskapligt)abstract
    • <p>This paper offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the style of Plotkin. Namely, it proposes a generic rule format for SOS guaranteeing that certain constants act as left- or right-unit elements for a set of binary operators. We show the generality of our format by applying it to a wide range of operators from the literature on process calculi.</p>
  • Aceto, Luca, et al. (författare)
  • Decompositional Reasoning about the History of Parallel Processes
  • 2010
  • Ingår i: New Developments in Operational Semantics. - Eindhoven : Eindhoven University of Technology.
  • Rapport (övrigt vetenskapligt)abstract
    • <p>Decompositional reasoning aims at automatically decomposing a global property of a composite system into local properties of (possibly unknown) components. In concurrency theory, decompositional reasoning techniques date back to the seminal work of Larsen and Liu in the late 1980s and early 1990s. However, we are not aware of any such decomposition technique that applies to reasoning about the "past". In this paper, we address this problem and present a decomposition technique for Hennessy-Milner logic with past and its extension with recursively defined formulae. As a language for processes, we use a subset of Milner's CCS with parallel composition, non-deterministic choice, action prefixing and the inaction constant. We focus on developing decompositional reasoning techniques for parallel contexts in that language.</p>
  • Aceto, Luca, et al. (författare)
  • Exploiting Algebraic Laws to Improve Mechanized Axiomatizations
  • 2013
  • Ingår i: Meta-theory of Algebraic Process Theories. - Berlin : Springer Berlin/Heidelberg.
  • Konferensbidrag (refereegranskat)abstract
    • <p>In the field of structural operational semantics (SOS), there have been several proposals both for syntactic rule formats guaranteeing the validity of algebraic laws, and for algorithms for automatically generating ground-complete axiomatizations. However, there has been no synergy between these two types of results. This paper takes the first steps in marrying these two areas of research in the meta-theory of SOS and shows that taking algebraic laws into account in the mechanical generation of axiomatizations results in simpler axiomatizations. The proposed theory is applied to a paradigmatic example from the literature, showing that, in this case, the generated axiomatization coincides with a classic hand-crafted one. © 2013 Springer-Verlag Berlin Heidelberg.</p>
  • Aceto, Luca, et al. (författare)
  • On Rule Formats for Zero and Unit Elements
  • 2010
  • Ingår i: New Developments in Operational Semantics. - Eindhoven : Eindhoven University of Technology.
  • Rapport (övrigt vetenskapligt)abstract
    • <p>This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule format for unit elements developed by some of the authors. Examples of left and right zero, as well as unit, elements from the literature are shown to be checkable using the provided formats.</p>
  • Aceto, Luca, et al. (författare)
  • Rule Formats for Distributivity
  • 2010
  • Ingår i: New Developments in Operational Semantics. - Eindhoven : Eindhoven University of Technology.
  • Rapport (övrigt vetenskapligt)abstract
    • <p>This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats.</p>
  • Aichernig, Bernhard K., et al. (författare)
  • Model Learning and Model-Based Testing
  • 2018
  • Ingår i: Machine Learning for Dynamic Software Analysis : Potentials and Limits. - Heidelberg : Springer. - 978-3-319-96561-1 - 978-3-319-96562-8 ; s. 74-100
  • Konferensbidrag (refereegranskat)abstract
    • <p>We present a survey of the recent research efforts in integrating model learning with model-based testing. We distinguished two strands of work in this domain, namely test-based learning (also called test-based modeling) and learning-based testing. We classify the results in terms of their underlying models, their test purpose and techniques, and their target domains. © Springer International Publishing AG</p>
  • Atif, Muhammad, et al. (författare)
  • Reconstruction and verification of group membership protocols
  • 2010
  • Rapport (övrigt vetenskapligt)abstract
    • <p>In this paper, we present a process-algebraic specication of group membership protocols specified in [Y. Amir, D. Dolev, S. Kramer and D. Malki, Membership Algorithms for Multicast Communication Groups, Springer-Verlag, 1992]. In order to formalise the protocol and its properties we disambiguate the informal specification provided by the paper. This requires trying different possible interpretations in the formal model and checking the consistency of the assumption and formally verifying the correctness properties. We thus present a formal reconstruction of the membership algorithms and model-check our reconstruction.</p>
  • Beohar, Harsh, 1984-, et al. (författare)
  • Input-output conformance testing based on featured transition systems
  • 2014
  • Ingår i: Proceedings of the 29th Annual ACM Symposium on Applied Computing. - Association for Computing Machinery (ACM). - 978-1-4503-2469-4 ; s. 1272-1278
  • Konferensbidrag (refereegranskat)abstract
    • <p>We extend the theory of input-output conformance testing to the setting of software product lines. In particular, we allow for input-output featured transition systems to be used as the basis for generating test suites and test cases. We introduce refinement operators both at the level of models and at the level of test suites that allow for projecting them into a specific product configuration (or a product sub-line). We show that the two sorts of refinement are consistent and lead to the same set of test-cases. © Copyright 2014 ACM</p>
  • Beohar, Harsh, 1984-, et al. (författare)
  • Spinal test suites for software product lines
  • 2014
  • Ingår i: Proceedings : Ninth Workshop on <em>Model-Based Testing</em> (MBT 2014). - Sydney : Open Publishing Association. ; s. 44-55
  • Konferensbidrag (refereegranskat)abstract
    • <p>A major challenge in testing software product lines is efficiency. In particular, testing a product line should take less effort than testing each and every product individually. We address this issue in the context of input-output conformance testing, which is a formal theory of model-based testing. We extend the notion of conformance testing on input-output featured transition systems with the novel concept of spinal test suites. We show how this concept dispenses with retesting the common behavior among different, but similar, products of a software product line. © H. Beohar &amp; M.R. Mousavi.</p>
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 41
  • [1]2345Nästa
fritt online (9)
Typ av publikation
konferensbidrag (17)
rapport (8)
tidskriftsartikel (7)
proceedings (redaktörskap) (4)
doktorsavhandling (2)
bok (1)
visa fler...
bokkapitel (1)
recension (1)
visa färre...
Typ av innehåll
övrigt vetenskapligt (39)
refereegranskat (23)
Mousavi, Mohammad Re ... (40)
Aceto, Luca (6)
Reniers, Michel A., (6)
Ingólfsdóttir, Anna (5)
Cimini, Matteo, (3)
Noroozi, Neda, (3)
visa fler...
Varshosaz, Mahsa, 19 ... (3)
Goriac, Eugen-Ioan, (2)
Reniers, Michael A., (2)
Dechesne, Francien (2)
Mostowski, Wojciech, ... (2)
Taromirad, Masoumeh, ... (2)
Beohar, Harsh, 1984- ... (2)
Mosses, Peter D., (2)
Groote, Jan Friso (2)
Ravara, Antonio, (2)
Basten, Twan, (2)
Baier, Christel (1)
Mohaqeqi, Morteza, (1)
Birgisson, Arnar, (1)
Aichernig, Bernhard ... (1)
Tappler, Martin, (1)
Taha, Walid, 1972-, (1)
Khosravi, Ramtin, (1)
Atif, Muhammad, (1)
Cranen, Sjoerd, (1)
Castellani, Ilaria, (1)
Chaudron, Michel, (1)
Churchill, Martin, (1)
Gabbay, Murdoch J., (1)
Schaefer, Ina (1)
Orzan, Simona M., (1)
Montanari, Ugo (1)
Fragal, Vanderson Ha ... (1)
Simao, Adenilso, (1)
Endo, Andre Takeshi, (1)
Gebler, Daniel, (1)
Thum, Thomas, (1)
Hafemann Fragal, Van ... (1)
da Silva Simão, Aden ... (1)
Wasowski, Andrzej, P ... (1)
Hierons, Robert M., (1)
Thomsen, Michael Kir ... (1)
Turker, Uraz Cengiz, (1)
Keshishzadeh, Sarmen ... (1)
Mooij, Arjan, (1)
Kunze, Sebastian, 19 ... (1)
Le Guernic, Paul, (1)
Talpin, Jean-Pierre, (1)
Shukla, Sandeep Kuma ... (1)
visa färre...
Högskolan i Halmstad (41)
Engelska (41)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (39)
Teknik (2)


pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy