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

Conferences and Workshops.

• J.-C. Lin, I. C. Yu, E. B. Johnsen, and M.-C. Lee. ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. Proc. 19th International Conference on Fundamental Approaches to Software Engineering  (FASE 2016). LNCS 9633. Springer, 2016. (T1.3)
  DOI: 10.1007/978-3-662-49665-7_4. Download a preprint.
• N. Bezirgiannis and F. de Boer. ABS: A High-Level Modeling Language for Cloud-Aware Programming. Proc. Theory and Practice of Computer Science (SOFSEM 2016). LNCS 9587, Springer, 2016.
  DOI: 10.1007/978-3-662-49192-8_35. Download a preprint.
• F. S. de Boer and S. de Gouw. Run-time Deadlock Detection. ProCoS Workshop on Provably Correct Systems. To appear 2016.
• E. Kamburjan, C. C. Din, and T.-C. Chen. Session-Based Compositional Analysis for Actor-Based Languages Using Futures. Proc. 18th International Conference on Formal Engineering Methods  (ICFEM 2016). LNCS 10009. Springer, 2016.
  DOI: 10.1007/978-3-319-47846-3_19.  Download a preprint.
• E. Albert, M. Gómez-Zamalloa, and M. Isabel. SYCO: A Systematic Testing Tool for Concurrent Objects. Proc. 25th International Conference on Compiler Construction (CC 2016). ACM, 2016.
  DOI: 10.1145/2892208.2892236. Download a preprint.
• F. S. de Boer and S. de Gouw. Run-Time Checking Multi-threaded Java Programs. Proc. Theory and Practice of Computer Science (SOFSEM 2016). LNCS 9587, Springer, 2016.
  DOI: 10.1007/978-3-662-49192-8_18. Download a preprint.
• E. Albert, N. Bezirgiannis, F. de Boer, and Enrique Martin-Martin. A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. Proc. LOPSTR’16. To appear.
  Download a preprint.
  
• E. Albert, F. S. de Boer, R. Hähnle, E. B. Johnsen, and C. Laneve. Envisage: Developing SLA-aware Deployed Services with Formal Methods. Proc ESOCC 2016 EU Project Track. Springer CCIS. To appear.
  Download a preprint.
• E. Albert, P. Arenas. and M. Gómez-Zamalloa. Testing of concurrent and imperative software using CLP. Proc. PPDP’16. ACM, 2016.
  DOI: 10.1145/2967973.2968593. Download a preprint.
  
• M. R. A. Setyautami, R. Hähnle, R. Muschevici, and Ade Azurat. A UML Profile for Delta-Oriented Programming to Support Software Product Line Engineering. Proc. SPLC’16. ACM, 2016.
  DOI: 10.1145/2934466.2934479. Download a preprint.
• A. Flores-Montoya. Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations. Proc. FM’16. To appear in LNCS. Springer 2016.
  Download a preprint.
• E. Giachino, L. Henrio, C. Laneve, and V. Mastandrea. Actors may synchronize, safely! Proc. PPDP’16. ACM, 2016.
  DOI: 10.1145/2967973.2968599. Download a preprint.
• R. Hähnle and I. Schaefer. The Quest for Formal Methods in Software Product Line Engineering. In: Software Technology: 10 Years of Innovation in IEEE Computer. Wiley, 2016. To appear.
• R. Hähnle and E. B. Johnsen. A Model-Centric Approach to the Design of Resource-Aware Cloud Applications. In: Software Technology: 10 Years of Innovation in IEEE Computer. Wiley, 2016. To appear. Download a preprint.
• R. Hähnle and R. Muschevici. Towards Incremental Validation of Railway Systems. Proc. ISOLA’16. LNCS 9953. Springer, 2016.
  DOI: 10.1007/978-3-319-47169-3_36. Download a preprint.
• M. Hentschel, R. Hähnle, and R. Bubel. Can Formal Methods Improve the Efficiency of Code Reviews? Proc. iFM’16. LNCS 9681. Springer, 2016.
  DOI: 10.1007/978-3-319-33693-0_1. Download a preprint.
• E. Giachino, S. de Gouw, C. Laneve, and B. Nobakht. Statically and Dynamically Verifiable SLA Metrics. In: Theory and Practice of Formal Methods. Springer, 2016.
  DOI: 10.1007/978-3-319-30734-3_15. Download a preprint.
• S. de Gouw, J. Mauro, B. Nobakht, and G. Zavattaro. Declarative Elasticity in ABS. Proc. ESOCC’16.
  DOI: 10.1007/978-3-319-44482-6_8.
