• Publications
  • Influence
An operational semantics for Stateflow
  • G. Hamon, J. Rushby
  • Computer Science
  • International Journal on Software Tools for…
  • 6 October 2007
tl;dr
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of embedded systems. Expand
  • 144
  • 13
  • Open Access
Generating efficient test sets with a model checker
tl;dr
We describe an improved approach that uses model checkers to generate efficient test sets that are efficient with respect to both generation and execution. Expand
  • 126
  • 7
  • Open Access
Towards a higher-order synchronous data-flow language
tl;dr
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. Expand
  • 66
  • 6
  • Open Access
A denotational semantics for stateflow
  • G. Hamon
  • Computer Science
  • EMSOFT
  • 18 September 2005
tl;dr
We present a denotational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink toolsuite. Expand
  • 70
  • 6
  • Open Access
Clock-directed modular code generation for synchronous data-flow languages
tl;dr
We introduce a first-order functional language reminiscent of LUSTRE, which it extends with a general n-ary merge operator, a reset construct, and a richer notion of clocks. Expand
  • 63
  • 6
  • Open Access
Fuzzy querying with SQL: extensions and implementation aspects
tl;dr
We turn towards an extension of DBMS querying capabilities in order to allow fuzzy queries against a usual database, i.e. composed of precise facts. Expand
  • 151
  • 4
Tool Integration with the Evidential Tool Bus
tl;dr
We present the Evidential Tool Bus ETB as a tool integration framework for constructing claims supported by evidence, and present examples of formal verification workflows defined using ETB. Expand
  • 43
  • 4
  • Open Access
Automated Test Generation with SAL
tl;dr
We describe sal-atg, a tool for automated test generation that will be distributed as part of the next release of SAL. Expand
  • 47
  • 3
  • Open Access
Representation of Capillary Pressure Hysteresis in Reservoir Simulation
tl;dr
A new method for construction of hysteresis capillary pressure relationships for use in reservoir simulation models is presented. Expand
  • 48
  • 3