2010 Publications

Conferences and Workshops

Please insert your publication here (please indicate also briefly to which task your publication belongs).
If you know the DOI, please provide it, too.

• Dominique Devries and Frank Piessens: Non-interference through secure multi-execution. Proceedings of 2010 IEEE Symposium on Security and Privacy. pp 109-124. IEEE Computer Society. (T 4.1) [DOI: 10.1109/SP.2010.15] 
• L. Acciai, M. Boreale, and G. Zavattaro: Behavioural Contracts with Request-Response Operations. Proceedings of 12th International Conference on Coordination Models and Languages (COORDINATION'10). Volume 6116 of Lecture Notes in Computer Science, Springer, 2010. (T 2.5)
• Matteo Cimini, Claudio Sacerdoti Coen, Davide Sangiorgi: Functions as Processes: Termination and the lambda mu mu~-calculus. Proc. TGC 2010, Lecture Notes in Computer Science 6084, pp. 73-86, Springer, 2010.
• K. Meinke, F. Niu: A Learning-based Approach to Unit Testing of Numerical Software. Proceedings of 22nd International Conference on Testing Software and Systems (ICTSS 2010), November 2010. (T 2.3)
  
• R. Hähnle: Task Forces in the EternalS Coordination Action. Proceedings 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, October 2010. (T 6.1)
• R. Hähnle: HATS: Highly Adaptable and Trustworthy Software using Formal Models. Proceedings 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, October 2010. (T 6.4)
• R. Bubel, R. Hähnle, R. Ji: Interleaving Symbolic Execution and Partial Evaluation. Post Conference Proceedings 7th Intl. Symposium on Formal Methods for Components and Objects (FMCO), 2010. (T 2.5)
• R. Bubel, C. Din, R. Hähnle: Verification of Variable Software: an Experience Report. Proceedings of International Conference on Formal Verification of Object-Oriented Software (FoVeOOS), July 2010. (T 2.5)
• R. Hähnle, M. Baum, R. Bubel, M. Rothe: A Visual Interactive Debugger Based on Symbolic Execution. Proceedings 25th IEEE/ACM International Conference on Automated Software Engineering, September 2010. (T 2.3)
• M. Huisman, D. Gurov: CVPP: A Tool Set for Compositonal Verification of Control-Flow Safety Properties. Proceedings of International Conference on Formal Verification of Object-oriented Software (FoVeOOS 2010), June 2010. (T 2.5)
• S. Soleimanifard, D. Gurov, M. Huisman: Procedure-Modular Verification of Control Flow Safety Properties. Proceedings of 12th Workshop on Formal Techniques for Java-like Programs (FTfJP 2010),  June 2010. (T 2.5)
• I. Schaefer, M. Becker, R. Carbon, S. Apel: Formal Methods in Software Product Line Engineering. 15th Software Product Line Conference (SPLC 2010), Korea, Springer-Verlag, September 2010. (T 6.1)
  
• I. Schaefer, F. Damiani: Pure Delta-oriented Programming. Second International Workshop on Feature-oriented Software Development (FOSD 2010), Eindhoven, October 2010. (T 1.2, T 2.2)
  
• L. Bettini, F. Damiani, I. Schaefer, F. Strocco: A Prototypical Java-like language with Records and Traits. Proc. of Principles and Practice of Programming in JAVA (PPPJ 2010), Vienna, September 2010. (T 2.5)
  
• I. Schaefer, L. Bettini, V. Bono, F. Damiani, N. Tanzarella: Delta-oriented Programming of Software Product Lines. Proc. of 15th Software Product Line Conference (SPLC 2010), Korea, September 2010. (T 1.2, T2.2)
• I. Schaefer: Modeling and Analysing Diversity - Description of EternalS Task Force 1. 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Springer-Verlag, Oktober 2010. (T 6.1)
• D. Bruns, V. Klebanov, I. Schaefer: Verification of Software Product Lines: Reducing the Effort with Delta-oriented Slicing and Proof Reuse. Position Paper. International Conference on Formel Verification of Object-oriented Software (FoVeOOS 2010), June 2010. (T 2.5)
  
• R. Muschevici, D. Clarke, J. Proenca, Feature Petri Nets. International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE). In: Botterweck, G., Jarzabek, S., Kishi, T., Lee, J., Livengood, S. (eds.) International Software Product Line Conference. vol. 2, pp. 99–106. Lancaster University, U.K. September 2010. (T 1.2, T2.2)
  
