Alain Beaulieu

24 papers A 1B 2C 4Journal 4Unranked 13
YearRankTypeTitle / Venue / Authors
2018 J jnl
Autonomous Robot System for Inspection of Defects in Civil Infrastructures.
IEEE Syst. J.
Romulo Gonçalves Lins, Sidney N. Givigi, Arthur D. M. Freitas, Alain Beaulieu
2018 J jnl
Model-Driven Development Architectures to Solve Complex Autonomous Robotics Problems.
IEEE Syst. J.
Alain Beaulieu, Sidney N. Givigi, Dany Ouellet, Jay Thor Turner
2017 — conf
Modelling and code generation for real-time embedded systems with UML-RT and papyrus-RT.
ICSE (Companion Volume)
Nicolas Hili, Juergen Dingel, Alain Beaulieu
2017 — conf
Network of wireless medical devices to assess the gait of rehabilitation in patients for walking and running.
SysCon
Alain Beaulieu, A. Lapointe, Sidney Nascimento Givigi, K. Sillins, A. Lavoie, K. Tilley, N. Le Bel
2017 J jnl
Robust and Efficient Multirobot 3-D Mapping Merging With Octree-Based Occupancy Grids.
IEEE Syst. J.
James P. Jessup, Sidney N. Givigi, Alain Beaulieu
2015 — conf
Development and implementation of a natural interface to control an industrial hydraulic robot arm.
SysCon
Romulo Gonçalves Lins, Eduardo Wisniewski Marcondes Gomes, Marcio Corazzim, Alain Beaulieu
2015 — conf
Hard Real-Time scheduling on a multicore platform.
SysCon
Guillaume Vigeant, Alain Beaulieu, Sidney N. Givigi
2014 — conf
Applying quadrotor aircraft to dynamic encirclement.
SysCon
Ahmed T. Hafez, Mohamad Iskandarani, Sidney N. Givigi, Shahram Yousefi, Alain Beaulieu
2014 B conf
Encirclement of moving target using linear model predictive control via feedback linearization.
SMC
Ahmed T. Hafez, Mohamad Iskandarani, Sidney Nascimento Givigi, Shahram Yousefi, Aboelmagd Noureldin, Alain Beaulieu
2014 — conf
Merging of octree based 3D occupancy grid maps.
SysCon
James P. Jessup, Sidney N. Givigi, Alain Beaulieu
2014 B conf
Robust and efficient multi-robot 3D mapping with octree based occupancy grids.
SMC
James P. Jessup, Sidney Nascimento Givigi, Alain Beaulieu
2014 — conf
Unmanned Aerial Vehicle formation flying using Linear Model Predictive Control.
SysCon
Mohamad Iskandarani, Sidney Nascimento Givigi, Giovanni Fusina, Alain Beaulieu
2014 C conf
Using Linear Model Predictive Control via Feedback Linearization for dynamic encirclement.
ACC
Ahmed T. Hafez, Mohamad Iskandarani, Sidney Nascimento Givigi, Shahram Yousefi, Camille Alain Rabbath, Alain Beaulieu
2013 C conf
Dynamic encirclement of a moving target using decentralized nonlinear Model Predictive Control.
ACC
Anthony J. Marasco, Sidney Nascimento Givigi, Camille Alain Rabbath, Alain Beaulieu
2013 C conf
Encirclement of multiple targets using model predictive control.
ACC
Ahmed T. Hafez, Anthony J. Marasco, Sidney Nascimento Givigi, Alain Beaulieu, Camille Alain Rabbath
2013 — conf
Implementation of a subsumption based architecture using model-driven development.
SysCon
Jay Thor Turner, Sidney N. Givigi, Alain Beaulieu
2013 — conf
Linear Model Predictive Control for the encirclement of a target using a quadrotor aircraft.
MED
Mohamad Iskandarani, Sidney N. Givigi, Camille Alain Rabbath, Alain Beaulieu
2013 C conf
Robust vehicle routing policies using local communications & sensing.
ACC
David Pike, Sidney Nascimento Givigi, Joshua A. Marshall, Adrian Taylor, Alain Beaulieu
2013 — conf
Systems approach for the development of a Silent Wireless Communicator.
SysCon
Flavio Stasi, Rip Pennell, Sidney N. Givigi, Alain Beaulieu
2013 — conf
Using multiple Quadrotor aircraft and Linear Model Predictive Control for the encirclement of a target.
SysCon
Mohamad Iskandarani, Ahmed T. Hafez, Sidney N. Givigi, Alain Beaulieu, Camille Alain Rabbath
2013 J jnl
Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems.
IEEE Trans. Software Eng.
Yann Moffett, Jürgen Dingel, Alain Beaulieu
2012 — conf
Validation of swarms of robots: theory and experimental results.
SoSE
Luis Mendez, Sidney Nascimento Givigi, Howard M. Schwartz, Alain Beaulieu, Gerard Pieris, Giovanni Fusina
2011 A conf
Verifying UML-RT Protocol Conformance Using Model Checking.
MoDELS
Yann Moffett, Alain Beaulieu, Jürgen Dingel
2008 — conf
Modeling Security Protocols using UML2.
MODSEC@MoDELS
Alain Beaulieu, Greg Phillips, Sandra Smith