• O. Owe. Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems. Proc. iFM’16. LNCS 9681. Springer, 2016.
  DOI: 10.1007/978-3-319-33693-0_14. Download a preprint.
• O. Owe. Verifiable Programming of Object-Oriented and Distributed Systems. In: From Action Systems to Distributed Systems: the Refinement Approach. Chapman and Hall/CRC  2016.
  DOI: 10.1201/b20053-8.
• E. Abraham, F. Corzilius, E. B. Johnsen, G. Kremer, and J. Mauro. Zephyrus2: On the Fly Deployment Optimization using SMT and CP Technologies. Proc. SETTA’16. To appear in LNCS. Springer 2016.
  Download a preprint.
  
• E. B. Johnsen, J.-C. Lin, and I. C. Yu. Comparing AWS deployments using model-based predictions. Proc. ISOLA’16. LNCS 9953. Springer 2016.
  DOI: 10.1007/978-3-319-47169-3_39. Download a preprint.
• E. B. Johnsen, K. I Pun, and S. L. Tapia Tarifa. Modeling Deployment Decisions for Elastic Services with ABS. Proc. IFMCloud’16. To appear.
  Download a preprint.
• E. Albert, M. Gómez-Zamalloa, M. Isabel. Combining Static Analysis and Testing for Deadlock Detection. Proc. iFM’16. LNCS 9681. Springer, 2016.
  DOI: 10.1007/978-3-319-33693-0_26. Download a preprint.

Journals.

• P.Y.H. Wong, R. Bubel, F. S. de Boer, M. Gómez-Zamalloa, S. de Gouw, R. Hähnle, K. Meinke, and M. Sindhu. Testing Abstract Behavioral Specifications. International Journal on Software Tools for Technology Transfer, 2016.
  DOI: 10.1007/s10009-014-0301-x. Download a preprint.
  
• D. Ancona, V. Bono, M. Bravetti, J. Campos, G. Castagna, P.-M. Deniélou, S. J. Gay, N. Gesbert, E. Giachino, R. Hu, E. B. Johnsen, F. Martins, V. Mascardi, F. Montesi, R. Neykova, N. Ng, L. Padovani, V. T. Vasconcelos, and N. Yoshida. Behavioral Types in Programming Languages. Foundations and Trends in Programming Languages, 2016.
  DOI: 10.1561/2500000031. Download a preprint.
• R. Bubel, F. Damiani, R. Hähnle, E. B. Johnsen, O. Owe, I. Schaefer, and I. C. Yu. Proof Repositories for Compositional Verification of Evolving Software Systems. Transactions on Foundations for Mastering Change (FoMaC), 2016.
  DOI: 10.1007/978-3-319-46508-1_8. Download a preprint.
• D. Zanardini, E. Albert, and K. Villela. Resource-Usage-Aware Configuration in Software Product Lines.  Journal of Logical and Algebraic Methods in Programming 85(1): 173-199, 2016.
  DOI: 10.1016/j.jlamp.2015.08.003. Download a preprint.
• E. Albert, A. Flores-Montoya, S. Genaim, E. Martin-Martin:
  May-Happen-in-Parallel Analysis for Actor-Based Concurrency. ACM Trans. Comput. Log. 17(2): 11 (2016)
  DOI: 10.1145/2824255. Download a preprint.
• E. Albert, A. Flores-Montoya, S. Genaim, E. Martin-Martin:
  Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings. Journal of Automated Reasoning. To appear.
  Download a preprint.

Books.

• W. Ahrendt, B. Beckert, R. Bubel, R. Hähnle, P. Schmitt, and M. Ulbrich. The KeY Book: Deductive Software Verification in Practice. LNCS 10001, Springer, 2016. To appear.
  
• E. Ábrahám, M. M. Bonsangue, E. B. Johnsen (eds). Theory and Practice of Formal Methods – Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9660, Springer 2016.
  DOI: 10.1007/978-3-319-30734-3.
• M. Aiello, E. B. Johnsen, S. Dustdar, I. Georgievski (eds). Service-Oriented and Cloud Computing – 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings. LNCS 9846, Springer 2016.
  DOI: 10.1007/978-3-319-44482-6.
• E. Albert, I. Lanese. Formal Techniques for Distributed Objects, Components, and Systems – 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. LNCS 9688, Springer 2016.
  DOI: 10.1007/978-3-319-39570-8.