- 4
- 2
- 1
- 1
- 1
Salam Hajjar
9
Documents
Identifiants chercheurs
- salamhajjar
- IdRef : 176356835
Présentation
**Salam Hajjar**
Electrical & electronic engineer
**Professional experience**
- Actuel position (since 2014) post-doctoral fellow, Gipsa-lab, Campus St. Martin d’Heres, France
- Teacher-researcher (2012-2014), department of Industrial Engineering, (National Institute of Applied Sciences of Lyon) INSA de Lyon, France
- Ph.D student at INSA de Lyon, specialty Automatic control, doctoral school Electronique, Electrotechnique et Automatique (2009-2013), Supervision : Pr. Eric NIEL, Dr. Emil DUMITRESCU
- Engineer at the University of Aleppo (2006-2007)
**EDUCATION**
2009 - 2013 : INSA de Lyon, PhD in Automatic control, FRANCE
2008 - 2009 : INSA de Lyon, Master II Research in Informatics, Data bases and web techniques, FRANCE
2007 - 2008 : INSA de Lyon, Master I in Informatics, master in cooperation between INSA de Lyon and the university of Aleppo, Syria
2001 - 2006 : University of Aleppo, Bachelor in Electrical and Electronic Engineering, Syria
**Publications**
**2 International Conferences with acts and lecture comity**
12ème ERTS Conférence d’Embedded Real Time Systems WODES’14 IEEE International Workshop on Discrete Event Systems
**3 National Conferences**
MSR’13, 5ème JDMACS, 2ème CIEL
**2 National Journals with lecture comity**
JESA, special volume of MSR, 2013
JESA, special volume of MACS, 2013
**3 Confidential reports**
Confidential reports for Bombardier i-Trans (Ph.D sponsor), available here, after authorization from Bombardier
**Awards and honors**
- Best paper award at CIEL 2013: 2ème Conférence en IngénieriE du Logiciel, Nancy, Avril 2013.
- Best poster award at 19ème Journée du savoir, Dijon, June 2013.
**Computer skills**
- Fundamental informatics, theory of Automata, Game theory, semantic of formal languages, theory of control by supervision, Optimal linear programming;
- Rational Data bases, Request languages SQL, Tools : ETL (Excel, Talend), reporting (QlikView) ;
- Programming Languages : Java, C/C#, Pascal, Python ;
- Multi-agents system : Jade, iPOPO ;
- Programming frameworks : ASP.NET, Eclipse ;
- Description software languages : XML, XSLT, HTML/ASP.NET ;
- Hardware description languages : Verilog HDL, VHDL ;
- Operating systems : Windows, Linux ;
- Scientific softwares : Cudd/DDcal, Sigali, SMV, MATLAB, SIMULINK, ControlBuild.
**Languages**
Arabic: maternal language, French: fluent, English: fluent, Turkish: intermediate, Portuguese: beginner
**Salam Hajjar**
Electrical & electronic engineer
**Professional experience**
- Actuel position (since 2014) post-doctoral fellow, Gipsa-lab, Campus St. Martin d’Heres, France
- Teacher-researcher (2012-2014), department of Industrial Engineering, (National Institute of Applied Sciences of Lyon) INSA de Lyon, France
- Ph.D student at INSA de Lyon, specialty Automatic control, doctoral school Electronique, Electrotechnique et Automatique (2009-2013), Supervision : Pr. Eric NIEL, Dr. Emil DUMITRESCU
- Engineer at the University of Aleppo (2006-2007)
**EDUCATION**
2009 - 2013 : INSA de Lyon, PhD in Automatic control, FRANCE
2008 - 2009 : INSA de Lyon, Master II Research in Informatics, Data bases and web techniques, FRANCE
2007 - 2008 : INSA de Lyon, Master I in Informatics, master in cooperation between INSA de Lyon and the university of Aleppo, Syria
2001 - 2006 : University of Aleppo, Bachelor in Electrical and Electronic Engineering, Syria
**Publications**
**2 International Conferences with acts and lecture comity**
12ème ERTS Conférence d’Embedded Real Time Systems WODES’14 IEEE International Workshop on Discrete Event Systems
**3 National Conferences**
MSR’13, 5ème JDMACS, 2ème CIEL
**2 National Journals with lecture comity**
JESA, special volume of MSR, 2013
JESA, special volume of MACS, 2013
**3 Confidential reports**
Confidential reports for Bombardier i-Trans (Ph.D sponsor), available here, after authorization from Bombardier
**Awards and honors**
- Best paper award at CIEL 2013: 2ème Conférence en IngénieriE du Logiciel, Nancy, Avril 2013.
- Best poster award at 19ème Journée du savoir, Dijon, June 2013.
**Computer skills**
- Fundamental informatics, theory of Automata, Game theory, semantic of formal languages, theory of control by supervision, Optimal linear programming;
- Rational Data bases, Request languages SQL, Tools : ETL (Excel, Talend), reporting (QlikView) ;
- Programming Languages : Java, C/C#, Pascal, Python ;
- Multi-agents system : Jade, iPOPO ;
- Programming frameworks : ASP.NET, Eclipse ;
- Description software languages : XML, XSLT, HTML/ASP.NET ;
- Hardware description languages : Verilog HDL, VHDL ;
- Operating systems : Windows, Linux ;
- Scientific softwares : Cudd/DDcal, Sigali, SMV, MATLAB, SIMULINK, ControlBuild.
**Languages**
Arabic: maternal language, French: fluent, English: fluent, Turkish: intermediate, Portuguese: beginner
Publications
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
Synthesizing safe control-command systems out of reusable componentsControl Engineering Practice, 2015, 44, pp.243-259. ⟨10.1016/j.conengprac.2015.05.006⟩
Article dans une revue
hal-01202471v1
|
|
|
Safe design method of embedded control systems. Case studyJournal Européen des Systèmes Automatisés (JESA), 2013, 47, pp.403 - 421. ⟨10.3166/jesa.47.403-421⟩
Article dans une revue
hal-01080095v1
|
|
Conception sûre de systèmes de contrôle-commande matériels à base de COTSJournal Européen des Systèmes Automatisés (JESA), 2013, 47 (1-3), pp.93 - 107. ⟨10.3166/jesa.47.93-107⟩
Article dans une revue
hal-01080214v1
|
A Day-ahead Centralized Unit Commitment Algorithm for A Multi-agent Smart GridFederated Conference on Computer Science and Information Systems (FedCSIS 2015) - 4th International Workshop on Smart Energy Networks & Multi-Agent Systems (SEN MAS 2015), Sep 2015, Lodz, Poland. pp.257-263
Communication dans un congrès
hal-01170063v1
|
|
|
A Design Method for Synthesizing Control-Command Systems out of Reusable ComponentsIFAC IWDES, May 2014, Cachan, France. ⟨10.3182/20140514-3-FR-4046.00111⟩
Communication dans un congrès
hal-01080076v1
|
|
Safe Design Method of Embedded Control Systems based on COTS2ème Conférence en IngénieriE du Logiciel, Apr 2013, NANCY, France. pp.35-45
Communication dans un congrès
hal-01080089v1
|
|
A Component-based Safe Design method for train control systemsEmbedded Real Time Software and Systems, Feb 2012, Toulouse, France
Communication dans un congrès
hal-01091237v1
|
Méthode de conception sûre de systèmes embarquésjournée centrée sur les applications industrielles relatives à la sûreté de fonctionnement, Jan 2011, Paris, France
Poster de conférence
hal-01080104v1
|
|
Safe design method of embedded systems based on COTSOther. INSA de Lyon, 2013. English. ⟨NNT : 2013ISAL0064⟩
Thèse
tel-00952827v1
|