Julien Ouy

According to our database, Julien Ouy authored at least 14 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report.

Romina Eramo, Florent Marchand de Kerchove, Maximilien Colange, Michele Tucci, Julien Ouy, Hugo Bruneliere, Davide Di Ruscio

J. Object Technol., 2019

Code generation for distributed embedded systems with VDM-RT.

Miran Hasanagic, Tommaso Fabbri, Peter Gorm Larsen, Victor Bandur, Peter W. V. Tran-Jørgensen, Julien Ouy

Des. Autom. Embed. Syst., 2019

2017

Formalising Cosimulation Models.

Frank Zeyda, Julien Ouy, Simon Foster, Ana Cavalcanti

Proceedings of the Software Engineering and Formal Methods, 2017

2013

Abstraction of polychronous dataflow specifications into mode-automata.

Julien Ouy, Matthew Kracht, Sandeep K. Shukla

Proceedings of the 2013 International Conference on Embedded Computer Systems: Architectures, 2013

A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications.

Mahesh Nanjundappa, Matthew Kracht, Julien Ouy, Sandeep Kumar Shukla

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Compositional design of isochronous systems.

Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic

Sci. Comput. Program., 2012

2011

SMT based false causal loop detection during code synthesis from Polychronous specifications.

Bijoy Antony Jose, Abdoulaye Gamatié, Julien Ouy, Sandeep K. Shukla

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

2010

Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment.

Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

Synoptic: A Domain-Specific Modeling Language for Space On-board Application 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

Proceedings of the Synthesis of Embedded Software, 2010

2009

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software

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

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

2008

Compositional design of isochronous systems.

Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Separate Compilation of Polychronous Specifications.

Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic

Proceedings of the Third International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, 2007

2005

A Survey of Desynchronization in a Polychronous Model of Computation.

Julien Ouy

Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005

From multi-clocked synchronous processes to latency-insensitive modules.

Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud

Proceedings of the EMSOFT 2005, 2005