Alain Beaulieu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2008–2017
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ICSE | Modelling and code generation for real-time embedded systems with UML-RT and papyrus-RT. | Nicolas Hili, Juergen Dingel, Alain Beaulieu |
| 2014 | SMC | Encirclement of moving target using linear model predictive control via feedback linearization. | Ahmed T. Hafez, Mohamad Iskandarani, Sidney Nascimento Givigi, Shahram Yousefi, Aboelmagd Noureldin, Alain Beaulieu |
| 2014 | SMC | Robust and efficient multi-robot 3D mapping with octree based occupancy grids. | James P. Jessup, Sidney Nascimento Givigi, Alain Beaulieu |
| 2011 | MODELS | Verifying UML-RT Protocol Conformance Using Model Checking. | Yann Moffett, Alain Beaulieu, Jrgen Dingel |
| 2008 | MODELS | Modeling Security Protocols using UML2. | Alain Beaulieu, Greg Phillips, Sandra Smith |