Semantic Parallelism in Heuristic Tree Search for a Distributed Implementation. - Vincent David (IJCSLP Workshop on Concurrent and Parallel Implementations, 1992)

A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems. - Christophe Aussaguès; Vincent David (ICECCS, 1998)

Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems. - Vincent David; Jean Delcoigne; Evelyne Leret; Alain Ourghanlian; Philippe Hilsenkopf; Philippe Paris (SAFECOMP, 1998)

OASIS project: deterministic real-time for safety critical embedded systems. - Stéphane Louise; Vincent David; Jean Delcoigne; Christophe Aussaguès (ACM SIGOPS European Workshop, 2002)

Deterministic Distributed Safety-Critical Real-Time Systems within the Oasis Approach. - Damien Chabrol; Vincent David; Christophe Aussaguès; Stéphane Louise; Frédéric Daumas (IASTED PDCS, 2005)

OASIS formal approach for distributed safety-critical real-time system design. - Sylvain Camier; Damien Chabrol; Vincent David; Christophe Aussaguès (ISoLA, 2007)

Equivalence between Schedule Representations: Theory and Applications. - Matthieu Lemerre; Vincent David; Christophe Aussaguès; Guy Vidal-Naquet (IEEE Real-Time and Embedded Technology and Applications Symposium, 2008)

Efficient Use of Processing Cores on Heterogeneous Multicore Architecture. - Fabien Calcado; Stéphane Louise; Vincent David; Alain Mérigot (CISIS, 2009)

A Spatial and Temporal Partitioning Approach for Dependable Automotive Systems. - Damien Chabrol; Christophe Aussaguès; Vincent David (ETFA, 2009)

A communication mechanism for resource isolation. - Matthieu Lemerre; Vincent David; Guy Vidal-Naquet (IIES@EuroSys, 2009)

Minimizing Task Preemptions and Migrations in Multiprocessor Optimal Real-Time Schedules. - Thomas Megel; Renaud Sirdey; Vincent David (RTSS, 2010)

Usage of the safety-oriented real-time OASIS approach to build deterministic protection relays. - Mathieu Jan; Vincent David; Jimmy Lalande; Maurice Pitel (SIES, 2010)

CONFIGEN: A tool for managing configuration options - Emmanuel Ohayon; Matthieu Lemerre; Vincent David (LoCoCo, 2010)

An Introduction to Time-Constrained Automata - Matthieu Lemerre; Vincent David; Christophe Aussaguès; Guy Vidal-Naquet (ICE, 2010)

The OASIS Kernel: A Framework for High Dependability Real-Time Systems. - Stéphane Louise; Matthieu Lemerre; Christophe Aussaguès; Vincent David (HASE, 2011)

ΣC: A Programming Model and Language for Embedded Manycores. - Thierry Goubier; Renaud Sirdey; Stéphane Louise; Vincent David (ICA3PP (1), 2011)

Scheduling safety-critical real-time bus accesses using Time-Constrained Automata. - Mathieu Jan; Jean-Sylvain Camier; Vincent David (RTNS, 2011)

Evaluation of Task Migration Mechanisms for Hard Real-Time Distributed Systems. - Thomas Megel; Mathieu Jan; Vincent David; Christian Fraboul (RTNS, 2011)

On the reaction time of some synchronous systems - Ilias Garnier; Christophe Aussaguès; Vincent David; Guy Vidal-Naquet (ICE, 2011)

A single processor approach for loosely synchronized execution of parallel flows on heterogeneous multicore. - Stéphane Louise; Vincent David; Fabien Calcado (ICCS, 2011)

A low-overhead dedicated execution support for stream applications on shared-memory cmp. - Paul Dubrulle; Stéphane Louise; Renaud Sirdey; Vincent David (EMSOFT, 2012)

Time- and angle-triggered real-time kernel. - Damien Chabrol; Didier Roux; Vincent David; Mathieu Jan; Moha Ait Hmid; Patrice Oudin; Gilles Zeppa (DATE, 2013)

Extended Cyclostatic Dataflow Program Compilation and Execution for an Integrated Manycore Processor. - Pascal Aubry; Pierre-Edouard Beaucamps; Frédéric Blanc 001; Bruno Bodin; Sergiu Carpov; Loïc Cudennec; Vincent David; Philippe Dore; Paul Dubrulle; Benoît Dupont de Dinechin; François Galea; Thierry Goubier; et al. (ICCS, 2013)