Autor der Publikation

Towards a Rigorous Modeling Formalism for Systems of Systems.

, , , und . ISORC Workshops, Seite 204-211. IEEE Computer Society, (2012)

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.

Univ. -Prof. Achim Menges University of Stuttgart

Timber Column Slab Solver, , , , und . Software, (2024)Related to: Udaykumar, K., Orozco, L., Krtschil, A., Menges, A., & Knippers, J. (2023). Interactive gradient-decent optimization method for timber column-slab structures. In Proceedings of IASS Annual Symposia, IASS 2023 Melbourne Symposium: Optimisation methods and applications. International Association for Shell and Spatial Structures (IASS). url: https://www.ingentaconnect.com/contentone/iass/piass/2023/00002023/00000008/art00010.
Timber Column Slab Solver, , , , und . Software, (2024)Related to: Udaykumar, K., Orozco, L., Krtschil, A., Menges, A., & Knippers, J. (2023). Interactive gradient-decent optimization method for timber column-slab structures. In Proceedings of IASS Annual Symposia, IASS 2023 Melbourne Symposium: Optimisation methods and applications. International Association for Shell and Spatial Structures (IASS). url: https://www.ingentaconnect.com/contentone/iass/piass/2023/00002023/00000008/art00010.ABxM.MultiStorey.Columns: Agent-based Column Arrangement for Multi-Storey Structures, , und . Software, (2024)Reinforcement Arrangement Data, , , , und . Dataset, (2024)Related to: Orozco, L., Krtschil, A., Skoury, L., Knippers, J., & Menges, A. (2022). Arrangement of reinforcement in variable density timber slab systems for multi-story construction. International Journal of Architectural Computing, vol. 20, no. 4, pp. 707-727. doi: 10.1177/14780771221135003.
 

Weitere Publikationen von Autoren mit dem selben Namen

Towards a Rigorous Modeling Formalism for Systems of Systems., , , und . ISORC Workshops, Seite 204-211. IEEE Computer Society, (2012)An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems., , und . ISORC Workshops, Seite 196-203. IEEE Computer Society, (2012)Hierarchical real-time scheduling in the multi-core era - An overview., , , und . ISORC, Seite 1-10. IEEE Computer Society, (2013)Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs., , , und . IESS, Volume 403 von IFIP Advances in Information and Communication Technology, Seite 205-217. Springer, (2013)Approach for a Formal Verification of a Bit-serial Pipelined Architecture., , und . IESS, Volume 231 von IFIP Advances in Information and Communication Technology, Seite 47-56. Springer, (2007)The Specification Language SpecC within the PARADISE Design Environment., , , , , und . DIPES, Volume 189 von IFIP Conference Proceedings, Seite 111-120. Kluwer, (2000)Communication-Aware Component Allocation Algorithm for a Hybrid Architecture., , und . DIPES, Volume 225 von IFIP, Seite 175-184. Springer, (2006)A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems., , , , , und . SEUS, Volume 6399 von Lecture Notes in Computer Science, Seite 59-70. Springer, (2010)Model and Methodology for the Synthesis of Heterogeneous and Partially Reconfigurable Systems., , und . IPDPS, Seite 1-8. IEEE, (2007)SPES Methodology and MARTE Constraints in Architectural Design., , , , und . ISCC, Seite 377-383. IEEE, (2018)