Vincent Louis

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