• D. Clarke, N. Diakov, R. Hãhnle, E. B. Johnsen, G. Puebla, B. Weitzel and P. Y. H. Wong, HATS - A Formal Software Product Line Engineering Methodology. To appear in International Workshop on Formal Methods in Software Product Line Engineering. September 2010. (T 1.1)
• D. Clarke, J. Proenca, Towards a Theory of Views for Feature Model. To appear in International Workshop on Formal Methods in Software Product Line Engineering. September 2010. (T 1.2)
  
• D. Clarke, M. Helvensteijn, I. Schaefer, Abstract Delta Modeling. 9th International Conference on Generative Programming and Component Engineering. October 2010. (T2.2) [DOI: 10.1145/1868294.1868298]
• J. Schäfer and A. Poetzsch-Heffter: JCoBox: Generalizing Active Objects to Concurrent Components. 24th European Conference on Object-Oriented Programming (ECOOP 2010). June, 2010. (T 1.1) 
• J. Schäfer and A. Poetzsch-Heffter: Writing Concurrent Desktop Applications in an Actor-Based Programming Model. Third International Workshop on Multicore Software Engineering (IWMSE10). May, 2010. (T 1.1) 
• L. Bettini, F. Damiani, I. Schaefer: Implementing Software Product Lines using Traits. Object Oriented Programming Languages and Systems (OOPS), 25th ACM Symposium on Applied Computing (SAC 2010), Sierre, Switzerland, March 22- 26, 2010. (T 2.2) 
• I. Schaefer: Variability Modelling for Model-Driven Development of Software Product Lines. Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2010), Linz, Austria, January 27-29, 2010. (T 1.2, T 2.2) 
• I. Lanese, C. Vaz, C. Ferreira: On the Expressive Power of Primitives for Compensation Handling. 19th European Symposium on Programming (ESOP 2010) Paphos, Cyprus, March 2010, Springer. (T 3.1) 
• I. Lanese, A. Bucchiarone, F. Montesi: A Framework for Rule-based Dynamic Adaptation. 5th International Symposium on Trustworthy Global Computing (TGC 2010), Munich, Germany, February 2010. Springer. (T 3.1) 
• I. Lanese, F. Montesi: Error Handling: From Theory to Practice. 4th International Symposium on Leveraging Applications (ISoLA 2010), Heraklion, Crete, Greece, October 2010. Springer. (T 2.1) 
• I. Lanese: Static vs Dynamic SAGAs. Third Interaction and Concurrency Experience: Guaranteed Interation (ICE 2010), Amsterdam, The Netherlands, June 2010. EPTCS. (T2.1) 
• D. Sangiorgi, F. Montesi: A Model of Evolvable Components. 5th International Symposium on Trustworthy Global Computing (TGC 2010), Munich, Germany, February 2010. Springer. (T 3.1) 
• R. Demangeon, D.  Hirschkoff, D. Sangiorgi: Termination in impure concurrent languages. 21st International Conference on Concurrency Theory (CONCUR 2010), Paris, France, September 2010. Springer (T4.2) 
• U. Dal Lago, S. Martini, D. Sangiorgi: Light Logics and Higher-Order Processes. 17th International Workshop on Expressiveness in Concurrency (EXPRESS 2010), Paris, France, August 2010. Springer (T4.2) 
• E. Albert, P. Arenas, S. Genaim, G. Puebla and Diana Ramírez: From Object Fields to Local Variables: a Practical Approach to Field-Sensitive Analysis, 17th International Static Analysis Symposium (SAS'10), Perpignan, France, September 2010. Springer (T 4.2) [DOI: 10.1007/978-3-642-15769-1_7]
• E. Albert, S. Genaim and M.Gómez-Zamalloa: Parametric Inference of Memory Requirements for Garbage Collected Languages, 9th International Symposium on Memory Management (ISMM'10), Toronto, Ontario, Canada, June 2010. ACM (T 4.2) [DOI: 10.1145/1806651.1806671]
• E. Albert, M. Gómez-Zamalloa and G. Puebla: PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM'10), Madrid, January 2010. ACM (T 4.2) [DOI: 10.1145/1706356.1706363]
• E. Albert, M. Gómez-Zamalloa, J.M.Rojas and G.Puebla: Towards Compositional CLP-based Test Data Generation for Imperative Languages (extended abstract), 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'10), Hagenberg, July 2010. (T 4.2) 
• S. Genaim and D. Zanardini: The acyclicity inference of COSTA, 11th International Workshop on Termination (WST'10), Edinburgh, July 2010. (T 4.2) 
• D. Rámirez-Deantes and J. Correas and G. Puebla: Modular termination analysis of java bytecode and its application to phoneme core libraries. In 7th International Workshop on Formal Aspects of Component Software (FACS 2010), Guimaraes, Portugal, September 2010.
•  J. Bjørk, E. B. Johnsen, O. Owe, R. Schlatte: Lightweight Time Modeling in Timed Creol, First International Workshop on Rewriting Techniques for Real-Time Systems (RTRTS 2010). Spitsbergen, March 2010. (T2.1)
  [DOI: 10.4204/EPTCS.36.4]
• E. B. Johnsen, O. Owe, R. Schlatte, S. L. Tapia Tarifa: Dynamic Resource Reallocation Between Deployment Components. 12th International Conference on Formal Engineering Methods (ICFEM 2010). Volume 6447 of Lecture Notes in Computer Science, pages 646–661. Springer-Verlag, November 2010. (T2.1)
  [DOI: 10.1007/978-3-642-16901-4_42]
• Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen: Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. Proc. 21st Intl. Conf. on Concurrency Theory (CONCUR), LNCS, volume 6269, Springer, p. 1-18, 2010. Paris, Sep. 2010. (T 2.1)
• Karl Meinke: CGE - A Sequential Learning Algorithm for Mealy Automata. Grammatical Inference: Theoretical Results and Applications, 10th International Colloquium, ICGI 2010, LNCS, volume 6339, Springer, p. 148-162, 2010.
• K. Nakata, T. Uustalu:  Resumptions, weak bisimilarity and big-step semantics for While with interactive I/O: an exercise in mixed induction-coinduction. Proc. Workshop on Structural Operational Semantics (SOS 2010), EPTCS, volume 32, p.57-75, 2010. (T4.3)
• Stijn de Gouw and Frank S. de Boer: Prototyping a Tool Environment for Run-time Assertion Checking in JML with Communication Histories. Proceedings of the 12th workshop on Formal Techniques for Java-like Programs (FTfJP 2010), p.6:1-6:7 (T1.2)
• Patrick Michel, Arnd Poetzsch-Heffter: Maintaining XML Data Integrity in Programs - An Abstract Datatype Approach, 36th Conterence on Current Trends in Theory and Practice of Computer Science, Czech Republic, January 23-29, 2010. Lecture Notes in Computer Science, volume 5901, p. 600--611, January, 2010. (T 3.1)

Journals

• N. Kobayashi, D. Sangiorgi: A Hybrid Type System for Lock-Freedom of Mobile Processes. TOPLAS, 2010. (T 2.5) 
• M. Gómez-Zamalloa, E. Albert and G. Puebla: Test Case Generation for Object-Oriented Imperative Languages in CLP, Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, July 2010. (T 4.2)
• J. Dovland, E. B. Johnsen, O. Owe, and M. Steffen: Lazy Behavioral Subtyping, Journal of Logic and Algebraic Programming 79(7): 578-607, Oct. 2010.  (T 2.5) 
• Gilles Barthe,Tamara Rezk, Alejandro Russo, Andrei Sabelfeld: Security of multithreaded programs by compilation. ACM Trans. Inf. Syst. Security, volume 13 (3), 2010.

Invited Talks

• E. Albert: From Termination to Cost (in Object-Oriented Languages), Workshop on Termination (WST'10), Edinburgh, July 2010. (T 4.2)