Yann Rémond

According to our database1, Yann Rémond authored at least 8 papers between 1997 and 2004.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2004
TAST Profiler and Low Energy Asynchronous Design Methodology.
Proceedings of the Integrated Circuit and System Design, 2004

2003
Mode-Automata: a new domain-specific construct for the development of safe critical systems.
Sci. Comput. Program., 2003

2001
Argos: an automaton-based synchronous language.
Comput. Lang., 2001

Effective programming language support for discrete-continuous mode-switching control systems.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000
Running-modes of real-time systems: a case-study with mode-automata.
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

MATOU: An Implementation of Mode-Automata.
Proceedings of the Compiler Construction, 9th International Conference, 2000

1998
Mode-Automata: About Modes and States for Reactive Systems.
Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

1997
Compositionality Criteria for Defining Mixed-Styles Synchronous Languages.
Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997


  Loading...