Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Validation and automatic test generation on UML models: the AGATHA approach.

D. Lugato, C. Bigot, Y. Valot, J. Gallois, S. Gérard, und F. Terrier. STTT, 5 (2-3): 124-139 (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dr. Marie Davidova University of Stuttgart

David Krach University of Stuttgart

Digital Rock Physics : A Geological Driven Workflow for the Segmentation of Anisotropic Ruhr SandstoneM. Balcewicz, M. Siegert, M. Gurris, M. Ruf, D. Krach, H. Steeb, und E. Saenger. Frontiers in Earth Science, (2021)

Digital Rock Physics : A Geological Driven Workflow for the Segmentation of Anisotropic Ruhr SandstoneM. Balcewicz, M. Siegert, M. Gurris, M. Ruf, D. Krach, H. Steeb, und E. Saenger. Frontiers in Earth Science, (2021)Permeability Estimation of Regular Porous Structures : A Benchmark for Comparison of MethodsA. Wagner, E. Eggenweiler, F. Weinhardt, Z. Trivedi, D. Krach, C. Lohrmann, K. Jain, N. Karadimitriou, C. Bringedal, P. Voland und 4 andere Autor(en). Transport in porous media, 138 (1): 1-23 (2021)Simulation of weak-inertia single-phase flow in porous materials using Smoothed Particle HydrodynamicsD. Krach, und H. Steeb. PAMM, 20 (1): e202000289 (2021)

David Inkermann

David Briesenick University of Stuttgart

David Gudnason University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

On the use of models for high-performance scientific computing applications: an experience report.I. Ober, M. Palyart, J. Bruel, und D. Lugato. Software and Systems Modeling, 17 (1): 319-342 (2018)The tensor algebra compiler.F. Kjolstad, S. Kamil, S. Chou, D. Lugato, und S. Amarasinghe. Proc. ACM Program. Lang., 1 (OOPSLA): 77:1-77:29 (2017)Validation and automatic test generation on UML models: the AGATHA approach.D. Lugato, C. Bigot, Y. Valot, J. Gallois, S. Gérard, und F. Terrier. STTT, 5 (2-3): 124-139 (2004)Domain specific modeling for operations research simulation in a large industrial context.D. Lugato, M. Palyart, und C. Engelvin. DSM@SPLASH, Seite 19-24. ACM, (2012)Automated Functional Test Case Synthesis from THALES industrial Requirements.D. Lugato, F. Maraux, Y. Traon, V. Normand, H. Dubois, J. Pierron, J. Gallois, und C. Nebut. IEEE Real-Time and Embedded Technology and Applications Symposium, Seite 104-111. IEEE Computer Society, (2004)Automatic Test Generation with AGATHA.C. Bigot, A. Faivre, J. Gallois, A. Lapitre, D. Lugato, J. Pierron, und N. Rapin. TACAS, Volume 2619 von Lecture Notes in Computer Science, Seite 591-596. Springer, (2003)MDE4HPC: An Approach for Using Model-Driven Engineering in High-Performance Computing.M. Palyart, D. Lugato, I. Ober, und J. Bruel. SDL Forum, Volume 7083 von Lecture Notes in Computer Science, Seite 247-261. Springer, (2011)MDHPCL 2012 workshop summary.I. Ober, A. Gokhale, G. Georg, M. Felderer, J. Bruel, und D. Lugato. MDHPCL@MoDELS, Seite 1. ACM, (2012)Enhancing version control with domain-specific semantics.M. Foucault, S. Barbier, und D. Lugato. MiSE, Seite 31-36. IEEE Computer Society, (2013)Laika: Efficient In-Place Scheduling for 3D Mesh Graph Computations.P. Gruevski, W. Hasenplaugh, D. Lugato, und J. Thomas. SPAA, Seite 415-426. ACM, (2018)