Albert Benveniste


Ontology type: schema:Person     


Person Info

NAME

Albert

SURNAME

Benveniste

Publications in SciGraph latest 50 shown

  • 2017-07-25 Synchronous Interfaces and Assume/Guarantee Contracts in MODELS, ALGORITHMS, LOGICS AND TOOLS
  • 2015 Contracts for Schedulability Analysis in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2014-02 QoS-aware management of monotonic service orchestrations in FORMAL METHODS IN SYSTEM DESIGN
  • 2012 Compatibility of Data-Centric Web Services in WEB SERVICES AND FORMAL METHODS
  • 2011 Optimizing Decisions in Web Services Orchestrations in SERVICE-ORIENTED COMPUTING
  • 2009 Concurrency, σ-Algebras, and Probabilistic Fairness in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES
  • 2009 Monotonicity in Service Orchestrations in APPLICATIONS AND THEORY OF PETRI NETS
  • 2009 Actors without Directors: A Kahnian View of Heterogeneous Systems in HYBRID SYSTEMS: COMPUTATION AND CONTROL
  • 2008 Composing Web Services in an Open World: Issues of Quality of Service in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2008 Multiple Viewpoint Contract-Based Specification and Design in FORMAL METHODS FOR COMPONENTS AND OBJECTS
  • 2008 Event Structure Semantics of Orc in WEB SERVICES AND FORMAL METHODS
  • 2007-09 Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2006-12 Subspace-Based Algorithms for Structural Identification, Damage Detection, and Sensor Data Fusion in APPLIED SIGNAL PROCESSING
  • 2006-03 Concurrency in Synchronous Systems in FORMAL METHODS IN SYSTEM DESIGN
  • 2005-06-10 Compositional and uniform modelling of hybrid systems in HYBRID SYSTEMS III
  • 2005-03 Distributed Monitoring of Concurrent and Asynchronous Systems* in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2005-03 Contributing Authors in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2005 Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES
  • 2004 Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling in FORMAL METHODS FOR COMPONENTS AND OBJECTS
  • 2004 Algorithms for Distributed Fault Management in Telecommunications Networks in TELECOMMUNICATIONS AND NETWORKING - ICT 2004
  • 2003 Distributed Monitoring of Concurrent and Asynchronous Systems in CONCUR 2003 - CONCURRENCY THEORY
  • 2003 Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment in EMBEDDED SOFTWARE
  • 2002-10-24 Toward an Approximation Theory for Computerised Control in EMBEDDED SOFTWARE
  • 2002-10-24 A Protocol for Loosely Time-Triggered Architectures in EMBEDDED SOFTWARE
  • 2002-08-20 Non-massive, Non-high Performance, Distributed Computing: Selected Issues in EURO-PAR 2002 PARALLEL PROCESSING
  • 2002-04-19 From Synchrony to Asynchrony in CONCUR’99 CONCURRENCY THEORY
  • 2002-01-22 Co-Simulation of Hybrid Systems: Signal-Simulink in FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS
  • 2001-09-27 Some Synchronization Issues When Designing Embedded Systems from Components in EMBEDDED SOFTWARE
  • 2001-07 Foreword in FORMAL METHODS IN SYSTEM DESIGN
  • 1999-05-21 Compositionality in dataflow synchronous languages: specification & code generation in COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE
  • 1998-06 Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets in DISCRETE EVENT DYNAMIC SYSTEMS
  • 1998 Diagnostics and Monitoring as tightly coupled to Identification in PERSPECTIVES IN CONTROL
  • 1998 Algebraic techniques for timed systems in CONCUR'98 CONCURRENCY THEORY
  • 1996 Wavelets in Identification in IDENTIFICATION, ADAPTATION, LEARNING
  • 1995 A Calculus of Stochastic Systems for the specification, simulation, and hidden state estimation of hybrid stochastic/non-stochastic systems in HYBRID SYSTEMS II
  • 1994 Data-flow synchronous languages in A DECADE OF CONCURRENCY REFLECTIONS AND PERSPECTIVES
  • 1994 A calculus of stochastic systems in FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS
  • 1993 Hybrid Systems: the SIGNAL approach in HYBRID SYSTEMS
  • 1992 SIGNAL as a model for real-time and hybrid systems in ESOP '92
  • 1991 Polynomial dynamical systems over finite fields in ALGEBRAIC COMPUTING IN CONTROL
  • 1990 Multiscale Statistical Signal Processing: Stochastic Processes Indexed by Trees in REALIZATION AND MODELLING IN SYSTEM THEORY
  • 1989 Hybrid dynamical systems theory and nonlinear dynamical systems over finite fields in NEW TRENDS IN NONLINEAR CONTROL THEORY
  • 1985 Advanced methods of change detection: An overview in DETECTION OF ABRUPT CHANGES IN SIGNALS AND DYNAMICAL SYSTEMS
  • 1985 The local method applied to the robust detection of changes in the poles of a pole-zero system in DETECTION OF ABRUPT CHANGES IN SIGNALS AND DYNAMICAL SYSTEMS
  • 1984 Detection of abrupt changes in signals and dynamical systems : Some statistical aspects in ANALYSIS AND OPTIMIZATION OF SYSTEMS
  • 1983 Motion Estimation in a Sequence of Television Pictures in IMAGE SEQUENCE PROCESSING AND DYNAMIC SCENE ANALYSIS
  • 1983 Atmospheric Disturbances Tracking in Satellite Images in IMAGE SEQUENCE PROCESSING AND DYNAMIC SCENE ANALYSIS
  • 1978 A robust adaptive procedure for solving a non Gaussian identification problem in OPTIMIZATION TECHNIQUES PART 1
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "affiliation": [
          {
            "affiliation": {
              "id": "https://www.grid.ac/institutes/grid.420225.3", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }
        ], 
        "familyName": "Benveniste", 
        "givenName": "Albert", 
        "id": "sg:person.011174600625.42", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T13:38", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1420.json", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.011174600625.42'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.011174600625.42'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.011174600625.42'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.011174600625.42'


     




    Preview window. Press ESC to close (or click here)


    ...