Michael Siegel

Gregory Falco

Proceedings of the 1st International Workshop on Software Engineering Research & Practices for the Internet of Things, 2019

2018

A local target specific quadrature by expansion method for evaluation of layer potentials in 3D.

[BibT_eX]

[DOI]

Anna-Karin Tornberg

J. Comput. Phys., 2018

2017

Convergence of a boundary integral method for 3D interfacial Darcy flow with surface tension.

[BibT_eX]

[DOI]

David M. Ambrose

Yang Liu

Math. Comput., 2017

2013

A small-scale decomposition for 3D boundary integral computations with surface tension.

[BibT_eX]

[DOI]

David M. Ambrose

Svetlana Tlupova

J. Comput. Phys., 2013

2012

A non-stiff boundary integral method for 3D porous media flow with surface tension.

[BibT_eX]

[DOI]

David M. Ambrose

Math. Comput. Simul., 2012

Improving Health Care Management Through the Use of Dynamic Simulation Modeling and Health Information Systems.

[BibT_eX]

[DOI]

Daniel Goldsmith

Int. J. Inf. Technol. Syst. Approach, 2012

Cyber Politics: Understanding the Use of Social Media for Dissident Movements in an Integrated State Stability Framework.

[BibT_eX]

[DOI]

Daniel Goldsmith

Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2012

2010

Achieving earlier verification closure using advanced formal verification.

[BibT_eX]

[DOI]

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009

Untwist your brain: efficient debugging and diagnosis of complex assertions.

[BibT_eX]

[DOI]

Adriana Maggiore

Christian Pichler

Proceedings of the 46th Design Automation Conference, 2009

2005

Exact Solutions for the Evolution of a Bubble in Stokes Flow: A Cauchy Transform Approach.

[BibT_eX]

[DOI]

Darren Crowdy

SIAM J. Appl. Math., 2005

2003

Erratum ("The small model property: how small can it be?" Volume 178, Number 1 [2002], pages 279-293).

[BibT_eX]

[DOI]

Inf. Comput., 2003

2002

The Small Model Property: How Small Can It Be?

[BibT_eX]

[DOI]

Inf. Comput., 2002

1999

Influence of Surfactant on Rounded and Pointed Bubbles in Two-Dimensional Stokes Flow.

[BibT_eX]

[DOI]

SIAM J. Appl. Math., 1999

Deciding Equality Formulas by Small Domains Instantiations.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

Translation Validation: From SIGNAL to C.

[BibT_eX]

[DOI]

Proceedings of the Correct System Design, 1999

1998

The Code Validation Tool CVT: Automatic Verification of a Compilation Process.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 1998

Implementing Statecharts in PROMELA/SPIN.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Translation Validation.

[BibT_eX]

[DOI]

Eli Singerman

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Translation Validation for Synchronous Languages.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

Formal Verification of Stabilizing Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Translation Validation: From DC+ to C*.

[BibT_eX]

[DOI]

Proceedings of the Applied Formal Methods, 1998

1997

Deductive verification of stabilizing systems.

[BibT_eX]

Yassine Lakhnech

Proceedings of the 3rd Workshop on Self-stabilizing Systems, 1997

Hierarchical Automata as Model for Statecharts.

[BibT_eX]

[DOI]

Erich Mikk

Yassine Lakhnech

Proceedings of the Advances in Computing Science, 1997

1996

Phased design and verification of stabilizing systems.

[BibT_eX]

[DOI]

PhD thesis, 1996

From Testing Theory to Test Driver Implementation.

[BibT_eX]

[DOI]

Jan Peleska

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

A Study of Singularity Formation in the Kelvin-Helmholtz Instability with Surface Tension.

[BibT_eX]

[DOI]

SIAM J. Appl. Math., 1995

A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994

Extending the Limits of Sequentially Phased Reasoning.

[BibT_eX]

[DOI]

Frank A. Stomp

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994

1988

Automatic Rule Derivation For Semantic Query Optimization.

[BibT_eX]