Christophe Aussaguès

According to our database1, Christophe Aussaguès authored at least 11 papers between 1998 and 2021.

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

2021
Model-Driven Architectural Framework towards Safe and Secure Nuclear Power Reactors.
Sensors, 2021

2011
On the reaction time of some synchronous systems
Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

The OASIS Kernel: A Framework for High Dependability Real-Time Systems.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010
An Introduction to Time-Constrained Automata
Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010

2009
Using Multi-Core Architectures to Execute High Performance-Oriented Real-Time Applications.
Proceedings of the Parallel Computing: From Multicores and GPU's to Petascale, 2009

A Spatial and Temporal Partitioning Approach for Dependable Automotive Systems.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2008
Equivalence between Schedule Representations: Theory and Applications.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

2007
OASIS formal approach for distributed safety-critical real-time system design.
Proceedings of the ISoLA 2007, 2007

2005
Deterministic Distributed Safety-Critical Real-Time Systems within the Oasis Approach.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2005

2002
OASIS project: deterministic real-time for safety critical embedded systems.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

1998
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems.
Proceedings of the 4th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 1998


  Loading...