Kontakt
Jalil Boudjadar
Adjunkt
Institut for Ingeniørvidenskab - Applied Formal Methods
Å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 engineering of control and cyber physical systems
- Modeling and formal analysis of safety and security of embedded systems.
- Performance and cost optimization of energy systems.
- Machine learning for prediction and control optimization.
- Real-time scheduling and resource sharing.
- Formal verification, semantics and refinement of real-time systems
- Accepteret/In press
QoS-Aware Service Provisioning in Fog Computing
Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
- Udgivet
An Efficient and Cost-Effective Power Scheduling in Zero-Emission Ferry Ships
Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
- Accepteret/In press
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
Intelligent Time Synchronization for Energy Efficient Operation of Sensor Networks
Projekter: Projekt › Forskning
Hydrogen Fuel Cell and Battery Hybrid Technology for Marine Applications: Feasibility and performance
Projekter: Projekt › Forskning
Hydrogen Fuel Cell and Battery Hybrid Technology for Marine Applications: Feasibility and performance
Projekter: Projekt › Forskning
HUBCAP
Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Deltagelse i eller organisering af konference
International Journal of Distributed Sensor Networks (Tidsskrift)
Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
Journal of Vibration and Control (Tidsskrift)
Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
ID: 110764006