@inproceedingsGuettatfi_Kermia_Khouas_2015, title=Over effective hard real-time hardware tasks scheduling and allocation, DOI=10.1109/FPL.2015.7293994, booktitle=25th International Conference on Field Programmable Logic and Applications (FPL), publisher=Imperial College, author=Guettatfi, Zakarya and Kermia, Omar and Khouas, Abdelhakim, year=2015 
LibreCat: /record/10779
DOI: 10.1109/FPL.2015.7293994

@inproceedingsKlobedanz_Müller_Rettberg_2012, place=Shenzhen, China , title=An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems, DOI=10.1109/ISORCW.2012.41, publisher=IEEE, author=Klobedanz, Kay and Müller, Wolfgang and Rettberg, Achim, year=2012 
LibreCat: /record/36922
DOI: 10.1109/ISORCW.2012.41

@inproceedingsMischkalla_He_Müller_2010, place=Dresden, title=Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems, DOI=10.1109/DATE.2010.5456990, booktitle=Proceedings of DATE’10, publisher=IEEE, author=Mischkalla, Fabian and He, Da and Müller, Wolfgang, year=2010 
LibreCat: /record/37007
DOI: 10.1109/DATE.2010.5456990

@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

@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

@inproceedingsSchattkowsky_Müller_Rettberg_2005, place=Munich, Germany , title=A Model-Based Approach for Executable Specification on Reconfigurable Hardware, DOI=10.1109/DATE.2005.20, booktitle=Proceedings of DATE’05, publisher=IEEE, author=Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim, year=2005 
LibreCat: /record/39029
DOI: 10.1109/DATE.2005.20

@inproceedingsFlake_Müller_2004, place=Beijing, China, title=Past- and Future-Oriented Time-Bound Temporal Properties with OCL, DOI=10.1109/SEFM.2004.1347516, booktitle=Proceedings of SEFM´04, publisher=IEEE, author=Flake, Stephan and Müller, Wolfgang, year=2004 
LibreCat: /record/39069
DOI: 10.1109/SEFM.2004.1347516

@inproceedingsFlake_Müller_2002, place=Big Island, HI, USA , title=Specification of Real-Time Properties for UML Models, DOI=10.1109/HICSS.2002.994469, booktitle=Proceedings of HICSS-35, author=Flake, Stephan and Müller, Wolfgang, year=2002 
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

@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