Jérôme Hugues

From the prototype to the final embedded system using the Ocarina AADL tool suite

Jérôme Hugues, Bechir Zalila, Laurent Pautet et al. · ACM Transactions on Embedded Computing Systems · 2008 · 112 citations

Engineering, Computer Engineering, Computer Science +14

Expressing and Enforcing User-Defined Constraints of AADL Models

Olivier Gilles, Jérôme Hugues · 2010 · 43 citations

Engineering, Computer Science, Systems Engineering +17

The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software

A. Perrotin, Eric Conquet, Pierre Dissaux et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2010 · 41 citations · Full text

Engineering, Computer Engineering, Computer Science +17

On the Formal Verification of Middleware Behavioral Properties

Jérôme Hugues, Thomas Vergnaud, Laurent Pautet et al. · Electronic Notes in Theoretical Computer Science · 2005 · 33 citations · Full text

Computing, Computer Science, Computer Systems +17

Trade-off analysis for SysML models using decision points and CSPs

Patrick Leserf, Pierre de Saqui‐Sannes, Jérôme Hugues · Software & Systems Modeling · 2019 · 33 citations · Full text

Engineering, Computer Science, Systems Engineering +16