Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Gabriel Brat
Pierre Drouin
Tidjani Négadi
Jhonathan Pinzon
Liangliang Shang
Giovanni Venturelli
Chen Ma
Jing-Sheng Wong
Beata Beigman Klebanov
Radu Timofte
Home
/
Author
/
L. APVRILLE
Author Info
Open Visualization
Name
Affiliation
Papers
L. APVRILLE
GET/ENST/COMELEC/Lab SoC, Institut Eurecom BP 193, 2229 route des crè/tes, 06904 Sophia, Antipolis Cedex, France. <rfc822>apvrille@ece.concordia.ca</rfc822>
4
Collaborators
Citations
PageRank
13
18
2.59
Referers
Referees
References
42
111
55
Search Limit
100
111
Publications (4 rows)
Collaborators (13 rows)
Referers (42 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Real-Time and Embedded System Verification Based on Formal Requirements
3
0.46
2006
Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System
3
0.57
2004
A New UML Profile for Real-Time System Formal Design and Validation
10
1.14
2001
Implementing a User Level Multimedia Transport Protocol in Java
2
0.41
2000
1