Login

Anëtarët e stafit duhet të përdorin llogarinë e tyre Webmail për identifikim.

Universiteti i Evropës Juglindore
qasje drejt ardhmërisë . . .
Export

Besnik Selimi

Fakulteti : Shkencat dhe Teknologjitë Bashkëkohore
Thirja akademike : Docent
Angazhimi : Me kohë të plotë
Të dhënat personale
Data e lindjes : 20 shkurt 1981
E-mail : b.selimi@seeu.edu.mk
Adresa : CST 305.01, SEEU, Ilindenska bb
Gjuhët ( Vetevaluim )
Albanian
Native
French
C2 - Proficient
Macedonian
C2 - Proficient
English
C1 - Advanced

Arsimimi

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

Google+