Scaling Enumerative Program Synthesis via Divide and Conquer von Alur, Rajeev, Radhakrishna, Arjun, Udupa, Abhishek

Volltext

An Eulerian–Lagrangian method for fluid–structure interaction based on level sets von Legay, A., Chessa, J., Belytschko, T.

Volltext

Temperature distribution in a permafrost-affected rock ridge from conductivity and induced polarization tomography von Duvillard, P-A, Magnin, F, Revil, A, Legay, A, Ravanel, L, Abdulsamad, F, Coperey, A

Volltext

The enriched space-time finite element method (EST) for simultaneous solution of fluid-structure interaction von Zilian, A., Legay, A.

Volltext

The Evidence for Hip Arthroscopy: Grading the Current Indications von Stevens, Michael S., B.Sc., B.Sc.P.T, LeGay, Douglas A., B.Sc., M.D., F.R.C.S.C, Glazebrook, Mark A., M.Sc., Ph.D., M.D., F.R.C.S.C, Amirault, David, M.D., F.R.C.S.C

Volltext

From Propositional to First-Order Monitoring von Bauer, Andreas, Küster, Jan-Christoph, Vegliach, Gil

Volltext

Reduced order models for dynamic behavior of elastomer damping devices von Morin, B., Legay, A., Deü, J.-F.

Volltext

Feedback Control for Statistical Model Checking of Cyber-Physical Systems von Kalajdzic, K., Jegourel, C., Lukina, A., Bartocci, E., Legay, A., Smolka, S. A., Grosu, R.

Volltext

SPY: Local Verification of Global Protocols von Neykova, Rumyana, Yoshida, Nobuko, Hu, Raymond

Volltext

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans von Lukina, Anna, Esterle, Lukas, Hirsch, Christian, Bartocci, Ezio, Yang, Junxing, Tiwari, Ashish, Smolka, Scott A., Grosu, Radu

Volltext

JANI: Quantitative Model and Tool Interaction von Budde, Carlos E., Dehnert, Christian, Hahn, Ernst Moritz, Hartmanns, Arnd, Junges, Sebastian, Turrini, Andrea

Volltext

Encodings of Bounded Synthesis von Faymonville, Peter, Finkbeiner, Bernd, Rabe, Markus N., Tentrup, Leander

Volltext

Strong and weak arbitrary discontinuities in spectral finite elements von Legay, A., Wang, H. W., Belytschko, T.

Volltext

Vibro-acoustic study of a viscoelastic sandwich ring immersed in water von Rouleau, L., Deü, J.-F., Legay, A., Sigrist, J.-F.

Volltext

Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation von Nguyen, ThanhVu, Weimer, Westley, Kapur, Deepak, Forrest, Stephanie

Volltext

Optimal Translation of LTL to Limit Deterministic Automata von Kini, Dileep, Viswanathan, Mahesh

Volltext

Reduced Order Models for Dynamic Behavior of Elastomer Damping Devices von Morin, B., Legay, A., Deü, J.-F.

Volltext

Context-Bounded Analysis for POWER von Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Bouajjani, Ahmed, Ngo, Tuan Phong

Volltext

Performance of a restrained-interface substructuring FE model for reduction of structural-acoustic problems with poroelastic damping von Rumpler, R., Legay, A., Deü, J.-F.

Volltext

Polynomial Invariants by Linear Algebra von de Oliveira, Steven, Bensalem, Saddek, Prevosto, Virgile

Volltext