World's Best Scientists 2026 revealed!
Award Badge
Computer Science
France
2025

D-Index & Metrics

Computer Science

D-Index
63
Citations
24380
World Ranking
2687
National Ranking
38

Research.com Recognitions

  • 2025 - Research.com Computer Science in France Leader Award
  • 2023 - Research.com Computer Science in France Leader Award
  • 2022 - Research.com Computer Science in France Leader Award
  • 2011 - Fellow of the International Federation of Automatic Control (IFAC)

Overview

Albert Benveniste is affiliated with the French Institute for Research in Computer Science and Automation (INRIA) in France. Their research spans a range of topics primarily in computer science, with a focus on formal methods, modeling, and system design.

Their work includes numerous publications, particularly in subfields such as Computational Theory and Mathematics, Artificial Intelligence, Control and Systems Engineering, Management Science and Operations Research, and Software. These are reflected in various research topics including:

  • Formal Methods in Verification
  • Modeling and Simulation Systems
  • Simulation Techniques and Applications
  • Logic, Programming, and Type Systems
  • Control and Stability of Dynamical Systems
  • Distributed Systems and Fault Tolerance
  • Model-Driven Software Engineering Techniques

Albert Benveniste has contributed to several frequent publication venues, such as:

  • arXiv (Cornell University)
  • Linköping Electronic Conference Proceedings
  • Formal Methods in System Design
  • Annual Reviews in Control
  • ACM Transactions on Cyber-Physical Systems

Their recent papers demonstrate ongoing engagement with topics like system modeling and formal analysis techniques. Some key recent publications are:

  • "The mathematical foundations of physical systems modeling languages," 2020, Annual Reviews in Control
  • "Algorithms for the Structural Analysis of Multimode Modelica Models," 2022, Electronics
  • "Handling Multimode Models and Mode Changes in Modelica," 2021, Linköping Electronic Conference Proceedings

Albert Benveniste has collaborated frequently with a core group of co-authors, including:

  • Benoît Caillaud
  • Mathias Malandain
  • Inigo Incer
  • Alberto Sangiovanni-Vincentelli
  • Sanjit A. Seshia

Among their distinctions, Albert Benveniste was named a Fellow of the International Federation of Automatic Control (IFAC) in 2011.

Best Publications

  • Wavelet networks

    Q. Zhang;A. Benveniste

  • Adaptive Algorithms and Stochastic Approximations

    Albert Benveniste;Pierre Priouret;Michel Métivier

  • Nonlinear black-box modeling in system identification: a unified overview

    Jonas Sjöberg;Qinghua Zhang;Lennart Ljung;Albert Benveniste

  • The synchronous languages 12 years later

    A. Benveniste;P. Caspi;S.A. Edwards;N. Halbwachs

  • Nonlinear black-box models in system identification: mathematical foundations

    Anatoli Juditsky;Håkan Hjalmarsson;Albert Benveniste;Bernard Delyon

  • Robust identification of a nonminimum phase system: Blind adjustment of a linear equalizer in data communications

    Unknown

  • Modeling and estimation of multiresolution stochastic processes

    M. Basseville;A. Benveniste;K.C. Chou;S.A. Golden

  • Blind Equalizers

    Unknown

  • Synchronous programming with events and relations: the SIGNAL language and its semantics

    Albert Benveniste;Paul Le Guernic;Christian Jacquemot

  • Accuracy analysis for wavelet approximations

    B. Delyon;A. Juditsky;A. Benveniste

  • Diagnosis of asynchronous discrete-event systems: a net unfolding approach

    A. Benveniste;E. Fabre;S. Haar;C. Jard

  • Multiscale recursive estimation, data fusion, and regularization

    K.C. Chou;A.S. Willsky;A. Benveniste

  • Brief Subspace-based fault detection algorithms for vibration monitoring

    MichèLe Basseville;Maher Abdelghani;Albert Benveniste

  • Optimal sensor location for detecting changes in dynamical behavior

    M. Basseville;A. Benveniste;G. Moustakides;A. Rougee

  • Hybrid dynamical systems theory and the Signal language

    A. Benveniste;P. Le Guernic

  • The asymptotic local approach to change detection and model validation

    A. Benveniste;M. Basseville;G. Moustakides

  • Multiple Viewpoint Contract-Based Specification and Design

    Albert Benveniste;Benoît Caillaud;Alberto Ferrari;Leonardo Mangeruca

  • Fault Detection and Isolation in Nonlinear Dynamic Systems: A Combined Input-Output and Local Approach

    Qinghua Zhang;Michèle Basseville;Albert Benveniste

  • Early warning of slight changes in systems

    Q. Zhang;M. Basseville;A. Benveniste

  • Signal--A data flow-oriented language for signal processing

    P. Le Guernic;A. Benveniste;P. Bournai;T. Gautier

  • Contracts for System Design

    Albert Benveniste;Benoit Caillaud;Dejan Nickovic;Roberto Passerone

  • Diagnosis of asynchronous discrete event systems, a net unfolding approach

    A. Benveniste;E. Fabre;C. Jard;S. Haar

Frequent Co-Authors

Michèle Basseville
Michèle Basseville Institut de Recherche en Informatique et Systèmes Aléatoires
Alberto Sangiovanni-Vincentelli
Alberto Sangiovanni-Vincentelli University of California, Berkeley
Roberto Passerone
Roberto Passerone University of Trento
George V. Moustakides
George V. Moustakides University of Illinois at Urbana-Champaign
Luca P. Carloni
Luca P. Carloni Columbia University
Kim Guldstrand Larsen
Kim Guldstrand Larsen Aalborg University
Lennart Ljung
Lennart Ljung Linköping University
Stavros Tripakis
Stavros Tripakis Northeastern University
Bernard C. Levy
Bernard C. Levy University of California, Davis

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online and related degree options can open new doors for students interested in Computer Science and technology. If you prefer a fast-track approach, you might consider earning a 2-year computer science degree online. This route offers flexibility and a quicker path to start your tech career.

Engineering fields also present excellent opportunities for those with technical interests. You may look at pursuing an environmental engineer degree online or an online degree for mechanical engineering. Both areas combine foundational STEM knowledge with specialized skills, leading to diverse career options.

Furthermore, computer science skills are in high demand across multiple industries, including environmental science. Many graduates find high-paying jobs with environmental science degree, particularly as technology drives sustainable solutions.

Whether you pursue a technical, environmental, or engineering-focused online degree, these pathways offer the flexibility and relevance needed to thrive in today’s job market.

Best Scientists Citing Albert Benveniste

Trending Scientists

Recently Published Articles