Julien Ouy

According to our database1, Julien Ouy authored at least 11 papers between 2005 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Formalising Cosimulation Models.
Proceedings of the Software Engineering and Formal Methods, 2017

2013
Abstraction of polychronous dataflow specifications into mode-automata.
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.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012
Compositional design of isochronous systems.
Sci. Comput. Program., 2012

2011
SMT based false causal loop detection during code synthesis from Polychronous specifications.
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.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

2008
Separate Compilation of Polychronous Specifications.
Electr. Notes Theor. Comput. Sci., 2008

Compositional design of isochronous systems.
Proceedings of the Design, Automation and Test in Europe, 2008

2006
A Survey of Desynchronization in a Polychronous Model of Computation.
Electr. Notes Theor. Comput. Sci., 2006

2005
From multi-clocked synchronous processes to latency-insensitive modules.
Proceedings of the EMSOFT 2005, 2005


  Loading...