IRI (best papers)

Keyphrases

Publications

volume 263, 2014

Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, San Francisco, CA, USA, August 2013] IRI (best papers) 263 (2014)

2013

Tanmay Bhowmik, Vander Alves, Nan Niu
An Exploratory Case Study on Exploiting Aspect Orientation in Mobile Game Porting. IRI (best papers) (2013)
Éric Grégoire
About Handling Non-conflicting Additional Information. IRI (best papers) (2013)
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
An Institution for Alloy and Its Translation to Second-Order Logic. IRI (best papers) (2013)
Robson Silva, Alexandre Mota, Rodrigo Rizzi Starr
Formal MDE-Based Tool Development. IRI (best papers) (2013)
Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham
Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks. IRI (best papers) (2013)
Stuart H. Rubin, Gordon K. Lee
Cloud-Based Tasking, Collection, Processing, Exploitation, and Dissemination in a Case-Based Reasoning System. IRI (best papers) (2013)
Anna Palczewska, Jan Palczewski, Richard Marchese Robinson, Daniel Neagu
Interpreting Random Forest Classification Models Using a Feature Contribution Method. IRI (best papers) (2013)
Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui
A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata. IRI (best papers) (2013)
Thouraya Bouabana-Tebibel, Stuart H. Rubin, Kadaouia Habib, Asmaa Chebba, Sofia Mellah, Lynda Allata
Towards a High Level Language for Reuse and Integration. IRI (best papers) (2013)
Matheus Carvalho Viana, Rosângela Penteado, Antônio Francisco do Prado, Rafael Serapilha Durelli
Developing Frameworks from Extended Feature Models. IRI (best papers) (2013)
Pol Schumacher, Mirjam Minor, Eric Schulte-Zurhausen
On the Use of Anaphora Resolution for Workflow Extraction. IRI (best papers) (2013)
Fatma Laidoui, Thouraya Bouabana-Tebibel
Protocol Integration for Trust-Based Communication. IRI (best papers) (2013)
Wonkyu Han, Mike Mabey, Gail-Joon Ahn, Tae Sung Kim
Simulation-Based Validation for Smart Grid Environments: Framework and Experimental Results. IRI (best papers) (2013)
Nurjahan Begum, Bing Hu, Thanawin Rakthanmanon, Eamonn J. Keogh
A Minimum Description Length Technique for Semi-Supervised Time Series Classification. IRI (best papers) (2013)
Valentina Casola, Alessandra De Benedictis, Massimiliano Albanese
A Multi-Layer Moving Target Defense Approach for Protecting Resource-Constrained Distributed Devices. IRI (best papers) (2013)