Nets Enriched over Closed Monoidal Structures. - Éric Badouel; Jules Chenou (ICATPN, 2003)

Petri Algebras. - Éric Badouel; Jules Chenou; Goulven Guillou (ICALP, 2005)

An Axiomatization of the Token Game Based on Petri Algebras. - Éric Badouel; Jules Chenou; Goulven Guillou (Fundam. Informaticae, 2007)

Weather-monitoring sensor web for supporting situation awareness. - Albert C. Esterline; William Wright; Jules Chenou (CogSIMA, 2014)

Formal Framework for Ensuring Consistent System and Component Theories in the Design of Small Satellite Systems. - Jules Chenou; William W. Edmonson; Albert C. Esterline; Natasha A. Neogi (CSDM (Posters), 2014)

Small satellite systems design methodology: A formal and agile design process. - William W. Edmonson; Jules Chenou; Natasha A. Neogi; Heber Herencia-Zapana (SysCon, 2014)

Formal requirement management for the Responsive and Formal Design process. - Solomon Gebreyohannes; William W. Edmonson; Jules Chenou; Natasha A. Neogi; Albert C. Esterline (ISSE, 2015)

Systems engineering of inter-satellite communications for distributed systems of small satellites. - William W. Edmonson; S. Gebreyohannes; A. Dillion; Radhika Radhakrishnan; Jules Chenou; Albert C. Esterline; Fatemeh Afghah (SysCon, 2015)

Requirements hierarchy in the responsive and formal design process. - Solomon Gebreyohannes; William W. Edmonson; Albert C. Esterline; Jules Chenou (ISSE, 2016)

Theoretical Foundation of Colored Petri Net through an Analysis of their Markings as Multi-classification. - Jules Chenou; George Hsieh; Aurelia T. Williams (CoRR, 2022)