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.
11 Publications
2022 | Journal Article | LibreCat-ID: 29049
R. Fahr, E. A. Janssen, and C. Sureth-Sloane, “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, pp. 239–289, 2022.
LibreCat
2019 | Conference Paper | LibreCat-ID: 17667
R. Koning, G. Polevoy, L. Meijer, C. de Laat, and P. Grosso, “Approaches for Collaborative Security Defences in Multi Network Environments,” in 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–123.
LibreCat
| DOI
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 37009
M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification of RTOS Properties,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457130.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
K. Klobedanz, C. Kuznik, A. Thuy, and W. Müller, “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457125.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5456965.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
W. Müller, M. F. da S. Oliveira, H. Zabel, and M. Becker, “Verification of Real-Time Properties for Hardware-Dependant Software,” presented at the IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37039
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5456965.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
H. Zabel and W. Müller, “Increased Accuracy through Noise Injection in Abstract RTOS Simulation,” presented at the Design, Automation & Test in Europe Conference & Exhibition, 2009, doi: 10.1109/DATE.2009.5090925.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39502
M. Dücker, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Generic System for Interactive Real--Time Animation,” Monterey, CA, USA , 1997, doi: 10.1109/ECBS.1997.581876.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39541
G. Lehrenfeld, W. Müller, and C. Tahedl, “Transforming SDL Diagrams Into a Complete Visual Representation,” 1995, doi: 10.1109/VL.1995.520803.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39538
W. Müller, G. Lehrenfeld, and C. Tahedl, “Complete Visual Specification and Animations of Protocols,” 1995, doi: 10.1109/ASPDAC.1995.486383.
LibreCat
| DOI