--- _id: '21276' abstract: - lang: eng text: "This collection of essays presents new work on women’s contribution to philosophy between the Renaissance and the mid-eighteenth century. They bring a new perspective to the history of philosophy, by highlighting women’s contributions to philosophy and testifying to the rich history of women’s thought in this period.\r\n\r\nBy showing that women were active in many branches of philosophy (metaphysics, science, political philosophy cosmology, ontology, epistemology) the book testifies to the rich history of women’s thought across Europe in this period. The scope of the collection is international, both in terms of the philosophers represented and the contributors themselves from Britain and North America, but also from continental Europe and from as far afield as Australia and Brazil. The philosophers discussed here include both figures who have recently come to be better known (Elisabeth of Bohemia, Anne Conway, Mary Astell, Catharine Trotter Cockburn, Emilie du Châtelet), and less familiar figures (Moderata Fonte, Lucrezia Marinella Arcangela Tarabotti, Tullia d’Aragona, Madame Deshoulières, Madame de Sablé, Angélique de Saint-Jean Arnauld d’Andilly, Olivia Sabuco, Susanna Newcome).\r\n\r\nThe chapters in this book were originally published as a special issue of the British Journal for the History of Philosophy." citation: ama: Hagengruber R, Hutton S, eds. Women Philosophers from the Renaissance to the Enlightenment. 1st ed. Routledge; 2021. apa: Hagengruber, R., & Hutton, S. (Eds.). (2021). Women Philosophers from the Renaissance to the Enlightenment (1st ed.). Routledge. bibtex: '@book{Hagengruber_Hutton_2021, place={London}, edition={1}, title={Women Philosophers from the Renaissance to the Enlightenment}, publisher={Routledge}, year={2021} }' chicago: 'Hagengruber, Ruth, and Sarah Hutton, eds. Women Philosophers from the Renaissance to the Enlightenment. 1st ed. London: Routledge, 2021.' ieee: 'R. Hagengruber and S. Hutton, Eds., Women Philosophers from the Renaissance to the Enlightenment, 1st ed. London: Routledge, 2021.' mla: Hagengruber, Ruth, and Sarah Hutton, editors. Women Philosophers from the Renaissance to the Enlightenment. 1st ed., Routledge, 2021. short: R. Hagengruber, S. Hutton, eds., Women Philosophers from the Renaissance to the Enlightenment, 1st ed., Routledge, London, 2021. date_created: 2021-02-24T15:50:57Z date_updated: 2022-11-25T19:55:54Z department: - _id: '519' edition: '1' editor: - first_name: Ruth full_name: Hagengruber, Ruth id: '198' last_name: Hagengruber orcid: https://orcid.org/0000-0003-3360-6335 - first_name: Sarah full_name: Hutton, Sarah last_name: Hutton keyword: - History of Women Philosophers - Methodology - History of Philosophy - Women's Studies - Gender History language: - iso: eng place: London publication_identifier: isbn: - ISBN 9780367758646 publisher: Routledge quality_controlled: '1' status: public title: Women Philosophers from the Renaissance to the Enlightenment type: book_editor user_id: '49063' year: '2021' ... --- _id: '17019' abstract: - lang: eng text: The scientific impact of research papers is multi-dimensional and can be determined quantitatively by means of citation analysis and qualitatively by means of content analysis. Accounting for the widely acknowledged limitations of pure citation analysis, we adopt a knowledge-based perspective on scientific impact to develop a methodology for content-based citation analysis which allows determining how papers have enabled knowledge development in subsequent research (knowledge impact). As knowledge development differs between research genres, we develop a new knowledgebased citation analysis methodology for the genre of standalone literature reviews (LRs). We apply the suggested methodology to the IS business value domain by manually coding 22 LRs and 1,228 citing papers (CPs) and show that the results challenge the assumption that citations indicate knowledge impact. We derive implications for distinguishing knowledge impact from citation impact in the LR genre. Finally, we develop recommendations for authors of LRs, scientific evaluation committees and editorial boards of journals how to apply and benefit from the suggested methodology, and we discuss its efficiency and automatization. author: - first_name: Guido full_name: Schryen, Guido id: '72850' last_name: Schryen - first_name: Gerit full_name: Wagner, Gerit last_name: Wagner - first_name: Alexander full_name: Benlian, Alexander last_name: Benlian citation: ama: 'Schryen G, Wagner G, Benlian A. Distinguishing Knowledge Impact from Citation Impact: A Methodology for Analysing Knowledge Impact for the Literature Review Genre.; 2020.' apa: 'Schryen, G., Wagner, G., & Benlian, A. (2020). Distinguishing Knowledge Impact from Citation Impact: A Methodology for Analysing Knowledge Impact for the Literature Review Genre.' bibtex: '@book{Schryen_Wagner_Benlian_2020, title={Distinguishing Knowledge Impact from Citation Impact: A Methodology for Analysing Knowledge Impact for the Literature Review Genre}, author={Schryen, Guido and Wagner, Gerit and Benlian, Alexander}, year={2020} }' chicago: 'Schryen, Guido, Gerit Wagner, and Alexander Benlian. Distinguishing Knowledge Impact from Citation Impact: A Methodology for Analysing Knowledge Impact for the Literature Review Genre, 2020.' ieee: 'G. Schryen, G. Wagner, and A. Benlian, Distinguishing Knowledge Impact from Citation Impact: A Methodology for Analysing Knowledge Impact for the Literature Review Genre. 2020.' mla: 'Schryen, Guido, et al. Distinguishing Knowledge Impact from Citation Impact: A Methodology for Analysing Knowledge Impact for the Literature Review Genre. 2020.' short: 'G. Schryen, G. Wagner, A. Benlian, Distinguishing Knowledge Impact from Citation Impact: A Methodology for Analysing Knowledge Impact for the Literature Review Genre, 2020.' date_created: 2020-05-19T15:12:33Z date_updated: 2022-01-06T06:53:02Z ddc: - '000' department: - _id: '277' file: - access_level: open_access content_type: application/pdf creator: hsiemes date_created: 2020-05-19T15:09:28Z date_updated: 2020-05-19T15:09:28Z file_id: '17020' file_name: SSRN-id3581789.pdf file_size: 487351 relation: main_file file_date_updated: 2020-05-19T15:09:28Z has_accepted_license: '1' keyword: - Scientific impact - knowledge impact - content-based citation analysis - methodology language: - iso: eng main_file_link: - open_access: '1' url: https://ssrn.com/abstract=3581789 oa: '1' status: public title: 'Distinguishing Knowledge Impact from Citation Impact: A Methodology for Analysing Knowledge Impact for the Literature Review Genre' type: working_paper user_id: '61579' year: '2020' ... --- _id: '17055' abstract: - lang: eng text: Understanding a new literature corpus can be a grueling experience for junior scholars. Nevertheless, corresponding guidelines have not been updated for decades. We contend that the traditional strategy of skimming all papers and reading selected papers afterwards needs to be revised. Therefore, we design a new strategy that guides the overall exploratory process by prioritizing influential papers for initial reading, followed by skimming the remaining papers. Consistent with schemata theory, starting with in-depth reading allows readers to acquire more substantial prior content schemata, which are representa-tive for the literature corpus and useful in the following skimming process. To this end, we develop a prototype that identifies the influential papers from a set of PDFs, which is illustrated in a case study in the IT business value domain. With the new strategy, we envision a more efficient process of exploring unknown literature corpora. author: - first_name: Gerit full_name: Wagner, Gerit last_name: Wagner - first_name: Philipp full_name: Empl, Philipp last_name: Empl - first_name: Guido full_name: Schryen, Guido id: '72850' last_name: Schryen citation: ama: 'Wagner G, Empl P, Schryen G. Designing a Novel Strategy for Exploring Literature Corpora. In: 28th European Conference on Information Systems (ECIS 2020). ; 2020.' apa: Wagner, G., Empl, P., & Schryen, G. (2020). Designing a Novel Strategy for Exploring Literature Corpora. In 28th European Conference on Information Systems (ECIS 2020). Marrakesh, Morocco. bibtex: '@inproceedings{Wagner_Empl_Schryen_2020, title={Designing a Novel Strategy for Exploring Literature Corpora}, booktitle={28th European Conference on Information Systems (ECIS 2020)}, author={Wagner, Gerit and Empl, Philipp and Schryen, Guido}, year={2020} }' chicago: Wagner, Gerit, Philipp Empl, and Guido Schryen. “Designing a Novel Strategy for Exploring Literature Corpora.” In 28th European Conference on Information Systems (ECIS 2020), 2020. ieee: G. Wagner, P. Empl, and G. Schryen, “Designing a Novel Strategy for Exploring Literature Corpora,” in 28th European Conference on Information Systems (ECIS 2020), Marrakesh, Morocco, 2020. mla: Wagner, Gerit, et al. “Designing a Novel Strategy for Exploring Literature Corpora.” 28th European Conference on Information Systems (ECIS 2020), 2020. short: 'G. Wagner, P. Empl, G. Schryen, in: 28th European Conference on Information Systems (ECIS 2020), 2020.' conference: location: Marrakesh, Morocco name: Twenty-Eigth European Conference on Information Systems (ECIS2020) date_created: 2020-05-24T15:23:32Z date_updated: 2022-01-06T06:53:03Z ddc: - '000' department: - _id: '277' file: - access_level: open_access content_type: application/pdf creator: hsiemes date_created: 2020-05-24T17:17:32Z date_updated: 2021-08-13T14:04:55Z file_id: '17056' file_name: 2020-03-27-ECIS2020 Designing a novel strategy for exploring literature corpora.pdf file_size: 590754 relation: main_file file_date_updated: 2021-08-13T14:04:55Z has_accepted_license: '1' keyword: - Reading and skimming - Exploring literature - Review methodology - Design science research - Schemata theory language: - iso: eng oa: '1' publication: 28th European Conference on Information Systems (ECIS 2020) status: public title: Designing a Novel Strategy for Exploring Literature Corpora type: conference user_id: '61579' year: '2020' ... --- _id: '5633' abstract: - lang: eng text: 'Literature reviews (LRs) are recognized for their increasing impact in the information systems literature. Methodologists have drawn attention to the question of how we can leverage the value of LRs to preserve and generate knowledge. The panelists who participated in the discussion of ?Standalone Literature Reviews in IS Research: What Can Be Learnt from the Past and Other Fields?? at ICIS 2016 in Dublin acknowledged this significant issue and debated a) what the IS field can learn from other fields and where IS-specific challenges occur, b) how the IS field should move forward to foster the genre of LRs, and c) what best practices are to train doctoral IS students in publishing LRs. This article reports the key takeaways of this panel discussion. Guidance for IS scholars is provided on how to conduct LRs that contribute to the cumulative knowledge development within and across the IS field to best prepare the next generation of IS scholars.' author: - first_name: Guido full_name: Schryen, Guido id: '72850' last_name: Schryen - first_name: Alexander full_name: Benlian, Alexander last_name: Benlian - first_name: Frantz full_name: Rowe, Frantz last_name: Rowe - first_name: Gregor full_name: Shirley, Gregor last_name: Shirley - first_name: Kai full_name: Larsen, Kai last_name: Larsen - first_name: Stacie full_name: Petter, Stacie last_name: Petter - first_name: Guy full_name: Par{\'e}, Guy last_name: Par{\'e} - first_name: Gerit full_name: Wagner, Gerit last_name: Wagner - first_name: Steffi full_name: Haag, Steffi last_name: Haag - first_name: Emrah full_name: Yasasin, Emrah last_name: Yasasin citation: ama: 'Schryen G, Benlian A, Rowe F, et al. Literature Reviews in IS Research: What Can Be Learnt from the Past and Other Fields? Communications of the AIS. 2017;40:557-569.' apa: 'Schryen, G., Benlian, A., Rowe, F., Shirley, G., Larsen, K., Petter, S., … Yasasin, E. (2017). Literature Reviews in IS Research: What Can Be Learnt from the Past and Other Fields? Communications of the AIS, 40, 557–569.' bibtex: '@article{Schryen_Benlian_Rowe_Shirley_Larsen_Petter_Par{\’e}_Wagner_Haag_Yasasin_2017, title={Literature Reviews in IS Research: What Can Be Learnt from the Past and Other Fields?}, volume={40}, journal={Communications of the AIS}, publisher={Association for Information Systems (AIS)}, author={Schryen, Guido and Benlian, Alexander and Rowe, Frantz and Shirley, Gregor and Larsen, Kai and Petter, Stacie and Par{\’e}, Guy and Wagner, Gerit and Haag, Steffi and Yasasin, Emrah}, year={2017}, pages={557–569} }' chicago: 'Schryen, Guido, Alexander Benlian, Frantz Rowe, Gregor Shirley, Kai Larsen, Stacie Petter, Guy Par{\’e}, Gerit Wagner, Steffi Haag, and Emrah Yasasin. “Literature Reviews in IS Research: What Can Be Learnt from the Past and Other Fields?” Communications of the AIS 40 (2017): 557–69.' ieee: 'G. Schryen et al., “Literature Reviews in IS Research: What Can Be Learnt from the Past and Other Fields?,” Communications of the AIS, vol. 40, pp. 557–569, 2017.' mla: 'Schryen, Guido, et al. “Literature Reviews in IS Research: What Can Be Learnt from the Past and Other Fields?” Communications of the AIS, vol. 40, Association for Information Systems (AIS), 2017, pp. 557–69.' short: G. Schryen, A. Benlian, F. Rowe, G. Shirley, K. Larsen, S. Petter, G. Par{\’e}, G. Wagner, S. Haag, E. Yasasin, Communications of the AIS 40 (2017) 557–569. date_created: 2018-11-14T14:25:40Z date_updated: 2022-01-06T07:02:14Z ddc: - '000' department: - _id: '277' extern: '1' file: - access_level: open_access content_type: application/pdf creator: hsiemes date_created: 2018-12-07T11:33:59Z date_updated: 2018-12-13T15:07:15Z file_id: '6027' file_name: Schryen et al. (forthcoming), Literature Reviews in IS Research, What Can Be Learnt from the Past and Other Fields, Communications of th.pdf file_size: 361850 relation: main_file file_date_updated: 2018-12-13T15:07:15Z has_accepted_license: '1' intvolume: ' 40' keyword: - Literature Review - Review Methodology - Research Methodology - Doctoral Training language: - iso: eng oa: '1' page: 557 - 569 publication: Communications of the AIS publication_identifier: issn: - 1529-3181 publisher: Association for Information Systems (AIS) status: public title: 'Literature Reviews in IS Research: What Can Be Learnt from the Past and Other Fields?' type: journal_article user_id: '61579' volume: 40 year: '2017' ... --- _id: '4689' author: - first_name: Oliver full_name: Müller, Oliver id: '72849' last_name: Müller - first_name: Iris full_name: Junglas, Iris last_name: Junglas - first_name: Jan full_name: vom Brocke, Jan last_name: vom Brocke - first_name: Stefan full_name: Debortoli, Stefan last_name: Debortoli citation: ama: 'Müller O, Junglas I, vom Brocke J, Debortoli S. Utilizing big data analytics for information systems research: Challenges, promises and guidelines. European Journal of Information Systems. 2016;(4):289--302. doi:10.1057/ejis.2016.2' apa: 'Müller, O., Junglas, I., vom Brocke, J., & Debortoli, S. (2016). Utilizing big data analytics for information systems research: Challenges, promises and guidelines. European Journal of Information Systems, (4), 289--302. https://doi.org/10.1057/ejis.2016.2' bibtex: '@article{Müller_Junglas_vom Brocke_Debortoli_2016, title={Utilizing big data analytics for information systems research: Challenges, promises and guidelines}, DOI={10.1057/ejis.2016.2}, number={4}, journal={European Journal of Information Systems}, author={Müller, Oliver and Junglas, Iris and vom Brocke, Jan and Debortoli, Stefan}, year={2016}, pages={289--302} }' chicago: 'Müller, Oliver, Iris Junglas, Jan vom Brocke, and Stefan Debortoli. “Utilizing Big Data Analytics for Information Systems Research: Challenges, Promises and Guidelines.” European Journal of Information Systems, no. 4 (2016): 289--302. https://doi.org/10.1057/ejis.2016.2.' ieee: 'O. Müller, I. Junglas, J. vom Brocke, and S. Debortoli, “Utilizing big data analytics for information systems research: Challenges, promises and guidelines,” European Journal of Information Systems, no. 4, pp. 289--302, 2016.' mla: 'Müller, Oliver, et al. “Utilizing Big Data Analytics for Information Systems Research: Challenges, Promises and Guidelines.” European Journal of Information Systems, no. 4, 2016, pp. 289--302, doi:10.1057/ejis.2016.2.' short: O. Müller, I. Junglas, J. vom Brocke, S. Debortoli, European Journal of Information Systems (2016) 289--302. date_created: 2018-10-12T08:29:46Z date_updated: 2022-01-06T07:01:18Z doi: 10.1057/ejis.2016.2 extern: '1' issue: '4' keyword: - analytics - big data - data source - information systems research - methodology language: - iso: eng page: 289--302 publication: European Journal of Information Systems publication_identifier: isbn: - 0960-085X issn: - '14769344' status: public title: 'Utilizing big data analytics for information systems research: Challenges, promises and guidelines' type: journal_article user_id: '72849' year: '2016' ... --- _id: '5618' abstract: - lang: eng text: Literature reviews play an important role in the development of knowledge. Yet, we observe a lack of theoretical underpinning of and epistemological insights into how literature reviews can contribute to knowledge creation and have actually contributed in the IS discipline. To address these theoretical and empirical research gaps, we suggest a novel epistemological model of literature reviews. This model allows us to align different contributions of literature reviews with their underlying knowledge conversions - thereby building a bridge between the previously largely unconnected fields of literature reviews and epistemology. We evaluate the appropriateness of the model by conducting an empirical analysis of 173 IS literature reviews which were published in 39 pertinent IS journals between 2000 and 2014. Based on this analysis, we derive an epistemological taxonomy of IS literature reviews, which complements previously suggested typologies. author: - first_name: Guido full_name: Schryen, Guido id: '72850' last_name: Schryen - first_name: Gerit full_name: Wagner, Gerit last_name: Wagner - first_name: Alexander full_name: Benlian, Alexander last_name: Benlian citation: ama: 'Schryen G, Wagner G, Benlian A. Theory of Knowledge for Literature Reviews: An Epistemological Model, Taxonomy and Empirical Analysis of IS Literature. In: International Conference on Information Systems (ICIS). ; 2015.' apa: 'Schryen, G., Wagner, G., & Benlian, A. (2015). Theory of Knowledge for Literature Reviews: An Epistemological Model, Taxonomy and Empirical Analysis of IS Literature. In International Conference on Information Systems (ICIS).' bibtex: '@inproceedings{Schryen_Wagner_Benlian_2015, title={Theory of Knowledge for Literature Reviews: An Epistemological Model, Taxonomy and Empirical Analysis of IS Literature}, booktitle={International Conference on Information Systems (ICIS)}, author={Schryen, Guido and Wagner, Gerit and Benlian, Alexander}, year={2015} }' chicago: 'Schryen, Guido, Gerit Wagner, and Alexander Benlian. “Theory of Knowledge for Literature Reviews: An Epistemological Model, Taxonomy and Empirical Analysis of IS Literature.” In International Conference on Information Systems (ICIS), 2015.' ieee: 'G. Schryen, G. Wagner, and A. Benlian, “Theory of Knowledge for Literature Reviews: An Epistemological Model, Taxonomy and Empirical Analysis of IS Literature,” in International Conference on Information Systems (ICIS), 2015.' mla: 'Schryen, Guido, et al. “Theory of Knowledge for Literature Reviews: An Epistemological Model, Taxonomy and Empirical Analysis of IS Literature.” International Conference on Information Systems (ICIS), 2015.' short: 'G. Schryen, G. Wagner, A. Benlian, in: International Conference on Information Systems (ICIS), 2015.' date_created: 2018-11-14T14:01:13Z date_updated: 2022-01-06T07:02:10Z ddc: - '000' department: - _id: '277' extern: '1' file: - access_level: open_access content_type: application/pdf creator: hsiemes date_created: 2018-12-07T11:44:48Z date_updated: 2018-12-13T15:09:22Z file_id: '6037' file_name: ICIS PROCEEDINGS PAPER - Literature Reviews.pdf file_size: 487102 relation: main_file file_date_updated: 2018-12-13T15:09:22Z has_accepted_license: '1' keyword: - Literature review - Research methods/methodology - Theory of knowledge language: - iso: eng oa: '1' publication: International Conference on Information Systems (ICIS) status: public title: 'Theory of Knowledge for Literature Reviews: An Epistemological Model, Taxonomy and Empirical Analysis of IS Literature' type: conference user_id: '61579' year: '2015' ... --- _id: '5643' abstract: - lang: eng text: Enduring doubts about the value of IS investments reveal that IS researchers have not fully managed to identify and to explain the economic benefits of IS. This paper assumes that literature reviews, which represent a powerful instrument for the identification and synthesis of knowledge, have not tapped their full potential to address this issue due to deficiencies in methodology. The analysis of 18 literature reviews published in pertinent academic outlets during the past 20 years shows such deficiencies. Two of the most critical weaknesses identified are (1) the lack of theory use in most reviews and (2) a weak linkage of reviews, resulting in little progress in theory and framework development. The systematic identification of these weaknesses and the extraction of promising methodological examples from past literature are the main contributions of this work, which supports the composition of more effective literature reviews in future research. author: - first_name: Guido full_name: Schryen, Guido id: '72850' last_name: Schryen citation: ama: 'Schryen G. An Analysis of Literature Reviews on IS Business Value: How Deficiencies in Methodology and Theory Use Resulted in Limited Effectiveness. In: Proceedings of the First Scandinavian Conference on Information Systems (SCIS). ; 2010.' apa: 'Schryen, G. (2010). An Analysis of Literature Reviews on IS Business Value: How Deficiencies in Methodology and Theory Use Resulted in Limited Effectiveness. In Proceedings of the First Scandinavian Conference on Information Systems (SCIS).' bibtex: '@inproceedings{Schryen_2010, title={An Analysis of Literature Reviews on IS Business Value: How Deficiencies in Methodology and Theory Use Resulted in Limited Effectiveness}, booktitle={Proceedings of the First Scandinavian Conference on Information Systems (SCIS)}, author={Schryen, Guido}, year={2010} }' chicago: 'Schryen, Guido. “An Analysis of Literature Reviews on IS Business Value: How Deficiencies in Methodology and Theory Use Resulted in Limited Effectiveness.” In Proceedings of the First Scandinavian Conference on Information Systems (SCIS), 2010.' ieee: 'G. Schryen, “An Analysis of Literature Reviews on IS Business Value: How Deficiencies in Methodology and Theory Use Resulted in Limited Effectiveness,” in Proceedings of the First Scandinavian Conference on Information Systems (SCIS), 2010.' mla: 'Schryen, Guido. “An Analysis of Literature Reviews on IS Business Value: How Deficiencies in Methodology and Theory Use Resulted in Limited Effectiveness.” Proceedings of the First Scandinavian Conference on Information Systems (SCIS), 2010.' short: 'G. Schryen, in: Proceedings of the First Scandinavian Conference on Information Systems (SCIS), 2010.' date_created: 2018-11-14T14:36:26Z date_updated: 2022-01-06T07:02:18Z ddc: - '000' department: - _id: '277' extern: '1' file: - access_level: open_access content_type: application/pdf creator: hsiemes date_created: 2018-12-11T15:14:51Z date_updated: 2018-12-13T15:17:00Z file_id: '6186' file_name: 2010_Book_ScandinavianInformationSystems - Schryen.pdf file_size: 302340 relation: main_file file_date_updated: 2018-12-13T15:17:00Z has_accepted_license: '1' keyword: - Literature review - Business value - Information systems - Methodology - Theory language: - iso: eng oa: '1' publication: Proceedings of the First Scandinavian Conference on Information Systems (SCIS) status: public title: 'An Analysis of Literature Reviews on IS Business Value: How Deficiencies in Methodology and Theory Use Resulted in Limited Effectiveness' type: conference user_id: '61579' year: '2010' ... --- _id: '39061' abstract: - lang: eng text: This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML state diagrams, which are translated to the formal B language and are model checked for real-time properties. By means of the B language and a B theorem prover, refined state diagrams are verified against their abstract representation. The approach is presented by means of the refinement of a digital echo cancellation unit. author: - first_name: Alexander full_name: Krupp, Alexander last_name: Krupp - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller - first_name: Ian full_name: Oliver, Ian last_name: Oliver citation: ama: 'Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo Cancellation Unit. In: Proceedings of DATE’04 Designers’ Forum. ; 2004. doi:10.1109/DATE.2004.1269214' apa: Krupp, A., Müller, W., & Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. Proceedings of DATE’04 Designers’ Forum. Proceedings Design, Automation and Test in Europe Conference and Exhibition. https://doi.org/10.1109/DATE.2004.1269214 bibtex: '@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement and Model Checking of An Echo Cancellation Unit}, DOI={10.1109/DATE.2004.1269214}, booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, year={2004} }' chicago: Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” In Proceedings of DATE’04 Designers’ Forum. Paris, 2004. https://doi.org/10.1109/DATE.2004.1269214. ieee: 'A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi: 10.1109/DATE.2004.1269214.' mla: Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” Proceedings of DATE’04 Designers’ Forum, 2004, doi:10.1109/DATE.2004.1269214. short: 'A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.' conference: name: Proceedings Design, Automation and Test in Europe Conference and Exhibition date_created: 2023-01-24T08:53:26Z date_updated: 2023-01-24T08:53:31Z department: - _id: '672' doi: 10.1109/DATE.2004.1269214 keyword: - Echo cancellers - Logic - Unified modeling language - Automata - Data structures - Boolean functions - Electronic design automation and methodology - Prototypes - Specification languages - Constraint theory language: - iso: eng place: Paris publication: Proceedings of DATE’04 Designers' Forum publication_identifier: isbn: - 0-7695-2085-5 status: public title: Formal Refinement and Model Checking of An Echo Cancellation Unit type: conference user_id: '5786' year: '2004' ... --- _id: '39421' abstract: - lang: eng text: We present a rigorous but transparent semantics definition of SystemC that covers method, thread, and clocked thread behavior as well as their interaction with the simulation kernel process. The semantics includes watching statements, signal assignment, and wait statements as they are introduced in SystemC V1.O. We present our definition in form of distributed Abstract State Machines (ASMs) rules reflecting the view given in the SystemC User's Manual and the reference implementation. We mainly see our formal semantics as a concise, unambiguous, high-level specification for SystemC-based implementations and for standardization. Additionally, it can be used as a sound basis to investigate SystemC interoperability with Verilog and VHDL. author: - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller - first_name: Jürgen full_name: Ruf, Jürgen last_name: Ruf - first_name: D. W. full_name: Hoffmann, D. W. last_name: Hoffmann - first_name: Joachim full_name: Gerlach, Joachim last_name: Gerlach - first_name: Thomas full_name: Kropf, Thomas last_name: Kropf - first_name: W. full_name: Rosenstiehl, W. last_name: Rosenstiehl citation: ama: 'Müller W, Ruf J, Hoffmann DW, Gerlach J, Kropf T, Rosenstiehl W. The Simulation Semantics of SystemC. In: Proceedings of the Design, Automation, and Test in Europe (DATE’01). IEEE; 2001. doi:10.1109/DATE.2001.915002' apa: Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., & Rosenstiehl, W. (2001). The Simulation Semantics of SystemC. Proceedings of the Design, Automation, and Test in Europe (DATE’01). Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001. https://doi.org/10.1109/DATE.2001.915002 bibtex: '@inproceedings{Müller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place={Munich, Germany }, title={The Simulation Semantics of SystemC}, DOI={10.1109/DATE.2001.915002}, booktitle={Proceedings of the Design, Automation, and Test in Europe (DATE’01)}, publisher={IEEE}, author={Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W.}, year={2001} }' chicago: 'Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.” In Proceedings of the Design, Automation, and Test in Europe (DATE’01). Munich, Germany : IEEE, 2001. https://doi.org/10.1109/DATE.2001.915002.' ieee: 'W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl, “The Simulation Semantics of SystemC,” presented at the Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, doi: 10.1109/DATE.2001.915002.' mla: Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.” Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, 2001, doi:10.1109/DATE.2001.915002. short: 'W. Müller, J. Ruf, D.W. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl, in: Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, Munich, Germany , 2001.' conference: name: ' Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001' date_created: 2023-01-24T10:39:33Z date_updated: 2023-01-24T10:39:38Z department: - _id: '672' doi: 10.1109/DATE.2001.915002 keyword: - Yarn - Formal verification - Kernel - Hardware design languages - Electronic design automation and methodology - Algebra - Computational modeling - Logic functions - Computer languages - Clocks language: - iso: eng place: 'Munich, Germany ' publication: Proceedings of the Design, Automation, and Test in Europe (DATE’01) publication_identifier: isbn: - 0-7695-0993-2 publisher: IEEE status: public title: The Simulation Semantics of SystemC type: conference user_id: '5786' year: '2001' ...