Abstract interpretation for worst and average case analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4444 LNCS, Issue , 2007, Pages 160-174

  Di Pierro, Alessandra ^a   Hankin, Chris ^b   Wiklicky, Herbert ^b  

^a UNIVERSITY OF PISA   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; APPROXIMATION THEORY; PROBABILISTIC LOGICS;

ABSTRACT INTERPRETATION; CLOSE APPROXIMATIONS; SOFT-REAL TIME SYSTEMS; WORST AND AVERAGE CASE ANALYSIS;

REAL TIME SYSTEMS;

EID: 34548257446     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71322-7_8     Document Type: Conference Paper

References (20)

1. Wilhelm, R.: Timing analysis and timing predictability. In de Boer, F., Bonsangue, M., Graf, S., de Roever, W.P., eds.: Formal Methods for Components and Objects. Volume 3657 of Lecture Notes in Computer Science. Springer (2004) 317-323
2. Shaw, A.: Reasoning about time in higher-level language software. IEEE Transactions on Software Engineering 15 (1989) 875-889
3. Lundquist, T., Stenström, P.: Timing anomalies in dynamically scheduled microprocessors. In: 20th IEEE Real-Time Systems Symposium. (1999)
4. Balbo, G.: Introduction to stochastic Petri nets. In: Springer Lectures on Formal Methods and Performance Analysis. Springer (2002) 84-155
5. Bause, F., Kritzinger, P.S.: Stochastic Petri Nets - An Introduction to the Theory, second edn. Vieweg Verlag (2002)
6. Plateau, B., Atif, K.: Stochastic automata network of modeling parallel systems. IEEE Transactions on Software Engineering 17 (1991) 1093-1108
7. Norman, G., Parker, D., Kwiatkowska, M., Shukla, S., Gupta, R.: Formal analysis and validation of continuous time Markov chain based system level power management strategies. In Rosenstiel, W., ed.: Proc. 7th Annual IEEE International Workshop on High Level Design Validation and Test (HLDVT'02), IEEE Computer Society Press (2002) 45-50
8. Di Pierro, A., Wiklicky, H.: Concurrent Constraint Programming: Towards Probar bilistic Abstract Interpretation. In Gabbrielli, M., Pfenning, F., eds.: Proceedings of PPDP'OO - Priciples and Practice of Declarative Programming, Montréal, Canada, ACM SIGPLAN, Association of Computing Machinery (2000) 127-138
9. Cousot, P., Cousot, R.: Abstract Interpretation and Applications to Logic Programs. Journal of Logic Programming 13 (1992) 103-180
10. Abramsky, S., Hankin, C., eds.: Abstract Interpretation of Declarative Languages. Ellis-Horwood, Chichester, England (1987)
11. Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer Verlag, Berlin - Heidelberg (1999)
12. Di Pierro, A., Wiklicky, H.: Measuring the precision of abstract interpretations. In: Proceedings of LOPSTR'OO - 10th International Workshop on Logic-Based Program Synthesis and Transformation, London, UK. Volume 2042 of Lecture Notes in Computer Science., Berlin - New York, Springer Verlag (2001) 147-164
13. Monniaux, D.: Abstract interpretation of probabilistic semantics. In: Proceedings of SAS'00. Volume 1824 of Lecture Notes in Computer Science., Springer Verlag (2000)
14. Monniaux, D.: Abstract interpretation of probabilistic semantics. In: Seventh International Static Analysis Symposium (SAS'00). Number 1824 in Lecture Notes in Computer Science, Springer Verlag (2000) 322-339
15. Eaton, J.: Gnu Octave Manual, www.octave.org (2002)
16. Cousot, P., Cousot, R.: Systematic Design of Program Analysis Frameworks. In: Symposium on Principles of Programming Languages (POPL), San Antonio, Texas (1979) 269-282
17. Deutsch, F.: Bet Approximation in Inner Product Spaces. Volume 7 of CMS Books in Mathematics. Springer Verlag, New York -Berlin (2001)
18. Ben-Israel, A., Greville, T.: Generalised Inverses -Theory and Applications, second edn. Volume 15 of CMS Books in Mathematics. Springer Verlag, New York - Berlin (2003)
19. Di Pierro, A., Hankin, C., Wiklicky, H.: Probabilistic chemical abstract machine and the expressiveness of linda languages. In de Boer, F., Bonsangue, M., Graf, S., de Roever, W.P., eds.: Proceedings of FMCO 2005, 4th International Symposium on Formal Methods for Components and Object. Volume 4111 of Lecture Notes in Computer Science., Springer Verlag (2006) 388-407
20. Di Pierro, A., Hankin, C., Wiklicky, H.: Quantitative static analysis of distributed systems. Journal of Functional Programming 15 (2005) 1-47