|
Search the dblp DataBase
Ridha Khédri:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ryszard Janicki, Ridha Khédri
Remarks on Mereology of Relations. [Citation Graph (0, 0)][DBLP] RelMiCS, 2000, pp:133-140 [Conf]
- Jules Desharnais, Ridha Khédri, Ali Mili
Towards a uniform relational semantics for tabular expressions. [Citation Graph (0, 0)][DBLP] RelMiCS, 1998, pp:53-57 [Conf]
- Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili
Integration of Sequential Scenarios. [Citation Graph (0, 0)][DBLP] ESEC / SIGSOFT FSE, 1997, pp:310-326 [Conf]
- Peter Höfner, Ridha Khédri, Bernhard Möller
Feature Algebra. [Citation Graph (0, 0)][DBLP] FM, 2006, pp:300-315 [Conf]
- Ridha Khédri, Imen Bourguiba
Formal Derivation of Functional Architectural Design. [Citation Graph (0, 0)][DBLP] SEFM, 2004, pp:356-265 [Conf]
- Ridha Khédri, Imen Bourguiba
Requirements Scenarios Based System-Testing. [Citation Graph (0, 0)][DBLP] SEKE, 2004, pp:252-257 [Conf]
- Ridha Khédri
Requirements Scenarios Formalization Technique: N Versions Towards One Good Version. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal]
- Issam Al-Azzoni, Douglas G. Down, Ridha Khédri
Modeling and Verification of Cryptographic Protocols Using Coloured Petri Nets and Design/CPN. [Citation Graph (0, 0)][DBLP] Nord. J. Comput., 2005, v:12, n:3, pp:200-228 [Journal]
- Spencer Smith, Lei Lai, Ridha Khédri
Requirements Analysis for Engineering Computation: A Systematic Approach for Improving Reliability. [Citation Graph (0, 0)][DBLP] Reliable Computing, 2007, v:13, n:1, pp:83-107 [Journal]
- Ryszard Janicki, Ridha Khédri
On a formal semantics of tabular expressions. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2001, v:39, n:2-3, pp:189-213 [Journal]
- Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili
Integration of Sequential Scenarios. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1998, v:24, n:9, pp:695-708 [Journal]
Algebraic View Reconciliation. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|