Guettatfi, Zakarya, et al. “Over Effective Hard Real-Time Hardware Tasks Scheduling and Allocation.”10.1109/FPL.2015.7293994__25th International Conference on Field Programmable Logic and Applications (FPL), Imperial College, 2015, doi:10.1109/FPL.2015.7293994.
LibreCat: /record/10779
DOI: 10.1109/FPL.2015.7293994

Klobedanz, Kay, et al. An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. IEEE, 2012, doi:10.1109/ISORCW.2012.41.
LibreCat: /record/36922
DOI: 10.1109/ISORCW.2012.41

Mischkalla, Fabian, et al. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.”10.1109/DATE.2010.5456990__Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5456990.
LibreCat: /record/37007
DOI: 10.1109/DATE.2010.5456990

Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.”10.1109/DATE.2010.5457130__Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457130.
LibreCat: /record/37009
DOI: 10.1109/DATE.2010.5457130

Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.”10.1109/DATE.2010.5456965__Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5456965.
LibreCat: /record/37040
DOI: 10.1109/DATE.2010.5456965

Müller, Wolfgang, et al. “Verification of Real-Time Properties for Hardware-Dependant Software.” Proceedings of HLD, IEEE, 2010.
LibreCat: /record/37053

Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.”10.1109/DATE.2009.5090925__Proceedings of DATE’09, 2009, doi:10.1109/DATE.2009.5090925.
LibreCat: /record/37066
DOI: 10.1109/DATE.2009.5090925

Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.”10.1109/DATE.2005.20__Proceedings of DATE’05, IEEE, 2005, doi:10.1109/DATE.2005.20.
LibreCat: /record/39029
DOI: 10.1109/DATE.2005.20

Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.”10.1109/SEFM.2004.1347516__Proceedings of SEFM´04, IEEE, 2004, doi:10.1109/SEFM.2004.1347516.
LibreCat: /record/39069
DOI: 10.1109/SEFM.2004.1347516

Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.”10.1109/HICSS.2002.994469__Proceedings of HICSS-35, 2002, doi:10.1109/HICSS.2002.994469.
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

Dücker, M., et al. “A Generic System for Interactive Real--Time Animation.”10.1109/ECBS.1997.581876__10.1109/ECBS.1997.581876__Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, 1997, doi:10.1109/ECBS.1997.581876.
LibreCat: /record/39502
DOI: 10.1109/ECBS.1997.581876