D. W. Brylow, N. Damgaard, and J. Palsberg. Static checking of interrupt driven software. In Proc. ICSE 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Deadline Analysis of Interrupt-driven Software - Dennis Brylow Jens (2003) (2 citations) Self-citation (Brylow Palsberg) (Correct)
No context found.
D. W. Brylow, N. Damgaard, and J. Palsberg. Static checking of interrupt driven software. In Proc. ICSE 2001.
Compiling with Code-Size Constraints - Palsberg (2002) (2 citations) Self-citation (Palsberg) (Correct)
No context found.
D. Brylow, N. Damgaard, and J. Palsberg. Static checking of interrupt-driven software. In Proceedings of ICSE'01, 23rd International Conference on Software Engineering, pages 47-56, Toronto, May 2001.
Stack Size Analysis - For Interrupt-Driven Programs Self-citation (Palsberg) (Correct)
No context found.
D. Brylow, N. Damgaard, and J. Palsberg. Static checking of interrupt-driven software. In ICSE: International Conference on Software Engineering, pp. 47--56. ACM/IEEE, 2001.
Reverse Engineering of Real-Time Assembly Code - Jens Palsberg Matthew (2002) Self-citation (Palsberg) (Correct)
No context found.
Dennis Brylow, Niels Damgaard, and Jens Palsberg. Static checking of interrupt-driven software. In Proceedings of ICSE'01, 23rd International Conference on Software Engineering, pages 47-56, Toronto, May 2001. 14
Stack Size Analysis - For Interrupt-Driven Programs Self-citation (Palsberg) (Correct)
No context found.
D. Brylow, N. Damgaard, and J. Palsberg. Static checking of interrupt-driven software. In ICSE: International Conference on Software Engineering, pp. 47--56. ACM/IEEE, 2001.
A Typed Interrupt Calculus - Palsberg, Di Ma (2002) (1 citation) Self-citation (Palsberg) (Correct)
No context found.
Dennis Brylow, Niels Damgaard, and Jens Palsberg. Static checking of interruptdriven software. In Proceedings of ICSE'01, 23rd International Conference on Software Engineering, pages 47-56, Toronto, May 2001.
Compiling with Code-Size Constraints - Mayur Naik Jens (2002) (2 citations) Self-citation (Palsberg) (Correct)
.... Figure 6: Target Z86 code for example.zil IMR estimation Second, we conservatively estimate, for each program point, the interrupt handlers that are enabled, i.e. the value of the interrupt mask register (IMR) We use a technique similar to the one described by Brylow, Damgaard, and Palsberg [5]. Control ow graph building Third, we construct a control ow graph, denoted CFG, from the program. Let Instr be the set of all occurrences of instructions in the program. CFG is a directed graph in which the set of nodes is Instr, and each edge (i 1 ; i 2 ) is such that i 2 can be executed ....
Dennis Brylow, Niels Damgaard, and Jens Palsberg. Static checking of interrupt-driven software. In Proceedings of ICSE'01, 23rd International Conference on Software Engineering, pages 47-56, Toronto, May 2001.
HOIST: A System for Automatically Deriving Static Analyzers.. - Regehr, Reid (2004) (Correct)
No context found.
Dennis Brylow, Niels Damgaard, and Jens Palsberg. Static checking of interrupt-driven software. In Proc. of the 23rd Intl. Conf. on Software Engineering (ICSE), pages 47--56, Toronto, Canada, May 2001.
In Proceedings of the 3rd International Conference on.. - Philadelphia Pa Pages (Correct)
No context found.
Dennis Brylow, Niels Damgaard, and Jens Palsberg. Static checking of interrupt-driven software. In Proc. of the 23rd Intl. Conf. on Software Engineering, pages 47--56, Toronto, Canada, May 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC