| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 4 |      | Pierre Konopacki, Hakim Belhaouari, Marc Frappier, Régine Laleau: Specification and Verification of Access Control Policies in EB3SEC: Work in Progress. FPS 2011: 227-233 |
| 2008 | ||
| 3 | | Hakim Belhaouari, Frédéric Peschanski: Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach. HASE 2008: 219-228 |
| 2 | | Hakim Belhaouari, Frédéric Peschanski: A Constraint Logic Programming Approach to Automated Testing. ICLP 2008: 754-758 |
| 1 | | Hakim Belhaouari, Frédéric Peschanski: A Lightweight Container Architecture for Runtime Verification. RV 2008: 173-187 |
| 1 | Marc Frappier | [4] |
| 2 | Pierre Konopacki | [4] |
| 3 | Régine Laleau (Regine Laleau) | [4] |
| 4 | Frédéric Peschanski | [1] [2] [3] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page