Citation Impact
Citing Papers
Mobile ambients
2001
SIS : A System for Sequential Circuit Synthesis
1992 Standout
Artificial Life: An Overview
1995
A language-based approach to protocol construction
1998
Stereo Processing by Semiglobal Matching and Mutual Information
2007 Standout
A stereo imaging system for measuring structural parameters of plant canopies
2007
Software-Defined Networking: A Comprehensive Survey
2014 Standout
Synchronous programming with events and relations: the SIGNAL language and its semantics
1991
Frenetic
2011
P4
2014 Standout
A Review of Imaging Techniques for Plant Phenotyping
2014 Standout
When and how to develop domain-specific languages
2005 Standout
An overview of the K semantic framework
2010
Model-based programming of intelligent embedded systems and robotic space explorers
2003
Synthesis of software programs for embedded control applications
1999
Toward Reliable Off Road Autonomous Vehicles Operating in Challenging Environments
2006
Teapot: a domain-specific language for writing cache coherence protocols
1999
Differential Evolution: A Survey of the State-of-the-Art
2010 Standout
Multi-Agent Systems for Power Engineering Applications—Part II: Technologies, Standards, and Tools for Building Multi-agent Systems
2007 Standout
The synchronous data flow programming language LUSTRE
1991 Standout
A Review of Computer Vision Techniques for the Analysis of Urban Traffic
2011 Standout
Teleo-Reactive Programs for Agent Control
1994
Packet types
2000
The worst-case execution-time problem—overview of methods and survey of tools
2008 Standout
A classification and comparison framework for software architecture description languages
2000 Standout
Partial orderings of event sets and their application to prototyping concurrent, timed systems
1993
Language-based information-flow security
2003 Standout
A Graph-Based Toy Model of Chemistry
2003
Virtual Engineering Factory: Creating Experience Base for Industry 4.0
2016 Standout
A Survey on Software-Defined Networking
2014 Standout
The nesC language
2014 Standout
Design for Timing Predictability
2004
System architecture directions for networked sensors
2000 Standout
Building Administrative Capacity for the Age of Rapid Globalization: A Modest Prescription for the Twenty‐First Century
2009 Standout
A Taxonomy and Evaluation of Dense Two-Frame Stereo Correspondence Algorithms
2002 Standout
An event-based architecture definition language
1995
The STATEMATE semantics of statecharts
1996
OctoMap: an efficient probabilistic 3D mapping framework based on octrees
2013 Standout
Survey of graph database models
2008 Standout
Cyber-physical systems and their security issues
2018 Standout
Formal specification and analysis of software architectures using the chemical abstract machine model
1995
QoS-aware middleware for Web services composition
2004 Standout
Cyber-physical systems in manufacturing
2016 Standout
The fundamental matrix: Theory, algorithms, and stability analysis
1996
A survey of industrial model predictive control technology
2003 Standout
The model checker SPIN
1997 Standout
A Survey of Software-Defined Networking: Past, Present, and Future of Programmable Networks
2014 Standout
Computing the initial states of retimed circuits
1993
Distinctive Image Features from Scale-Invariant Keypoints
2004 Standout
Embedded System Design
2010 Standout
Fast Stereo Matching Using Rectangular Subregioning and 3D Maximum-Surface Techniques
2002
Mobile Ambients and P-Systems
2020
Computing with Membranes
2000 Standout
Speed Control for PMSM Servo System Using Predictive Functional Control and Extended State Observer
2011 Standout
Mobile Ambients
1998
Real-Time Correlation-Based Stereo Vision with Reduced Border Errors
2002
The status, challenges, and future of additive manufacturing in engineering
2015 Standout
The ESTEREL language
1991
Embedded Control Systems Development with Giotto
2001
Calculating Dense Disparity Maps from Color Stereo Images, an Efficient Implementation
2002
Cyber–Physical Systems: A Perspective at the Centennial
2012
Specification and analysis of system architecture using Rapide
1995
Between MDPs and semi-MDPs: A framework for temporal abstraction in reinforcement learning
1999 Standout
Kalman Filtering With Intermittent Observations
2004 Standout
A Review of Motion Planning Techniques for Automated Vehicles
2015 Standout
A Calculus for Cryptographic Protocols: The Spi Calculus
1999
Review of Stereo Vision Algorithms: From Software to Hardware
2008
Distributed control applications within sensor networks
2003
Blockchain-Enabled Smart Contracts: Architecture, Applications, and Future Trends
2019 Standout
Virtual Engineering Object / Virtual Engineering Process: A specialized form of Cyber Physical System for Industrie 4.0
2015 Standout
Advances in computational stereo
2003
Service combinators for Web computing
1999
Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing
2008
BDL: a specialized language for per-object reactive control
1999
Defense behavior of real time strategy games: comparison between HFSM and FSM
2019
Industrial applications of model based predictive control
1993
Optimization of distance formula in K-Nearest Neighbor method
2020 Standout
Works of Gérard Berry being referenced
Real time programming : special purpose or general purpose languages
1989
A hardware implementation of pure ESTEREL
1992
Real time correlation-based stereo: algorithm, implementations and applications
1993
The Foundations of Esterel
2000
Compiling Esterel
2007
The chemical abstract machine
1992
The synchronous approach to reactive and real-time systems
1991
Programming a digital watch in Esterel v3
1989
Synchronous programming of reactive systems: an introduction to ESTEREL
1988
The Esterel synchronous programming language: design, semantics, implementation
1992