 | 2009 |
|---|
| 11 |       | Daniel Knorreck,
Ludovic Apvrille,
Renaud Pacalet:
Fast Simulation Techniques for Design Space Exploration.
TOOLS (47) 2009: 308-327 |
| 2008 |
|---|
| 10 | | Rashid Muhammad,
Ludovic Apvrille,
Renaud Pacalet:
Application Specific Processors for Multimedia Applications.
CSE 2008: 109-116 |
| 9 | | Rashid Muhammad,
Ludovic Apvrille,
Renaud Pacalet:
Evaluation of ASIPs Design with LISATek.
SAMOS 2008: 177-186 |
| 2007 |
|---|
| 8 | | Solange Ahumada,
Ludovic Apvrille,
Tomás Barros,
Antonio Cansado,
Eric Madelaine,
Emil Salageanu:
Specifying Fractal and GCM Components with UML.
SCCC 2007: 53-62 |
| 2006 |
|---|
| 7 | | Muhammad Waseem,
Ludovic Apvrille,
Rabéa Ameur-Boulifa,
Sophie Coudert,
Renaud Pacalet:
Abstract Application Modeling for System Design Space Exploration.
DSD 2006: 331-337 |
| 6 | | Ludovic Apvrille,
Pierre de Saqui-Sannes,
Ferhat Khendek:
TURTLE-P: a UML profile for the formal validation of critical and distributed systems.
Software and System Modeling 5(4): 449-466 (2006) |
| 2004 |
|---|
| 5 | | Ludovic Apvrille,
Pierre de Saqui-Sannes,
Patrick Sénac,
Christophe Lohr:
Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System.
Autom. Softw. Eng. 11(2): 167-191 (2004) |
| 4 | | Ludovic Apvrille,
Jean-Pierre Courtiat,
Christophe Lohr,
Pierre de Saqui-Sannes:
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit.
IEEE Trans. Software Eng. 30(7): 473-487 (2004) |
| 2003 |
|---|
| 3 | | Christophe Lohr,
Ludovic Apvrille,
Pierre de Saqui-Sannes,
Jean-Pierre Courtiat:
New Operators for the TURTLE Real-Time UML Profile.
FMOODS 2003: 214-228 |
| 2001 |
|---|
| 2 | | Ludovic Apvrille,
Pierre de Saqui-Sannes,
Christophe Lohr,
Patrick Sénac,
Jean-Pierre Courtiat:
A New UML Profile for Real-Time System Formal Design and Validation.
UML 2001: 287-301 |
| 2000 |
|---|
| 1 | | Ludovic Apvrille,
Laurent Dairaine,
Patrick Sénac,
Luis Rojas-Cardenas,
Michel Diaz:
Implementing a User Level Multimedia Transport Protocol in Java.
ISCC 2000: 410-416 |
