Julien Ouy

14 papers A 1C 1Misc 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2019 J jnl
Code generation for distributed embedded systems with VDM-RT.
Des. Autom. Embed. Syst.
Miran Hasanagic, Tommaso Fabbri, Peter Gorm Larsen, Victor Bandur, Peter W. V. Tran-Jørgensen, Julien Ouy
2019 J jnl
Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report.
J. Object Technol.
Romina Eramo, Florent Marchand de Kerchove, Maximilien Colange, Michele Tucci, Julien Ouy, Hugo Bruneliere, Davide Di Ruscio
2017 — conf
Formalising Cosimulation Models.
SEFM Workshops
Frank Zeyda, Julien Ouy, Simon Foster, Ana Cavalcanti
2013 — conf
A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications.
ACSD
Mahesh Nanjundappa, Matthew Kracht, Julien Ouy, Sandeep Kumar Shukla
2013 — conf
Abstraction of polychronous dataflow specifications into mode-automata.
ICSAMOS
Julien Ouy, Matthew Kracht, Sandeep K. Shukla
2012 J jnl
Compositional design of isochronous systems.
Sci. Comput. Program.
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic
2011 C conf
SMT based false causal loop detection during code synthesis from Polychronous specifications.
MEMOCODE
Bijoy Antony Jose, Abdoulaye Gamatié, Julien Ouy, Sandeep K. Shukla
2010 — conf
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment.
ACSD
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier
2010 — ch.
Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software.
Synthesis of Embedded Software
Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat, Mamoun Filali, Gérald Garcia, Julien Ouy, Marc Pantel, Ana-Elena Rugina, Martin Strecker, Jean-Pierre Talpin
2009 — conf
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
FMA
Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, Gérald Garcia, Ana-Elena Rugina, Jérémy Buisson, Fabien Dagnat
2008 A conf
Compositional design of isochronous systems.
DATE
Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic
2007 — conf
Separate Compilation of Polychronous Specifications.
FMGALS@MEMOCODE
Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic
2005 — conf
A Survey of Desynchronization in a Polychronous Model of Computation.
FMGALS@MEMOCODE
Julien Ouy
2005 Misc conf
From multi-clocked synchronous processes to latency-insensitive modules.
EMSOFT
Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud