@article{19943,
  abstract     = {{In this paper we continue our study of bifurcations of solutions of boundary-value problems for symplectic maps arising as Hamiltonian diffeomorphisms. These have been shown to be connected to catastrophe theory via generating functions and ordinary and reversal phase space symmetries have been considered. Here we present a convenient, coordinate free framework to analyse separated Lagrangian boundary value problems which include classical Dirichlet, Neumann and Robin boundary value problems. The framework is then used to prove the existence of obstructions arising from conformal symplectic symmetries on the bifurcation behaviour of solutions to Hamiltonian boundary value problems. Under non-degeneracy conditions, a group action by conformal symplectic symmetries has the effect that the flow map cannot degenerate in a direction which is tangential to the action. This imposes restrictions on which singularities can occur in boundary value problems. Our results generalise classical results about conjugate loci on Riemannian manifolds to a large class of Hamiltonian boundary value problems with, for example, scaling symmetries. }},
  author       = {{McLachlan, Robert I and Offen, Christian}},
  journal      = {{New Zealand Journal of Mathematics}},
  keywords     = {{Hamiltonian boundary value problems, singularities, conformal symplectic geometry, catastrophe theory, conjugate loci}},
  pages        = {{83--99}},
  title        = {{{Hamiltonian boundary value problems, conformal symplectic symmetries, and conjugate loci}}},
  doi          = {{10.53733/34 }},
  volume       = {{48}},
  year         = {{2018}},
}

@inproceedings{20559,
  author       = {{Do, Lisa Nguyen Quang and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson}},
  booktitle    = {{Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis}},
  isbn         = {{978-1-4503-5076-1}},
  keywords     = {{Just-in-Time, Layered analysis, Static analysis}},
  pages        = {{307--317}},
  publisher    = {{ACM}},
  title        = {{{Just-in-time Static Analysis}}},
  doi          = {{10.1145/3092703.3092705}},
  year         = {{2017}},
}

@article{4687,
  author       = {{Müller, Oliver and Simons, Alexander and Weinmann, Markus}},
  issn         = {{03772217}},
  journal      = {{European Journal of Operational Research}},
  keywords     = {{Crowdsourcing, Football, Market value, OR in Sports, Soccer}},
  number       = {{2}},
  pages        = {{611----624}},
  title        = {{{Beyond crowd judgments: Data-driven estimation of market value in association football}}},
  doi          = {{10.1016/j.ejor.2017.05.005}},
  year         = {{2017}},
}

@article{4951,
  abstract     = {{Despite the rapid growth and potential of technology-based services, managers' greatest challenges are gaining customer acceptance and increasing usage of these new innovative services. In the B2C field, studies of self-service technology show that perceived risk is an important factor influencing the use of service technology. Though prior research explores different risk types that emerge in consumer settings, risk perception in the B2B setting lacks a detailed examination of different risk types influencing technology-based service adoption. Data from 49 qualitative interviews with providers and customers in two different B2B industries inform this study. The findings emphasize the importance of functional and financial risks in a B2B context and show that business customers' personal and psychological fears hinder their use of technology-based services. Results highlight differences in risk perception and evaluation between customers and providers.}},
  author       = {{Paluch, Stefanie and Wünderlich, Nancy}},
  journal      = {{Journal of business Research}},
  keywords     = {{Risk perception, Technology-based service innovations, Business-to-business context, Interview study, Risk categories, Smart service}},
  number       = {{7}},
  pages        = {{2424----2431}},
  publisher    = {{Elsevier}},
  title        = {{{Contrasting Risk Perceptions of Technology-Based Service Innovations in Inter-Organizational Settings.}}},
  volume       = {{69}},
  year         = {{2016}},
}

@article{5704,
  abstract     = {{Advancements in information technology have changed the way customers experience a service encounter and their relationship with service providers. Especially technology-based self-service channels have found their way into the 21st century service economy. While research embraces these channels for their cost-efficiency, it has not examined whether a shift from personal to self-service affects customer–firm relationships. Drawing from the service-dominant logic and its central concept of value-in-context, we discuss customers’ value creation in self-service and personal service channels and examine the long-term impact of these channels on customer retention. Using longitudinal customer data, we investigate how the ratio of self-service versus personal service use influences customer defection over time. Our findings suggest that the ratio of self-service to personal service used affects customer defection in a U-shaped manner, with intermediate levels of both self-service and personal service use being associated with the lowest likelihood of defection. We also find that this effect mitigates over time. We conclude that firms should not shift customers toward self-service channels completely, especially not at the beginning of a relationship. Our study underlines the importance of understanding when and how self-service technologies create valuable customer experiences and stresses the notion of actively managing customers’ cocreation of value. }},
  author       = {{Scherer, Anne and Wünderlich, Nancy and Von Wangenheim, Florian}},
  issn         = {{0276-7783.}},
  journal      = {{MIS Quarterly}},
  keywords     = {{customer defection, customer retention, e-service, longitudinal, Self-service, value-in-context}},
  number       = {{1}},
  pages        = {{177--200}},
  publisher    = {{MIS RC}},
  title        = {{{The Value of Self-Service: Long-Term Effects of Technology-Based Self-Service Usage on Customer Retention.}}},
  volume       = {{39}},
  year         = {{2015}},
}

@inproceedings{4469,
  abstract     = {{Auswertung einer Befragung unter Studierenden zu der Frage welche Elemente eine Lehrveranstaltung innovativ machen und welche Rolle die neuen Medien dabei spielen.

Digitale Medien begegnen uns in der Hochschule immer wieder. Häufig handelt es sich um neue Werkzeuge oder Trends (Klicker, MOOCs, Web 2.0), die einerseits potenzialreich und spannend erscheinen, deren didaktische Verwertbarkeit sich aber nicht auf den ersten Blick erschließt. Oft folgt nach einer euphorischen Erprobung schnell die Ernüchterung, wenn festgestellt wird, dass sich durch die digitalen Technologien allein kein erhöhter Lernerfolg ergibt und auch die Studierenden keine nachhaltigen Motivationsschübe erfahren.
Aus der Hochschuldidaktik hört man häufig und berechtigterweise kritische Stimmen, welche die Einbettung digitaler Medien in sorgfältig geplante didaktische Arrangements betonen. Es stellt sich die Frage, inwieweit damit die Kreativität und der Entdeckergeist von Lehrenden und Studierenden eingeschränkt werden. Wir wollen im Disq-Space der Frage nachgehen, wie die Hochschuldidaktik auf neue digitale Trends reagieren und dabei einen Mittelweg zwischen "kreativem Ausprobieren" und pädagogisch-didaktischer Rationalität einschlagen kann. Zunächst werden die Ergebnisse einer aktuellen Umfrage an der Universität St. Gallen zu den Vorstellungen Studierender zu innovativer Lehre vorgestellt. Nach einer Öffnung des Raums für gute sowie schlechte Erfahrungen und Bespiele von Seiten der Teilnehmenden soll diskutiert werden, welche personellen, didaktischen und organisatorischen Voraussetzungen erfüllt sein müssen, damit Digitalisierung die Kompetenzentwicklung der Studierenden unterstützt.
Die Ergebnisse der Diskussionsrunde werden im Blog des Teams Hochschulentwicklung zur Verfügung gestellt. Es wird angestrebt, diese damit einer breiteren Öffentlichkeit zugänglich zu machen.}},
  author       = {{Wagner, Dietrich and Jenert, Tobias}},
  keywords     = {{Neue Medien, Hochschuldidaktik, Studierende, Innovation in der Lehre}},
  location     = {{Paderborn}},
  title        = {{{Zwischen" netten" Tools und" {\"U}berdidaktisierung": Neue Medien in der Hochschuldidaktik}}},
  year         = {{2015}},
}

@article{4696,
  author       = {{vom Brocke, Jan and Debortoli, Stefan and Reuter, Nadine and Müller, Oliver}},
  issn         = {{15293181}},
  journal      = {{Communications of the Association for Information Systems}},
  keywords     = {{Advanced business analytics, Big Data, Business intelligence, IT business value, In-memory technology, OLAP, OLTP, Realtime analytics, Sentiment analysis}},
  pages        = {{151----167}},
  title        = {{{How In-Memory Technology Can Create Business Value: Lessons Learned from Hilti}}},
  doi          = {{10.17705/1CAIS.03407}},
  year         = {{2014}},
}

@article{35906,
  abstract     = {{Against the background of a European-wide strategy of governance aimed
at improving support for parents and families, the following report details
the conceptualization and evaluation of a federal state program4 in Baden-
Württemberg (Germany) which was launched in 2008 to encourage fam-
ily and parent education. Two program components, a voucher system
for parents with a new-born child and an element that emphasizes educa-
tional offers for families with special needs in particular living situations,
were started to increase requests for educational courses. The aim was to
establish and deepen cooperation between different public and private
professional services that are in contact with parents and their children.
The results show that main goals of the program were reached.}},
  author       = {{Landhäußer, Sandra and Faas, Stefan and Treptow, Rainer}},
  journal      = {{Center for Educational Policy Studies Journal (CEPS)}},
  keywords     = {{family and parent education, cooperation, voucher system, support for families with special needs in particular living situations, program evaluation}},
  number       = {{No 4}},
  title        = {{{Encouraging Family and Parent Education: Program Development and Evaluation in the Federal State of Baden-Württemberg, Germany}}},
  doi          = {{https://files.eric.ed.gov/fulltext/EJ1129548.pdf}},
  volume       = {{Vol 4}},
  year         = {{2014}},
}

@inproceedings{36919,
  abstract     = {{Faced with increasing demands on energy efficiency, current electronic systems operate according to complex power management schemes including more and more fine-grained voltage frequency scaling and power shutdown scenarios. Consequently, validation of the power design intent should begin as early as possible at electronic system-level (ESL) together with first executable system specifications for integrity tests. However, today's system-level design methodologies usually focus on the abstraction of digital logic and time, so that typical low-power aspects cannot be considered so far. In this paper, we present a high-level modeling approach on top of the SystemC/TLM standard to simulate power distribution and voltage based implications in a "loosely-timed" functional execution context. The approach reuses legacy TLM models and prevents the need for detailed lock-step process synchronization in contrast to existing methods. A case study derived from an open source low-power design demonstrates the efficiency of our approach in terms of simulation performance and testability.}},
  author       = {{Mischkalla, Fabian and Müller, Wolfgang}},
  keywords     = {{Time-varying systems, Time-domain analysis, Synchronization, Context modeling, Clocks, Semantics, Standards}},
  publisher    = {{IEEE}},
  title        = {{{Efficient Power-Intent Validation Using "Loosely-Timed" Simulation Models: A Non-Invasive Approach}}},
  doi          = {{10.1109/PATMOS.2013.6662171}},
  year         = {{2013}},
}

@article{5191,
  abstract     = {{This study examines the relevance of financial and non-financial information for the valuation of venture capital (VC) investments. Based on a hand-collected data set on venture-backed start-ups in Germany, we investigate the internal due diligence documents of over 200 investment rounds. We document that balance sheet and income statement items capture as much economic content as verifiable non-financial information (e.g. team experience or the number of patents) while controlling for several deal characteristics (e.g. industry, investment round, or yearly VC fund inflows). In addition, we show that valuations based on accounting and non-accounting information yield a level of valuation accuracy that is comparable to that of publicly traded firms. Further analyses show that the industry-specific total asset multiples outperform the popular revenue multiples but lead to significantly less accurate results than those obtained from the more comprehensive valuation models. Overall, our findings might inform researchers and standard-setters of the usefulness of accounting information for investment companies and provide additional evidence to gauge the overall valuation accuracy in VC settings.}},
  author       = {{Sievers, Sönke and Mokwa, Christopher F and Keienburg, Georg}},
  journal      = {{European Accounting Review (VHB-JOURQUAL 4 Ranking A)}},
  keywords     = {{value relevance, equity valuation, venture capital, human capital, start-ups}},
  number       = {{3}},
  pages        = {{467--511}},
  publisher    = {{Taylor \& Francis}},
  title        = {{{The relevance of financial versus non-financial information for the valuation of venture capital-backed firms}}},
  doi          = {{10.1080/09638180.2012.741051}},
  volume       = {{22}},
  year         = {{2013}},
}

@article{5113,
  abstract     = {{Standard equity valuation approaches (i.e., DDM, RIM, and DCF model) are derived under the assumption of ideal conditions, such as infinite payoffs and clean surplus accounting. Because these conditions are hardly ever met, we extend the standard approaches, based on the fundamental principle of financial statement articulation. The extended models are then tested empirically by employing two sets of forecasts: (1) analyst forecasts provided by Value Line and (2) forecasts generated by cross-sectional regression models. The main result is that our extended models yield considerably smaller valuation errors. Moreover, by construction, identical value estimates are obtained across the extended models. By reestablishing empirical equivalence under non-ideal conditions, our approach provides a benchmark that enables us to quantify the errors resulting from individual deviations from ideal conditions, and thus, to analyze the robustness of the standard approaches. Finally, by providing a level playing field for the different valuation approaches, our findings have implications for other empirical settings, for example, estimating the implied cost of capital. }},
  author       = {{Heinrichs, Nicolas and Hess, Dieter and Homburg, Carsten and Lorenz, Michael and Sievers, Sönke}},
  journal      = {{Contemporary Accounting Research (VHB-JOURQUAL 4 Ranking A+)}},
  keywords     = {{Dividend Discount Model, Residual Income, Discounted Cash Flow, Dirty Surplus, Terminal Value, Valuation Error}},
  number       = {{1}},
  pages        = {{42--79}},
  publisher    = {{Wiley Online Library}},
  title        = {{{Extended dividend, cash flow, and residual income valuation models: Accounting for deviations from ideal conditions}}},
  doi          = {{10.2139/ssrn.1145201}},
  volume       = {{30}},
  year         = {{2013}},
}

@article{17246,
  author       = {{Nomikou, Iris and Rohlfing, Katharina}},
  issn         = {{1943-0612}},
  journal      = {{IEEE Transactions on Autonomous Mental Development}},
  keywords     = {{acoustic packaging, mother-child interaction, social learning, multimodal grounding in input, ecology of interactions, synchrony}},
  number       = {{2}},
  pages        = {{113--128}},
  publisher    = {{Institute of Electrical & Electronics Engineers (IEEE)}},
  title        = {{{Language Does Something: Body Action and Language in Maternal Input to Three-Month-Olds}}},
  doi          = {{10.1109/TAMD.2011.2140113}},
  volume       = {{3}},
  year         = {{2011}},
}

@article{28449,
  abstract     = {{This article investigates forms of address, in particular the T/V distinction in German, in conversational interviews with German-speaking immigrants to English-speaking Canada and their descendants. From among 77 interviews conducted in two urban areas in Canada, we discuss instances of both the interactional use of and metalinguistic comments on forms of address. Our analysis is largely guided by conversation analysis and interactional sociolinguistics (e.g. Goodwin & Heritage 1990). Using Clyne, Norrby and Warren’s (2009) model of address as a backdrop, we investigate the construction of group identity and group socialization through the lens of positioning theory (e.g. van Langenhove & Harré 1993; Dailey-O’Cain & Liebscher 2009). This combination of analytical tools can explain shifts in both usage of and attitudes toward the T/V distinction that cannot be explained through language attrition arguments alone.}},
  author       = {{Liebscher, Grit and Dailey-O’Cain, Jennifer and Müller, Mareike and Reichert, Tetyana}},
  issn         = {{1018-2101}},
  journal      = {{Pragmatics. Quarterly Publication of the International Pragmatics Association (IPrA)}},
  keywords     = {{Forms of address, T/V distinction, Du vs. Sie, Conversation analysis, Language attitudes, Interviews, German in Canada, Migration studies, North American migration}},
  number       = {{3}},
  pages        = {{375--400}},
  title        = {{{Negotiating identities through pronouns of address in an immigrant community}}},
  doi          = {{10.1075/prag.20.3.04lie}},
  volume       = {{20}},
  year         = {{2010}},
}

@inproceedings{5632,
  abstract     = {{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. Three research tasks are essential requisites on the path towards addressing this criticism: the synthesis of knowledge, the identification of lack of knowledge, and the proposition of paths for closing knowledge gaps. This paper considers each of these tasks by a) synthesizing key research findings based on a comprehensive literature review, b) identifying and unfolding key limitations of current research, and c) applying a decision-theoretic perspective, which opens new horizons to IS business value research and shows paths for overcoming the limitations. The adoption of this perspective results in a decision-theoretic foundation of IS business value research and includes the proposition of a consistent terminology and a research model that frames further research.}},
  author       = {{Schryen, Guido and Bodenstein, Christian}},
  booktitle    = {{Proceedings of the 18th European Conference on Information Systems (ECIS 2010)}},
  keywords     = {{Decision theory, IT value, IS assessment, IS evaluation}},
  title        = {{{A decision-theoretic foundation of IS business value research}}},
  year         = {{2010}},
}

@inproceedings{5643,
  abstract     = {{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       = {{Schryen, Guido}},
  booktitle    = {{Proceedings of the First Scandinavian Conference on Information Systems (SCIS)}},
  keywords     = {{Literature review, Business value, Information systems, Methodology, Theory}},
  title        = {{{An Analysis of Literature Reviews on IS Business Value: How Deficiencies in Methodology and Theory Use Resulted in Limited Effectiveness}}},
  year         = {{2010}},
}

@article{5644,
  abstract     = {{The economic relevance of information systems has been studied for many years and has attracted an abundance of research papers. However, the ?productivity paradoxon? of the 90s, Carr?s widely recognized paper ?IT doesn?t matter?, and several studies that do not find a positive correlation between IS investments and economic performance reveal long-lasting difficulties for IS researchers to explain ?IS business value?. Business executives and researchers also continue to question the value of IS investments. This raises the question of whether literature reviews have tapped their potential to address the concerns by covering key research areas of IS business value and preserving their key findings. In order to address this question, this paper identifies and describes 12 key research areas, and synthesizes what literature reviews published in pertinent academic outlets have done to preserve knowledge. The analysis of 22 literature reviews shows that some crucial areas have not been (sufficiently) covered. They provide fertile areas for future literature reviews. As this work is based on the results of more than 200 research papers, it is capable of drawing a comprehensive picture of the current state-of-the-art in IS business value research.}},
  author       = {{Schryen, Guido}},
  journal      = {{Business \& Information Systems Engineering (BISE)}},
  keywords     = {{Business value, Information systems, Literature review, Meta review}},
  number       = {{4}},
  pages        = {{225--237}},
  publisher    = {{Springer}},
  title        = {{{Preserving knowledge on IS business value: what literature reviews have done}}},
  volume       = {{52}},
  year         = {{2010}},
}

@article{46411,
  abstract     = {{The paper presents a framework to optimise the design of work roll based on the cooling performance. The framework develops meta-models from a set of finite element analyses (FEA) of the roll cooling. A design of experiment technique is used to identify the FEA runs. The research also identifies sources of uncertainties in the design process. A robust evolutionary multi-objective evaluation technique is applied to the design optimisation in constrained problems with real life uncertainty. The approach handles uncertainties associated both with design variables and fitness functions. Constraints violation within the neighbourhood of a design is considered as part of a measurement for degree of feasibility and robustness of a solution.}},
  author       = {{Azene, Y.T. and Roy, R. and Farrugia, D. and Onisa, C. and Mehnen, J. and Trautmann, Heike}},
  issn         = {{1755-5817}},
  journal      = {{CIRP Journal of Manufacturing Science and Technology}},
  keywords     = {{Roll cooling design, Uncertainty, Design optimisation, Multi-objective optimisation, Constraint in design}},
  number       = {{4}},
  pages        = {{290--298}},
  title        = {{{Work roll cooling system design optimisation in presence of uncertainty and constrains}}},
  doi          = {{https://doi.org/10.1016/j.cirpj.2010.06.001}},
  volume       = {{2}},
  year         = {{2010}},
}

@article{11892,
  abstract     = {{For an environment to be perceived as being smart, contextual information has to be gathered to adapt the system's behavior and its interface towards the user. Being a rich source of context information speech can be acquired unobtrusively by microphone arrays and then processed to extract information about the user and his environment. In this paper, a system for joint temporal segmentation, speaker localization, and identification is presented, which is supported by face identification from video data obtained from a steerable camera. Special attention is paid to latency aspects and online processing capabilities, as they are important for the application under investigation, namely ambient communication. It describes the vision of terminal-less, session-less and multi-modal telecommunication with remote partners, where the user can move freely within his home while the communication follows him. The speaker diarization serves as a context source, which has been integrated in a service-oriented middleware architecture and provided to the application to select the most appropriate I/O device and to steer the camera towards the speaker during ambient communication.}},
  author       = {{Schmalenstroeer, Joerg and Haeb-Umbach, Reinhold}},
  journal      = {{IEEE Journal of Selected Topics in Signal Processing}},
  keywords     = {{audio streaming, audio visual data streaming, context information speech, face identification, face recognition, image segmentation, middleware, multimodal telecommunication, online diarization, service oriented middleware architecture, sessionless telecommunication, software architecture, speaker identification, speaker localization, speaker recognition, steerable camera, telecommunication computing, temporal segmentation, terminal-less telecommunication, video streaming}},
  number       = {{5}},
  pages        = {{845--856}},
  title        = {{{Online Diarization of Streaming Audio-Visual Data for Smart Environments}}},
  doi          = {{10.1109/JSTSP.2010.2050519}},
  volume       = {{4}},
  year         = {{2010}},
}

@inproceedings{37040,
  abstract     = {{Refinement of untimed TLM models into a timed HW/SW platform is a step by step design process which is a trade-off between timing accuracy of the used models and correct estimation of the final timing performance. The use of an RTOS on the target platform is mandatory in the case real-time properties must be guaranteed. Thus, the question is when the RTOS must be introduced in this step by step refinement process. This paper proposes a four-level RTOS-aware refinement methodology that, starting from an untimed TLM SystemC description of the whole system, progressively introduce HW/SW partitioning, timing, device driver and RTOS functionalities, till to obtain an accurate model of the final platform, where SW tasks run upon an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions. Each refinement level allows the designer to estimate more and more accurate timing properties, thus anticipating design decisions without being constrained to leave timing analysis to the final step of the refinement. The effectiveness of the methodology has been evaluated in the design of two complex platforms.}},
  author       = {{Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}},
  booktitle    = {{Proceedings of DATE’10}},
  keywords     = {{Timing, Hardware, Operating systems, Process design, Accuracy, Standards development, Context modeling, Real time systems, Communication channels, Microprogramming}},
  location     = {{Dresden}},
  publisher    = {{IEEE}},
  title        = {{{RTOS-Aware Refinement for TLM2.0-based HW/SW Design}}},
  doi          = {{10.1109/DATE.2010.5456965}},
  year         = {{2010}},
}

@inproceedings{37039,
  abstract     = {{Refinement of untimed TLM models into a timed HW/SW platform is a step by step design process which is a trade-off between timing accuracy of the used models and correct estimation of the final timing performance. The use of an RTOS on the target platform is mandatory in the case real-time properties must be guaranteed. Thus, the question is when the RTOS must be introduced in this step by step refinement process. This paper proposes a four-level RTOS-aware refinement methodology that, starting from an untimed TLM SystemC description of the whole system, progressively introduce HW/SW partitioning, timing, device driver and RTOS functionalities, till to obtain an accurate model of the final platform, where SW tasks run upon an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions. Each refinement level allows the designer to estimate more and more accurate timing properties, thus anticipating design decisions without being constrained to leave timing analysis to the final step of the refinement. The effectiveness of the methodology has been evaluated in the design of two complex platforms.}},
  author       = {{Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}},
  booktitle    = {{Proceedings of DATE’10}},
  keywords     = {{Timing, Hardware, Operating systems, Process design, Accuracy, Standards development, Context modeling, Real time systems, Communication channels, Microprogramming}},
  location     = {{Dresden}},
  publisher    = {{IEEE}},
  title        = {{{RTOS-Aware Refinement for TLM2.0-based HW/SW Design}}},
  doi          = {{10.1109/DATE.2010.5456965}},
  year         = {{2010}},
}

