Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
10 Publications
2022 | Journal Article | LibreCat-ID: 29049
Fahr, René, et al. “Can Tax Rate Changes Accelerate Investment under Entry and Exit Flexibility? – Insights from an Economic Experiment.” FinanzArchiv / Public Finance Analysis, vol. 78, no. 1–2, 2022, pp. 239–89.
LibreCat
2019 | Conference Paper | LibreCat-ID: 17667
Koning, Ralph, et al. “Approaches for Collaborative Security Defences in Multi Network Environments.” 2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom), 2019, pp. 113–23, doi:10.1109/CSCloud/EdgeCom.2019.000-9.
LibreCat
| DOI
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457130.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, Kay, et al. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” Proceedings of DATE’10, Dresden, IEEE, 2010, doi:10.1109/DATE.2010.5457125.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5456965.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller, Wolfgang, et al. “Verification of Real-Time Properties for Hardware-Dependant Software.” Proceedings of HLDVT2010, IEEE, 2010.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37066
Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.” Proceedings of DATE’09, 2009, doi:10.1109/DATE.2009.5090925.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39502
Dücker, M., et al. “A Generic System for Interactive Real--Time Animation.” Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, 1997, doi:10.1109/ECBS.1997.581876.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld, Georg, et al. “Transforming SDL Diagrams Into a Complete Visual Representation.” Proceedings of Symposium on Visual Languages, 1995, doi:10.1109/VL.1995.520803.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39538
Müller, Wolfgang, et al. “Complete Visual Specification and Animations of Protocols.” Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, 1995, doi:10.1109/ASPDAC.1995.486383.
LibreCat
| DOI