output
20012026
most citedStrong Coupling of a Spin Ensemble to a Superconducting Resonator

646 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2013 · cs.SEShow all

2 papers · 2 filters

cs.SE2013★ 3 cited

Robustness analysis of finite precision implementations

Eric Goubault, Sylvie Putot

A desirable property of control systems is to be robust to inputs, that is small perturbations of the inputs of a system will cause only small perturbations on its outputs. But it…

cs.SE2013★ 1 cited

Efficient Leverage of Symbolic ATG Tools to Advanced Coverage Criteria

Sébastien Bardin, Nikolai Kosmatov, François Cheynier

Automatic test data generation (ATG) is a major topic in software engineering. In this paper, we seek to bridge the gap between the coverage criteria supported by symbolic ATG tool…