Publications


Showing 9 items
AuthorsTitleConference or JournalPagesLocationDateLinkConference Description
Sort 
 
Sort 
 
Sort 
 
Sort 
 
Sort 
 
Sort 
 
Sort 
 
Sort 
 
AuthorsTitleConference or JournalPagesLocationDateLinkConference Description
MeGSuS 2016 : 3rd International Workshop on Measurement and Metrics for Green and Sustainable Software Systems A Learning based approach for Green Software Measurements Sarah Dahab, Stephane Maag, Alessandra Bagnato and Marcos Aurélio Almeida Da Silva, brief description  7 September 2016 Ciudad Real, Spain   n Nelly Condori-Fernandez, Giuseppe Procaccianti, Coral Calero, and Alessandra Bagnato, editors, MegSuS 2016 - Proceedings of 2nd International Workshop on Measurement and Metrics for Green and Sustainable Software, Ciudad Real, Spain, sep 2016.  
MeGSuS 2016 : 3rd International Workshop on Measurement and Metrics for Green and Sustainable Software Systems Alessandra Bagnato, Marcos Aurélio Almeida da Silva, Antonin Abhervé, Jérome Rocheteau, Claire-Lise Pihéry, and Pierre Mabit. Measuring Green Software Enginnering, Monitoring Software Energy Consumption in the MEASURE ITEA3 Project.   7 September 2016 Ciudad Real, Spain  http://alarcos.esi.uclm.es/eseiw2016/megsus/home In Nelly Condori-Fernandez, Giuseppe Procaccianti, Coral Calero, and Alessandra Bagnato, editors, MegSuS 2016 - Proceedings of 2nd International Workshop on Measurement and Metrics for Green and Sustainable Software, Ciudad Real, Spain, sep 2016. 
Jorge López, Natalia Kushik, and Nina Yevtushenko On Source Code Optimization for Interpreted Languages using State Models Proceedings of the 11th INSTICC International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) 282-287 Rome, Italy April 28, 2016  ENASE (Evaluation of Novel Approaches to Software Engineering (ENASE 2016) The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT industry experiences with relation to the evaluation of novel approaches to software engineering. ENASE conferences advance knowledge and research in software engineering, including and emphasizing service-oriented, business-process driven, and ubiquitous mobile computing. ENASE aims at identifying most hopeful trends and proposing new directions for consideration by researchers and practitioners involved in large-scale systems and software development, integration, deployment, delivery, maintenance and evolution. 
Natalia Kushik, Jorge López, Ana Cavalli, Nina Yevtushenko Optimizing Protocol Passive Testing through ‘Gedanken’ Experiments with Finite State Machines The 2016 IEEE International Conference on Sofware Quality, Reliability, and Security  August Viena, Austria August 1, 2016 The 2016 IEEE International Conference on Sofware Quality, Reliability, and Security  The QRS conference, with Q representing Quality, R for Reliability, and S for Security, sponsored by the IEEE Reliability Society. This conference provides engineers and scientists from both industry and academia a platform to present their ongoing work, relate their research outcomes and experiences, and discuss the best and most efficient techniques for the development of reliable, secure, and trustworthy systems. It also represents an excellent opportunity for the academic community to become more aware of subject areas critical to the software industry as practitioners bring their needs to the table 
Jorge López, Natalia Kushik, Ana Cavalli, Nina Yevtushenko Optimizing Network Utilization through Source Code State Model Representation Proceedings of the 14th IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS) 2016  October Yerevan, Armenia October 17, 2016 The IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS) The 14-th IEEE EAST- WEST DESIGN & TEST SYMPOSIUM, EWDTS 16 has as a goal to exchange experiences between leading scientific organizations and experts from the Eastern and Western Europe, the USA and the rest of the world in the fields of digital system design and test. An overview of the most important trends, challenges and state-of-the-art solutions in design and test research and practices will be presented by leading technologists and researchers. EWDTS is sponsored by the IEEE, Computer Society, Test Technology Technical Council – TTTC. 
Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate RIVER: A Binary Analysis Framework using Symbolic Execution and Reversible x86 Instructions 21st International Symposium on Formal Methods (FM'16) 779-785 Limassol, Cyprus November 10, 2016 Formal Methods 2016 (FM'16) FM is the first and largest conference covering the rapidly growing area of formal methods. During the past three decades, many of the advances achieved in model-driven software engineering, validation and verification of software systems, design methods and tools have been first published in the proceedings of the FM conference series. 
C. Paduraru, M. Melemciuc, A. Stefanescu A distributed implementation using Apache Spark of a genetic algorithm applied to test data generation ACM Workshop on Parallel and Distributed Evolutionary Inspired Methods, workshop associated with GECCO'17 1-7 Berlin, Germany  PDEIM workshop 2017 A new workshop whose scope is to present high-quality contributions on topics related to parallel and distributed versions of evolutionary methods, ranging from theoretical work to innovative applications. 
T. Stoenescu, A. Stefanescu, S. Predut, F. Ipate Binary Analysis based on Symbolic Execution and Reversible x86 Instructions Fundamenta Informaticae 1-20    journal  
Sarah A. Dahab, Stéphane Maag, Xiaoping Che A Software Measurement Framework Guided by Support Vector Machines http://voyager.ce.fit.ac.jp/conf/aina/2017/Aina-2017-full-program.pdf  Taipei, Taiwan March 27, 2017 http://voyager.ce.fit.ac.jp/conf/aina/2017/ As one of the most important international conferences sponsored by the TCDP of the IEEE Computer Society, the International Conference on Advanced Information Networking and Applications (AINA-2017) will be held at the Tamkang University, Taipei, Taiwan, March 27-29, 2017. The conference covers theory, design and application of computer networks and distributed computing and information systems. Aside from the regular presentations, the conference will include keynote addresses with speakers from both industry and academia. 
Showing 9 items
Comments