 | 2008 |
|---|
| 12 |       | Peter Höfner,
Ridha Khédri,
Bernhard Möller:
Algebraic View Reconciliation.
SEFM 2008: 85-94 |
| 2007 |
|---|
| 11 | | Spencer Smith,
Lei Lai,
Ridha Khédri:
Requirements Analysis for Engineering Computation: A Systematic Approach for Improving Reliability.
Reliable Computing 13(1): 83-107 (2007) |
| 2006 |
|---|
| 10 | | Peter Höfner,
Ridha Khédri,
Bernhard Möller:
Feature Algebra.
FM 2006: 300-315 |
| 2005 |
|---|
| 9 |  | Issam Al-Azzoni,
Douglas G. Down,
Ridha Khédri:
Modeling and Verification of Cryptographic Protocols Using Coloured Petri Nets and Design/CPN.
Nord. J. Comput. 12(3): 200-228 (2005) |
| 2004 |
|---|
| 8 | | Ridha Khédri,
Imen Bourguiba:
Formal Derivation of Functional Architectural Design.
SEFM 2004: 356-265 |
| 7 | | Ridha Khédri,
Imen Bourguiba:
Requirements Scenarios Based System-Testing.
SEKE 2004: 252-257 |
| 2001 |
|---|
| 6 | | Ridha Khédri:
Requirements Scenarios Formalization Technique: N Versions Towards One Good Version.
Electr. Notes Theor. Comput. Sci. 44(3): (2001) |
| 5 | | Ryszard Janicki,
Ridha Khédri:
On a formal semantics of tabular expressions.
Sci. Comput. Program. 39(2-3): 189-213 (2001) |
| 2000 |
|---|
| 4 | | Ryszard Janicki,
Ridha Khédri:
Remarks on Mereology of Relations.
RelMiCS 2000: 133-140 |
| 1998 |
|---|
| 3 | | Jules Desharnais,
Ridha Khédri,
Ali Mili:
Towards a uniform relational semantics for tabular expressions.
RelMiCS 1998: 53-57 |
| 2 | | Jules Desharnais,
Marc Frappier,
Ridha Khédri,
Ali Mili:
Integration of Sequential Scenarios.
IEEE Trans. Software Eng. 24(9): 695-708 (1998) |
| 1997 |
|---|
| 1 | | Jules Desharnais,
Marc Frappier,
Ridha Khédri,
Ali Mili:
Integration of Sequential Scenarios.
ESEC / SIGSOFT FSE 1997: 310-326 |
