Zobrazeno 1 - 10
of 65
pro vyhledávání: '"Marc Herbstritt"'
Autor:
Paul Vierkant, Olaf Siegert, Gernot Deinzer, Agathe Gebert, Marc Herbstritt, Heinz Pampel, Regine Tobias, Alexander Wagner
Publikováno v:
o-bib. Das offene Bibliotheksjournal, Vol 4, Iss 1, Pp 151-169 (2017)
Eine zunehmende Anzahl von Zeitschriftenaufsätzen deutscher Wissenschaftseinrichtungen ist im Sinne des Open Access frei verfügbar. Die Open-Access-Verfügbarkeit kann dabei durch Anwendung verschiedener Geschäfts- und Finanzierungsmodelle umgeset
Externí odkaz:
https://doaj.org/article/d07a4021c2804fe3b50231eedaf38892
Autor:
S. Johr, Eckard Böde, Ralf Wimmer, Holger Hermanns, Reza Pulungan, Bernd Becker, J. Rakow, Marc Herbstritt, Thomas Peikenkamp
Publikováno v:
IEEE Transactions on Software Engineering. 35:274-292
Software and system dependability is getting ever more important in embedded system design. Current industrial practice of model-based analysis is supported by state-transition diagrammatic notations such as Statecharts. State-of-the-art modelling to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dd8f79867f6dc7318c78cbccb0174b57
https://doi.org/10.1109/tse.2008.102
https://doi.org/10.1109/tse.2008.102
Autor:
Ad-hoc-AG Open-Access-Gold in der Schwerpunktinitiative \\'Digitale Information\\' der Allianz der deutschen Wissenschaftsorganisationen, Christoph Bruch, Gernot Deinzer, Kai Geschuhn, Petra Hätscher, Kristine Hillenkötter, Ulrike Kreß, Heinz Pampel, Hildegard Schäffler, Ursula Stanek, Arnulf Timm, Alexander Wagner, Agathe Gebert, Kristina Hanig, Marc Herbstritt, Katja Mruck, Annette Scheiner, Frank Scholze, Matthias Schulze, Olaf Siegert, Regine Tobias, Marco Tullney, Paul Vierkant
Publikováno v:
BASE-Bielefeld Academic Search Engine
Potsdam : Ad-hoc-Arbeitsgruppe Open-Access-Gold der Schwerpunktinitiative „Digitale Information“ der Allianz der deutschen Wissenschaftsorganisationen 34 pp. (2015). doi:10.2312/allianzoa.008
Potsdam : Ad-hoc-Arbeitsgruppe Open-Access-Gold der Schwerpunktinitiative „Digitale Information“ der Allianz der deutschen Wissenschaftsorganisationen 34 pp. (2015). doi:10.2312/allianzoa.008
34 pp., (2015). doi:10.2312/allianzoa.008
Als erstes Arbeitsergebnis legt die Ad-hoc-AG Open-Access-Gold dieses Positionspapier vor. Es richtet sich an wissenschaftliche Einrichtungen, die sich aktiv mit Aspekten des Open-Access-Publizierens bef
Als erstes Arbeitsergebnis legt die Ad-hoc-AG Open-Access-Gold dieses Positionspapier vor. Es richtet sich an wissenschaftliche Einrichtungen, die sich aktiv mit Aspekten des Open-Access-Publizierens bef
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c1c42b81dd1221e42c3eea8a69138ac
https://gfzpublic.gfz-potsdam.de/pubman/item/item_873897
https://gfzpublic.gfz-potsdam.de/pubman/item/item_873897
Autor:
Groupe de travail ad-hoc « Open Access Gold » au sein de l’Initiative prioritaire « Information numérique » de l’Alliance des organisations de recherche allemandes, Christoph Bruch, Gernot Deinzer, Kai Geschuhn, Petra Hätscher, Kristine Hillenkötter, Ulrike Kreß, H. Pampel, Hildegard Schäffler, Ursula Stanek, Arnulf Timm, Alexander Wagner, Agathe Gebert, Kristina Hanig, Marc Herbstritt, Katja Mruck, Annette Scheiner, Frank Scholze, Matthias Schulze, Olaf Siegert, Regine Tobias, Marco Tullney, Paul Vierkant, Herbert Grüttemeier, Thérèse Hameau
Publikováno v:
BASE-Bielefeld Academic Search Engine
Potsdam : Ad-hoc-Arbeitsgruppe Open-Access-Gold der Schwerpunktinitiative „Digitale Information“ der Allianz der deutschen Wissenschaftsorganisationen 34 pp. (2015). doi:10.2312/allianzoa.010
Potsdam : Ad-hoc-Arbeitsgruppe Open-Access-Gold der Schwerpunktinitiative „Digitale Information“ der Allianz der deutschen Wissenschaftsorganisationen 34 pp. (2015). doi:10.2312/allianzoa.010
34 pp., (2015). doi:10.2312/allianzoa.010
Comme premier résultat de son travail, le groupe ad hoc Open-Access-Gold présente cette prise de position. Il s’adresse à des institutions scientifiques qui sont impliquées dans divers aspects de l
Comme premier résultat de son travail, le groupe ad hoc Open-Access-Gold présente cette prise de position. Il s’adresse à des institutions scientifiques qui sont impliquées dans divers aspects de l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::66661aaff4e36b093f2429bef7e92314
Autor:
Ad Hoc Working Group Open Access Gold in the priority initiative \\'Digital Information\\' of the Alliance of Science Organisations in Germany, Christoph Bruch, Gernot Deinzer, Kai Geschuhn, Petra Hätscher, Kristine Hillenkötter, Ulrike Kreß, Pampel, H., Hildegard Schäffler, Ursula Stanek, Arnulf Timm, Alexander Wagner, Agathe Gebert, Kristina Hanig, Marc Herbstritt, Katja Mruck, Annette Scheiner, Frank Scholze, Matthias Schulze, Olaf Siegert, Regine Tobias, Marco Tullney, Paul Vierkant
Publikováno v:
BASE-Bielefeld Academic Search Engine
Potsdam : Ad-hoc-Arbeitsgruppe Open-Access-Gold der Schwerpunktinitiative „Digitale Information“ der Allianz der deutschen Wissenschaftsorganisationen 29 pp. (2015). doi:10.2312/allianzoa.009
Potsdam : Ad-hoc-Arbeitsgruppe Open-Access-Gold der Schwerpunktinitiative „Digitale Information“ der Allianz der deutschen Wissenschaftsorganisationen 29 pp. (2015). doi:10.2312/allianzoa.009
29 pp., (2015). doi:10.2312/allianzoa.009
This position paper is the working group's first result. It is directed at scholarly institutions dealing with aspects of Open Access publishing, and bundles and evaluates the requirements for contracts
This position paper is the working group's first result. It is directed at scholarly institutions dealing with aspects of Open Access publishing, and bundles and evaluates the requirements for contracts
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c43ea6487a38dd368ced439df4778e7
https://gfzpublic.gfz-potsdam.de/pubman/item/item_1274627_10/component/file_1423025/Position_Papier_Ad-Hoc-WG_OA_Gold_Englisch.pdf
https://gfzpublic.gfz-potsdam.de/pubman/item/item_1274627_10/component/file_1423025/Position_Papier_Ad-Hoc-WG_OA_Gold_Englisch.pdf
Autor:
Bernd Becker, Ralf Wimmer, Matthew Lewis, Tobias Nopper, Marc Herbstritt, J. Lichtner, Natalia Kalinnik
Publikováno v:
ICCD
Bounded model checking of partial circuit designs enables the detection of errors even when the implementation of the design is not finished. The behavior of the missing parts can be modeled by a conservative extension of propositional logic, called
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::01ac6d285405cb16a347176132ff10cd
https://doi.org/10.1109/iccd.2008.4751840
https://doi.org/10.1109/iccd.2008.4751840
Publikováno v:
MTV
In the past, we have investigated satisfiability-based combinational equivalence checking and bounded model checking of partial circuit designs, i.e., circuit designs where one or more components of the design are not implemented yet. Especially for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cf4d6dc06f462c72968046c0fa7d32d6
https://doi.org/10.1109/mtv.2007.7
https://doi.org/10.1109/mtv.2007.7
Publikováno v:
ACM Great Lakes Symposium on VLSI
In this paper we report on optimizations for a BDD-based algorithm for the computation of bisimulations. The underlying algorithmic principle is an iterative refinement of a partition of the state space. The proposed optimizations demonstrate that bo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::05d0166896775833b6d7ad243f5667b7
https://doi.org/10.1145/1228784.1228880
https://doi.org/10.1145/1228784.1228880
Publikováno v:
DDECS
One approach for the verification of embedded systems, where discrete control is embedded in a continuous environment, is bounded model checking of linear hybrid automata. As a decision procedure within this context, a combination of a propositional
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f4a2c606f867354e2479ddb3ef19b2ea
https://doi.org/10.1109/ddecs.2007.4295318
https://doi.org/10.1109/ddecs.2007.4295318
Publikováno v:
MTV
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection during SAT search. Experimental results show that exploiting the probl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b35ed270809715662dd1bbd1ab7dfa88
https://doi.org/10.1109/mtv.2006.3
https://doi.org/10.1109/mtv.2006.3