@articleFahr_Janssen_Sureth-Sloane_2022, title=Can Tax Rate Changes Accelerate Investment under Entry and Exit Flexibility? – Insights from an Economic Experiment, volume=78, number=1–2, journal=FinanzArchiv / Public Finance Analysis, author=Fahr, René and Janssen, Elmar A. and Sureth-Sloane, Caren, year=2022, pages=239–289 
LibreCat: /record/29049

@inproceedingsKoning_Polevoy_Meijer_de Laat_Grosso_2019, series=2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom), title=Approaches for Collaborative Security Defences in Multi Network Environments, DOI=10.1109/CSCloud/EdgeCom.2019.000-9, booktitle=2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom), author=Koning, Ralph and Polevoy, Gleb and Meijer, Lydia and de Laat, Cees and Grosso, Paola, year=2019, pages=113–123, collection=2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom) 
LibreCat: /record/17667
DOI: 10.1109/CSCloud/EdgeCom.2019.000-9

@inproceedingsOliveira_Zabel_Müller_2010, place=Dresden, title=Assertion-Based Verification of RTOS Properties, DOI=10.1109/DATE.2010.5457130, booktitle=Proceedings of DATE’10, publisher=IEEE, author=Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang, year=2010 
LibreCat: /record/37009
DOI: 10.1109/DATE.2010.5457130

@inproceedingsKlobedanz_Kuznik_Thuy_Müller_2010, place=Dresden, title=Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study, DOI=10.1109/DATE.2010.5457125, booktitle=Proceedings of DATE’10, Dresden, publisher=IEEE, author=Klobedanz, Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang, year=2010 
LibreCat: /record/37011
DOI: 10.1109/DATE.2010.5457125

@inproceedingsBecker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place=Dresden, title=RTOS-Aware Refinement for TLM2.0-based HW/SW Design, DOI=10.1109/DATE.2010.5456965, booktitle=Proceedings of DATE’10, publisher=IEEE, author=Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao, year=2010 
LibreCat: /record/37040
DOI: 10.1109/DATE.2010.5456965

@inproceedingsMüller_da S. Oliveira_Zabel_Becker_2010, title=Verification of Real-Time Properties for Hardware-Dependant Software, booktitle=Proceedings of HLD, publisher=IEEE, author=Müller, Wolfgang and da S. Oliveira, Marcio F. and Zabel, Henning and Becker, Markus, year=2010 
LibreCat: /record/37053

@inproceedingsZabel_Müller_2009, place=Nice, France, title=Increased Accuracy through Noise Injection in Abstract RTOS Simulation, DOI=10.1109/DATE.2009.5090925, booktitle=Proceedings of DATE’09, author=Zabel, Henning and Müller, Wolfgang, year=2009 
LibreCat: /record/37066
DOI: 10.1109/DATE.2009.5090925

@inproceedingsDücker_Lehrenfeld_Müller_Tahedl_1997, place=Monterey, CA, USA , title=A Generic System for Interactive Real--Time Animation, DOI=10.1109/ECBS.1997.581876, booktitle= Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, author=Dücker, M. and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C., year=1997 
LibreCat: /record/39502
DOI: 10.1109/ECBS.1997.581876

@inproceedingsLehrenfeld_Müller_Tahedl_1995, place= Darmstadt, Germany , title=Transforming SDL Diagrams Into a Complete Visual Representation, DOI=10.1109/VL.1995.520803, booktitle=Proceedings of Symposium on Visual Languages, author=Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C., year=1995 
LibreCat: /record/39541
DOI: 10.1109/VL.1995.520803

@inproceedingsMüller_Lehrenfeld_Tahedl_1995, place=Chiba, Japan , title=Complete Visual Specification and Animations of Protocols, DOI=10.1109/ASPDAC.1995.486383, booktitle=Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, author=Müller, Wolfgang and Lehrenfeld, Georg and Tahedl, C., year=1995 
LibreCat: /record/39538
DOI: 10.1109/ASPDAC.1995.486383