Ludovic Apvrille

	2011
19		Gabriel Pedroza, Muhammad Sabir Idrees, Ludovic Apvrille, Yves Roudier: A Formal Methodology Applied to Secure Over-the-Air Automotive Applications. VTC Fall 2011: 1-5
18		Hendrik Schweppe, Yves Roudier, Benjamin Weyl, Ludovic Apvrille, Dirk Scheuermann: Car2X Communication: Securing the Last Meter - A Cost-Effective Approach for Ensuring Trust in Car2X Applications Using In-Vehicle Symmetric Cryptography. VTC Fall 2011: 1-5
17		Daniel Knorreck, Ludovic Apvrille, Pierre de Saqui-Sannes: TEPE: a SysML language for time-constrained property modeling and formal verification. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)
16		Ludovic Apvrille, Pierre de Saqui-Sannes: Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons. Technique et Science Informatiques 30(3): 309-337 (2011)
	2010
15		Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet: Formal System-level Design Space Exploration. NOTERE 2010: 1-8
14		Ludovic Apvrille, Ahlem Mifdaoui, Pierre de Saqui-Sannes: Real-Time Distributed Systems Dimensioning and Validation: The TURTLE Method. Stud. Inform. Univ. 8(3): 47-69 (2010)
	2009
13		Chafic Jaber, Andreas Kanstein, Ludovic Apvrille, Amer Baghdadi, Patricia Le Moenner, Renaud Pacalet: High-Level System Modeling for Rapid HW/SW Architecture Exploration. IEEE International Workshop on Rapid System Prototyping 2009: 88-94
12		Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet: Fast Simulation Techniques for Design Space Exploration. TOOLS (47) 2009: 308-327
	2008
11		Rashid Muhammad, Ludovic Apvrille, Renaud Pacalet: Application Specific Processors for Multimedia Applications. CSE 2008: 109-116
10		Rashid Muhammad, Ludovic Apvrille, Renaud Pacalet: Evaluation of ASIPs Design with LISATek. SAMOS 2008: 177-186
	2007
9		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
8		Muhammad Waseem, Ludovic Apvrille, Rabéa Ameur-Boulifa, Sophie Coudert, Renaud Pacalet: Abstract Application Modeling for System Design Space Exploration. DSD 2006: 331-337
7		Ludovic Apvrille, Pierre de Saqui-Sannes, Renaud Pacalet, Axelle Apvrille: Un environnement de conception de systèmes distribués basé sur UML. Annales des Télécommunications 61(11-12): 1347-1368 (2006)
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

Coauthor Index

1	Solange Ahumada	[9]
2	Rabéa Ameur-Boulifa (Rabéa Boulifa)	[8]
3	Axelle Apvrille	[7]
4	Amer Baghdadi	[13]
5	Tomás Barros	[9]
6	Antonio Cansado	[9]
7	Sophie Coudert	[8]
8	Jean-Pierre Courtiat	[2] [3] [4]
9	Laurent Dairaine	[1]
10	Michel Diaz	[1]
11	Muhammad Sabir Idrees	[19]
12	Chafic Jaber	[13]
13	Andreas Kanstein	[13]
14	Ferhat Khendek	[6]
15	Daniel Knorreck	[12] [15] [17]
16	Christophe Lohr	[2] [3] [4] [5]
17	Eric Madelaine	[9]
18	Ahlem Mifdaoui	[14]
19	Patricia Le Moenner	[13]
20	Rashid Muhammad	[10] [11]
21	Renaud Pacalet	[7] [8] [10] [11] [12] [13] [15]
22	Gabriel Pedroza	[19]
23	Luis Rojas-Cardenas	[1]
24	Yves Roudier	[18] [19]
25	Emil Salageanu	[9]
26	Pierre de Saqui-Sannes	[2] [3] [4] [5] [6] [7] [14] [16] [17]
27	Dirk Scheuermann	[18]
28	Hendrik Schweppe	[18]
29	Patrick Sénac	[1] [2] [5]
30	Muhammad Waseem	[8]
31	Benjamin Weyl	[18]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page