Search - Archive ouverte HAL Access content directly

Filter your results

4 Results
Image document

Environmental assessment of projects involving AI methods

Laurent Lefèvre , Anne-Laure Ligozat , Denis Trystram , Sylvain Bouveret , Aurélie Bugeau , et al.
2023
Preprints, Working Papers, ... hal-03922093v1

Rigorous Component-Based System Design Using the BIP Framework

Ananda Basu , Saddek Bensalem , Marius Bozga , Jacques Combaz , Mohamad Jaber , et al.
IEEE Software, 2011, 28 (3), pp.41-48. ⟨10.1109/MS.2011.27⟩
Journal articles hal-00722395v1
Image document

Introduction aux impacts environnementaux du numérique

Kevin Marquet , Jacques Combaz , Francoise Berthoud
1024, bulletin de la Société Informatique de France, pp.85-97, 2019
Book sections hal-02410129v1
Image document

Compositional Invariant Generation for Timed Systems

Lacramioara Astefanoaiei , Ben Rayana Souha , Saddek Bensalem , Marius Bozga , Jacques Combaz
Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Apr 2014, Grenoble, France. pp.263--278, ⟨10.1007/978-3-642-54862-8_18⟩
Conference papers hal-01212296v1