Besnik Selimi

Arsimimi

• 2005 - 2009: Doctor of Computer Sciences
  Universite de Grenoble, Grenoble, France
  Specialty: Software Testing
  Thesis: "Test de logiciels synchrones avec la PLC"
  
  
• 2002 - 2004: Master in Software Engineering
  Faculty: Applied Mathematics and Informatics (UFRIMA)
  Universite de Grenoble, Grenoble, France
  Specialty: Distributed Systems and Networks
  
  
• 1999 - 2002: Bachelor of Computer Sciences
  Faculty: Applied Mathematics and Informatics (UFRIMA)
  Universite de Grenoble, Grenoble, France
  Specialty: Informatics
  
  

Publikimet

• Virginia Papailiopoulou, Besnik Seljimi and Ioannis Parissis. Automatic Test of Lustre/SCADE Programs. In Model-Based Testing for Embedded Systems, pp. 171-194. CRC Press, Taylor & Francis, 9 / 2011. ISBN 978-1-43-981845-9. (Download)
  
  
• (FR) Besnik Seljimi. PhD Thesis: Test de logiciels synchrone avec la PLC. Grenoble University, Grenoble, France, 7 / 2009. (Download)
  
  
• Virginia Papailiopoulou, Besnik Seljimi and Ioannis Parissis. Revisiting the Steam-Boiler Case Study with Lutess : Modeling for Automatic Test Generation. In Proceedings of the 12th European Workshop on Dependable Computing (EWDC 2009). Toulouse, France, 5 / 2009. (Download)
  
  
• Besnik Seljimi and Ioannis Parissis. Automatic generation of test data generators for synchronous programs: Lutess V2. In Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting (DOSTA '07). ACM, New York, NY, USA, 9 / 2007. ISBN 978-1-59593-726-1. (Download)
  
  
• (FR) Besnik Seljimi and Ioannis Parissis. Test de logiciels synchrones : apports de la programmation par contraintes. In Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL). Namur, Belgium, 6 / 2007. (Download)
  
  
• Besnik Seljimi and Ioannis Parissis. Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs. In Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE '06). IEEE Computer Society, Washington, DC, USA, 11 / 2006. ISBN 978-0-76-952684-3. (Download)
  
  
• (FR) Besnik Seljimi, Ioannis Parissis. Exploitation des contraintes pour la recherche de non-conformités dans Lutess. In Project Report (RNTL DANOCOPS). France, 9 / 2006.
  
  
• (FR) Besnik Seljimi, Ioannis Parissis. Extension de Lutess aux contraintes numériques. In Research Report (RNTL DANOCOPS). France, 3 / 2006.
  
  
• (FR) Laurence Estrabaut, Besnik Seljimi, Ioannis Parissis. Architecture de l’environnement Lutess intégrant la programmation logique avec contraintes. In Project Report (RNTL DANOCOPS). France, 12 / 2005.
  
  

Përvoja e punës

• May 2010 - Present : Assistant Professor
  Faculty of Contemporary Sciences and Technologies, South East European University
  Type of business or sector: Research & Education
  
  
• Nov 2009 - Apr 2010: Part-time Lecturer
  Faculty of Contemporary Sciences and Technologies, South East European University
  Type of business or sector: Research & Education
  
  
• Sep 2007 - Jul 2008: State advisor on Information Technologies
  Ministry of Education and Science - Republic of Macedonia
  Type of business or sector: Government
  
  
• Dec 2004 - Jun 2007: Research Engineer
  Laboratoire d’Informatique de Grenoble, Grenoble, France
  Type of business or sector: Research
  
  
• Apr 2002 - Nov 2004: Reception
  Hôtel Gallia, Grenoble, France
  Type of business or sector: Travel & Accomodation
  
  
• Jan 2004 - Aug 2004: Project management (internship)
  Centre Technique du Papier, Grenoble, France
  Type of business or sector: Paper Industry
  Main responsibilities: Specification and implementation of paper surface analysis software
  
  
• Feb 2003 - Aug 2003: Research internship
  Laboratoire d’Informatique de Grenoble, Grenoble, France
  Type of business or sector: Research
  Main responsibilities: A programming language implementing collective procedures for parallel computing