Searching for authors named "Robi Malik" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
ON THE SET OF CERTAIN CONFLICTS OF A GIVEN LANGUAGE
- …ON THE SET OF CERTAIN CONFLICTS OF A GIVEN LANGUAGE Robi Malik Department of Computer Science…
- Cited by 1 (1 self) – Add To MetaCart
-
OF DISCRETE EVENT SYSTEMS VIA SYNTHESIS EQUIVALENCE
- … SYNTHESIS EQUIVALENCE Robi Malik & Hugo Flordal Working Paper: 05/2008 May 12, 2008 c○Robi Malik & Hugo…
- Add To MetaCart
-
Yet Another Approach to Compositional Synthesis of Discrete Event Systems
- …Yet Another Approach to Compositional Synthesis of Discrete Event Systems Robi Malik Department…
- Add To MetaCart
-
The Use of Language Projection for Compositional Verification of Discrete Event Systems
- … Robi Malik Department of Computer Science University of Waikato, Hamilton, New Zealand {siw4,robi…
- Add To MetaCart
-
Generalised Nonblocking
- …Generalised Nonblocking Robi Malik Department of Computer Science University of Waikato, Hamilton…
- Add To MetaCart
-
Towards a TIP 3.0 service-oriented architecture: Interaction design
- …, Robi Malik Department of Computer Science, University of Waikato {hinze, petra, robi…
- Cited by 2 (1 self) – Add To MetaCart
-
Interaction Design for a Mobile Context-Aware System Using Discrete Event Modelling
- … Annika Hinze Petra Malik Robi Malik Department of Computer Science, University of Waikato, Hamilton, New…
- Cited by 2 (0 self) – Add To MetaCart
-
Compositional Synthesis of Maximally Permissive Supervisors using Supervision Equivalence
- … Flordal ∗ Department of Signals and Systems Chalmers University of Technology Göteborg, Sweden Robi Malik…
- Cited by 1 (1 self) – Add To MetaCart
-
Conflicts and Fair Testing
- … CONFLICTS AND FAIR TESTING ROBI MALIK DAVID STREADER STEVE REEVES Department of Computer Science, University…
- Add To MetaCart
-
CONFLICTS AND PROJECTIONS
- …CONFLICTS AND PROJECTIONS Robi Malik ∗ , Hugo Flordal ∗∗ , Patrícia N. Pena ∗∗∗ ∗ The University…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
