Second NII-UBA workshop.

Welcome to the “Second NII-UBA Workshop on Formal Software Modelling and Analysis”

Aula Federman, Pabellón I

Facultad de Ciencias Exactas y Naturales

Universidad de Buenos Aires, Argentina

November 3-4, 2014.




09:00 Opening Session

● Welcome, Prof. Shinichi Honiden and Prof. Sebastián Uchitel

● Bidirectional Transformation for High-Confidence Software Adaptation, Prof. Zhenjiang Hu, NII                                   

10:00 Coffee break

10:30 Session 

● Efficient Runtime Model Checking for Self-adaptive System, Dr. Kenji Tei, NII

● Controller Synthesis for Partially Unobservable Environments, Mr. Daniel Ciolek, UBA

● Controlling Dynamic Controller Update, Mr. Leandro Nahabedian, UBA

12:00 Lunch

13:30 Session

● Types for Multiparty Communicating Systems, Dr. Hernán Melgratti, UBA

● Deriving and Analyzing Refinement Plans in Event-B, Mr. Tsutomu Kobayashi, NII

● Mutation Testing for Ajax Applications, Mr. Yuta Maezawa, NII

15:00 Coffee break



09:00 Session

● Model Checking Legal Documents, Prof. Fernando Schapachnik,  UBA

● LTL search in Java PathFinder, Dr. Yoshinori Tanabe, NII

10:00 Coffee break

10:30 Session

● Memory Summaries for Android: An Initial Evaluation, Dr. Sven Stork, UBA

● Semi-Automated Generation of Source Code Analysis and Manipulation Tools, Dr. Kazunori Sakamoto, NII

● Game Theory Applied to Controller Synthesis over Fallible Domains, Ms. Natalia Rodríguez, UBA

12:00 Lunch

13:30 Session

● Validating Security Design Pattern Applications Using Model Testing, Dr. Nobukazu Yoshioka, NII

● Towards Distributed Control, Mr. Mariano Cerrutti, UBA

● Discretely Faster: Improving Controller Latency in Discrete Controller Synthesis, Mr. Ezequiel Castellano, UBA

15:00 Coffee Break

15:30 Closing Remarks and Discussion



Places are limited, if you are interested please contact us by e-mail at

Thank you!