Concepedia

Jacques Combaz

JC

9

Publications

574

Citations

9

H-Index

2005

Active since

Affiliations

Verimag(Current)

Centre National de la Recherche Scientifique

Université Grenoble Alpes

Laboratoire d'Analyse et d'Architecture des Systèmes

Université Fédérale de Toulouse Midi-Pyrénées

Jacques Combaz is an author at Verimag specializing in engineering, systems engineering, and formal verification.

Top concepts

Publications per year

2005–2022

9

Publications

9

Rigorous Component-Based System Design Using the BIP Framework

Ananda Basu, Bensalem Bensalem, Marius Bozga et al. · IEEE Software · 2011 · 276 citations · Full text

Unraveling the Hidden Environmental Impacts of AI Solutions for Environment Life Cycle Assessment of AI Solutions

Anne‐Laure Ligozat, Julien Lefèvre, Aurélie Bugeau et al. · Sustainability · 2022 · 132 citations · Full text

, , +20

Model-based implementation of real-time applications

Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis · 2010 · 67 citations · Full text

, , +19

Rigorous design of robot software: A formal component-based approach

Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz et al. · Robotics and Autonomous Systems · 2012 · 33 citations · Full text

, , +9

Symbolic quality control for multimedia applications

Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis et al. · Real-Time Systems · 2008 · 15 citations · Full text

, , +7

Rows per page

1–5 of 9