Félix Ingrand
Orcid: 0000-0003-2822-0905Affiliations:
- LAAS, Toulouse, France
According to our database1,
Félix Ingrand
authored at least 55 papers
between 1989 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
2025
0
1
2
3
4
5
1
1
1
1
1
1
1
1
1
1
1
2
1
1
1
2
1
1
2
1
1
3
1
1
1
1
1
1
3
1
4
1
2
2
1
1
2
1
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2025
SoftwareX, 2025
2024
2023
Robotics Auton. Syst., 2023
2022
2021
Hippo: A formal-model execution engine to control and verify critical real-time systems.
J. Syst. Softw., 2021
2020
CoRR, 2020
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020
Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume III: Interfaces and Applications of Artificial Intelligence, 2020
2019
Proceedings of the Model Checking Software - 26th International Symposium, 2019
Proceedings of the 3rd IEEE International Conference on Robotic Computing, 2019
2018
CoRR, 2018
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018
2017
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017
2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Formal Methods and Software Engineering, 2016
Proceedings of the 12th European Dependable Computing Conference, 2016
2015
A Verifiable and Correct-by-Construction Controller for Robots in Human Environments.
Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction, 2015
2014
AI Commun., 2014
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014
2013
CoRR, 2013
2012
Robotics Auton. Syst., 2012
Intell. Serv. Robotics, 2012
Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems.
Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012
2011
A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems.
Proceedings of the Software Composition - 10th International Conference, 2011
2010
Proceedings of the IEEE International Conference on Robotics and Automation, 2010
2009
2008
Proceedings of the ECAI 2008, 2008
2007
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007
2006
Learning Behaviors Models for Robot Execution Control.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
2004
Proceedings of the 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, Sendai, Japan, September 28, 2004
Proceedings of the 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, Sendai, Japan, September 28, 2004
Robel: Synthesizing and Conrolling Complex Robust Robot Behaviors.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004
2002
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002
2001
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001
Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001
2000
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2000
Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000
1999
Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999
1998
A Scheme for Coordinating Multi-robots Planning Activities and Plans Execution.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998
1997
How to solve deadlock situations within the plan-merging paradigm for multi-robot cooperation.
Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97, 1997
Proceedings of the 1997 IEEE International Conference on Robotics and Automation, 1997
1996
Proceedings of the 1996 IEEE International Conference on Robotics and Automation, 1996
1995
A General Framework For Multi-Robot Cooperation and Its Implementation on a Set of Three Hilare Robots.
Proceedings of the Experimental Robotics IV, The 4th International Symposium, Stanford, California, USA, June 30, 1995
Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems, 1995
Proceedings of the 1995 International Conference on Robotics and Automation, 1995
1992
1989
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989