Search Results

There are 15686 results for: content related to: Formal passive testing of timed systems: theory and tools

  1. Test generation from recursive tile systems

    Software Testing, Verification and Reliability

    Volume 24, Issue 7, November 2014, Pages: 532–557, Sébastien Chédor, Thierry Jéron and Christophe Morvan

    Version of Record online : 2 APR 2014, DOI: 10.1002/stvr.1525

  2. Incremental testing of finite state machines

    Software Testing, Verification and Reliability

    Volume 23, Issue 8, December 2013, Pages: 585–612, Lehilton Lelis Chaves Pedrosa and Arnaldo Vieira Moura

    Version of Record online : 10 APR 2012, DOI: 10.1002/stvr.1474

  3. Sound and mechanised compositional verification of input-output conformance

    Software Testing, Verification and Reliability

    Volume 24, Issue 4, June 2014, Pages: 289–319, Augusto Sampaio, Sidney Nogueira, Alexandre Mota and Yoshinao Isobe

    Version of Record online : 14 MAY 2013, DOI: 10.1002/stvr.1498

  4. Extending model checkers for hybrid system verification: the case study of SPIN

    Software Testing, Verification and Reliability

    Volume 24, Issue 6, September 2014, Pages: 438–471, María-del-Mar Gallardo and Laura Panizo

    Version of Record online : 26 JUL 2013, DOI: 10.1002/stvr.1505

  5. Goal-oriented adaptive refinement for phase field modeling with finite elements

    International Journal for Numerical Methods in Engineering

    Volume 94, Issue 4, 27 April 2013, Pages: 418–440, R. Mahnken

    Version of Record online : 14 MAR 2013, DOI: 10.1002/nme.4464

  6. A comparison of estimators to evaluate the discriminatory power of time-to-event models

    Statistics in Medicine

    Volume 31, Issue 23, 15 October 2012, Pages: 2588–2609, Matthias Schmid and Sergej Potapov

    Version of Record online : 25 JUL 2012, DOI: 10.1002/sim.5464

  7. Local stability analysis and domain of attraction estimation for a class of uncertain nonlinear discrete-time systems

    International Journal of Robust and Nonlinear Control

    Volume 23, Issue 13, 10 September 2013, Pages: 1456–1471, Daniel Coutinho and Carlos E. de Souza

    Version of Record online : 16 APR 2012, DOI: 10.1002/rnc.2833

  8. A random testing approach using pushdown automata

    Software Testing, Verification and Reliability

    Volume 24, Issue 8, December 2014, Pages: 656–683, Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko and Catherine Masson

    Version of Record online : 13 MAY 2014, DOI: 10.1002/stvr.1526

  9. Asymptotic regulation for distributed parameter systems via zero dynamics inverse design

    International Journal of Robust and Nonlinear Control

    Volume 23, Issue 3, February 2013, Pages: 305–333, C.I. Byrnes, D.S. Gilliam, C. Hu and V.I. Shubov

    Version of Record online : 4 NOV 2011, DOI: 10.1002/rnc.1833

  10. Analysis and testing of black-box component-based systems by inferring partial models

    Software Testing, Verification and Reliability

    Volume 24, Issue 4, June 2014, Pages: 253–288, Muzammil Shahbaz and Roland Groz

    Version of Record online : 17 FEB 2013, DOI: 10.1002/stvr.1491

  11. Notes on Metric Independent Analysis of Classical Fields

    Mathematical Methods in the Applied Sciences

    Volume 36, Issue 5, 30 March 2013, Pages: 497–566, Reuven Segev

    Version of Record online : 13 AUG 2012, DOI: 10.1002/mma.2610

  12. UNICORN: a unified approach for localizing non-deadlock concurrency bugs

    Software Testing, Verification and Reliability

    Volume 25, Issue 3, May 2015, Pages: 167–190, Sangmin Park, Richard Vuduc and Mary Jean Harrold

    Version of Record online : 9 MAR 2014, DOI: 10.1002/stvr.1523

  13. Parameter estimation for partially observable systems subject to random failure

    Applied Stochastic Models in Business and Industry

    Volume 29, Issue 3, May/June 2013, Pages: 279–294, Michael Jong Kim, Viliam Makis and Rui Jiang

    Version of Record online : 24 APR 2012, DOI: 10.1002/asmb.1920

  14. Blind deconvolution by a Newton method on the non-unitary hypersphere

    International Journal of Adaptive Control and Signal Processing

    Volume 27, Issue 6, June 2013, Pages: 488–518, S. Fiori

    Version of Record online : 24 AUG 2012, DOI: 10.1002/acs.2324

  15. Efficient delivery-guaranteed geographic routing in 3D wireless sensor networks with holes

    Wireless Communications and Mobile Computing

    Volume 15, Issue 15, 25 October 2015, Pages: 1897–1913, Bing-Hong Liu, Yuan-Po Cheng and Chien-Hong Wen

    Version of Record online : 28 JAN 2014, DOI: 10.1002/wcm.2464

  16. Optimal damping of selected eigenfrequencies using dimension reduction

    Numerical Linear Algebra with Applications

    Volume 20, Issue 1, January 2013, Pages: 1–17, Peter Benner, Zoran Tomljanović and Ninoslav Truhar

    Version of Record online : 23 DEC 2011, DOI: 10.1002/nla.833

  17. Tool support for the Test Template Framework

    Software Testing, Verification and Reliability

    Volume 24, Issue 1, January 2014, Pages: 3–37, Maximiliano Cristiá, Pablo Albertengo, Claudia Frydman, Brian Plüss and Pablo Rodríguez Monetti

    Version of Record online : 13 JUL 2012, DOI: 10.1002/stvr.1477

  18. Error estimate in a finite volume approximation of the partial asymptotic domain decomposition

    Mathematical Methods in the Applied Sciences

    Volume 36, Issue 14, 30 September 2013, Pages: 1892–1917, Grigory Panasenko and Marie-Claude Viallon

    Version of Record online : 27 FEB 2013, DOI: 10.1002/mma.2735

  19. Formal specification and analysis of functional properties of graph rewriting-based model transformation

    Software Testing, Verification and Reliability

    Volume 23, Issue 5, August 2013, Pages: 405–435, Márk Asztalos, László Lengyel and Tihamér Levendovszky

    Version of Record online : 7 JUN 2013, DOI: 10.1002/stvr.1502

  20. Regression verification: proving the equivalence of similar programs

    Software Testing, Verification and Reliability

    Volume 23, Issue 3, May 2013, Pages: 241–258, Benny Godlin and Ofer Strichman

    Version of Record online : 21 MAR 2012, DOI: 10.1002/stvr.1472