Om instituttet
Jalil Boudjadar
Adjunkt
Institut for Elektro- og Computerteknologi - Software Engineering & Computing systems - Turing
Åbogade 34
bygning 5341
8200 Aarhus N
Danmark
Fastnet: +4593508726
Profil
I'm an Assistant Professor within the Electricial and Computer Engineering ECE section, Department of Engineering. I am also a member of the DIGIT research centre. I received my M.Sc degree in June 2008 from Limoges University, and my Ph.D in December 2012 from Toulouse University, France.
My research interests include:
- Model-based design of embedded systems.
- Runtime engineering and optimization of control systems.
- Real-time systems and scheduling theories.
- Machine learning for prediction and control optimization.
- Formal specification and verification of safety and security
- Accepteret/In press
Formally Verified Credentials Management for Industrial Control Systems
Publikation: Konferencebidrag › Paper › Forskning › peer review
- Udgivet
Energy Management of a Zero-Emission Ferry Boat with a Fuel Cell-Based Hybrid Energy System: Feasibility Assessment
Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
- Udgivet
A Cost-effective Scheduling Control for a Safety Critical Hybrid Power System
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Intelligent Control for Sensor Systems
Projekter: Projekt › Forskning
Modeling of Embedded Software: a tool case study
Projekter: Projekt › Forskning
Intelligent Time Synchronization for Energy Efficient Operation of Sensor Networks
Projekter: Projekt › Forskning
19th International Symposium on Automated Technology for Verification and Analysis (Begivenhed)
Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
25th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (Begivenhed)
Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
Intelligent Systems Conference (Begivenhed)
Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
ID: 110764006