Research Interests
I am working in the
Distributed
and Embedded Systems group in Aalborg. My research interests include:
- Formal methods for software engineering.
- Requirements analysis and component-based design of embedded systems.
- Formal verification of real-time systems: model-based analysis of qualitative and quantitative properties.
- Schedulability and performance analysis of real-time systems.
- Semantics, composition and refinement of real-time systems
Education
- December 2012: PhD degree in Computer Science. University of Toulouse. Toulouse, France.
- June 2008: Master degree in Computer Science. University of Limoges. Limoges, France.
- June 2007: Engineer degree in Theoretical Computer Science. Mentouri University of Constantine, Algeria.
Research Experience
- February 2013 – Today: Postdoc Researcher at Computer Science Dept, Aalborg University. Denmark.
- September 2009 – December 2012: Research assistant. ACADIE, IRIT Laboratory. Toulouse, France.
- November 2011 - February 2012: Scientific visit to MBSD "Model-Based Systems Design" group, Radboud Universiteit Nijmegen The Netherland. Work supervised by Prof. Frits W Vaandrager.
- September 2012: Short visit to "Formal Modelling and Analysis of Embedded Systems" group at Malardalen University, Sweden.
- 2009: Research Assistant in the group ACADIE, IRIT. Toulouse, France.
Teaching Experience
- Spring 2014: Compiling and design of compilers (DAT4).
- Autumn 2014: Design of embedded systems (SW5).
Collaborations and Visits
- Recent collaboration with the University of Pennsylvania since August 2014.
- Collaboration with different European Universities in terms of projects.
- Short visit to the group "Formal Modelling and Analysis of Embedded Systems" at Malardalen University, Sweden. Talk: "Verification of dynamic real-time systems". September 2012.
- Scientific visit to MBSD "Model-Based Systems Design" group, Institute ICIS, Radboud Universiteit Nijmegen. Work supervised by Prof. Frits W Vaandrager. November 2011 - February 2012. Nijmegen, The Netherland.
- School of Real-Time. August 29 - September 2, 2011. Université de Bretagne Occidentale. Brest.
- School of Junior Researchers in Programming EJCP 2010. May 19-28, 2010. Rennes.
Publications
- Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks
Jalil Boudjadar,
Alexandre David,
Jin Hyun Kim,
Kim Guldstrand Larsen,
Marius Mikucionis,
Ulrik Nyman, Arne Skou, Insup Lee and Linh Thi Xuan Phan.
ISORC (18th IEEE Symposium on Real-time Computing) 2015.
- Compositional Schedulability Analysis of An Avionics System Using UPPAAL
Jalil Boudjadar,
Jin Hyun Kim,
Kim Guldstrand Larsen,
Ulrik Nyman.
ICAASE (International Conference on Advanced Aspects of Software Engineering) 2014.
- Widening the Schedulability Hierarchical Scheduling Systems
Jalil Boudjadar,
Alexandre David,
Jin Hyun Kim,
Kim Guldstrand Larsen,
Marius Mikucionis,
Ulrik Nyman,
and Arne Skou.
FACS (International Symposium on Formal Aspects of Component Software) 2014.
- Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks
.
Jalil Boudjadar,
Alexandre David,
Jin Hyun Kim,
Kim Guldstrand Larsen,
Marius Mikucionis,
Ulrik Nyman,
and Arne Skou.
TASE (8th International Symposium on Theoretical Aspects of Software Engineering) 2014, to appear.
- Model Checking Process Algebra of Communicating Resources for Real-time Systems
.
Jalil Boudjadar,
Jin Hyun Kim,
Kim Guldstrand Larsen,
Ulrik Nyman.
ECRTS (EUROMICRO Conference on Real-Time Systems) 2014, to appear.
- Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems
.
Jalil Boudjadar,
Alexandre David,
Jin Hyun Kim,
Kim Guldstrand Larsen,
Marius Mikucionis,
Ulrik Nyman,
and Arne Skou.
ERTS (International congress on Embedded Real Time Software and Systems) 2014.
- Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal
Jalil Boudjadar,
Alexandre David,
Jin Hyun Kim,
Kim Guldstrand Larsen,
Marius Mikucionis,
Ulrik Nyman,
and Arne Skou.
FACS (International Symposium on Formal Aspects of Component Software) 2013, LNCS volume 8348, P 61-78.
- Extending UPPAAL for the Modeling and Verification of Dynamic Real-time Systems
.
Jalil Boudjadar,
Frits Vaandrager, Jean-Paul Bodeveix, Mamoun Filali.
Proceedings of FSEN'13 (Intl conference on Fundamentals of Software Engineering) 2013, pages 111-132. LNCS volume 8161. Iran.
- Callable timed automata: Adding process creation and process calls to UPPAAL
Jalil Boudjadar,Frits Vaandrager, Jean-Paul Bodeveix, Mamoun Filali.
Proceedings of AVOCS'12 (12th International Workshop on Automated Verification of Critical Systems), September 18-20 2012. Bamberg, Germany.
- Compositional Refinement for Real-Time Systems with Priorities
Jalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali.
Proceedings of TIME'12 (19th International Symposium on Temporal Representation and Reasoning). Leicester, UK. 2012. IEEE Computer Society Publisher.
- Revising and Extending the UPPAAL Communication Mechanism
Jalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali.
Proceedings of SC'12 (11th International Conference on Software Composition). Prague, Czech Republic. 2012. Pages 114-131, LNCS Volume 7306.
- An Alternative Definition for Timed Automata Composition
Jalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali.
Proceedings of ATVA'11 (the 9th International Conference on Automated Technology for Verification and Analysis). Taipei, Taiwan. 2011. Pages 105-119, LNCS Volume 6996.
- Une Définition Alternative pour la Composition des Systèmes Temporisés
Jalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali.
Proceedings of ETR'11 (Ecole Temps Réel). Brest, France. 2011. Pages 223-226 , Proceedins published by Université de Bretagne Occidentale.
- Using Maximality-Based Labeled Transition Systems As a Model for PETRI Nets
A. Boudjadar, B.Ouchenne, D.Saïdouni, M.Bouneb, N.Belala.
Proceedings of ACIT'08 (International Arabe Conference on Information Technology). Tunisia, December 2008.
Miscellaneous
- 2010-2012: follow training courses for teaching and supervision.
This is the default web page for this server.