Jules Chenou

According to our database1, Jules Chenou authored at least 10 papers between 2003 and 2022.

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

2022
Theoretical Foundation of Colored Petri Net through an Analysis of their Markings as Multi-classification.
CoRR, 2022

2016
Requirements hierarchy in the responsive and formal design process.
Proceedings of the IEEE International Symposium on Systems Engineering, 2016

2015
Systems engineering of inter-satellite communications for distributed systems of small satellites.
Proceedings of the Annual IEEE Systems Conference, 2015

Formal requirement management for the Responsive and Formal Design process.
Proceedings of the IEEE International Symposium on Systems Engineering, 2015

2014
Small satellite systems design methodology: A formal and agile design process.
Proceedings of the IEEE International Systems Conference, 2014

Formal Framework for Ensuring Consistent System and Component Theories in the Design of Small Satellite Systems.
Proceedings of the Poster Workshop at the 2014 Complex Systems Design & Management International Conference co-located with 5th International Conference on Complex System Design & Management (CSD&M 2014), 2014

Weather-monitoring sensor web for supporting situation awareness.
Proceedings of the IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2014

2007
An Axiomatization of the Token Game Based on Petri Algebras.
Fundam. Informaticae, 2007

2005
Petri Algebras.
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

2003
Nets Enriched over Closed Monoidal Structures.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003


  Loading...