Vincent Louis

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 3

Top Topics

Embedded Software

Safety Critical

Top Venues

Publications

Claude Baron, Vincent Louis
Framework and tooling proposals for Agile certification of safety-critical embedded software in avionic systems. Comput. Ind. 148 (2023)
Kevin Deniswara, Jonathan Theodore Kesuma, Vincent Louis
Forensic Accounting on Indonesian Energy Sector with Beneish M-Score Model Analysis. ICEEG (2022)
Claude Baron, Vincent Louis
Towards a continuous certification of safety-critical avionics software. Comput. Ind. 125 (2021)
Mukesh Barange, Pierre De Loor, Vincent Louis, Ronan Querrec, Julien Soler, Thanh-Hai Trinh, Eric Maisel, Pierre Chevaillier
Get Involved in an Interactive Virtual Tour of Brest Harbour: Follow the Guide and Participate. IVA (2011)
Carole Adam, Vincent Louis, Fabrice Bourge, Sébastien Picant
A Multi-agent Mediation Platform for Automated Exchanges between Businesses. ATOP@AAMAS (2010)
Carole Adam, Andreas Herzig, Dominique Longin, Vincent Louis
Unifying the Intentional and Institutional Semantics of Speech Acts. DALT (2009)
Fano Ramparany, Jean-Michel Ortholand, Vincent Louis
Mediating Social Networking Using Software Agents - The CarPooling Use Case. IC-AI (2008)
Carole Adam, Fabrice Bourge, Vincent Louis, Sébastien Picant
Un modèles d'actions institutionnelles pour un Système Multi-Agents appliquée à la médiation d'échanges B2B (présentation courte). JFSMA (2008)
Robert Demolombe, Vincent Louis
Norms, Institutional Power and Roles: Towards a Logical Framework. ISMIS (2006)
Vincent Louis, Thierry Martinez
An Operational Model for the FIPA-ACL Semantics. AC (2006)
Robert Demolombe, Vincent Louis
Speech Acts with Institutional Effects in Agent Societies. DEON (2006)
Robert Demolombe, Philippe Bretier, Vincent Louis
Norms with Deadlines in Dynamic Deontic Logic. ECAI (2006)
Vincent Louis, Thierry Martinez
Un cadre d'interprétation de la sémantique de FIPA-ACL dans JADE. JFSMA (2005)
Robert Demolombe, Vincent Louis
Normes, Pouvoirs et Rôles: vers une formalisation en logique. JFSMA (2005)
Philippe Bretier, Vincent Louis, Thierry Martinez
Artimis : assistant de voyage et médiateur intelligent dans un système multi-agent. Tech. Sci. Informatiques 22 (4) (2003)