Conferences and Workshops

• T. M. T. Tran and Martin Steffen: Safe Commits for Transactional Featherweight Java (extended abstract), Nordic Workshop of Programming Theory, NWPT'09, Sept. 2009 (T 2.4) 
• I. Schaefer, A. Worret, A. Poetzsch-Heffter: A Model-Based Framework for Automated Product Derivation, International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2009), San Francisco, August 2009. (T 1.2, T 2.2) 
• I. Schaefer, A. Poetzsch-Heffter: Model-based Verification of Adaptive Embedded Systems under Environment Constraints, 2nd Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2009), Grenoble, October 2009. (T 2.5) 
• Wolfgang Ahrendt and Frank S. de Boer and Immo Grabe: Abstract Object Creation in Dynamic Logic -- To Be or Not To Be Created, FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, 2009, Springer, LNCS (T 2.5) [10.1007/978-3-642-05089-3]
• W. Ahrendt, M. Dylla: A Verification System for Distributed Objects with Asynchronous Method Calls, Formal Methods and Software Engineering, International Conference on Formal Engineering Methods, ICFEM'09, Rio de Janeiro, Brazil, December 2009, Springer, LNCS 5885. (T 2.5) [10.1007/978-3-642-10373-5_20]
• R. Demangeon, D. Hirschkoff, D. Sangiorgi: Mobile Processes and Termination, Semantics and Algebraic Specification 2009, Udine, September 2009, Springer, LNCS 5700, pp. 250-273. (T 2.5)
  [10.1007/978-3-642-04164-8_13]
• I. Lanese, G. Zavattaro: Programming Sagas in SOCK, Seventh IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009), Hanoi, Vietnam, November 2009, IEEE press, pp. 189-198. (T 3.1) [10.1109/SEFM.2009.23]
• E. Albert, P. Arenas, S. Genaim, I. Herraiz, G. Puebla: Comparing Cost Functions in Resource Analysis, International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA'09), Eindhoven, August 2009. (T 4.2) 
• E. Albert, P. Arenas,  D. Alonso, S. Genaim, G. Puebla: Asymptotic Resource Usage Bounds, The Seventh Asian Symposium on Programming Languages and Systems (APLAS'09), Seoul, August 2009. (T 4.2)
  [10.1007/978-3-642-10672-9_21]
• E. Albert, P. Arenas, S. Genaim, G. Puebla: Field-Sensitive Value Analysis by Field-Insensitive Analysis, 16th International Symposium on Formal Methods (FM'09), Eindhoven, 2009. (T 4.2)
  [10.1007/978-3-642-05089-3_24]
• E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa and G. Puebla, D. Ramirez, G. Román, D. Zanardini: Termination and Cost Analysis with COSTA and its User Interfaces, Spanish Conference on Programming and Computer Languages (PROLE'09), San Sebastián, September 2009. (T 4.2) [10.1016/j.entcs.2009.12.008]
• E. Albert, S. Genaim, M. Gómez-Zamalloa: Live Heap Space Analysis for Languages with Garbage Collection, 8th International Symposium on Memory Management (ISMM'09), Dublin, June 2009. (T 4.2)
  [10.1145/1542431.1542450]
• M. Dam, B. Jacobs, A. Lundblad, F. Piessens: Security Monitor Inlining for Multithreaded Java, 23rd European Conference on Object-Oriented Programming (ECOOP'09), Genoa, July 2009, pp. 546-569. (T 3.4)
  [10.1007/978-3-642-03013-0_25]
• D. Clarke, I. Sergey: A Semantics for Context-Oriented Programming with Layers, International Workshop on Context-oriented Programming, Genoa, July 2009 pp. 53-58 (T2.2) [10.1145/1562112.1562122]
• D. Clarke, P. Costanza, E. Tanter: How Should Context-Escaping Closures Proceed?, International Workshop on Context-oriented Programming, Genoa, July 2009 pp. 1-6 (T2.2) [10.1145/1562112.1562113]
• Richard Bubel, Reiner Hähnle and Benjamin Weiss: Abstract Interpretation of Symbolic Execution with Explicit State Updates, Post Conf. Proceedings 6th Intl. Symposium on Formal Methods for Components and Objects, Sophia Antipolis, France, Springer-Verlag LNCS, 2009 (T4.2) [10.1007/978-3-642-04167-9_13]
• Wolfgang Ahrendt, Richard Bubel and Reiner Hähnle: Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification, Second International Conference on Teaching Formal Methods, Eindhoven, Netherlands, Springer-Verlag LNCS, November 2009 (WP 6) [10.1007/978-3-642-04912-5_9]
• Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu: Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects, 16th International Conference on Formal Methods (FM'09), Eindhoven, November 2009. Springer LNCS 5423, pp. 596-611 (WP3) [10.1007/978-3-642-05089-3_38]
• M. Bravetti, G. Zavattaro: Contract-Based Discovery and Composition of Web Services. Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM 2009), Bertinoro, Italy, June 1-6, 2009. LNCS 5569, pp. 261-295, Springer (T 2.5)
  [10.1007/978-3-642-01918-0_7]

Journals

• E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla: Type-based Homeomorphic Embedding for Online Termination, Information Processing Letters, July 2009. (T 4.2) [10.1016/j.ipl.2009.04.016]
• M. Gómez-Zamalloa, E. Albert, G. Puebla: Decompilation of Java Bytecode to Prolog by Partial Evaluation, Information and Software Technology, October 2009. (T 4.2) [10.1016/j.infsof.2009.04.010]

• I.Aktug, M. Dam, D. Gurov: Provably Correct Runtime Monitoring, Journal or Logic and Algebraic Programming, vol. 78, number 5, pp. 304-339, 2009. (T 3.4) [10.1016/j.jlap.2008.12.002]

 Invited Talks

• Elvira Albert: Upper Bounds on Memory Usage for Garbage-Collected Languages, Workshop on Quantitative Analysis of Software (QA'09), Grenoble, June 2009. (T 4.2)

 Book Chapters

• E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini: Resource Usage Analysis and its Application to Resource Certification, Foundations of Security Analysis and Design V, August 2009. (T 4.2)
  [10.1007/978-3-642-03829-7_9]

 Edited Volumes

• E. Albert,  S. Genaim: Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE'09, Coimbra, March 2009. (T 4.2)