Benoît Caillaud

Hardware and Architecture · 2018

A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Benoît Caillaud trusts overall

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

  1. Alberto L. Sangiovanni-Vincentelli

Papers from Benoît Caillaud's perspective

Ordered by how strongly the researchers Benoît Caillaud 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. The Architecture Analysis & Design Language (AADL): An Introduction
  10. Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems (European Journal of Control)

Their papers