Albert Benveniste

Hardware and Architecture · 1990–2018

A researcher in the Science corpus: 6 papers; trusts 2 researchers and is trusted by 61 researchers here, as inferred from the citation graph.

Subfields

Whom Albert Benveniste trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Alberto L. Sangiovanni-Vincentelli
  2. Gordon D. Plotkin
  3. Luca de Alfaro
  4. Kim Guldstrand Larsen
  5. Thomas A. Henzinger
  6. Á. Lédeczi
  7. Alexandre David
  8. Edward A. Lee

Who trusts Albert Benveniste overall

  1. Fredrik Lindsten
  2. John N. Tsitsiklis
  3. Johannes O. Royset
  4. Zhijian Ou
  5. Mengdi Wang
  6. Li Cai
  7. Christophe Andrieu
  8. Vivek Shripad Borkar
  9. Simon S. Haykin
  10. L. Eon Bottou

Papers from Albert Benveniste's perspective

Ordered by how strongly the researchers Albert Benveniste trusts endorse each paper. Same corpus, a different order for every researcher.

  1. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  2. Interface Theories for Component-Based Design (International Conference on Embedded Software)
  3. A Tutorial on Uppaal (International School on Formal Methods for the Design of Computer, Communication and Software Systems)
  4. Abstract Interpretation Frameworks
  5. Model Checking
  6. Real Time Scheduling Theory: A Historical Perspective (Real-time systems)
  7. Principles of Object-Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach
  8. INTERFACE-BASED DESIGN
  9. Interface automata (ESEC/FSE-9)
  10. A structural approach to operational semantics (J. Log. Algebraic Methods Program.)

Their papers