-
1
المؤلفون: Daniel Neider, Martin Zimmermann, Alexander Weinert
المصدر: Information and Computation
GandALF
EPTCS 305, 2019, pp. 1-16
Electronic Proceedings in Theoretical Computer Science, Vol 305, Iss Proc. GandALF 2019, Pp 1-16 (2019)مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theoretical computer science, Institut für Simulations- und Softwaretechnik, Logic in computer science, Computer science, Formal Languages and Automata Theory (cs.FL), Mathematische Logik, Computer Science - Formal Languages and Automata Theory, lcsh:QA75.5-76.95, Theoretical Computer Science, Verteilte Systeme und Komponentensoftware, Linear temporal logic, Robustness (computer science), Isolation (database systems), Robustness, Reactive system, Dynamic logic (digital electronics), lcsh:Mathematics, Expressiveness, Specification language, Temporal Logics, lcsh:QA1-939, Quantitative Logics, Computer Science Applications, Logic in Computer Science (cs.LO), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Computational Theory and Mathematics, Verifikation, lcsh:Electronic computers. Computer science, Information Systems, Hardware_LOGICDESIGN
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cd1eb26c14b6f9a9d8769a92d64df6b1
https://doi.org/10.1016/j.ic.2021.104810 -
2
المؤلفون: Martin Zimmermann, Corto Mascle, Daniel Neider, Maximilian Schwenger, Alexander Weinert, Paulo Tabuada
المساهمون: Ames, Aaron, Seshia, Sanjit A, Deshmukh, Jyotirmoy
المصدر: Formal methods in system design, vol 59, iss 1-3
Mascle, C, Neider, D, Schwenger, M, Tabuada, P, Weinert, A & Zimmermann, M 2022, ' From LTL to rLTL monitoring: improved monitorability through robust semantics ', Formal Methods in System Design, vol. 59, no. 1-3, pp. 170-204 . https://doi.org/10.1007/s10703-022-00398-4
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
HSCC
Formal Methods in System Designمصطلحات موضوعية: FOS: Computer and information sciences, 030213 general clinical medicine, 0209 industrial biotechnology, Computer Science - Logic in Computer Science, Electrical & Electronic Engineering, Institut für Simulations- und Softwaretechnik, Property (philosophy), Theoretical computer science, Monitoring, Formal Languages and Automata Theory (cs.FL), Computer science, Semantics (computer science), Computer Science - Formal Languages and Automata Theory, 02 engineering and technology, Temporallogik, Theoretical Computer Science, Verteilte Systeme und Komponentensoftware, Computer Software, 03 medical and health sciences, 020901 industrial engineering & automation, 0302 clinical medicine, Linear temporal logic, Realizability, Truth value, Robustheit, Runtime Monitoring Robust Linear Temporal Logic, Computation Theory and Mathematics, Logic in Computer Science (cs.LO), Automaton, Prefix, Range (mathematics), Hardware and Architecture, Runtime monitoring, Distributed Computing, Software, Robust Linear Temporal Logic
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c8800c5189840198389842cc07e2bbb5
https://escholarship.org/uc/item/3zw1858p -
3
المؤلفون: Kevin Wittek, Iryna Dohndorf, Neslihan Wittek, Alexander Weinert, James Lawton, Andrei Ionita
المصدر: IEEE ICBC
مصطلحات موضوعية: Service (systems architecture), Blockchain, Institut für Simulations- und Softwaretechnik, business.industry, Computer science, Cryptography, bloxberg, Pipeline (software), Data science, Field (computer science), Verteilte Systeme und Komponentensoftware, Workflow, Data integrity, Scalability, open science, ethereum, integrity, business, reproducibility
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::975f692eda96a24a9ec89eeec066d650
https://elib.dlr.de/142470/ -
4
المؤلفون: Dominik Ernst, Jonas Thies, Georg Hager, Nigel Overmars, Achim Basermann, Gerhard Wellein, Melven Röhrig-Zöllner
مصطلحات موضوعية: Institut für Simulations- und Softwaretechnik, business.industry, Computer science, Applied Mathematics, sparse matrices, Context (language use), 010103 numerical & computational mathematics, Parallel computing, Solver, Application software, computer.software_genre, 01 natural sciences, 010101 applied mathematics, Software, Scalability, High performance computing, 0101 mathematics, General-purpose computing on graphics processing units, business, Software architecture, computer, Block (data storage), eigenvalue computations, sustainable software engineering
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b6a6db260e520988305e7e2d64e6fd8c
https://doi.org/10.1145/3402227 -
5
المؤلفون: Jannik Häßy, Sebastian Gottfried, Johannes Hartmann, Matthias Schulze, Andreas Schuster, Stefan Goertz, Michael Petsch, Thomas Klimmek, Stefan Keye, Tobias Wunderlich, Christoph Kaiser, Dieter Kohlgrüber, Özge Süelözgen, Alexander Weinert, Benjamin Fröhler, Caslav Ilic, Sascha Daehne, Robert Mischke, Philipp Knechtges, Mohammad Abu-Zurayk, Thiemo Kier
المصدر: AIAA AVIATION 2020 FORUM.
مصطلحات موضوعية: Institut für Aerodynamik und Strömungstechnik, Institut für Simulations- und Softwaretechnik, Computer science, media_common.quotation_subject, design, Fidelity, Institut für Softwaremethoden zur Produkt-Virtualisierung, MDO, Software, Institut für Bauweisen und Strukturtechnologie, Analysis software, media_common, Parametric statistics, VicToria, Funktionsleichtbau, Flexibility (engineering), Institut für Antriebstechnik, business.industry, Multidisciplinary design optimization, Institut für Systemdynamik und Regelungstechnik, Institut für Aeroelastik, Institut für Systemarchitekturen in der Luftfahrt, Design synthesis, HPC, Systems engineering, Flutter, business, optimization
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63382003078f856c41543dc3f2582ed4
https://doi.org/10.2514/6.2020-3167 -
6
المؤلفون: Özge Süelözgen, Dieter Kohlgrüber, David Quero-Martin, Mohammad Abu-Zurayk, Anke Tröltzsch, Martin Leitner, Matthias Schulze, Caslav Ilic, Johannes Hartmann, Sebastian Gottfried, Michael Petsch, Andreas Schuster, Thiemo Kier, Richard-Gregor Becker, Stefan Görtz, Jannik Häßy, Christoph Kaiser, Andrei Merle, Thomas Klimmek, Benjamin Fröhler
المصدر: AIAA AVIATION 2020 FORUM.
مصطلحات موضوعية: Airfoil, Institut für Aerodynamik und Strömungstechnik, Institut für Simulations- und Softwaretechnik, Wing, Institut für Antriebstechnik, Process (engineering), Computer science, Multidisciplinary design optimization, Control engineering, Institut für Softwaremethoden zur Produkt-Virtualisierung, Aerodynamics, MDO, Design load, Aeroelasticity, Institut für Systemdynamik und Regelungstechnik, Institut für Aeroelastik, Institut für Faserverbundleichtbau und Adaptronik, Institut für Systemarchitekturen in der Luftfahrt, Institut für Bauweisen und Strukturtechnologie, Multidisciplinary approach, optimization, multidisciplinary, aircraft design
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c574b371189e2f47a2b508f19e8a1c8e
https://doi.org/10.2514/6.2020-3169 -
7
المؤلفون: Druskat, Stephan
مصطلحات موضوعية: Verteilte Systeme und Komponentensoftware, Institut für Simulations- und Softwaretechnik, software sustainability, software citation, research software
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1c37deae6f7c149ad433bd1303cee96a
-
8
المؤلفون: Santhanam, Sivasurya
مصطلحات موضوعية: Verteilte Systeme und Komponentensoftware, FOS: Computer and information sciences, Computer Science - Machine Learning, Institut für Simulations- und Softwaretechnik, Computer Science - Computation and Language, Natural language processing, Machine learning, Text generation, Computation and Language (cs.CL), Neural networks, Machine Learning (cs.LG)
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d0aa6960508ace0b2b8a3f999b150c6
http://arxiv.org/abs/2005.00048 -
9
المؤلفون: Andreas Schreiber, Robert Mischke, Alexander Weinert, Brigitte Boden
المصدر: Programming
مصطلحات موضوعية: Institut für Simulations- und Softwaretechnik, Computer science, business.industry, Engineering Processes, Technical systems, Multi-Disciplinary Design, Collaboration, Domain (software engineering), Task (project management), Verteilte Systeme und Komponentensoftware, Workflow, Software, Software engineering, business, Composition (language)
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8281c6f4aec5f1abf0206b177fdec90b
https://doi.org/10.1145/3397537.3399576 -
10
المؤلفون: Breidenbach, Aurelie
مصطلحات موضوعية: Verteilte Systeme und Komponentensoftware, Unternehmenskultur, Informatik, Institut für Simulations- und Softwaretechnik, Gender Bias, Diversität, Vorurteile, Frauen
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______1640::91a19e414087c8b9c98b438b300250e1
https://elib.dlr.de/133514/