S. Samara, F. B. Tariq, T. Kerstan, and K. Stahl, Applications Adaptable Execution Path for Operating System Services on a Distributed Reconfigurable System on Chip, 2009 International Conference on Embedded Software and Systems, pp.461-466, 2009.
DOI : 10.1109/ICESS.2009.38

S. Samara and G. Schomaker, Self-Adaptive OS Service Model in Relaxed Resource Distributed Reconfigurable System on Chip (RSoC), 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns, pp.1-8, 2009.
DOI : 10.1109/ComputationWorld.2009.104

Y. Zhao and F. J. Rammig, Model-based Runtime Verification Framework, Electronic Notes in Theoretical Computer Science, vol.253, issue.1, pp.179-193, 2009.
DOI : 10.1016/j.entcs.2009.09.035
URL : http://doi.org/10.1016/j.entcs.2009.09.035

F. J. Rammig, Y. Zhao, and S. Samara, On-Line Model Checking as Operating System Service, The 7th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'09), IFIP WG 10, 2009.
DOI : 10.1007/978-3-642-10265-3_13

S. Graf and H. Saidi, Construction of abstract state graphs with PVS, pp.72-83, 1997.
DOI : 10.1007/3-540-63166-6_10

F. Engel, I. Kuz, S. M. Petters, and S. Ruocco, Operating systems on socs: A good idea? National ICT Australia Ltd, 2004.

G. Wigley and D. Kearney, Research issues in operating systems for reconfigurable computing, Proceedings of the International Conference on Engineering of Reconfigurable System and Algorithms, pp.10-16, 2002.

A. Donato, F. Ferrandi, M. Santamberogio, and D. Sciuto, Operating system support for dynamically reconfigurable SoC architectures, 2005 Joint 30th International Conference on Infrared and Millimeter Waves and 13th International Conference on Terahertz Electronics, 2006.
DOI : 10.1109/SOCC.2005.1554501

V. Nollet, P. Coene, D. Verkest, S. Vernalde, and R. Lauwereins, Designing an operating system for a heterogeneous reconfigurable SoC, Proceedings International Parallel and Distributed Processing Symposium, 2003.
DOI : 10.1109/IPDPS.2003.1213320

H. Walder and M. Platzner, A Runtime Environment for Reconfigurable Hardware Operating Systems, Proceedings of the 14th Field Programmable Logic and Applications (FPL04, pp.831-835, 2004.
DOI : 10.1007/978-3-540-30117-2_84

M. Götz, A. Rettberg, and C. E. Pereira, RUN-TIME RECONFIGURABLE REAL-TIME OPERATING SYSTEM FOR HYBRID EXECUTION PLATFORMS, IFAC Proceedings Volumes, vol.39, issue.3, 2006.
DOI : 10.3182/20060517-3-FR-2903.00049

M. Götz, A. Rettberg, and C. E. Pereira, Towards run-time partitioning of a real time operating system for reconfigurable systems on chip, IFIP International Federation for Information Processing, 2005.

D. D. Gajski and F. Vahid, Specification and design of embedded hardware-software systems, IEEE Design & Test of Computers, vol.12, issue.1, pp.53-67, 1995.
DOI : 10.1109/54.350695

P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem, 1996.
DOI : 10.1007/3-540-60761-7

S. Berezin, S. V. Campos, and E. M. Clarke, Compositional Reasoning in Model Checking, COMPOS'97: Revised Lectures from the International Symposium on Compositionality: The Significant Difference, pp.81-102, 1998.
DOI : 10.1007/3-540-49213-5_4

E. M. Clarke, O. Grumberg, and D. E. Long, Model checking and abstraction, ACM Transactions on Programming Languages and Systems, vol.16, issue.5, pp.1512-1542, 1994.
DOI : 10.1145/186025.186051

W. Lee, A. Pardo, J. Y. Jang, G. Hachtel, and F. Somenzi, Tearing based automatic abstraction for ctl model checking, ICCAD '96: Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design, pp.76-81, 1996.

M. Barnett and W. Schulte, Spying on components: A runtime verification technique, 2001.

K. Arkoudas and M. Rinard, Deductive Runtime Certification, Proceedings of the 2004 Workshop on Runtime Verification, 2004.
DOI : 10.1016/j.entcs.2004.01.035

F. Chen and G. Rosu, Towards Monitoring-Oriented Programming, Proceedings of the 2003 Workshop on Runtime Verification, 2003.
DOI : 10.1016/S1571-0661(04)81045-4

K. Havelund and G. Rosu, An Overview of the Runtime Verification Tool Java PathExplorer, Proceedings 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space (ISAIRAS'01), 2001.
DOI : 10.1023/B:FORM.0000017721.39909.4b